summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Add TK_EntireMemSpace invalidation trait.Devin Coughlin2015-10-011-22/+46
* [analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire ...Devin Coughlin2015-09-241-2/+85
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-21/+21
* Revert r246345 until an assertion is fixed.Gabor Horvath2015-08-311-81/+2
* [analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire ...Devin Coughlin2015-08-281-2/+81
* Wdeprecated: RegionBindingsRef are copy constructed, make sure that's safe by...David Blaikie2015-08-131-21/+15
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-5/+5
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-5/+5
* Make helper functions static. NFC.Benjamin Kramer2015-03-091-1/+1
* Update for LLVM API change to make Small(Ptr)Set::insert return pair<iterator...David Blaikie2014-11-191-1/+1
* unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreatorDavid Blaikie2014-09-041-4/+5
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-4/+4
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-17/+18
* [C++11] Replacing RecordDecl iterators field_begin() and field_end() with ite...Aaron Ballman2014-03-081-4/+2
* [C++11] Replace llvm::tie with std::tie.Benjamin Kramer2014-03-021-1/+1
* [C++11] Switch from the llvm_move macro to directly calling std::move.Chandler Carruth2014-03-021-2/+2
* Only mark dump() function definitions 'used' in debug buildsAlp Toker2014-01-041-7/+3
* Replacing calls to getAttr with calls to hasAttr for clarity. No functional c...Aaron Ballman2013-12-191-1/+1
* [analyzer] Generate a LazyCompoundVal when loading from a union-typed region.Jordan Rose2013-10-231-1/+3
* StaticAnalyzer/Core/RegionStore.cpp: Prune one last "\param IsConst", as fixu...NAKAMURA Takumi2013-09-251-2/+0
* [analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev2013-09-241-51/+37
* [analyzer] Handle zeroing constructors for fields of structs with empty bases.Jordan Rose2013-09-111-4/+13
* [analyzer] Treat the rvalue of a forward-declared struct as Unknown.Jordan Rose2013-08-301-1/+1
* [analyzer] Fix handling of "empty" structs with base classesPavel Labath2013-08-291-1/+9
* [analyzer] Handle C string default values for const char * arguments.Jordan Rose2013-07-171-1/+1
* [analyzer] Use the expression’s type instead of region’s type in ArrayToP...Anna Zaks2013-05-281-16/+3
* [analyzer] Re-enable reasoning about CK_LValueBitCastAnna Zaks2013-05-281-1/+4
* [analyzer] Remove now-unused bindCompoundLiteral helper function.Jordan Rose2013-05-061-22/+0
* [analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose2013-05-011-22/+4
* [analyzer] Refactoring + explanatory comment.Anton Yartsev2013-04-241-9/+11
* [analyzer] "Force" LazyCompoundVals on bind when they are simple enough.Jordan Rose2013-04-181-7/+90
* [analyzer] Be lazy about struct/array global invalidation too.Jordan Rose2013-04-151-10/+7
* [analyzer] Re-enable using global regions as a symbolic base.Jordan Rose2013-04-151-10/+9
* [analyzer] Properly invalidate global regions on opaque function calls.Jordan Rose2013-04-151-21/+60
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-1/+1
* [analyzer] Fix typo.Anna Zaks2013-04-031-1/+1
* [analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks2013-04-021-16/+55
* [analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks2013-03-281-8/+21
* [analyzer] micro optimization as per Jordan’s feedback on r177905.Anna Zaks2013-03-261-1/+1
* [analyzer] Set concrete offset bindings to UnknownVal when processing symboli...Anna Zaks2013-03-251-2/+10
* [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
OpenPOWER on IntegriCloud