aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-01-10[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)Arseniy Zaostrovnykh1-6/+7
2024-10-18[analyzer][Solver][NFC] Cleanup const-correctness inside range-based solver (...Balazs Benics1-31/+28
2024-10-18[analyzer][Solver] Teach SymbolicRangeInferrer about commutativity (2/2) (#11...Balazs Benics1-0/+17
2024-10-18[analyzer][Solver] Improve getSymVal and friends (1/2) (#112583)Balazs Benics1-13/+8
2024-09-16[clang][NFC] declare internal linkage function static (#108759)Congcong Cai1-2/+2
2024-07-02[clang][StaticAnalyzer] Avoid 'raw_string_ostream::str' (NFC)Youngsuk Kim1-2/+2
2024-06-17[clang][analyzer] use unqualified canonical type during merging equivalence c...Congcong Cai1-1/+2
2024-03-06[clang][NFC] Trim license header comments to 81 characters (#82919)Balazs Benics1-1/+1
2024-01-25[analyzer] Avoid a crash in a debug printout function (#79446)NagyDonat1-0/+4
2023-12-04[analyzer] Let the checkers query upper and lower bounds on symbols (#74141)DonatNagyE1-0/+22
2023-05-04[clang] Replace None with std::nullopt in comments (NFC)Kazu Hirata1-1/+1
2023-02-17[analyzer] Remove unjustified assert from EquivalenceClass::simplifyBalazs Benics1-1/+12
2023-01-25[analyzer][solver] Improve reasoning for not equal to operatorManas1-1/+26
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-36/+38
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2022-12-19[analyzer] Fix crash inside RangeConstraintManager.cpp introduced by D112621Balazs Benics1-7/+8
2022-12-09[analyzer][solver] Introduce reasoning for not equal to operatorManas1-12/+44
2022-12-04[clang] Use std::nullopt instead of None in comments (NFC)Kazu Hirata1-2/+3
2022-12-04[clang] Use std::nullopt instead of None in comments (NFC)Kazu Hirata1-1/+1
2022-12-03[StaticAnalyzer] Use std::nullopt instead of None (NFC)Kazu Hirata1-11/+11
2022-08-09[clang][clang-tools-extra] LLVM_NODISCARD => [[nodiscard]]. NFCFangrui Song1-60/+58
2022-07-15[analyzer] Add new function `clang_analyzer_value` to ExprInspectionCheckerDenys Petrov1-0/+9
2022-07-15[analyzer][NFC] Tidy up handler-functions in SymbolicRangeInferrerDenys Petrov1-53/+71
2022-06-02[analyzer][NFC] Move overconstrained check from reAssume to assumeDualImplGabor Marton1-12/+1
2022-05-26[analyzer][solver] Handle UnarySymExpr in RangeConstraintSolverGabor Marton1-17/+22
2022-05-26[analyzer] Return from reAssume if State is posteriorly overconstrainedGabor Marton1-0/+11
2022-05-25[analyzer] Fix symbol simplification assertion failureGabor Marton1-6/+6
2022-04-19[analyzer] Implemented RangeSet::Factory::castTo function to perform promotio...Denys Petrov1-0/+190
2021-12-10[analyzer] Implemented RangeSet::Factory::unite function to handle intersecti...Denys Petrov1-14/+190
2021-12-07[Analyzer] SValBuilder: Simlify a SymExpr to the absolute simplest formGabor Marton1-38/+1
2021-12-01[Analyzer][solver] Simplification: Do a fixpoint iteration before the eq clas...Gabor Marton1-14/+79
2021-11-30[Analyzer][solver] Do not remove the simplified symbol from the eq classGabor Marton1-41/+13
2021-11-12[analyzer][solver] Remove reference to RangedConstraintManagerGabor Marton1-22/+17
2021-11-12[analyzer][solver] Iterate to a fixpoint during symbol simplification with co...Gabor Marton1-16/+103
2021-10-27[Analyzer][solver] Handle adjustments in constraint assignor remainderGabor Marton1-6/+6
2021-10-27[Analyzer][solver] Simplification: reorganize equalities with adjustmentGabor Marton1-9/+31
2021-10-23Revert "[analyzer][solver] Introduce reasoning for not equal to operator"Balazs Benics1-42/+13
2021-10-22[analyzer][solver] Introduce reasoning for not equal to operatorManas1-13/+42
2021-10-22[Analyzer] Extend ConstraintAssignor to handle remainder opGabor Marton1-3/+25
2021-10-22[Analyzer][NFC] Add RangedConstraintManager to ConstraintAssignorGabor Marton1-7/+10
2021-10-22[Analyzer][NFC] Move RangeConstraintManager's def before ConstraintAssignor's...Gabor Marton1-106/+107
2021-10-14[analyzer][solver] Handle simplification to ConcreteIntGabor Marton1-1/+14
2021-10-06[analyzer][NFC] Add RangeSet::dumpGabor Marton1-2/+4
2021-10-06[analyzer][solver] Fix CmpOpTable handling bugGabor Marton1-5/+13
2021-10-04[APInt] Stop using soft-deprecated constructors and methods in clang. NFC.Jay Foad1-1/+1
2021-07-26[Analyzer][solver][NFC] print constraints deterministically (ordered by their...Gabor Marton1-22/+29
2021-07-23[Analyzer][solver] Fix inconsistent equivalence class dataGabor Marton1-11/+11
2021-07-21[Analyzer][solver][NFC] Add explanatory comments to trivial eq classesGabor Marton1-0/+12
2021-07-15[Analyzer][solver] Remove unused functionsGabor Marton1-11/+0
2021-07-14[Analyzer][solver] Add dump methods for (dis)equality classes.Gabor Marton1-0/+170
generated by cgit v1.1 at 2025-10-01 06:36:36 +0000