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 6fb711a..1438429 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -470,8 +470,7 @@ verify_flow_sensitive_alias_info (void) if (pi->name_mem_tag && !pi->pt_malloc - && (pi->pt_vars == NULL - || bitmap_first_set_bit (pi->pt_vars) < 0)) + && (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"); goto err; |