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).

A non-array lvalue with an incomplete type is used in a context that requires the value of the designated object (6.3.2.1).

An lvalue having array type is converted to a pointer to the initial element of the array, and the array object has register storage class (6.3.2.1).

An attempt is made to use the value of a void expression, or an implicit or explicit conversion (except to void) is applied to a void expression (6.3.2.2).

Conversion of a pointer to an integer type produces a value outside the range that can be represented (6.3.2.3).

INT36-C

Conversion between two pointer types produces a result that is incorrectly aligned (6.3.2.3).

EXP36-C

A pointer is used to call a function whose type is not compatible with the

referenced type (6.3.2.3).

An unmatched ' or " character is encountered on a logical source line during tokenization (6.4).

A universal character name in an identifier does not designate a character whose encoding falls into one of the specified ranges (6.4.2.1).

Two identifiers differ only in nonsignificant characters (6.4.2.1).

DCL23-C,

DCL31-C

The identifier

__func__ is explicitly declared (6.4.2.2).

An attempt is made to modify the result of a function call, a conditional operator, an assignment operator, or a comma operator, or to access it after the next sequence point (6.5.2.2, 6.5.15, 6.5.16, 6.5.17).

EXP35-C

For a call to a function without a function prototype in scope, the number of arguments does not

equal the number of parameters (6.5.2.2).

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).

The value of the second operand of the / or % operator is zero (6.5.

6).

INT33-C

If the quotient a/b is not representable, the behavior of both a/b and a%b (6.5.6).

Addition or subtraction of a pointer into, or just beyond, an array object and an integer type produces a result that does not point into, or just beyond, the same array object (6.5.

7).

ARR30-C

Addition or subtraction of a pointer into, or just beyond, an array object and an integer type produces a result that points just beyond the array object and is used as the operand of a unary * operator that is evaluated (6.5.

7).

ARR30-C

Pointers that do not point into, or just beyond, the same array object are subtracted (6.5.

7).

ARR36-C

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).

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).

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 value of an unnamed member of a structure or union is used (6.7.11).

The initializer for a scalar is neither a single expression nor a single expression enclosed in braces (6.7.11).

The initializer for a structure or union object is neither an initializer list nor a single

expression that has compatible structure or union type (6.7.

11).

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

).

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 #include preprocessing directive that results after expansion does not match one of the two header name forms (6.10.

3).

EXP43-C

The character sequence in an #include preprocessing directive does not start with a letter (6.10.

3).

There are sequences of preprocessing tokens within the list of macro arguments that would otherwise act as preprocessing directives (6.10.

5).

PRE32-C

The result of the preprocessing operator # is not a valid character string literal (6.10.

5.2).

The result of the preprocessing operator ## is not a valid preprocessing token (6.10.

5.3).

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 file with the same name as one of the standard headers, not provided as part of the implementation, is placed in any of the standard places that are searched for included source files (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).

The program attempts to declare a library function itself, rather than via a standard header, but the declaration does not have external linkage (7.1.2).