On Wed, Apr 14, 2010 at 12:43, charfi asma <charfiasma@xxxxxxxx> wrote: > can so give a concrete example (source code) where gimple can not endoce all the semantics of the program ?? You can search bugzilla for LTO-related bugs: http://tinyurl.com/y5bkr2d Most issues with gimple have been fixed, but some remain. Particularly, when mixing optimization levels. Generating bytecode at -O0 and then doing LTO at -O2 can cause problems right now. Diego.