Can you please provide a test case that shows what problem this fixed?
> On Aug 19, 2014, at 10:50 AM, Aleksei Sidorin <[email protected]> wrote: > > Hi zaks.anna, jordan_rose, krememek, > > This patch fixes an issue that makes analyzer to create additional symbols > for pointer variables (binding is not recognized even if it exists). > > http://reviews.llvm.org/D4974 > > Files: > lib/StaticAnalyzer/Core/RegionStore.cpp > > Index: lib/StaticAnalyzer/Core/RegionStore.cpp > =================================================================== > --- lib/StaticAnalyzer/Core/RegionStore.cpp > +++ lib/StaticAnalyzer/Core/RegionStore.cpp > @@ -1282,6 +1282,8 @@ > const SymbolicRegion *SR = cast<SymbolicRegion>(MR); > T = SR->getSymbol()->getType(); > } > + if (T->isAnyPointerType() || T->isReferenceType()) > + T = T->getPointeeType(); > } > MR = GetElementZeroRegion(MR, T); > } > <D4974.12671.patch> _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
