[musicale]

> "No way to prevent this", Says Only Language Where This Regularly Happens

   clang -fbounds-safety ...

also see lib0xc etc.: https://news.ycombinator.com/item?id=47978834

[dataflow]

NOTE: This is a design document and the feature is not available for users yet.

https://clang.llvm.org/docs/BoundsSafety.html

[musicale]

It has been available in Apple's version[1] for several years, and it appears to be migrating into upstream as well.

On macOS you can try it with:

    clang -Xclang -fbounds-safety program.c

Microsoft also seems to be using it (see above link regarding lib0xc).

[1] https://github.com/swiftlang/llvm-project