16
Library introduction
[library]
16.5
Library-wide requirements
[requirements]
16.5.4
Constraints on programs
[constraints]
16.5.4.11
Expects paragraph
[res.on.expects]
1
#
Violation of any preconditions specified in a function's
Preconditions:
element results in undefined behavior
.