diff options
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index c88030d..ef892b5 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -467,10 +467,9 @@ verify_flow_sensitive_alias_info (void) } if (pi->name_mem_tag - && !pi->pt_malloc && (pi->pt_vars == NULL || bitmap_empty_p (pi->pt_vars))) { - error ("pointers with a memory tag, should have points-to sets or point to malloc"); + error ("pointers with a memory tag, should have points-to sets"); goto err; } |