diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2005-03-30 22:10:47 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@gcc.gnu.org> | 2005-03-30 22:10:47 +0000 |
| commit | d19e9499fc4f7cf1bbcc48a8c7947d5818827a7f (patch) | |
| tree | f6eaaa98001b2da1eb839c4603dc4bf351b73e15 /gcc/tree-ssa.c | |
| parent | 12527dcee33276926ce75f6117544205982291e9 (diff) | |
| download | gcc-d19e9499fc4f7cf1bbcc48a8c7947d5818827a7f.zip gcc-d19e9499fc4f7cf1bbcc48a8c7947d5818827a7f.tar.gz gcc-d19e9499fc4f7cf1bbcc48a8c7947d5818827a7f.tar.bz2 | |
tree-ssa-alias.c (compute_flow_insensitive_aliasing): Make sure subvars get marked properly in tags for grouping.
2005-03-30 Daniel Berlin <dberlin@dberlin.org>
* tree-ssa-alias.c (compute_flow_insensitive_aliasing): Make sure
subvars get marked properly in tags for grouping.
(add_pointed_to_var): Mark only actual pointed to
variables/subvars in addresses needed.
(create_overlap_variables_for): Clear call clobbered on original
variable.
* tree-ssa-operands.c (get_asm_expr_operands): Don't let regular
addresable vars with subvars into list.
* tree-ssa.c (verify_ssa_name): Verify original is not used where
subvar should be.
From-SVN: r97285
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index b3fda97..899594d 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -136,6 +136,13 @@ verify_ssa_name (tree ssa_name, bool is_virtual) return true; } + if (is_virtual && var_ann (SSA_NAME_VAR (ssa_name)) + && get_subvars_for_var (SSA_NAME_VAR (ssa_name)) != NULL) + { + error ("Found real variable when subvariables should have appeared"); + return true; + } + return false; } |