diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2014-11-21 21:41:37 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2014-11-21 21:41:37 +0100 |
| commit | 09877e133f3ca9c11a4334707d780a7b1a018bca (patch) | |
| tree | 77c4e0749d73de62a9cf49723dd7c628028194a5 /gcc/tree-sra.c | |
| parent | eb23df59649fc1e64937f9fd630cdc3e89fa6181 (diff) | |
| download | gcc-09877e133f3ca9c11a4334707d780a7b1a018bca.zip gcc-09877e133f3ca9c11a4334707d780a7b1a018bca.tar.gz gcc-09877e133f3ca9c11a4334707d780a7b1a018bca.tar.bz2 | |
re PR tree-optimization/64006 (__builtin_mul_overflow fails to signal overflow)
PR tree-optimization/64006
* tree-vrp.c (stmt_interesting_for_vrp): Return true
for {ADD,SUB,MUL}_OVERFLOW internal calls.
(vrp_visit_assignment_or_call): For {ADD,SUB,MUL}_OVERFLOW
internal calls, check if any REALPART_EXPR/IMAGPART_EXPR
immediate uses would change their value ranges and return
SSA_PROP_INTERESTING if so, or SSA_PROP_NOT_INTERESTING
if there are some REALPART_EXPR/IMAGPART_EXPR immediate uses
interesting for vrp.
* gcc.c-torture/execute/pr64006.c: New test.
From-SVN: r217945
Diffstat (limited to 'gcc/tree-sra.c')
0 files changed, 0 insertions, 0 deletions