diff options
author | Daniel Berlin <dberlin@dbrelin.org> | 2005-03-30 22:10:47 +0000 |
---|---|---|
committer | Daniel Berlin <dberlin@dbrelin.org> | 2005-03-30 22:10:47 +0000 |
commit | b523f2dc155d0fa8eba68dfc5851496f1872dd8f (patch) | |
tree | f6eaaa98001b2da1eb839c4603dc4bf351b73e15 /gcc/tree-ssa.c | |
parent | 7ff24c6b39ad0d4955b30e37565d2a4ee4f23c97 (diff) |
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.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@97285 138bc75d-0d04-0410-961f-82ee72b054a4
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 b3fda97f9f4..899594db222 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; } |