QA·C Help - 2972

	2972	Apparent: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.

Unset data

A pointer which may sometimes address 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.

It may be appropriate to pass a pointer to some uninitialized data as an argument to a function that will then initialize the data. However, it can never be appropriate to pass such a pointer to a function if the corresponding parameter is declared as pointer to a const qualified type, because no initialization is possible.

For example:


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

extern int foo2(const int *p);

void foo1(int a)
{
    int x;
    int r;

    if (a == 1)
    {
        x = 1;
    }

    r = foo2(&x);               /* 2972 */
}

See also:

2971 Definite: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.
2973 Suspicious: Passing address of uninitialized object '%s' to a function parameter declared as a pointer to const.

Personality Groups | Glossary | Message Index

Contents