<html>

<p>
This follows appendix J.2 ("Undefined behavior") of <a
href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf">N1570</a>
(C11) precisely. All meanings are as in the standard.
</p>

<style>
td { vertical-align: top; }
th { text-align: left; }
</style>

<table style="">

<tr><th width="50%">C11 J.2</th>
<th>Checked?</th>
</tr>

<tr><td>
&ndash; A &ldquo;shall&rdquo; or &ldquo;shall not&rdquo; requirement that appears outside of a constraint is violated
(clause 4).</td>
<td>no</td>
</tr>
