Gabriel Dos Reis wrote:
We need to be careful not to to substitute "illegal" for "undefined behaviour". GCC is not a court.
Note that in Ada, illegal is a technical term, it refers to a program that fails to meet the syntactic or static semantic rules for a correct Ada program, and must be rejected by an Ada compiler at compile time.