projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d509fb) | patch
re PR tree-optimization/92131 (incorrect assumption that (ao >= 0) is always false)
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 23 Oct 2019 11:34:48 +0000 (11:34 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Wed, 23 Oct 2019 11:34:48 +0000 (11:34 +0000)
commit149a3e4d4e3aacdbfee165f0efea4d6327327265
treea5e9a1583b05e48192d0ae53cbf87ffd5acdb8a7tree
parent8d509fb6686cf55c8a7ff8297ad9d75a719d8fa6commit | diff
re PR tree-optimization/92131 (incorrect assumption that (ao >= 0) is always false)

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.

From-SVN: r277314
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.c-torture/execute/20191023-1.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history