summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* Revert "[analyzer] Remove the "postponed" hack, deal with derived symbols..."Artem Dergachev2019-02-061-40/+20
* Replace llvm::isPodLike<...> by llvm::is_trivially_copyable<...>Serge Guelton2019-01-201-4/+0
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Assume that we always have a SubEngine availableGabor Horvath2018-12-151-5/+3
* [analyzer] Evaluate all non-checker config options before analysisKristof Umann2018-11-301-1/+1
* [analyzer] Fix the "Zombie Symbols" bug.Artem Dergachev2018-11-301-18/+3
* [analyzer][NFC] Fix some incorrect uses of -analyzer-config optionsKristof Umann2018-11-021-1/+1
* Fix clang -Wimplicit-fallthrough warnings across llvm, NFCReid Kleckner2018-11-011-2/+2
* [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov2018-09-281-3/+2
* [analyzer] Remove the "postponed" hack, deal with derived symbols using an ex...George Karpenkov2018-09-071-22/+40
* [analyzer] Support modeling no-op BaseToDerived casts in ExprEngine.Artem Dergachev2018-08-291-1/+3
* [analyzer] [NFC] Follow the convention when naming classesGeorge Karpenkov2018-08-291-24/+24
* Invalidate static locals when escaping lambdasGeorge Karpenkov2018-08-101-0/+27
* [analyzer] Use sufficiently large types for index bounds calculation.Artem Dergachev2018-06-281-1/+2
* [analyzer] const init: handle non-explicit cases more accuratelyRafael Stahl2018-05-291-5/+18
* Fixes issue introduced by r331556.Alexander Kornienko2018-05-091-3/+5
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-3/+3
* [analyzer] Invalidate union regions properly. Don't hesitate to load later.Artem Dergachev2018-05-041-6/+1
* [analyzer] pr18953: Split C++ zero-initialization from default initialization.Artem Dergachev2018-05-041-18/+22
* [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
OpenPOWER on IntegriCloud