https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92131
--- Comment #21 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Wed Oct 23 11:37:28 2019 New Revision: 277315 URL: https://gcc.gnu.org/viewcvs?rev=277315&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-9-branch/gcc/testsuite/gcc.c-torture/execute/20191023-1.c - copied unchanged from r277314, trunk/gcc/testsuite/gcc.c-torture/execute/20191023-1.c Modified: branches/gcc-9-branch/gcc/ChangeLog branches/gcc-9-branch/gcc/testsuite/ChangeLog branches/gcc-9-branch/gcc/tree-vrp.c
