diff options
| author | Nathan Sidwell <nathan@codesourcery.com> | 2004-09-09 10:15:44 +0000 |
|---|---|---|
| committer | Nathan Sidwell <nathan@gcc.gnu.org> | 2004-09-09 10:15:44 +0000 |
| commit | e15379347231bed38c764cf3619e21cb56767150 (patch) | |
| tree | 2fc626669ace4163616695592962200ca0d36fcc /gcc/tree-ssa-ccp.c | |
| parent | 6273ba378d377424a8752183a7520b9223806476 (diff) | |
| download | gcc-e15379347231bed38c764cf3619e21cb56767150.zip gcc-e15379347231bed38c764cf3619e21cb56767150.tar.gz gcc-e15379347231bed38c764cf3619e21cb56767150.tar.bz2 | |
tree-outof-ssa.c (free_temp_expr_table): Add missed assert.
* tree-outof-ssa.c (free_temp_expr_table): Add missed assert.
* tree-ssa-ccp.c (set_lattice_value): Correct missapplied de
Morgan's theorem in last checkin.
From-SVN: r87226
Diffstat (limited to 'gcc/tree-ssa-ccp.c')
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index ddde45d..54ff28a 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -219,8 +219,8 @@ set_lattice_value (tree var, value val) else if (val.lattice_val == CONSTANT) /* VARYING -> CONSTANT is an invalid state transition, except for objects which start off in a VARYING state. */ - gcc_assert (old->lattice_val == VARYING - || get_default_value (var).lattice_val != VARYING); + gcc_assert (old->lattice_val != VARYING + || get_default_value (var).lattice_val == VARYING); /* If the constant for VAR has changed, then this VAR is really varying. */ if (old->lattice_val == CONSTANT |