Julien Cristau a écrit :
"behaviour is undefined" very much includes the possibility of segfaulting the program, afaict.
You're right: 'no segfaulting' is not an OGL requirement :D