summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Skip printing duplicate nodes, even if nodes have multiple predece...George Karpenkov2018-09-151-1/+6
* [analyzer] Skip printing trivial nodes in exploded graphGeorge Karpenkov2018-09-071-16/+36
* [analyzer] [NFC] Move dumping program point into a separate functionGeorge Karpenkov2018-09-061-131/+132
* [analyzer] Dump stable identifiers for exploded nodesGeorge Karpenkov2018-09-061-3/+7
* [analyzer] Dump a reproducible, deterministic ID of program state to exploded...George Karpenkov2018-09-061-1/+2
* [CFG] [analyzer] Disable argument construction contexts for variadic functions.Artem Dergachev2018-08-291-9/+21
* [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultGeorge Karpenkov2018-08-291-2/+2
* [analyzer] Add support for constructors of arguments.Artem Dergachev2018-08-151-12/+21
* Port getLocStart -> getBeginLocStephen Kelly2018-08-091-10/+9
* [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
OpenPOWER on IntegriCloud