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

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 reserved keyword token is used in translation phase 7 or 8

(5.1.1.2) for some purpose other than as a keyword (6.4.1).

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

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

An expression that is required to be an integer constant expression does not have an

integer type; has operands that are not integer constants, named constants, compound literal constants, enumeration constants, character constants, predefined constants, sizeof expressions whose results are integer constants, alignof expressions, or immediately-cast floating constants; or contains casts (outside operands to sizeof and alignof operators) other than conversions of arithmetic types to integer types (6.6).

A constant expression in an initializer is not, or does not evaluate to, one of the following: a named constant, a compound literal constant, an arithmetic constant expression, a null pointer constant, an address constant, or an address constant for

a complete object type plus or minus an integer constant expression (6.6).

An arithmetic constant expression does not have arithmetic type; has operands that are

not integer constants, floating constants,

named and compound literal constants of arithmetic type, character constants, predefined constants,

sizeof expressions whose results are integer constants, or alignof expressions; or contains casts (outside operands to sizeof or alignof operators) other than conversions of arithmetic types to arithmetic types (6.6).

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

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

A function with external linkage is declared with an inline function specifier, but is not also defined in the same translation unit (6.7.

5).

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

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

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

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

DCL37-C

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

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

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

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

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

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

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

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

DCL37-C

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

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

The

program declares or defines a reserved identifier, other than as allowed by 7.1.4 (7.1.3).

DCL37-C

The program removes the definition of a macro whose name begins with an underscore and either an uppercase letter or another underscore (7.1.3).

An argument to a

library function has an invalid value or a type not expected by a function with a variable number of arguments (7.1.4).

The pointer passed to a library function array parameter does not have a value such that all address computations and object accesses are valid (7.1.4).

ARR30-C, ARR38-C

The macro definition of assert is suppressed in order to access an actual

function (7.

2).

MSC38-C

The argument to the assert macro does not have a scalar type (7.2).

The CX_LIMITED_RANGE, FENV_ACCESS, or FP_CONTRACT pragma is used in any context other than outside all external declarations or preceding all explicit declarations and statements inside a compound statement (7.3.4, 7.6.1, 7.12.2).

The

value of an argument to a character handling function is neither equal to the value of EOF nor representable as an unsigned char (7.4).

STR37-C