aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/RegionStore.cpp
AgeCommit message (Expand)Author
2013-04-24[analyzer] Refactoring + explanatory comment.Anton Yartsev
2013-04-18[analyzer] "Force" LazyCompoundVals on bind when they are simple enough.Jordan Rose
2013-04-15[analyzer] Be lazy about struct/array global invalidation too.Jordan Rose
2013-04-15[analyzer] Re-enable using global regions as a symbolic base.Jordan Rose
2013-04-15[analyzer] Properly invalidate global regions on opaque function calls.Jordan Rose
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-04-03[analyzer] Fix typo.Anna Zaks
2013-04-02[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-03-26[analyzer] micro optimization as per Jordan’s feedback on r177905.Anna Zaks
2013-03-25[analyzer] Set concrete offset bindings to UnknownVal when processing symboli...Anna Zaks
2013-03-23[analyzer] Correct the stale comment.Anna Zaks
2013-03-20[analyzer] Appease buildbots: include template arguments in base class ref.Jordan Rose
2013-03-20[analyzer] Don't invalidate globals when there's no call involved.Jordan Rose
2013-03-20[analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose
2013-03-19[analyzer] Do not believe lazy binding when symbolic region types do not matchAnna Zaks
2013-03-01[analyzer] Special-case bitfields when finding sub-region bindings.Jordan Rose
2013-02-28[analyzer] RegionStore: collectSubRegionKeys -> collectSubRegionBindingsJordan Rose
2013-02-27[analyzer] If a struct has a partial lazy binding, its fields aren't Undef.Jordan Rose
2013-02-25[analyzer] Handle reference parameters with default values.Jordan Rose
2013-02-21[analyzer] Tidy up a few uses of Optional in RegionStore.Jordan Rose
2013-02-21Use None rather than Optional<T>() where possible.David Blaikie
2013-02-21[analyzer] Tighten up safety in the use of lazy bindings.Jordan Rose
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Use op-> directly rather than via Optional<T>::getPointer.David Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-20[analyzer] Account for the "interesting values" hash table resizing.Jordan Rose
2013-02-19[analyzer] Don't accidentally strip off base object regions for lazy bindings.Jordan Rose
2013-02-15[analyzer] Cache the bindings accessible through a LazyCompoundVal.Jordan Rose
2013-02-15[analyzer] Tweak LazyCompoundVal reuse check to ignore qualifiers.Jordan Rose
2013-02-15[analyzer] Use collectSubRegionKeys to make removeDeadBindings faster.Jordan Rose
2013-02-15[analyzer] Refactor RegionStore's sub-region bindings traversal.Jordan Rose
2013-02-14[analyzer] Try constant-evaluation for all variables, not just globals.Jordan Rose
2013-02-13[analyzer] Use Clang's evaluation for global constants and default arguments.Jordan Rose
2013-02-13[analyzer] Use makeZeroVal in RegionStore's lazy evaluation of statics.Jordan Rose
2013-02-01[analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose
2013-01-31[analyzer] If a lazy binding is undefined, pretend that it's unknown instead.Jordan Rose
2013-01-31[analyzer] Fix a bug in region store that lead to undefined value falseAnna Zaks
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2013-01-09Do not model loads from complex types, since we don't accurately model the im...Ted Kremenek
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-14Refactor dump methods to make RegionBindingsRef printable in the debugger.Ted Kremenek
2012-12-07Reduce conversions between Store <-> ImmutableMapRef in RegionStore.Ted Kremenek
2012-12-07Add helper method to convert from a RegionStoreRefBindings to a Store.Ted Kremenek
2012-12-07Further reduce analysis time by 0.2% on a heavy Objective-C example by avoidi...Ted Kremenek
2012-12-07Unbreak the GCC (4.4 & other bot) builds from r169571.David Blaikie
2012-12-07Change RegionStore to always use ImmutableMapRef for processing cluster bindi...Ted Kremenek
2012-12-06Revert "[analyzer] Aggressively cut back on the canonicalization in RegionSto...Ted Kremenek
2012-12-06[analyzer] Aggressively cut back on the canonicalization in RegionStore.Jordan Rose
2012-12-06Only provide explicit getCapturedRegion() and getOriginalRegion() from refere...Ted Kremenek