summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove trailing spaceFangrui Song2018-07-301-1/+1
* [analyzer] pr37270: Track constructor target region, even if just a variable.Artem Dergachev2018-06-141-14/+2
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-1/+1
* [analyzer] pr37209: Fix casts of glvalues to references.Artem Dergachev2018-05-041-0/+7
* [analyzer] When we fail to evaluate a pointer cast, escape the pointer.Artem Dergachev2018-04-191-2/+5
* [Analyzer] More accurate modeling about the increment operator of the operand...Henry Wong2018-03-061-2/+9
* [analyzer] Relax the assert used when traversing the node graph.George Karpenkov2018-02-231-1/+5
* [analyzer] Fix false negative on post-increment of uninitialized variable.Roman Lebedev2017-11-301-1/+8
* [analyzer] pr34766: Fix a crash on explicit std::initializer_list constructor.Artem Dergachev2017-11-271-1/+1
* [analyzer] [NFC] Minor ExprEngineC refactoringGeorge Karpenkov2017-11-091-15/+22
* [analyzer] Fix a crash on logical operators with vectors.Artem Dergachev2017-11-081-0/+10
* [analyzer] [NFC] very minor ExprEngineC refactoringGeorge Karpenkov2017-11-031-4/+2
* [analyzer] Fix logical not for pointers with different bit widthDaniel Marjamaki2017-06-191-3/+2
* [analyzer] Fix symbolication for unknown unary increment/decrement results.Artem Dergachev2017-03-281-1/+1
* [analyzer] Add LocationContext as a parameter to checkRegionChangesAnna Zaks2017-01-131-3/+4
* Fix for PR15623 (corrected r290413 reverted at 290415). The patch eliminates ...Anton Yartsev2016-12-251-17/+7
* Fix problems in "[OpenCL] Enabling the usage of CLK_NULL_QUEUE as compare ope...Egor Churaev2016-12-231-0/+1
* Revert changes made by r290413 until regression is fixed.Anton Yartsev2016-12-231-7/+17
* Fix for PR15623. The patch eliminates unwanted ProgramState checker data prop...Anton Yartsev2016-12-231-17/+7
* [analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin2016-12-151-42/+119
* DR1213: element access on an array xvalue or prvalue produces an xvalue. In theRichard Smith2016-12-051-9/+1
* [analyzer] Model base to derived casts more precisely.Gabor Horvath2016-08-081-2/+23
* [OpenCL] Generate opaque type for sampler_t and function call for the initial...Yaxun Liu2016-07-281-0/+1
* [Bugfix] Fix ICE on constexpr vector splat.George Burgess IV2016-01-131-0/+4
* [analyzer] Evaluate integral casts as cast symbols if truncations are detected.Pierre Gousseau2016-01-121-1/+8
* [analyzer] Better detect when C++ object was constructed into existing region.Devin Coughlin2015-12-171-1/+4
* [analyzer] Support inlining lambda-converted blocks.Devin Coughlin2015-12-041-4/+26
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-84/+84
* Use llvm::reverse to make a bunch of loops use foreach. NFC.Pete Cooper2015-07-301-3/+1
* Test commit, no changes.Pavel Labath2015-01-201-1/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-10/+13
* [analyzer] Don't assert when combining using .* on a temporary.Jordan Rose2014-04-291-0/+6
* [C++11] Replace llvm::tie with std::tie.Benjamin Kramer2014-03-021-1/+1
* [analyzer] Add checker callbacks for MemberExpr and UnaryExprOrTypeTraitExpr.Jordan Rose2013-12-111-24/+33
* Add front-end infrastructure now address space casts are in LLVM IR.David Tweed2013-12-111-0/+1
* Revert "[analyzer] Refactor conditional expression evaluating code"Anna Zaks2013-12-061-43/+55
* [analyzer] Fix an infinite recursion in region invalidation by adding block c...Anna Zaks2013-11-201-1/+2
* [analyzer] Allow pre/post-statement checkers for UnaryOperator.Jordan Rose2013-09-271-20/+30
* [analyzer] Run post-stmt checks for DeclStmt.Jordan Rose2013-09-131-1/+4
* [analyzer] Refactor conditional expression evaluating codePavel Labath2013-08-231-55/+43
* [analyzer] Enable usage of temporaries in InitListExprsPavel Labath2013-08-091-2/+0
* [analyzer] Pointers-to-members are (currently) Locs, not NonLocs.Jordan Rose2013-07-021-1/+1
* [analyzer] Do not create a CompoundVal for lvalue InitListExprs.Anna Zaks2013-06-181-4/+7
* [analyzer] Re-enable reasoning about CK_LValueBitCastAnna Zaks2013-05-281-3/+3
* [analyzer] Handle CXXTemporaryObjectExprs in compound literals.Jordan Rose2013-05-061-19/+25
* [analyzer] Do not crash when processing binary "?:" in C++Anna Zaks2013-04-151-4/+20
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-4/+7
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-291-19/+0
* Silence a number of static analyzer warnings with assertions and such.Jordan Rose2013-03-051-0/+2
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-231-2/+2
OpenPOWER on IntegriCloud