 the identically
qualified version of a compatible type (6.7.3).</td>
<td>no</td>
</tr>

<tr><td>
&ndash; 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.1).</td>
<td>no</td>
</tr>

<tr><td>
&ndash; A restrict-qualified pointer is assigned a value based on another restricted pointer
whose associated block neither began execution before th