Synopsis

(Required) A cast shall not remove any const or volatile qualification from the type of a pointer or reference.

Enabled by default

Yes

Severity/Certainty

Low/High

Full description

Casts that remove a const or volatile qualification were found. This check is identical to MISRAC2004-11.5, MISRAC2012-Rule-11.8, MISRAC++2023-8.2.3.

Coding standards

Code examples

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

typedef unsigned short uint16_t;

void example(void) {

	uint16_t x;
	const uint16_t *    pci;      /* pointer to const int */
	uint16_t *          pi;       /* pointer to int */

	pi = (uint16_t *)pci; // not compliant

}

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

typedef unsigned short uint16_t;

void example(void) {

	uint16_t x;
	uint16_t * const    cpi = &x; /* const pointer to int */
	uint16_t *          pi;       /* pointer to int */

	pi = cpi; // compliant - no cast required

}