This fixes missing handling of GIMPLE_COND in gimple_could_trap_p[_1]. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard. 2016-01-18 Richard Biener <rguent...@suse.de> PR middle-end/69308 * gimple.c (gimple_could_trap_p_1): Handle GIMPLE_COND. Index: gcc/gimple.c =================================================================== *** gcc/gimple.c (revision 232496) --- gcc/gimple.c (working copy) *************** gimple_could_trap_p_1 (gimple *s, bool i *** 1931,1936 **** --- 1931,1941 ---- && TYPE_OVERFLOW_TRAPS (t)), div)); + case GIMPLE_COND: + t = TREE_TYPE (gimple_cond_lhs (s)); + return operation_could_trap_p (gimple_cond_code (s), + FLOAT_TYPE_P (t), false, NULL_TREE); + default: break; }