15-05-2016, 06:01 AM
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.
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.
<t></t>