So in this case C or C++ is safer than Ada (if you use GNAT) but at the price of reduced performance, funny no?

Note that at some point Zig had the same semantic as Ada, but then they changed to use C's (less efficient) semantic: this aliasing detection must be difficult to do..

Is there an online Ada compiler which detect the issue?