Page History

A "shall" or "shall not" requirement that appears outside of a constraint is violated (clause 4).

MSC15-C

A nonempty source file does not end in a new-line character which is not immediately preceded by a backslash character or ends in a partial preprocessing token or comment (5.1.1.2).

Token concatenation produces a character sequence matching the syntax of a universal character name (5.1.1.2).

PRE30-C

A program in a hosted environment does not define a function named main using one of the specified forms (5.1.2.3.2

).

A character not in the basic source character set is encountered in a source file, except in an identifier, a character constant, a string literal, a header name, a comment, or a preprocessing token that is never converted to a token (5.2.1).

An identifier, comment, string literal, character constant, or header name contains an invalid multibyte character or does not begin and end in the initial shift state (5.2.

2).

The same identifier has both internal and external linkage in the same translation unit (6.2.2).

DCL36-C

An object is referred to outside of its lifetime (6.2.4).

DCL21-C, DCL30-C

The value of a pointer to an object whose lifetime has ended is used (6.2.4).

DCL30-C, EXP33-C

The value of an object with automatic storage duration is used while

the object has an indeterminate representation (6.2.4, 6.7.

11, 6.8).

EXP33-C, MSC22-C

A

non-value representation is read by an lvalue expression that does not have character type (6.2.6.1).

EXP33-C

A

non-value representation is produced by a side effect that modifies any part of the

object using an lvalue expression that does not have character type (6.2.6.1).

Two declarations of the same object or function specify types that are not compatible (6.2.

7).

DCL23-C,
DCL40-C

EXP37-C

For call to a function without a function prototype in scope where the function is defined with a function prototype, either the prototype ends with an ellipsis or the types of the arguments after promotion are not compatible with the types of the parameters (6.5.2.2).

EXP37-C

For a call to a function without a function prototype in scope where the function is not defined with a function prototype, the types of the arguments after promotion are not compatible with those of the parameters after promotion (with certain exceptions) (6.5.2.2).

A function is defined with a type that is not compatible with the type (of the expression)

 pointed to by the expression that denotes the called function (6.5.

3.

3).

DCL40-C,
EXP37-C

The operand of the unary * operator has an invalid value (6.5.

4.2).

EXP34-C

A pointer is converted to other than an integer or pointer type (6.5.

5).

<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="d6dcf246-c570-459d-be01-e3df33832a72"><ac:plain-text-body><![CDATA[

An array subscript is out of range, even if an object is apparently accessible with the given subscript (as in the lvalue expression a[1][7] given the declaration int a[4][5]) (6.5.

7).

ARR30-C

The result of subtracting two pointers is not representable in an object of type ptrdiff_t (6.5.

7).

An expression is shifted by a negative number or by an amount greater than or equal to the width of the promoted expression (6.5.

8).

INT34-C

An expression having signed promoted type is left-shifted and either the value of the expression is negative or the result of shifting would

not be representable in the promoted type (6.5.

8).

<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="9a61ce0a-719f-4e2c-aaf8-1ef25e5c8742"><ac:plain-text-body><![CDATA[

The value of an object is accessed by an array-subscript []

, member-access . or ->, address &, or indirection * operator or a pointer cast in creating an address constant (6.6).

An identifier for an object is declared with no linkage and the type of the object is incomplete after its declarator, or after its init-declarator if it has an initializer (6.7).

A function is declared at block scope with an explicit storage-class specifier other than extern (6.7.

2).

A structure or union is defined as containing no named

members (including those specified indirectly via anonymous structures and unions) (6.7.3.2

).

An attempt is made to access, or generate a pointer to just past, a flexible array member of a structure when the referenced object provides no elements for that array (6.7.3.2

).

ARR30-C

When the complete type is needed, an incomplete structure or union type is not completed in the same scope by another declaration of the tag that defines the content (6.7.

3.

4).

Two qualified types that are required to be compatible do not have the identically qualified version of a compatible type (6.7.

4).

In a context requiring two array types to be compatible, they do not have compatible element types, or their size specifiers evaluate to unequal values (6.7.5.2).

ARR34-C

<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="67a10c4a-4b79-445d-ac24-1e049650900c"><ac:plain-text-body><![CDATA[

Two pointer types that are required to be compatible are not identically qualified, or are not pointers to compatible types (6.7.7.2).

The size expression in an array declaration is not a constant expression and evaluates at program execution time to a nonpositive value (6.7.7.3).

ARR32-C

In a context requiring two array types to be compatible, they do not have compatible element types, or their size specifiers evaluate to unequal values (6.7.7.23).

A declaration of an array parameter includes the keyword static within the [ and ] and the corresponding argument does not provide access to the first element of an array with at least the specified number of elements (6.7.

7.

4).

A storage-class specifier or type qualifier modifies the keyword void as a function parameter type list (6.7.

7.

4).

In a context requiring two function types to be compatible, they do not have compatible return types, or their parameters disagree in use of the ellipsis terminator or the number and type of parameters (after default argument promotion, when there is no parameter type list

) (6.7.7.4).

A declaration for which a type is inferred contains a pointer, array, or function declarators (6.7.10).

A declaration for which a type is inferred contains no or more than one declarators (6.7.

10).

The initializer for an aggregate or union, other than an array initialized by a

string literal, is not a brace-enclosed list of initializers for its elements or members (6.7.11).

A function definition that does not have the asserted property is called by a function declaration or a function pointer with a type that has the unsequenced or reproducible attribute (6.7.13.8).

An identifier with external linkage is used, but in the program there does not exist exactly one external definition for the identifier, or the identifier is not used and there exist multiple external definitions for the identifier (6.9).

A function that accepts a variable number of arguments is defined without a parameter type list that ends with the ellipsis notation (6.9.

2).

The } that terminates a function is reached, and the value of the function call is used by the caller (6.9.

2).

MSC37-C

An identifier for an object with internal linkage and an incomplete type is declared with a tentative definition (6.9.

3).

A non-directive preprocessing directive is executed (6.10).

The token defined is generated during the expansion of a #if or #elif preprocessing directive, or the use of the defined unary operator does not match one of the two specified forms prior to macro replacement (6.10.

2).

The #line preprocessing directive that results after expansion does not match one of the two well-defined forms, or its digit sequence specifies zero or a number greater than 2147483647 (6.10.

6).

A non-STDC #pragma preprocessing directive that is documented as causing translation failure or some other form of undefined behavior is encountered (6.10.

8).

A #pragma STDC preprocessing directive does not match one of the well-defined forms (6.10.

8).

The name of a predefined macro, or the identifier defined, is the subject of a #define or #undef preprocessing directive (6.10.

10).

An attempt is made to copy an object to an overlapping object by use of a library function, other than as explicitly allowed (e.g., memmove) (clause 7).

A header is included within an external declaration or definition (7.1.2).

A function, object, type, or macro that is specified as being declared or defined by some standard header is used before any header that declares or defines it is included (7.1.2).

A standard header is included while a macro is defined with the same name as a keyword (7.1.2).