### Example of Out-of-Bounds Array Access in C

Source: https://www.absint.com/compcert/structure_de.htm

This C code demonstrates an out-of-bounds array access, which is considered undefined behavior in ISO C and a runtime error in CompCert C's formal semantics. The behavior of the compiled code can vary depending on compiler optimizations and memory layout.

```c
int main(void)
{
 int t[2];
 t[2] = 1; // out of bounds
 return 0;
}
```

=== COMPLETE CONTENT === This response contains all available snippets from this library. No additional content exists. Do not make further requests.