Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Updated references from C11->C23 for UBs 52-122

According to the C Standard, Annex J, section J.2 [ISO/IEC 9899:2011], the behavior of a program is undefined  in the circumstances outlined in the following table. The Practice "Guideline" column in the table identifies the coding practice(s) practices that address the specific case of undefined behavior (UB). The parenthesized section descriptions of undefined behaviors in the "Description" column are direct quotes from the standard. The parenthesized numbers refer to the section subclause of the C Standard (C11) that identifies the undefined behavior. 

UB

Class

Description

Practice

Guideline

1

Anchor
ub_1
ub_1

(error)

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

MSC15-C

2

Anchor
ub_2
ub_2

(warning)

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

 


3

Anchor
ub_3
ub_3

(warning)

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

PRE30-C

4

Anchor
ub_4
ub_4

(warning)

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

.1

).

 


5
Anchor
ub_5
ub_5
 

The execution of a program contains a data race (5.1.2.
4
5).
 

Anchor
ub_6
ub_6

(warning)

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

 


Anchor
ub_7
ub_7

(warning)

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

.1

.2).

 


8

Anchor
ub_8
ub_8

(warning)

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

DCL36-C

Anchor
ub_9
ub_9

(error)

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

DCL21-C, DCL30-C

10 

Anchor
ub_10
ub_10

(error)

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

DCL30-C, EXP33-C

11

Anchor
ub_11
ub_11

(warning)

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

it is indeterminate

the object has an indeterminate representation (6.2.4, 6.7.

8

11, 6.8).

EXP33-C, MSC22-C

12

Anchor
ub_12
ub_12

(warning)

A

trap

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

EXP33-C

13

Anchor
ub_13
ub_13

(warning)

A

trap

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

object using

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

 


14

Anchor
ub_14
ub_14

(warning)

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

 

15 Anchorub_15ub_15

(warning)

Two declarations of the same object or function specify types that are

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

DCL32

DCL23-C,

ARR31

DCL40-C

16

15

Anchor
ub_

16

15
ub_

16

15

 17

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

16
Anchor
ub_
17
16
ub_
17
16

(warning)

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

FLP34-C

18

17

Anchor
ub_

18

17
ub_

18

17

(warning)

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

FLP34-C

19

18

Anchor
ub_

19

18
ub_

1920 

18

(error)

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

 


19

Anchor
ub_

20

19
ub_

20

19

(warning)

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

 


20 

21

Anchor
ub_

21

20
ub_

21 22 

20


An lvalue designation an object of automatic storage duration that could have been declared with the register storage class is used in a context that requires the value of the designated object, but the object is uninitialized (6.3.2.1).
 

21
Anchor
ub_
22
21
ub_
2223 
21

(warning)

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

 


22 

Anchor
ub_

23

22
ub_

23

22

(warning)

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

 


23 

24 

Anchor
ub_

24

23
ub_

24

23

(warning)

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

INT11

INT36-C

25

24 

Anchor
ub_

25

24
ub_

25

24

(warning)

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

EXP36-C

26 

25

Anchor
ub_

26

25
ub_

26

25

(error)

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

pointed-to type

referenced type (6.3.2.3).

DCL35
EXP37-C
27 

26 

Anchor
ub_

27

26
ub_

2728 

26

(warning)

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

 


27 

Anchor
ub_

28

27
ub_

28

27

(warning)

A reserved keyword token is used in translation phase 7 or 8

for

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

 


28 

29 

Anchor
ub_

29

28
ub_

29

28

(warning)

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

 


29 

30 

Anchor
ub_

30

29
ub_

3031 

29

(warning)

The initial character of an identifier is a universal character name designating a digit (6.4.2.1).

 


30 

Anchor
ub_

31

30
ub_

31

30

(warning)

Two identifiers differ only in nonsignificant characters (6.4.2.1).

DCL32

DCL23-C,
DCL31-C

32 

31 

Anchor
ub_

32

31
ub_

32

31

(warning)

The identifier

func{} is

__func__ is explicitly declared (6.4.2.2).

 


32 

33 

Anchor
ub_

33

32
ub_

33

32

(info)

The program attempts to modify a string literal (6.4.5).

STR30-C

34 

33 

Anchor
ub_

34

33
ub_

34

33

(warning)

The characters ', back-slash, ", /, or /* occur in the sequence between the < and > delimiters, or the characters ', back-slash, //, or /* occur in the sequence between the " delimiters, in a header name preprocessing token (6.4.7).

 

EXP39-C

35 

34 

Anchor
ub_

35

34
ub_

35

34

(warning)

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 

object (6.5.1).

EXP30-C

36 

35 

Anchor
ub_

36

35
ub_

36

35

(warning)

An exceptional condition occurs during the evaluation of an expression (6.5.1).

INT32-C

37 

36 

Anchor
ub_

37

36
ub_

37

36

(warning)

An object has its stored value accessed other than by an lvalue of an allowable type (6.5.1).

DCL40-C,
EXP39-C

38

old 37 

Anchor
ub_

38

37
ub_

3839 

37

(warning)

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

old 38 

Anchor
ub_

39

38
ub_

3940 

38

(warning)

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

old 39 

Anchor
ub_

40

39
ub_

40

39

(warning)

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

 
EXP37-C
41 

37 

Anchor
ub_

41

37
ub_

41

37

(warning)

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

pointed

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

2

3.

242

3).

 

DCL40-C,
EXP37-C

38

Anchor
ub_

42

38
ub_

42

38

 

A member of an atomic structure or union is accessed (6.5.
2
3.
3
4).
 

39 

43

Anchor
ub_

43

39
ub_

43

39

(error)

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

3

4.2).

 

EXP34-C

44

40 

Anchor
ub_

44

40
ub_

44

40

(warning)

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

445 

5).

 


41 

Anchor
ub_

45

41
ub_

45

41

(warning)

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

546 

6).

INT33-C

42

Anchor
ub_42
ub_42


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


43

Anchor
ub_

46

43
ub_

46

43

(warning)

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

7).

ARR30-C

47 

44

Anchor
ub_

47

44
ub_

47

44

(error)

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.

6

7).

ARR30-C

48

45 

Anchor
ub_

48

45
ub_

48

45

(warning)

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

6

7).

ARR36-C

49 

46 

Anchor
ub_

49

46
ub_

49

46

(warning)

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.

6

7).

ARR30-C

50 

47 

Anchor
ub_

50

47
ub_

50

47

(warning)

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

651

7).

 


48

Anchor
ub_

51

48
ub_

51

48

(warning)

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

8).

INT34-C

52 

49 

Anchor
ub_

52

49
ub_

52

49

(warning)

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

be

not be representable in the promoted type (6.5.

7

8).

 


50 

53

Anchor
ub_

53

50
ub_

53

50

(warning)

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

9).

ARR36-C

54

51

Anchor
ub_

54

51
ub_

54

51

(warning)

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

16

17.

1

2).

 


52 

55

Anchor
ub_

55

52
ub_

55

52

(warning)

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

integer type56 

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

 


53

Anchor
ub_

56

53
ub_

56

53

(warning)

A constant expression in an initializer is not, or does not evaluate to, one of the following:

an arithmetic

a named constant

expression

, a

null

compound literal constant, an arithmetic constant expression, a null pointer constant, an address constant, or an address constant for

an

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

 


54

57 

Anchor
ub_

57

54
ub_

57

54

(warning)

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

not integer

not integer constants, floating constants,

enumeration constants

named and compound literal constants of arithmetic type, character constants, predefined constants, sizeof expressions whose results are integer constants, or

sizeof

alignof expressions; or contains casts (outside operands to sizeof or alignof operators) other than conversions of arithmetic types to arithmetic types (6.6).

 


55

58

Anchor
ub_

58

55
ub_

5859 

55

(warning)

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

 


56 

Anchor
ub_

59

56
ub_

5960

56

(warning)

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

 


57 

Anchor
ub_

60

57
ub_

60

57

(warning)

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

1

2).

 


58

61 

Anchor
ub_

61

58
ub_

61

58

(warning)

A structure or union is defined as containing no named

members

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

.1

).

 


59 

62 

Anchor
ub_

62

59
ub_

62

59

(warning)

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

.1

).

ARR30-C

63

60

Anchor
ub_

63

60
ub_

63

60

(warning)

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.

2

3.

3

4).

 


61 

64 

Anchor
ub_

64

61
ub_

64

61

(info)

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.

3

4).

EXP05-C, EXP40-C

65 

62 

Anchor
ub_

65

62
ub_

65

62

(warning)

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.

3

4).

EXP32-C

66

63

Anchor
ub_

66

63
ub_

66

63

(warning)

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

367

4).

 


64 

Anchor
ub_

67

64
ub_

67

64

(warning)

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

368

4).

 


65 

Anchor
ub_

68

65
ub_

68

65

(warning)

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.

3

4.

169

2).

DCL33-C


66

Anchor
ub_

69

66
ub_

69

66

(warning)

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.

3

4.

1

2).

 


67

70

Anchor
ub_

70

67
ub_

70

67

(warning)

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

4

5).

 


68

71

Anchor
ub_

71

68
ub_

71 

68


A function declared with a _Noreturn function specifier returns to its caller (6.7.
4
5).
 

69

72

Anchor
ub_

72

69
ub_

72 

69


The definition of an object has an alignment specifier and another declaration of that object has a different alignment specifier (6.7.
573
6).
 

70

Anchor
ub_

73

70
ub_

73 

70


Declarations of an object in different translation units have different alignment specifiers (6.7.
5
6).
 

71
74
Anchor
ub_
74
71
ub_
74
71

(warning)

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

6

7.

1

2).

 


72
75 
Anchor
ub_
75
72
ub_
75
72

(warning)

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

6

7.

2

3).

ARR32-C

76 
73
Anchor
ub_
76
73
ub_
76
73

(warning)

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.

6

7.

2

23).

ARR34
EXP39-C
77

74

Anchor
ub_

77

74
ub_

77

74

(warning)

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.

6

7.

378

4).

 


75 

Anchor
ub_

78

75
ub_

78

75

(warning)

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

6

7.

3

4).

 


76 

79

Anchor
ub_

79

76
ub_

79

76

(warning)

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

) (6.7.

6

7.

3

4).

 


77

80

Anchor
ub_

80

77
ub_

80

(warning)

77


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


78

Anchor
ub_78
ub_78


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


79

Anchor
ub_79
ub_79

(warning)

The value of an unnamed member of a structure or union is used (6.7.

9

11).

 


80

81 

Anchor
ub_

81

80
ub_

81

80

(warning)

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

982

11).

 


81 

Anchor
ub_

82

81
ub_

82

81

(warning)

The initializer for a structure or union object

that has automatic storage duration

is neither an initializer list nor a single

expression that

expression that has compatible structure or union type (6.7.

9

11).

 


82

83

Anchor
ub_

83

82
ub_

83

82

(warning)

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

11).

 8586 


83

84

Anchor
ub_

84

83
ub_

84

(warning)

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

 

Anchor
ub_85ub_85

(warning)

A function definition includes an identifier list, but the types of the parameters are not declared in a following declaration list (6.9.1).

 

83


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


84

Anchor
ub_

86

84
ub_

86

84

(warning)

An

adjusted parameter type in a function definition is not an object type

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

.187 

).

 


85

Anchor
ub_

87

85
ub_

87

85

(warning)

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

188

2).

 


86 

Anchor
ub_

88

86
ub_

88

86

(warning)

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

1

2).

MSC37-C

89

87 

Anchor
ub_

89

87
ub_

89

87

(warning)

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

290

3).

 


88

Anchor
ub_88
ub_88


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


89

Anchor
ub_

90

89
ub_

90

89

(warning)

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.

191

2).

 


90

Anchor
ub_

91

90
ub_

91

90

(warning)

The #include preprocessing directive that results after expansion does not match one of the two header name forms (6.10.

2

3).

 

EXP43-C

92

91

Anchor
ub_

92

91
ub_

92

91

(warning)

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

2

3).

 


92

93 

Anchor
ub_

93

92
ub_

93

92

(warning)

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

3

5).

PRE32-C

94 

93 

Anchor
ub_

94

93
ub_

94

93

(warning)

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

395 

5.2).

 


94 

Anchor
ub_

95

94
ub_

95

94

(warning)

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

396 

5.3).

 


95 

Anchor
ub_

96

95
ub_

96

95

(warning)

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.

497

6).

 


96 

Anchor
ub_

97

96
ub_

97

96

(warning)

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

698 

8).

 


97

Anchor
ub_

98

97
ub_

98

97

(warning)

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

6

8).

 


98 

99

Anchor
ub_

99

98
ub_

99

98

(warning)

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

8100 

10).

 


99

Anchor
ub_

100

99
ub_

100

99

(warning)

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

 


100 

101

Anchor
ub_

101

100
ub_

101102

100

(warning)

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

 


101

Anchor
ub_

102

101
ub_

102103

101

(warning)

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

 


102

Anchor
ub_

103

102
ub_

103

102

(warning)

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

 


103

104

Anchor
ub_

104

103
ub_

104105

103

(warning)

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

 


104

Anchor
ub_

105

104
ub_

105

104

(warning)

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

 


105

106

Anchor
ub_

106

105
ub_

106

105

(warning)

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

DCL37-C

107

106

Anchor
ub_

107

106
ub_

107

106

(warning)

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

 


107

108

Anchor
ub_

108

107
ub_

108109

107

(error)

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

 


108

Anchor
ub_

109

108
ub_

109110

108

(info)

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

109

Anchor
ub_

110

109
ub_

110

109

(warning)

The macro definition of assert is suppressed in order to access an actual function (7.2).

MSC38-C

111 

110

Anchor
ub_

111

110
ub_

111112

110

(warning)

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

 


111 

Anchor
ub_

112

111
ub_

112113

111

(warning)

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

 


112

Anchor
ub_

113

112
ub_

113

112

(warning)

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

114

113

Anchor
ub_

114

113
ub_

114

113

(warning)

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

115

114

Anchor
ub_

115

114
ub_

115116

114

(warning)

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

 


115

Anchor
ub_

116

115
ub_

116117

115

(warning)

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

 


116

Anchor
ub_

117

116
ub_

117

116

(warning)

The fesetexceptflag function is used to set floating-point status flags that were not specified in the call to the fegetexceptflag function that provided the value of the corresponding fexcept_t object (7.6.

2

4.

4

5).

 


117

118

Anchor
ub_

118

117
ub_

118

117

(warning)

The argument to fesetenv or feupdateenv is neither an object set by a call to fegetenv or feholdexcept, nor is it an environment macro (7.6.

4

6.3, 7.6.

4119 

6.4).

 


118

Anchor
ub_

119

118
ub_

119

118

(warning)

The value of the result of an integer arithmetic or conversion function cannot be represented (7.8.2.1, 7.8.2.2, 7.8.2.3, 7.8.2.4, 7.

22

24.6.1, 7.

22

24.6.2, 7.

22

24.1).

ERR07-C

120

119 

Anchor
ub_

120

119
ub_

120

119

(info)

The program modifies the string pointed to by the value returned by the setlocale function (7.11.1.1).

ENV30-C

120

Anchor
ub_120
ub_120


A pointer returned by the setlocale function is used after a subsequent call to the function, or after the calling thread has exited (7.11.1.1).


121 

Anchor
ub_121
ub_121

(info)

The program modifies the structure pointed to by the value returned by the localeconv function (7.11.2.1).

ENV30-C

122

Anchor
ub_122
ub_122

(warning)

A macro definition of math_errhandling is suppressed or the program defines an identifier with the name math_errhandling (7.12).

MSC38-C

123

Anchor
ub_123
ub_123

(warning)

An argument to a floating-point classification or comparison macro is not of real floating type (7.12.3, 7.12.14).

 


124

Anchor
ub_124
ub_124

(warning)

A macro definition of setjmp is suppressed in order to access an actual function, or the program defines an external identifier with the name setjmp (7.13).

MSC38-C

125

Anchor
ub_125
ub_125

(warning)

An invocation of the setjmp macro occurs other than in an allowed context (7.13.2.1).

MSC22-C

126 

Anchor
ub_126
ub_126

(info)

The longjmp function is invoked to restore a nonexistent environment (7.13.2.1).

MSC22-C

127

Anchor
ub_127
ub_127

(warning)

After a longjmp, there is an attempt to access the value of an object of automatic storage class with non-volatile-qualified type, local to the function containing the invocation of the corresponding setjmp macro, that was changed between the setjmp invocation and longjmp call (7.13.2.1).

MSC22-C

128 

Anchor
ub_128
ub_128

(info)

The program specifies an invalid pointer to a signal handler function (7.14.1.1).

 


129 

Anchor
ub_129
ub_129

(warning)

A signal handler returns when the signal corresponded to a computational exception (7.14.1.1).

SIG31-C

130
Anchor
ub_130
ub_130
 

A signal handler called in response to SIGFPE, SIGILL, SIGSEGV, or any other implementation-defined value corresponding to a computational exception returns (7.14.1.1).
 
SIG35-C

131

Anchor
ub_131
ub_131

(info)

A signal occurs as the result of calling the abort or raise function, and the signal handler calls the raise function (7.14.1.1).

SIG33

SIG30-C,
SIG31-C

132

Anchor
ub_132
ub_132

(warning)

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

SIG31-C

133 

Anchor
ub_133
ub_133

(warning)

The value of errno is referred to after a signal occurred other than as the result of calling the abort or raise function and the corresponding signal handler obtained a SIG_ERR return from a call to the signal function (7.14.1.1).

ERR32-C

134

Anchor
ub_134
ub_134

(info)

A signal is generated by an asynchronous signal handler (7.14.1.1).

 


135
Anchor
ub_135
ub_135
 

The signal function is used in a multi-threaded program (7.14.1.1).
 
CON37-C

136 

Anchor
ub_136
ub_136

(warning)

A function with a variable number of arguments attempts to access its varying arguments other than through a properly declared and initialized va_list object, or before the va_start macro is invoked (7.16, 7.16.1.1, 7.16.1.4).

 


137

Anchor
ub_137
ub_137

(warning)

The macro va_arg is invoked using the parameter ap that was passed to a function that invoked the macro va_arg with the same parameter (7.16).

 


138

Anchor
ub_138
ub_138

(warning)

A macro definition of va_start, va_arg, va_copy, or va_end is suppressed in order to access an actual function, or the program defines an external identifier with the name va_copy or va_end (7.16.1).

MSC38-C

139

Anchor
ub_139
ub_139

(warning)

The va_start or va_copy macro is invoked without a corresponding invocation of the va_end macro in the same function, or vice versa (7.16.1, 7.16.1.2, 7.16.1.3, 7.16.1.4).

 


140

Anchor
ub_140
ub_140

(warning)

The type parameter to the va_arg macro is not such that a pointer to an object of that type can be obtained simply by postfixing a * (7.16.1.1).

 


141

Anchor
ub_141
ub_141

(warning)

The va_arg macro is invoked when there is no actual next argument, or with a specified type that is not compatible with the promoted type of the actual next argument, with certain exceptions (7.16.1.1).

DCL10-C

142

Anchor
ub_142
ub_142

(warning)

The va_copy or va_start macro is called to initialize a va_list that was previously initialized by either macro without an intervening invocation of the va_end macro for the same va_list (7.16.1.2, 7.16.1.4).

 


143 

Anchor
ub_143
ub_143

(warning)

The parameter parmN of a va_start macro is declared with the register storage class, with a function or array type, or with a type that is not compatible with the type that results after application of the default argument promotions (7.16.1.4).

 


144

Anchor
ub_144
ub_144

(warning)

The member designator parameter of an offsetof macro is an invalid right operand of the . operator for the type parameter, or designates a bit-field (7.19).

EXP38-C


145 

Anchor
ub_145
ub_145

(warning)

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

 


146

Anchor
ub_146
ub_146

(info)

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

 


147

Anchor
ub_147
ub_147

 


Use is made of any portion of a file beyond the most recent wide character written to a wide-oriented stream (7.21.2).

 


148

Anchor
ub_148
ub_148

(info)

The value of a pointer to a FILE object is used after the associated file is closed (7.21.3).

FIO42

FIO46-C

149

Anchor
ub_149
ub_149

(info)

The stream for the fflush function points to an input stream or to an update stream in which the most recent operation was input (7.21.5.2).

 


150

Anchor
ub_150
ub_150

(plus)

The string pointed to by the mode argument in a call to the fopen function does not exactly match one of the specified character sequences (7.21.5.3).

 


151

Anchor
ub_151
ub_151

(info)

An output operation on an update stream is followed by an input operation without an intervening call to the fflush function or a file positioning function, or an input operation on an update stream is followed by an output operation with an intervening call to a file positioning function (7.21.5.3).

FIO39-C

152

Anchor
ub_152
ub_152

(warning)

An attempt is made to use the contents of the array that was supplied in a call to the setvbuf function (7.21.5.6).

 


153

Anchor
ub_153
ub_153

(info)

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 (7.21.6.1, 7.21.6.2, 7.29.2.1, 7.29.2.2).

FIO00

FIO47-C

154

Anchor
ub_154
ub_154

(info)

The format in a call to one of the formatted input/output functions or to the strftime or wcsftime function is not a valid multibyte character sequence that begins and ends in its initial shift state (7.21.6.1, 7.121.6.2, 7.27.3.5, 7.229.2.1, 7.29.2.2, 7.29.5.1).

 


155

Anchor
ub_155
ub_155

(warning)

In a call to one of the formatted output functions, a precision appears with a conversion specifier other than those described (7.21.6.1, 7.29.2.1).

FIO00

 FIO47-C 

156

Anchor
ub_156
ub_156

(info)

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 (7.21.6.1, 7.29.2.1).

FIO00-C


157

Anchor
ub_157
ub_157

(warning)

A conversion specification for a formatted output function uses a # or 0 flag with a conversion specifier other than those described (7.21.6.1, 7.29.2.1).

FIO00

 FIO47-C 

158 

Anchor
ub_158
ub_158

(info)

A conversion specification for one of the formatted input/output functions uses a length modifier with a conversion specifier other than those described (7.21.6.1, 7.21.6.2, 7.29.2.1, 7.29.2.2).

FIO00

 FIO47-C 

159

Anchor
ub_159
ub_159

(info)

An s conversion specifier is encountered by one of the formatted output functions, and the argument is missing the null terminator (unless a precision is specified that does not require null termination) (7.21.6.1, 7.29.2.1).

 


160

Anchor
ub_160
ub_160

(warning)

An n conversion specification for one of the formatted input/output functions includes any flags, an assignment-suppressing character, a field width, or a precision (7.21.6.1, 7.21.6.2, 7.29.2.1, 7.29.2.2).

 


161

Anchor
ub_161
ub_161

(warning)

A % conversion specifier is encountered by one of the formatted input/output functions, but the complete conversion specification is not exactly %% (7.21.6.1, 7.21.6.2, 7.29.2.1, 7.29.2.2).

FIO00

 FIO47-C 

162

Anchor
ub_162
ub_162

(warning)

An invalid conversion specification is found in the format for one of the formatted input/output functions, or the strftime or wcsftime function (7.21.6.1, 7.21.6.2, 7.27.3.5, 7.29.2.1, 7.29.2.2, 7.29.5.1).

FIO00

FIO47-C

163
Anchor
ub_163
ub_163
 

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 INT_MAX (7.21.6.1, 7.29.2.1).
 

164

Anchor
ub_164
ub_164

(warning)

The number of input items assigned by a formatted input function is greater than INT_MAX (7.21.6.2, 7.29.2.2).

 


165

Anchor
ub_165
ub_165

(info)

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 (7.21.6.2, 7.29.2.2).

 


166

Anchor
ub_166
ub_166

(info)

A c, s, or [ conversion specifier is encountered by one of the formatted input functions, and the array pointed to by the corresponding argument is not large enough to accept the input sequence (and a null terminator if the conversion specifier is s or [) (7.21.6.2, 7.29.2.2).

 


167

Anchor
ub_167
ub_167

(info)

A c, s, or [ conversion specifier with an l qualifier is encountered by one of the formatted input functions, but the input is not a valid multibyte character sequence that begins in the initial shift state (7.21.6.2, 7.29.2.2).

 


168

Anchor
ub_168
ub_168

(warning)

The input item for a %p conversion by one of the formatted input functions is not a value converted earlier during the same program execution (7.21.6.2, 7.29.2.2).

 


169

Anchor
ub_169
ub_169

(info)

The vfprintf, vfscanf, vprintf, vscanf, vsnprintf, vsprintf, vsscanf, vfwprintf, vfwscanf, vswprintf, vswscanf, vwprintf, or vwscanf function is called with an improperly initialized va_list argument, or the argument is used (other than in an invocation of va_end) after the function returns (7.21.6.8, 7.21.6.9, 7.21.6.10, 7.21.6.11, 7.21.6.12, 7.21.6.13, 7.21.6.14, 7.29.2.5, 7.29.2.6, 7.29.2.7, 7.29.2.8, 7.29.2.9, 7.29.2.10).

 


170

Anchor
ub_170
ub_170

(warning)

The contents of the array supplied in a call to the fgets, gets, or fgetws function are used after a read error occurred (7.21.7.2, 7.21.7.7, 7.293.2).

FIO40-C

171

Anchor
ub_171
ub_171

(warning)

The file position indicator for a binary stream is used after a call to the ungetc function where its value was zero before the call (7.21.7.11).

 


172

Anchor
ub_172
ub_172

(warning)

The file position indicator for a stream is used after an error occurred during a call to the fread or fwrite function (7.21.8.1, 7.21.8.2).

 


173

Anchor
ub_173
ub_173

(warning)

A partial element read by a call to the fread function is used (7.21.8.1).

 


174

Anchor
ub_174
ub_174

(warning)

The fseek function is called for a text stream with a nonzero offset and either the offset was not returned by a previous successful call to the ftell function on a stream associated with the same file or whence is not SEEK_SET (7.21.9.2).

 


175

Anchor
ub_175
ub_175

(warning)

The fsetpos function is called to set a position that was not returned by a previous successful call to the fgetpos function on a stream associated with the same file (7.21.9.3).

 


176

Anchor
ub_176
ub_176

(warning)

A non-null pointer returned by a call to the calloc, malloc, or realloc function with a zero requested size is used to access an object (7.22.3).

MEM04-C

177 

Anchor
ub_177
ub_177

(error)

The value of a pointer that refers to space deallocated by a call to the free or realloc function is used (7.22.3).

MEM30-C

178
Anchor
ub_178
ub_178
 

The alignment requested of the aligned_alloc function is not valid or not supported by the implementation, or the size requested is not an integral multiple of the alignment (7.22.3.1).
 

179

Anchor
ub_179
ub_179

(info)

The pointer argument to the free or realloc function does not match a pointer earlier returned by calloc, malloc, or realloc, or the space has been deallocated by a call to free or realloc (7.22.3.3, 7.22.3.5).

MEM31-C ,

MEM34-C

180

Anchor
ub_180
ub_180

(warning)

The value of the object allocated by the malloc function is used (7.22.3.4).

MEM09-C


181

Anchor
ub_181
ub_181

(warning)

The

value

values of any bytes in a new object allocated by the realloc function beyond the size of the old object are used (7.22.3.5).

MEM09

EXP33-C

182

Anchor
ub_182
ub_182

(warning)

The program calls the exit or quick_exit function more than once, or calls both functions (7.22.4.4, 7.22.4.7).

ENV32-C,

ERR04-C

183

Anchor
ub_183
ub_183

(warning)

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 (7.22.4.4, 7.22.4.7).

ENV32-C

184

Anchor
ub_184
ub_184

(info)

The string set up by the getenv or strerror function is modified by the program (7.22.4.6, 7.24.6.2).

ENV30-C

185
Anchor
ub_185
ub_185
 

A signal is raised while the quick_exit function is executing (7.22.4.7).
 

186

Anchor
ub_186
ub_186

(info)

A command is executed through the system function in a way that is documented as causing termination or some other form of undefined behavior (7.22.4.8).

 


187 

Anchor
ub_187
ub_187

(info)

A searching or sorting utility function is called with an invalid pointer argument, even if the number of elements is zero (7.22.5).

 


188

Anchor
ub_188
ub_188

(warning)

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

 


189

Anchor
ub_189
ub_189

(warning)

The array being searched by the bsearch function does not have its elements in proper order (7.22.5.1).

 


190

Anchor
ub_190
ub_190

(warning)

The current conversion state is used by a multibyte/wide character conversion function after changing the LC_CTYPE category (7.22.7).

 


191

Anchor
ub_191
ub_191

(error)

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

STR35-C


192

Anchor
ub_192
ub_192

(info)

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

 


193

Anchor
ub_193
ub_193

(warning)

The contents of the destination array are used after a call to the strxfrm, strftime, wcsxfrm, or wcsftime function in which the specified length was too small to hold the entire null-terminated result (7.24.4.5, 7.27.3.5, 7.29.4.4.4, 7.29.5.1).

 


194

Anchor
ub_194
ub_194

(warning)

The first argument in the very first call to the strtok or wcstok is a null pointer (7.24.5.8, 7.29.4.5.7).

 


195

Anchor
ub_195
ub_195

(warning)

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

 


196

Anchor
ub_196
ub_196

(warning)

A complex argument is supplied for a generic parameter of a type-generic macro that has no corresponding complex function (7.25).

 


197
Anchor
ub_197
ub_197
 

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

198

Anchor
ub_198
ub_198

(warning)

The argument corresponding to an s specifier without an l qualifier in a call to the fwprintf function does not point to a valid multibyte character sequence that begins in the initial shift state (7.29.2.11).

 200


199

Anchor
ub_199
ub_199

(info)

In a call to the wcstok function, the object pointed to by ptr does not have the value stored by the previous call for the same wide string (7.29.4.5.7).

 


199

Anchor
ub_

200

199
ub_

200

199

(info)

An mbstate_t object is used inappropriately (7.29.6).

EXP33-C

201

199

Anchor
ub_

201

199
ub_

201

199

(warning)

The value of an argument of type wint_t to a wide character classification or case mapping function is neither equal to the value of WEOF nor representable as a wchar_t (7.

230

30.1).

 


199

202

Anchor
ub_

202

199
ub_

202

199

(warning)

The iswctype function is called using a different LC_CTYPE category from the one in effect for the call to the wctype function that returned the description (7.30.2.2.1).

 


199

203

Anchor
ub_

203

199
ub_

203

199

(warning)

The towctrans function is called using a different LC_CTYPE category from the one in effect for the call to the wctrans function that returned the description (7.30.3.2.1).

 


199

Anchor
ub_199
ub_199




Graphical symbols used in the preceding table:

Symbol

C11 Classification

(error)

Critical Undefined Behavior

(warning)

Bounded Undefined Behavior

(info)

Undefined Behavior (information/confirmation needed)

(plus)

Possible Conforming Language Extension

...


...

Image Modified