According to the C Standard, Annex J, J.2 [ISO/IEC 9899:2011], the behavior of a program is undefined in the circumstances outlined in the following table. The "Guideline" column in the table identifies the coding practices that address the specific case of undefined behavior (UB). The descriptions of undefined behaviors in the "Description" column are direct quotes from the standard. The parenthesized numbers refer to the subclause of the C Standard (C11) that identifies the undefined behavior.
A "shall" or "shall not" requirement that appears outside of a constraint is violated (clause 4).
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 (220.127.116.11).
Token concatenation produces a character sequence matching the syntax of a universal character name (18.104.22.168).
A program in a hosted environment does not define a function named
|The execution of a program contains a data race (22.214.171.124).|
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 (126.96.36.199).
The same identifier has both internal and external linkage in the same translation unit (6.2.2).
An object is referred to outside of its lifetime (6.2.4).
The value of a pointer to an object whose lifetime has ended is used (6.2.4).
The value of an object with automatic storage duration is used while it is indeterminate (6.2.4, 6.7.9, 6.8).
A trap representation is read by an lvalue expression that does not have character type (188.8.131.52).
A trap representation is produced by a side effect that modifies any part of the object using an lvalue expression that does not have character type (184.108.40.206).
The operands to certain operators are such that they could produce a negative zero result, but the implementation does not support negative zeros (220.127.116.11).
Two declarations of the same object or function specify types that are not compatible (6.2.7).
|A program requires the formation of a composite type from a variable length array type whose size is specified by an expression that is not evaluated (6.2.7).|
Conversion to or from an integer type produces a value outside the range that can be represented (18.104.22.168).
Demotion of one real floating type to another produces a value outside the range that can be represented (22.214.171.124).
An lvalue does not designate an object when evaluated (126.96.36.199).
A non-array lvalue with an incomplete type is used in a context that requires the value of the designated object (188.8.131.52).
|An lvalue designation an object of automatic storage duration that could have been declared with the |
An lvalue having array type is converted to a pointer to the initial element of the array, and the array object has
An attempt is made to use the value of a void expression, or an implicit or explicit conversion (except to
Conversion of a pointer to an integer type produces a value outside the range that can be represented (184.108.40.206).
Conversion between two pointer types produces a result that is incorrectly aligned (220.127.116.11).
A pointer is used to call a function whose type is not compatible with the pointed-to type (18.104.22.168).
A reserved keyword token is used in translation phase 7 or 8 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 (22.214.171.124).
The initial character of an identifier is a universal character name designating a digit (126.96.36.199).
Two identifiers differ only in nonsignificant characters (188.8.131.52).
The program attempts to modify a string literal (6.4.5).
A side effect on a scalar object is unsequenced relative to either a different side effect on the same scalar object or a value computation using the value of the same scalar object (6.5).
An exceptional condition occurs during the evaluation of an expression (6.5).
An object has its stored value accessed other than by an lvalue of an allowable type (6.5).
For a call to a function without a function prototype in scope, the number of arguments does not equal the number of parameters (184.108.40.206).
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 (220.127.116.11).
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) (18.104.22.168).
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 (22.214.171.124).
|A member of an atomic structure or union is accessed (126.96.36.199).|
The operand of the unary
A pointer is converted to other than an integer or pointer type (6.5.4).
The value of the second operand of the
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.6).
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
Pointers that do not point into, or just beyond, the same array object are subtracted (6.5.6).
An array subscript is out of range, even if an object is apparently accessible with the given subscript (as in the lvalue expression
The result of subtracting two pointers is not representable in an object of type
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.7).
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.7).
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.8).
An object is assigned to an inexactly overlapping object or to an exactly overlapping object with incompatible type (188.8.131.52).
An expression that is required to be an integer constant expression does not have an integer type; has operands that are not integer constants, enumeration constants, character constants,
A constant expression in an initializer is not, or does not evaluate to, one of the following: an arithmetic constant expression, a null pointer constant, an address constant, or an address constant for an 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, enumeration constants, character constants, or
The value of an object is accessed by an array-subscript
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
A structure or union is defined as containing no named members (184.108.40.206).
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 (220.127.116.11).
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 (18.104.22.168).
An attempt is made to modify an object defined with a
An attempt is made to refer to an object defined with a
The specification of a function type includes any type qualifiers (6.7.3).
Two qualified types that are required to be compatible do not have the identically qualified version of a compatible type (6.7.3).
An object which has been modified is accessed through a
A function with external linkage is declared with an
|A function declared with a |
|The definition of an object has an alignment specifier and another declaration of that object has a different alignment specifier (6.7.5).|
|Declarations of an object in different translation units have different alignment specifiers (6.7.5).|
Two pointer types that are required to be compatible are not identically qualified, or are not pointers to compatible types (22.214.171.124).
The size expression in an array declaration is not a constant expression and evaluates at program execution time to a nonpositive value (126.96.36.199).
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 (188.8.131.52).
A declaration of an array parameter includes the keyword
A storage-class specifier or type qualifier modifies the keyword
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 or when one type is specified by a function definition with an identifier list) (184.108.40.206).
The value of an unnamed member of a structure or union is used (6.7.9).
The initializer for a scalar is neither a single expression nor a single expression enclosed in braces (6.7.9).
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.9).
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.9).
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 definition includes an identifier list, but the types of the parameters are not declared in a following declaration list (6.9.1).
An adjusted parameter type in a function definition is not an object type (6.9.1).
A function that accepts a variable number of arguments is defined without a parameter type list that ends with the ellipsis notation (6.9.1).
An identifier for an object with internal linkage and an incomplete type is declared with a tentative definition (6.9.2).
The token defined is generated during the expansion of a
The character sequence in an
There are sequences of preprocessing tokens within the list of macro arguments that would otherwise act as preprocessing directives (6.10.3).
The result of the preprocessing operator
The result of the preprocessing operator
The name of a predefined macro, or the identifier defined, is the subject of a
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.,
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).
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).
The macro definition of
The argument to the
The value of an argument to a character handling function is neither equal to the value of
A macro definition of
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
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).
The argument to
The value of the result of an integer arithmetic or conversion function cannot be represented (220.127.116.11, 18.104.22.168, 22.214.171.124, 126.96.36.199, 188.8.131.52, 184.108.40.206, 7.22.1).
The program modifies the string pointed to by the value returned by the
The program modifies the structure pointed to by the value returned by the
A macro definition of
An argument to a floating-point classification or comparison macro is not of real floating type (7.12.3, 7.12.14).
A macro definition of
An invocation of the
The program specifies an invalid pointer to a signal handler function (220.127.116.11).
A signal handler returns when the signal corresponded to a computational exception (18.104.22.168).
|A signal handler called in response to ||SIG35-C|
A signal occurs as the result of calling the
A signal occurs other than as the result of calling the abort or raise function, and the signal handler refers to an object with static or thread storage duration that is not a lock-free atomic object other than by assigning a value to an object declared as volatile sig_atomic_t, or calls any function in the standard library other than the abort function, the _Exit function, the quick_exit function, or the signal function (for the same signal number) (22.214.171.124).
The value of
A signal is generated by an asynchronous signal handler (126.96.36.199).
A function with a variable number of arguments attempts to access its varying arguments other than through a properly declared and initialized
A macro definition of
The type parameter to the
The parameter parmN of a
The member designator parameter of an
The argument in an instance of one of the integer-constant macros is not a decimal, octal, or hexadecimal constant, or it has a value that exceeds the limits for the corresponding type (7.20.4).
A byte input/output function is applied to a wide-oriented stream, or a wide character input/output function is applied to a byte-oriented stream (7.21.2).
Use is made of any portion of a file beyond the most recent wide character written to a wide-oriented stream (7.21.2).
The value of a pointer to a
The stream for the
The string pointed to by the mode argument in a call to the
An output operation on an update stream is followed by an input operation without an intervening call to the
An attempt is made to use the contents of the array that was supplied in a call to the
There are insufficient arguments for the format in a call to one of the formatted input/output functions, or an argument does not have an appropriate type (188.8.131.52, 184.108.40.206, 220.127.116.11, 18.104.22.168).
The format in a call to one of the formatted input/output functions or to the
In a call to one of the formatted output functions, a precision appears with a conversion specifier other than those described (22.214.171.124, 126.96.36.199).
A conversion specification for a formatted output function uses an asterisk to denote an argument-supplied field width or precision, but the corresponding argument is not provided (188.8.131.52, 184.108.40.206).
A conversion specification for a formatted output function uses a
A conversion specification for one of the formatted input/output functions uses a length modifier with a conversion specifier other than those described (220.127.116.11, 18.104.22.168, 22.214.171.124, 126.96.36.199).
An invalid conversion specification is found in the format for one of the formatted input/output functions, or the
|The number of characters or wide characters transmitted by a formatted output function (or written to an array, or that would have been written to an array) is greater than |
The number of input items assigned by a formatted input function is greater than
The result of a conversion by one of the formatted input functions cannot be represented in the corresponding object, or the receiving object does not have an appropriate type (188.8.131.52, 184.108.40.206).
The input item for a
The contents of the array supplied in a call to the
The file position indicator for a binary stream is used after a call to the
The file position indicator for a stream is used after an error occurred during a call to the
A partial element read by a call to the
A non-null pointer returned by a call to the
The value of a pointer that refers to space deallocated by a call to the
|The alignment requested of the |
The pointer argument to the
The value of the object allocated by the
The values of any bytes in a new object allocated by the
The program calls the exit or quick_exit function more than once, or calls both functions (220.127.116.11, 18.104.22.168).
During the call to a function registered with the atexit or at_quick_exit function, a call is made to the longjmp function that would terminate the call to the registered function (22.214.171.124, 126.96.36.199).
The string set up by the
|A signal is raised while the quick_exit function is executing (188.8.131.52).|
A command is executed through the
A searching or sorting utility function is called with an invalid pointer argument, even if the number of elements is zero (7.22.5).
The comparison function called by a searching or sorting utility function alters the contents of the array being searched or sorted, or returns ordering values inconsistently (7.22.5).
The array being searched by the
The current conversion state is used by a multibyte/wide character conversion function after changing the
A string or wide string utility function is instructed to access an array beyond the end of an object (7.24.1, 7.29.4).
A string or wide string utility function is called with an invalid pointer argument, even if the length is zero (7.24.1, 7.29.4).
The contents of the destination array are used after a call to the
The first argument in the very first call to the
The type of an argument to a type-generic macro is not compatible with the type of the corresponding parameter of the selected function (7.25).
A complex argument is supplied for a generic parameter of a type-generic macro that has no corresponding complex function (7.25).
|At least one member of the broken-down time passed to asctime contains a value outside its normal range, or the calculated year exceeds four digits or is less than the year 1000 (184.108.40.206).|
The argument corresponding to an
In a call to the
The value of an argument of type
Graphical symbols used in the preceding table:
Critical Undefined Behavior
Bounded Undefined Behavior
Undefined Behavior (information/confirmation needed)
Possible Conforming Language Extension