summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Core/ExprEngineC.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] PR37501: Disable assertion for logical op short circuit evaluation.Artem Dergachev2019-03-291-2/+27
* [CFG] [analyzer] pr41142: C++17: Skip transparent InitListExprs in ExprEngine.Artem Dergachev2019-03-261-1/+1
* [Fixed Point Arithmetic] Fixed Point and Integer ConversionsLeonard Chan2019-03-061-1/+3
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Pass the correct loc Expr from VisitIncDecOp to evalStoreRafael Stahl2019-01-071-2/+2
* Revert "Revert r347417 "Re-Reinstate 347294 with a fix for the failures.""Fangrui Song2018-11-301-2/+3
* Revert r347417 "Re-Reinstate 347294 with a fix for the failures."Fangrui Song2018-11-301-3/+2
* Re-commit r347417 "Re-Reinstate 347294 with a fix for the failures."Hans Wennborg2018-11-281-2/+3
* Revert r347417 "Re-Reinstate 347294 with a fix for the failures."Hans Wennborg2018-11-271-3/+2
* Re-Reinstate 347294 with a fix for the failures.Bill Wendling2018-11-211-2/+3
* Revert r347364 again, the fix was incomplete.Nico Weber2018-11-211-3/+2
* Reinstate 347294 with a fix for the failures.Bill Wendling2018-11-201-2/+3
* Revert r345562: "PR23833, DR2140: an lvalue-to-rvalue conversion on a glvalue...Richard Smith2018-11-031-6/+1
* Fix clang -Wimplicit-fallthrough warnings across llvm, NFCReid Kleckner2018-11-011-1/+1
* PR23833, DR2140: an lvalue-to-rvalue conversion on a glvalue of typeRichard Smith2018-10-301-1/+6
* [Fixed Point Arithmetic] Fixed Point to Boolean CastLeonard Chan2018-10-231-1/+2
* [OpenCL][NFC] Unify ZeroToOCL* cast typesAndrew Savonichev2018-10-231-2/+1
* [Fixed Point Arithmetic] FixedPointCastLeonard Chan2018-10-151-1/+2
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-04 15:42:27 +0000