summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Treat more const variables and fields as known contants.Artem Dergachev2018-05-041-2/+44
* [analyzer] NFC: Remove unused parameteer of StoreManager::CastRetrievedVal().Artem Dergachev2018-05-041-4/+4
* [analyzer] Do not invalidate the `this` pointer.Henry Wong2018-04-151-0/+3
* [analyzer] Prevent crashing in NonNullParamCheckerGeorge Karpenkov2018-03-021-0/+2
* Remove redundant casts. NFCGeorge Burgess IV2018-03-011-2/+2
* [analyzer] Remove redundant checkGeorge Karpenkov2018-02-271-2/+0
* [analyzer] Make isSubRegionOf reflexiveGeorge Karpenkov2018-01-171-2/+2
* [analyzer] Fix zero-initialization of stack VLAs under ObjC ARC.Artem Dergachev2017-12-211-3/+4
* [analyzer] In getSVal() API, disable auto-detection of void type as char type.Artem Dergachev2017-12-121-4/+1
* [analyzer] Don't treat lambda-captures float constexprs as undefinedDevin Coughlin2017-12-041-2/+9
* Add NDEBUG checks around LLVM_DUMP_METHOD functions for Wunused-function warn...Eric Christopher2017-11-161-0/+2
* [analyzer] pr28449: Fix support for various array initializers.Artem Dergachev2017-10-131-8/+5
* [analyzer] Fix autodetection of binding types.Artem Dergachev2017-10-041-8/+11
* [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.hGeorge Karpenkov2017-09-061-1/+1
* [analyzer] Fix modeling of constructorsAlexander Shaposhnikov2017-08-181-0/+13
* [analyzer] Support partially tainted records.Artem Dergachev2017-05-291-1/+4
* [analyzer] Improve subscripting null arrays for catching null dereferences.Artem Dergachev2017-04-241-0/+3
* [analyzer] Enforce super-region classes for various memory regions.Artem Dergachev2017-04-131-2/+3
* [analyzer] Extend taint propagation and checking to support LazyCompoundValAnna Zaks2017-03-091-0/+5
* [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks.Artem Dergachev2017-01-251-0/+2
* Remove custom handling of array copies in lambda by-value array capture andRichard Smith2016-12-141-3/+2
* [analyzer] Fix a crash on accessing a field within a literal-initialized union.Artem Dergachev2016-11-221-1/+2
* [NFC] Header cleanupMehdi Amini2016-07-181-1/+0
* Apply clang-tidy's misc-move-constructor-init throughout Clang.Benjamin Kramer2016-05-271-4/+5
* Remove redundant conditions of the form (A || (!A && B)) -> (A || B)Benjamin Kramer2016-04-111-5/+4
* [analyzer] Fix symbolic element index lifetime.Artem Dergachev2015-12-101-1/+6
* [analyzer] Update RegionStoreManager::getBinding to handle BlockDataRegionsDevin Coughlin2015-11-051-0/+4
* [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
OpenPOWER on IntegriCloud