diff options
| author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-06-13 15:44:25 +0000 |
|---|---|---|
| committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-06-13 15:44:25 +0000 |
| commit | 49dbc65a258b9f187ea549a505443e500df8683f (patch) | |
| tree | 9261bc45df26a587b5762e9d1ec2a6307641c5ea /gcc/tree-ssa.c | |
| parent | 5c83e8d87ce4673b56807db9a168e58d709370b7 (diff) | |
| download | gcc-49dbc65a258b9f187ea549a505443e500df8683f.tar.gz | |
2008-06-13 Basile Starynkevitch <basile@starynkevitch.net>
MELT branch merged with trunk r136757
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@136758 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 8e6ea4cff7a..52b17d4f972 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -559,7 +559,7 @@ verify_flow_sensitive_alias_info (void) continue; ann = var_ann (var); - if (pi->is_dereferenced && !pi->name_mem_tag && !ann->symbol_mem_tag) + if (pi->memory_tag_needed && !pi->name_mem_tag && !ann->symbol_mem_tag) { error ("dereferenced pointers should have a name or a symbol tag"); goto err; |