MISRA.CAST.OBJ_PTR_TO_NON_INT.2012

MISRA C 2012 Rule 11.7: A cast shall not be performed between pointer to object and a non-integer arithmetic type

C90 [Undefined 29; Implementation 24], C99 [Undefined 21, 41; Implementation J.3.7(1)]

Category: Required

Analysis: Decidable, Single Translation Unit

Applies to: C90, C99

Amplification

Rationale

Conversion of an essentially Boolean, essentially character or essentially enum type into a pointer to object may result in a pointer that is not correctly aligned, resulting in undefined behaviour.

Conversion of a pointer to object into an essentially Boolean, essentially character or essentially enum type may produce a value that cannot be represented in the chosen integer type resulting in undefined behaviour.

Conversion of a pointer to object into or from an essentially floating type results in undefined behaviour.

Example

int16_t * p;
float32_t f;

f = ( float32_t ) p;  /* Non-compliant */
p = ( int16_t * ) f;  /* Non-compliant */