QA·C Help - 0943

	0943	[C] Jump to label '%s' is a jump into the scope of an identifier with variably modified type.

Constraint violations		REFERENCE - ISO:C99-6.8.6.1 The goto statement - Constraints

This is a constraint error

A goto statement that jumps to this label has been encountered earlier and the jump will enter the scope of an identifier with variably modified type.

Jumping into into the scope of an identifier with variably modified type from outside the scope of that identifier is not permitted.

For example:


/*PRQA S 1051,2001,2015,2017,2200,2201,2212,3120,3220,3227,3408 ++*/

void foo(int n)
{
    if (n == 0)
        goto lab1;
    if (n < 100)
    {
        int a[n];                  /* "a" has variably modified type */
        a[0] = 1;
lab1:   a[1] = 0;                  /* Message 0943 */
        a[0] += n;
    }
}

See also:

0944 [C] The label '%s' is inside the scope of an identifier with variably modified type.

Personality Groups | Glossary | Message Index

Contents