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

The arguments to certain operators are such that could produce a negative zero result, but the implementation does not support negative zeros (6.2.6.2).

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

DCL23-C,
DCL40-C

Conversion to or from an integer type produces a value outside the range that can be represented (6.3.1.4).

FLP34-C

Demotion of one real floating type to another produces a value outside the range that can be represented (6.3.1.5).

FLP34-C

An lvalue does not designate an object when evaluated (6.3.2.1).

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

The initial character of an identifier is a universal character name designating a digit (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).

.

1).

DCL40-C,
EXP39-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).

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

Pointers that do not point to the same aggregate or union (nor just beyond the same array object) are compared using relational operators (6.5.

9).

ARR36-C

An object is assigned to an inexactly overlapping object or to an exactly overlapping object with incompatible type (6.5.

17.

2).

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

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

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

An attempt is made to modify an object defined with a const-qualified type through use of an lvalue with non-const-qualified type (6.7.

4).

EXP05-C, EXP40-C

An attempt is made to refer to an object defined with a volatile-qualified type through use of an lvalue with non-volatile-qualified type (6.7.

4).

EXP32-C

The specification of a function type includes any type qualifiers (6.7.

4).

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

4).

An object which has been modified is accessed through a restrict-qualified pointer to a const-qualified type, or through a restrict-qualified pointer and another pointer that are not both based on the same object (6.7.

4.

2).

A restrict-qualified pointer is assigned a value based on another restricted pointer whose associated block neither began execution before the block associated with this pointer, nor ended before the assignment (6.7.

4.

2).

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

The initializer for a structure or union object that has automatic storage duration is neither an initializer list nor a single expression that has compatible structure or union type (6.7.8).

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

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

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

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

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 #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 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 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

A macro definition of errno is suppressed in order to access an actual object, or the program defines an identifier with the name errno (7.5).

DCL37-C, MSC38-C

Part of the program tests floating-point status flags, sets floating-point control modes, or runs under non-default mode settings, but was translated with the state for the FENV_ACCESS pragma "off" (7.6.1).

The exception-mask argument for one of the functions that provide access to the floating-point status flags has a nonzero value not obtained by bitwise OR of the floating-point exception macros (7.6.2).