...
EXP35-C-EX0: Since this behavior is well-defined in C11, programs may take advantage of it as long as they require that a C11 or newer compiler is always used to compile them. This can be enforced with C's predefined macros as explained in PRE13-C. Use the Standard predefined macros to test for versions and features. (The code should #error when C11 or newer is not detected.)
Risk Assessment
Attempting to modify an array or access it after its lifetime expires may result in erroneous program behavior.
...