Fixed a bug in local_bitvector_analysis wherein an expression's ID was

used in place of the expression's type's ID. cr https://code.amazon.com/reviews/CR-2723653
NathanJPhillips · Jul 27, 2018 · 131e525 · 131e525
1 parent a18b32d
commit 131e525
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/local_bitvector_analysis.cpp b/src/analyses/local_bitvector_analysis.cpp
@@ -62,7 +62,7 @@ bool local_bitvector_analysist::is_tracked(const irep_idt &identifier)
 {
   localst::locals_mapt::const_iterator it=locals.locals_map.find(identifier);
   if(it==locals.locals_map.end() ||
-     it->second.id()!=ID_pointer ||
+     it->second.type().id()!=ID_pointer ||
      dirty(identifier))
     return false;