summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Fix eliding the same destructor twice due to buggy default arguments.Artem Dergachev2018-07-311-1/+2
* [CFG] [analyzer] NFC: Enumerate construction context layer kinds.Artem Dergachev2018-07-311-93/+48
* Remove trailing spaceFangrui Song2018-07-301-4/+4
* [analyzer] Make checkEndFunction() give access to the return statement.Reka Kovacs2018-07-161-2/+2
* [analyzer] Remove redundant ';'.Artem Dergachev2018-06-281-1/+1
* [analyzer] Add support for pre-C++17 copy elision.Artem Dergachev2018-06-281-39/+107
* [analyzer] [NFC] A convenient getter for getting a current stack frameGeorge Karpenkov2018-06-271-14/+14
* [Fixed Point Arithmetic] Fixed Point Precision Bits and Fixed Point LiteralsLeonard Chan2018-06-201-0/+1
* [analyzer] Track class member initializer constructors path-sensitively.Artem Dergachev2018-06-141-31/+106
* [analyzer] NFC: Merge code for finding and tracking construction target.Artem Dergachev2018-06-141-75/+0
* [analyzer] NFC: Track all constructed objects in a single state trait.Artem Dergachev2018-06-011-238/+92
* [analyzer] Remove untested code in evalLoad.Artem Dergachev2018-05-041-37/+0
* [analyzer] pr18953: Split C++ zero-initialization from default initialization.Artem Dergachev2018-05-041-1/+3
* [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
OpenPOWER on IntegriCloud