QA·C Help - 0673

	0673	[C] Initializer points to a more heavily qualified type.

Constraint violations		REFERENCE - ISO:C90-6.5.7 Initialization - Semantics, ISO:C90-6.3.16.1 Simple Assignment - Constraints

This is a constraint error

A pointer has been initialized with an expression which points to a more heavily qualified type.

ISO:C requires that the type pointed to by the initialised object must have all the qualifiers of the type pointed to by the initializer. It is therefore not permissible to initialize an object of type "TYPE *" (pointer to TYPE) with an expression of type "const TYPE *" (pointer to const TYPE) or "volatile TYPE *" (pointer to volatile TYPE); to do so would permit type qualification restrictions to be violated.

On the other hand, it is perfectly legitimate to initialize an object of type "const TYPE *" or "volatile TYPE *" or even "const volatile TYPE *" with an expression of type "TYPE *".

For example:


/*PRQA S 3205,3210,3408,3447,3602 ++ */
extern int                *gpi;
extern const int          *gpci;
extern volatile int       *gpvi;
extern const volatile int *gpcvi;

void test(void)
{
    int                *xpia = gpi;                /*              */
    int                *xpib = gpci;               /* Message 0673 */
    int                *xpic = gpvi;               /* Message 0673 */
    int                *xpid = gpcvi;              /* Message 0673 */

    const int          *xpcia = gpi;               /*              */
    const int          *xpcib = gpci;              /*              */
    const int          *xpcic = gpvi;              /* Message 0673 */
    const int          *xpcid = gpcvi;             /* Message 0673 */

    volatile int       *xpvia = gpi;               /*              */
    volatile int       *xpvib = gpci;              /* Message 0673 */
    volatile int       *xpvic = gpvi;              /*              */
    volatile int       *xpvid = gpcvi;             /* Message 0673 */

    const volatile int *xpcvia = gpi;              /*              */
    const volatile int *xpcvib = gpci;             /*              */
    const volatile int *xpcvic = gpvi;             /*              */
    const volatile int *xpcvid = gpcvi;            /*              */
}

MISRA-C:2004 Rules applicable to message 0673:

Rule 1.1 (Required)

All code shall conform to ISO/IEC 9899:1990 C programming language, ISO 9899, amended and corrected by ISO/IEC 9899/COR1:1995, ISO/IEC 9899/AMD1:1995, and ISO/IEC 9899/COR2: 1996192