https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71031
--- Comment #15 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Author: mpolacek Date: Thu May 19 18:42:31 2016 New Revision: 236484 URL: https://gcc.gnu.org/viewcvs?rev=236484&root=gcc&view=rev Log: PR tree-optimization/71031 * tree-vrp.c (extract_range_from_binary_expr_1): Turn assert into a condition and adjust the code a bit. * gcc.dg/tree-ssa/vrp100.c: New test. Added: branches/gcc-6-branch/gcc/testsuite/gcc.dg/tree-ssa/vrp100.c Modified: branches/gcc-6-branch/gcc/ChangeLog branches/gcc-6-branch/gcc/testsuite/ChangeLog branches/gcc-6-branch/gcc/tree-vrp.c
