aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-26[StaticAnalyzer] Remove unused includes (NFC) (#141525)Kazu Hirata1-1/+0
2025-05-10[StaticAnalyzer] Remove redundant calls to std::unique_ptr<T>::get (NFC) (#13...Kazu Hirata1-1/+1
2024-12-19[analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (#120436)Balazs Benics1-1/+1
2023-11-04[analyzer][NFC] Rework SVal kind representation (#71039)Balazs Benics1-2/+2
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-1/+1
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2022-06-07[analyzer] Remove NotifyAssumeClientsGabor Marton1-1/+1
2022-05-23[analyzer] Implement assumeInclusiveRange in terms of assumeInclusiveRangeDualGabor Marton1-1/+1
2022-05-10[analyzer] Implement assume in terms of assumeDualGabor Marton1-5/+5
2020-08-03[analyzer] Simplify function SVal::getAsSymbolicExpression and similar onesDenys Petrov1-2/+2
2020-05-26[Analyzer][NFC] Remove the SubEngine interfaceAdam Balogh1-2/+2
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth1-4/+3
2017-02-25[analyzer] Refactor and simplify SimpleConstraintManagerDominic Chen1-222/+8
2016-12-25Fix for PR15623 (corrected r290413 reverted at 290415). The patch eliminates ...Anton Yartsev1-1/+13
2016-12-23Revert changes made by r290413 until regression is fixed.Anton Yartsev1-15/+1
2016-12-23Fix for PR15623. The patch eliminates unwanted ProgramState checker data prop...Anton Yartsev1-1/+15
2016-12-15[analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin1-0/+6
2016-12-13[analyzer] Run clang-format and fix styleDominic Chen1-67/+62
2016-11-15[analyzer] Rename assumeWithinInclusiveRange*()Dominic Chen1-2/+2
2015-10-20Roll-back r250822.Angel Garcia Gomez1-1/+1
2015-10-20Apply modernize-use-default to clang.Angel Garcia Gomez1-1/+1
2015-09-22[analyzer] Create one state for a range switch case instead of multiple.Devin Coughlin1-0/+67
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper1-1/+1
2013-08-28[analyzer] Add support for testing the presence of weak functions.Jordan Rose1-45/+14
2013-04-20[analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks1-13/+8
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose1-1/+1
2013-03-24[analyzer] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons.Jordan Rose1-2/+7
2013-03-23[analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose1-2/+6
2013-03-23[analyzer] Also transform "a < b" to "(b - a) > 0" in the constraint manager.Jordan Rose1-15/+17
2013-03-23Add reverseComparisonOp and negateComparisonOp to BinaryOperator.Jordan Rose1-16/+1
2013-03-23[analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.Jordan Rose1-16/+36
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie1-2/+2
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie1-10/+9
2012-10-01[analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose1-4/+4
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek1-6/+4
2012-09-24[analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)Anna Zaks1-1/+3
2012-09-07Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek1-1/+3
2012-08-22Despite me asking Jordan to do r162313, revert it. We can provideTed Kremenek1-29/+19
2012-08-21[analyzer] Push "references are non-null" knowledge up to the common parent.Jordan Rose1-19/+29
2012-05-10[analyzer] Exit early if constraint solver is given a non-integer symbolAnna Zaks1-0/+5
2012-05-08[analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose1-62/+36
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek1-8/+8
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie1-4/+0
2011-12-05[analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks1-28/+25
2011-12-05[analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks1-42/+43
2011-12-05[analyzer] First step toward removingAnna Zaks1-15/+25
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie1-2/+2
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek1-8/+8
2011-05-21A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor1-1/+2
2011-03-01[analyzer] Remove Checker V1.Argyrios Kyrtzidis1-1/+0
generated by cgit v1.1 at 2025-10-01 15:36:05 +0000