`RULE-11-3`: Permit cast to pointer-to-void

[lcartey]

Affected rules

• RULE-11-3
• RULE-11-4
• RULE-11-5
• RULE-11-7

Description

The rule states that "a cast shall not be performed between a pointer to object type and a pointer to a different object type". However, void isn't a different object type. Rule 11.5 handles pointer-to-void, prohibiting casting from pointer-to-void, but permitting casting to pointer-to-void.

Update: this has been determined to be a problem specifically with const void * and other specified void pointers.

Example

uint32_t *p32;
void *p;
p = p32; // Compliant

[ravikprasad]

Can this be prioritized and incorporated in the current MISRA C 2023 work?

[lcartey]

After further investigation, the problem with this query is that it doesn't exclude const void pointers - the determination of a whether a pointer is a pointer-to-object is confused by the presence of specifiers. This is not limited to RULE-11-3 - it also affects RULE-11-4, RULE-11-5 & RULE-11-7.

[lcartey]

PR opened to address this issue:
#744