@lock: guarda, a ta punto potrei salvarti un saccod i mal di testa con codesto programma, che interpreta il codice in modo matematico e becca tutti gli undefined behaviur
https://code.google.com/p/c-semantics/
edit: ah occhio che si sono spostati su GitHub - kframework/c-semantics: Semantics of C in K