On 05/02/08 05:07, Richard Guenther wrote: > IMHO if such comparison may trap then we need to gimplify to > > <bb> > ... > bool tmp = a < b; > > <bb> > if (tmp) > .... Right. Though GIMPLE now will express the conditional as 'if (tmp == true)'. Diego.