summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* [analyzer] Fix operator delete[] array-type-sub-expression handling.Artem Dergachev2018-04-271-2/+4
* [analyzer] When we fail to evaluate a pointer cast, escape the pointer.Artem Dergachev2018-04-191-32/+19
* [analyzer] Better pretty-printing of regions in exploded graphGeorge Karpenkov2018-03-291-1/+1
* [analyzer] Remove an assertion that doesn't hold in C++17.Artem Dergachev2018-03-221-16/+38
* [analyzer] Fix the assertion failure when static globals are used in lambda b...George Karpenkov2018-03-201-15/+13
* StaticAnalyzer: fix compiler warning. NFCPavel Labath2018-03-141-1/+1
* [analyzer] NFC: Move the code for setting temp object lifetime into method.Artem Dergachev2018-03-121-0/+60
* [CFG] [analyzer] Add construction context to C++ return-by-value call elements.Artem Dergachev2018-03-121-0/+1
* [analyzer] Add scope information to CFGMaxim Ostapenko2018-03-121-0/+2
* Fix an unused variable warning; NFCGeorge Burgess IV2018-03-081-1/+1
* [analyzer] Don't crash with assertion failure on structured bindingsGeorge Karpenkov2018-03-071-1/+6
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-03-021-203/+202
* Resubmit [analyzer] Support for naive cross translation unit analysisIlya Biryukov2018-03-011-3/+4
* Revert "[analyzer] Support for naive cross translation unit analysis"Ilya Biryukov2018-03-011-4/+3
* [analyzer] Support for naive cross translation unit analysisGabor Horvath2018-02-281-3/+4
* [analyzer] Track temporaries without construction contexts for destruction.Artem Dergachev2018-02-271-11/+44
* [analyzer] Introduce correct lifetime extension behavior in simple cases.Artem Dergachev2018-02-271-39/+130
* [analyzer] Suppress temporary destructors for temporary arrays.Artem Dergachev2018-02-151-3/+16
* [analyzer] Compute the correct this-region for temporary destructors.Artem Dergachev2018-02-151-71/+107
* [analyzer] Decide on inlining destructors via EvalCallOptions.Artem Dergachev2018-02-151-11/+38
* [analyzer] Add missing pre-post-statement callbacks for OffsetOfExpr.Artem Dergachev2018-02-101-3/+10
* [CFG] Add extra context to C++ constructor statement elements.Artem Dergachev2018-02-081-11/+12
* [analyzer] Self-debug: Dump the core's internal state traits to the egraph.Artem Dergachev2018-02-081-1/+55
* [analyzer] Self-debug: Dump environment frame-by-frame.Artem Dergachev2018-02-081-40/+1
* [analyzer] Fix transitions in check::PreStmt<MemberExpr> checker callback.Artem Dergachev2018-02-021-5/+4
* [analyzer] Expose exploration strategy through analyzer options.George Karpenkov2018-02-021-1/+1
* [analyzer] operator new: Fix callback order for CXXNewExpr.Artem Dergachev2018-01-181-1/+9
* [analyzer] operator new: Add a new ProgramPoint for check::NewAllocator.Artem Dergachev2018-01-181-0/+2
* [analyzer] operator new: Fix ambigious type name.Artem Dergachev2018-01-171-2/+3
* [analyzer] NFC: Forbid array elements of void type.Artem Dergachev2018-01-171-3/+11
* [analyzer] operator new: Use the correct region for the constructor.Artem Dergachev2018-01-171-0/+58
* [analyzer] do not crash on cases where an array subscript is an rvalueGeorge Karpenkov2017-12-051-11/+24
* [analyzer] pr34404: Fix a crash on modeling pointers to indirect members.Artem Dergachev2017-11-271-1/+3
* [analyzer] Fix leak false positives on stuff put in C++/ObjC initializer lists.Artem Dergachev2017-10-051-17/+38
* [StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps for ea...Peter Szecsi2017-08-281-1/+2
* [StaticAnalyzer] LoopUnrolling fixesPeter Szecsi2017-08-281-2/+5
* [StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unro...Peter Szecsi2017-08-211-17/+15
* [StaticAnalyzer] Handle LoopExit CFGElement in the analyzerPeter Szecsi2017-08-211-1/+24
* [CFG] Add LoopExit information to CFGPeter Szecsi2017-08-191-0/+1
* [StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped be...Peter Szecsi2017-08-191-1/+1
* [StaticAnalyzer] Completely unrolling specific loops with known bound optionPeter Szecsi2017-07-251-0/+22
* Revert "[StaticAnalyzer] Completely unrolling specific loops with known bound...Peter Szecsi2017-07-201-23/+1
* This feature allows the analyzer to consider loops to completely unroll. NewPeter Szecsi2017-07-191-1/+23
* CFG: Add CFGElement for automatic variables that leave the scopeMatthias Gehre2017-07-121-0/+2
* Added LLVM_FALLTHROUGH to address warning: this statement may fall through. NFC.Galina Kistanova2017-06-031-0/+1
* [analyzer] Fix assert in ExprEngine::processSwitchAlexander Shaposhnikov2017-04-211-2/+2
* [analyzer] When creating a temporary object, properly copy the value into it.Artem Dergachev2017-03-281-14/+50
* [coroutines] Add DependentCoawaitExpr and fix re-building CoroutineBodyStmt.Eric Fiselier2017-03-061-0/+1
* [Analyzer] Terminate analysis on OpenMP code instead of assertion crashAleksei Sidorin2017-03-031-31/+32
* [analyzer] pr32088: Don't destroy the temporary if its initializer causes ret...Devin Coughlin2017-03-011-1/+9
OpenPOWER on IntegriCloud