http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44683
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ebotcazou at gcc dot | |gnu.org Known to work| | Known to fail| | --- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-10-22 16:56:59 UTC --- While working on a related subject, the testcase started to regress. IMHO the fix only papers over the problem (try with -fno-trapping-math for example). Even in the true edge of a conditional expression, you cannot infer a simple equivalence as soon as there are or there might be signed zeros involved.