diff options
author | Martin Liska <mliska@suse.cz> | 2019-05-23 14:07:09 +0200 |
---|---|---|
committer | Martin Liska <marxin@gcc.gnu.org> | 2019-05-23 12:07:09 +0000 |
commit | 56a4e074ee8bcf4c3627fb595c31bd833d5a6532 (patch) | |
tree | 863165a5b3b619ab3a79ffcc8f116260a3c0bf34 | |
parent | 16f8992e7fec7b8d49fa423b565331b39b17b30d (diff) |
Do not use tree_to_wide_ref that point to a temporary (PR c++/90587).
2019-05-23 Martin Liska <mliska@suse.cz>
PR c++/90587
* tree-ssa-uninit.c (value_sat_pred_p): The result of &
operation points to a temporary (pointed via tree_to_wide_ref)
that is out of scope after the &.
From-SVN: r271555
-rw-r--r-- | gcc/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/tree-ssa-uninit.c | 2 |
2 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ba549f754e2..5b12af809ab 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2019-05-23 Martin Liska <mliska@suse.cz> + + PR c++/90587 + * tree-ssa-uninit.c (value_sat_pred_p): The result of & + operation points to a temporary (pointed via tree_to_wide_ref) + that is out of scope after the &. + 2019-05-23 Jonathan Wakely <jwakely@redhat.com> PR c++/90592 diff --git a/gcc/tree-ssa-uninit.c b/gcc/tree-ssa-uninit.c index bc07afe32c8..fe8f8f0bc28 100644 --- a/gcc/tree-ssa-uninit.c +++ b/gcc/tree-ssa-uninit.c @@ -1058,7 +1058,7 @@ value_sat_pred_p (tree val, tree boundary, enum tree_code cmpc, if (cmpc != BIT_AND_EXPR) return is_value_included_in (val, boundary, cmpc); - wi::tree_to_wide_ref andw = wi::to_wide (val) & wi::to_wide (boundary); + wide_int andw = wi::to_wide (val) & wi::to_wide (boundary); if (exact_p) return andw == wi::to_wide (val); else |