summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* [analyzer] Correct the stale comment.Anna Zaks2013-03-231-3/+3
* [analyzer] Appease buildbots: include template arguments in base class ref.Jordan Rose2013-03-201-1/+1
* [analyzer] Don't invalidate globals when there's no call involved.Jordan Rose2013-03-201-11/+9
* [analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose2013-03-201-39/+55
* [analyzer] Do not believe lazy binding when symbolic region types do not matchAnna Zaks2013-03-191-5/+16
* [analyzer] Special-case bitfields when finding sub-region bindings.Jordan Rose2013-03-011-3/+4
* [analyzer] RegionStore: collectSubRegionKeys -> collectSubRegionBindingsJordan Rose2013-02-281-37/+46
* [analyzer] If a struct has a partial lazy binding, its fields aren't Undef.Jordan Rose2013-02-271-16/+41
* [analyzer] Handle reference parameters with default values.Jordan Rose2013-02-251-1/+1
* [analyzer] Tidy up a few uses of Optional in RegionStore.Jordan Rose2013-02-211-10/+7
* Use None rather than Optional<T>() where possible.David Blaikie2013-02-211-7/+7
* [analyzer] Tighten up safety in the use of lazy bindings.Jordan Rose2013-02-211-71/+79
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-12/+10
* Use op-> directly rather than via Optional<T>::getPointer.David Blaikie2013-02-201-2/+2
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-38/+38
* [analyzer] Account for the "interesting values" hash table resizing.Jordan Rose2013-02-201-3/+3
* [analyzer] Don't accidentally strip off base object regions for lazy bindings.Jordan Rose2013-02-191-21/+43
* [analyzer] Cache the bindings accessible through a LazyCompoundVal.Jordan Rose2013-02-151-30/+68
* [analyzer] Tweak LazyCompoundVal reuse check to ignore qualifiers.Jordan Rose2013-02-151-1/+1
* [analyzer] Use collectSubRegionKeys to make removeDeadBindings faster.Jordan Rose2013-02-151-19/+33
* [analyzer] Refactor RegionStore's sub-region bindings traversal.Jordan Rose2013-02-151-44/+59
* [analyzer] Try constant-evaluation for all variables, not just globals.Jordan Rose2013-02-141-21/+34
* [analyzer] Use Clang's evaluation for global constants and default arguments.Jordan Rose2013-02-131-5/+8
* [analyzer] Use makeZeroVal in RegionStore's lazy evaluation of statics.Jordan Rose2013-02-131-23/+19
* [analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose2013-02-011-34/+25
* [analyzer] If a lazy binding is undefined, pretend that it's unknown instead.Jordan Rose2013-01-311-2/+24
* [analyzer] Fix a bug in region store that lead to undefined value falseAnna Zaks2013-01-311-16/+8
* Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko2013-01-121-1/+1
* Do not model loads from complex types, since we don't accurately model the im...Ted Kremenek2013-01-091-0/+5
* [analyzer] Add the pointer escaped callback.Anna Zaks2012-12-201-2/+2
* Refactor dump methods to make RegionBindingsRef printable in the debugger.Ted Kremenek2012-12-141-9/+16
* Reduce conversions between Store <-> ImmutableMapRef in RegionStore.Ted Kremenek2012-12-071-147/+151
* Add helper method to convert from a RegionStoreRefBindings to a Store.Ted Kremenek2012-12-071-8/+13
* Further reduce analysis time by 0.2% on a heavy Objective-C example by avoidi...Ted Kremenek2012-12-071-8/+9
* Unbreak the GCC (4.4 & other bot) builds from r169571.David Blaikie2012-12-071-2/+4
* Change RegionStore to always use ImmutableMapRef for processing cluster bindi...Ted Kremenek2012-12-071-224/+250
* Revert "[analyzer] Aggressively cut back on the canonicalization in RegionSto...Ted Kremenek2012-12-061-37/+31
* [analyzer] Aggressively cut back on the canonicalization in RegionStore.Jordan Rose2012-12-061-31/+37
* Only provide explicit getCapturedRegion() and getOriginalRegion() from refere...Ted Kremenek2012-12-061-1/+1
* Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer2012-12-011-1/+2
* Remove workaround in RegionStore in r168741 since it is handled more generall...Ted Kremenek2012-11-281-10/+8
* Provide stop-gap solution to crash reported in PR 14436.Ted Kremenek2012-11-271-8/+10
* [analyzer] When invalidating symbolic offset regions, take fields into account.Jordan Rose2012-11-101-6/+63
* [analyzer] Run remove dead on end of path.Anna Zaks2012-11-031-1/+2
* [analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.Jordan Rose2012-10-031-98/+0
* Teach getCXXRecordDeclForPointerType about references.Jordan Rose2012-10-031-20/+5
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-2/+2
* [analyzer] Symbolic regions are live if any subregions are live.Jordan Rose2012-09-081-21/+9
* Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky2012-09-061-1/+1
* [analyzer] Clean up a couple uses of getPointeeType().Jordan Rose2012-09-051-6/+2
OpenPOWER on IntegriCloud