https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71521
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Tue Jun 14 10:28:23 2016 New Revision: 237428 URL: https://gcc.gnu.org/viewcvs?rev=237428&root=gcc&view=rev Log: 2016-06-14 Richard Biener <rguent...@suse.de> PR tree-optimization/71521 * tree-vrp.c (extract_range_from_binary_expr_1): Guard division int_const_binop against zero divisor. * gcc.dg/tree-ssa/vrp101.c: New testcase. Modified: trunk/gcc/testsuite/ChangeLog