diff options
| author | Richard Biener <rguenther@suse.de> | 2014-10-14 07:36:02 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-10-14 07:36:02 +0000 |
| commit | b6fed550a33a4ea5005b52c0361f6386d9d70a65 (patch) | |
| tree | 74da23b12238b0becd94fc1b6c903f4233105bf6 /gcc | |
| parent | 340232b7e42de8661735ea188ef7a3acf1a46a07 (diff) | |
| download | gcc-b6fed550a33a4ea5005b52c0361f6386d9d70a65.zip gcc-b6fed550a33a4ea5005b52c0361f6386d9d70a65.tar.gz gcc-b6fed550a33a4ea5005b52c0361f6386d9d70a65.tar.bz2 | |
re PR tree-optimization/63512 (ICE: error: virtual use of statement not up-to-date)
2014-10-14 Richard Biener <rguenther@suse.de>
PR tree-optimization/63512
* tree-ssa-pre.c (create_expression_by_pieces): Mark stmts
modified.
* g++.dg/torture/pr63512.C: New testcase.
From-SVN: r216174
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/torture/pr63512.C | 46 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 2 |
4 files changed, 59 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2890d52..c7aa8f6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2014-10-14 Richard Biener <rguenther@suse.de> + + PR tree-optimization/63512 + * tree-ssa-pre.c (create_expression_by_pieces): Mark stmts + modified. + 2014-10-14 Oleg Endo <olegendo@gcc.gnu.org> PR target/63260 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d42991f..59aca0d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-10-14 Richard Biener <rguenther@suse.de> + + PR tree-optimization/63512 + * g++.dg/torture/pr63512.C: New testcase. + 2014-10-14 Oleg Endo <olegendo@gcc.gnu.org> PR target/63260 diff --git a/gcc/testsuite/g++.dg/torture/pr63512.C b/gcc/testsuite/g++.dg/torture/pr63512.C new file mode 100644 index 0000000..9549014 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr63512.C @@ -0,0 +1,46 @@ +// { dg-do compile } + +extern "C" { +void __assert_fail (); +unsigned long strlen (const char *); +} +class A +{ + int Data; + int Length; + +public: + A (const char *p1) : Data () + { + p1 ? void() : __assert_fail (); + Length = strlen (p1); + } +}; +enum TokenKind +{ + semi +}; +class B +{ +public: + void m_fn1 (); +}; +class C +{ + void m_fn2 (TokenKind, int, A); + struct D + { + D (int); + B Range; + }; + int *m_fn3 (const int &, int &, int **); +}; +int a, b; +int * +C::m_fn3 (const int &, int &, int **) +{ + D c (0); + if (a) + c.Range.m_fn1 (); + m_fn2 (semi, 0, b ? "" : a ? "alias declaration" : "using declaration"); +} diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 60ff70f..c3dad70 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -2897,6 +2897,7 @@ create_expression_by_pieces (basic_block block, pre_expr expr, } gimple_set_vuse (stmt, BB_LIVE_VOP_ON_EXIT (block)); + gimple_set_modified (stmt, true); } gimple_seq_add_seq (stmts, forced_stmts); } @@ -2904,6 +2905,7 @@ create_expression_by_pieces (basic_block block, pre_expr expr, name = make_temp_ssa_name (exprtype, NULL, "pretmp"); newstmt = gimple_build_assign (name, folded); gimple_set_vuse (newstmt, BB_LIVE_VOP_ON_EXIT (block)); + gimple_set_modified (newstmt, true); gimple_set_plf (newstmt, NECESSARY, false); gimple_seq_add_stmt (stmts, newstmt); |