Synopsis

(Required) An object with pointer type shall not be converted to an unrelated pointer type, either directly or indirectly.

Enabled by default

Yes

Severity/Certainty

Low/Medium

Full description

A pointer to object type is cast to a pointer to a different object type. This check is identical to MISRAC2004-11.4.

Coding standards

Code examples

The following code example fails the check and will give a warning:

typedef unsigned int uint32_t;
typedef unsigned char uint8_t;

void example(void) {
	uint8_t * p1;
	uint32_t * p2;
	p2 = (uint32_t *)p1;
}

The following code example passes the check and will not give a warning about this issue:

typedef unsigned int uint32_t;
typedef unsigned char uint8_t;

void example(void) {
	uint8_t * p1;
	uint8_t * p2;
	p2 = (uint8_t *)p1;
}