[previous] 2971 [next] Definite: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.
Unset data

A pointer which addresses unset data is being passed as an argument to a function. However the function parameter is declared as pointer to a const qualified type and if it is dereferenced, the result will be undefined.

If the function were going to use the pointer to write, it could well be appropriate to pass an argument which addresses uninitialised data. However, it can never be appropriate to pass such a pointer to a function if the corresponding parameter is declared as a pointer to a const qualified type, because no initialisation is possible.

For example: 


/*PRQA S 2017,3196,2983,2986,3199,3203,3204,3227,3348,3408,3447,3602 ++*/

extern int foo2(const int *p);

void foo1(void)
{
    int y;
    int r;

    r = foo2(&y);               /* 2971 */
}

MISRA C:2012 Rules applicable to message 2971:

Rule-9.1  (Mandatory) The value of an object with automatic storage duration shall not be read before it has been set

See also:

QA·C Source Code Analyser 8.1
MISRA C:2012 Compliance Module 1.0
© 2012 Programming Research.
www.programmingresearch.com 		Personality Groups | Glossary | Message Index | MISRA C:2012 Rule Index Contents