summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* [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
* Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose2012-09-051-20/+0
* [analyzer] Treat all struct values as regions (even rvalues).Jordan Rose2012-09-011-0/+20
* Fix an assortment of doxygen comment issues found by -Wdocumentation.Ted Kremenek2012-08-221-5/+3
* Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek2012-08-221-6/+11
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-10/+9
* Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek2012-08-221-19/+2
* Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' andTed Kremenek2012-08-221-4/+14
* Consilidate SmallPtrSet count() followed by insert() into a single insert().Ted Kremenek2012-08-221-6/+2
* [analyzer] Handle dynamic_casts that turn out to be upcasts.Jordan Rose2012-08-131-13/+11
OpenPOWER on IntegriCloud