https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92131
--- Comment #23 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Wed Oct 23 13:17:34 2019 New Revision: 277331 URL: https://gcc.gnu.org/viewcvs?rev=277331&root=gcc&view=rev Log: PR tree-optimization/92131 * tree-vrp.c (extract_range_from_plus_minus_expr): If the resulting range would be symbolic, drop to varying for any explicit overflow in the constant part or if neither range is a singleton. Added: branches/gcc-7-branch/gcc/testsuite/gcc.c-torture/execute/20191023-1.c - copied unchanged from r277330, trunk/gcc/testsuite/gcc.c-torture/execute/20191023-1.c Modified: branches/gcc-7-branch/gcc/ChangeLog branches/gcc-7-branch/gcc/testsuite/ChangeLog branches/gcc-7-branch/gcc/tree-vrp.c