Rule 5-3-1 and bool & ...

[gs]

Are references to bools permitted under requirement #5-3-1?

[udi]

I think that references to bools are permitted under this requirement.
Maybe the treatment of references should be clarified in section 6.5.0 (Expressions / General).

- I think that this should be clear from reading the Rationale section.
- Essentially, reference is not really a type, but an alias. If this is not permitted, then I don't see how one can use references under MISRA (at least not for basic types: bool / int / double etc.).
- This is the same way that (*pBoolVar) is considered bool.
- Also the RTTI's typeid() for references, returns bool.

Since I am having an argument with the vendor of the static-analysis tool, I would appriciate if someone could clarify this.

[misra cpp]

The intention is that a “reference to bool” type is also permitted