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.