http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #7 from bagnara at cs dot unipr.it 2012-04-06 14:06:38 UTC --- (In reply to comment #5) > Here is a sketch (100% untested) of what can be done without intervening [...] So untested that I forgot to declare to the MIP problem that all variables are integer. I have attached a file (example1.c) where this is corrected.