mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-04 20:11:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR tree-optimization/33340 (ICE: SSA corruption with -O (FRE))

Browse Source 
2007-09-18  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/33340
	* tree-ssa-sccvn.c (set_ssa_val_to): Do not set values to
	SSA_NAMEs that occur in abnormal PHI nodes.

	* g++.dg/torture/pr33340.C: New testcase.

From-SVN: r128571
This commit is contained in:
Richard Guenther 2007-09-18 08:46:23 +00:00 committed by Richard Biener
parent 4a96582796
commit fe4fefa0e0
4 changed files with 43 additions and 0 deletions

6
gcc/ChangeLog

@ -1,3 +1,9 @@
2007-09-18 Richard Guenther <rguenther@suse.de>
PR tree-optimization/33340
* tree-ssa-sccvn.c (set_ssa_val_to): Do not set values to
SSA_NAMEs that occur in abnormal PHI nodes.
2007-09-17 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
* tree-cfg.c (is_ctrl_altering_stmt, tree_block_ends_with_call_p):

5
gcc/testsuite/ChangeLog

@ -1,3 +1,8 @@
2007-09-18 Richard Guenther <rguenther@suse.de>
PR tree-optimization/33340
* g++.dg/torture/pr33340.C: New testcase.
2007-09-18 Tobias Burnus <burnus@net-b.de>
PR fortran/33231

27
gcc/testsuite/g++.dg/torture/pr33340.C Normal file

@ -0,0 +1,27 @@
void* operator new(__SIZE_TYPE__, void* __p) { }
struct auto_ptr {
int* p;
~auto_ptr() { delete p; }
};
typedef void* T;
struct vector {
void push_back(const T& __x) {
::new(0) T(__x);
insert(__x);
}
void insert(const T& __x);
} v;
void g();
void f() {
auto_ptr ap;
if (ap.p) {
ap.p = new int();
}
g();
int* tmp = ap.p;
ap.p = 0;
v.push_back(tmp);
}

5
gcc/tree-ssa-sccvn.c

@ -1022,6 +1022,11 @@ set_ssa_val_to (tree from, tree to)
{
tree currval;
if (from != to
&& TREE_CODE (to) == SSA_NAME
&& SSA_NAME_OCCURS_IN_ABNORMAL_PHI (to))
to = from;
/* The only thing we allow as value numbers are VN_TOP, ssa_names
and invariants. So assert that here. */
gcc_assert (to != NULL_TREE