aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-04[clang] Remove unused local variables (NFC) (#138468)Kazu Hirata1-1/+1
2025-02-22[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#12...Michael Flanders1-2/+2
2025-01-10[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)Arseniy Zaostrovnykh1-5/+5
2024-12-19[analyzer][NFC] Migrate {SymInt,IntSym}Expr to use APSIntPtr (4/4) (#120438)Balazs Benics1-1/+1
2024-12-19[analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (#120437)Balazs Benics1-1/+1
2024-12-19[analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (#120436)Balazs Benics1-14/+16
2024-12-19[analyzer][NFC] Introduce APSIntPtr, a safe wrapper of APSInt (1/4) (#120435)Balazs Benics1-10/+10
2024-10-31[analyzer] EvalBinOpLL should return Unknown less often (#114222)Balazs Benics1-3/+4
2023-12-04[analyzer] Let the checkers query upper and lower bounds on symbols (#74141)DonatNagyE1-6/+50
2023-11-04[analyzer][NFC] Rework SVal kind representation (#71039)Balazs Benics1-37/+36
2023-09-29[analyzer] Remove inaccurate legacy handling of bad bitwise shifts (#66647)DonatNagyE1-1/+14
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-13/+15
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2022-12-03[StaticAnalyzer] Use std::nullopt instead of None (NFC)Kazu Hirata1-8/+8
2022-08-08[clang] LLVM_FALLTHROUGH => [[fallthrough]]. NFCFangrui Song1-3/+3
2022-06-15[analyzer][NFC] Prefer using isa<> instead getAs<> in conditionsBalazs Benics1-1/+1
2022-06-14[analyzer][NFC] Relocate unary transfer functionsBalazs Benics1-30/+0
2022-06-09[analyzer] Fix assertion failure after getKnownValue callGabor Marton1-9/+22
2022-06-07[analyzer] Track assume call stack to detect fixpointGabor Marton1-10/+0
2022-06-01[analyzer] Handle SymbolCast in SValBuilderGabor Marton1-3/+11
2022-05-27[analyzer][NFC] Inline loc::ConcreteInt::evalBinOpBalazs Benics1-7/+7
2022-05-26[analyzer] Add UnarySymExprGabor Marton1-0/+20
2022-05-12Reland "[analyzer] Canonicalize SymIntExpr so the RHS is positive when possible"Tomasz Kamiński1-3/+41
2022-05-06Revert "[analyzer] Canonicalize SymIntExpr so the RHS is positive when possible"Balazs Benics1-34/+4
2022-05-05[analyzer] Canonicalize SymIntExpr so the RHS is positive when possibleTomasz Kamiński1-4/+34
2022-03-31[analyzer] Avoid checking addrspace pointers in cstring checkerVince Bridgers1-0/+30
2022-01-09[clang] Use true/false instead of 1/0 (NFC)Kazu Hirata1-1/+1
2021-12-07[Analyzer] SValBuilder: Simlify a SymExpr to the absolute simplest formGabor Marton1-2/+42
2021-11-30[Analyzer][Core] Make SValBuilder to better simplify svals with 3 symbols in ...Gabor Marton1-7/+25
2021-11-23[Analyzer][Core] Better simplification in SimpleSValBuilder::evalBinOpNNGabor Marton1-10/+9
2021-11-22[Analyzer][Core] Simplify IntSym in SValBuilderGabor Marton1-0/+13
2021-10-04[APInt] Stop using soft-deprecated constructors and methods in clang. NFC.Jay Foad1-3/+3
2021-09-04[analyzer] SValBuilder should have an easy access to AnalyzerOptionsBalazs Benics1-6/+2
2021-04-13[analyzer] [NFC] Eliminate dispatchCast, evalCastFromNonLoc and evalCastFromL...Denys Petrov1-145/+13
2021-04-13[analyzer] Replace StoreManager::CastRetrievedVal with SValBuilder::evalCastDenys Petrov1-3/+4
2021-03-25[Analyzer] Infer 0 value when the divisible is 0 (bug fix)Gabor Marton1-0/+2
2020-08-13[analyzer] Fix crash with pointer to members valuesValeriy Savchenko1-4/+13
2020-08-03[analyzer] Simplify function SVal::getAsSymbolicExpression and similar onesDenys Petrov1-1/+1
2020-05-28[analyzer] Introduce reasoning about symbolic remainder operatorValeriy Savchenko1-0/+5
2020-05-26[Analyzer][NFC] Remove the SubEngine interfaceAdam Balogh1-1/+1
2019-07-16Fix parameter name comments using clang-tidy. NFC.Rui Ueyama1-1/+1
2019-03-07[analyzer] Handle comparison between non-default AS symbol and constantDavid Stenberg1-1/+9
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth1-4/+3
2018-12-15[analyzer] Assume that we always have a SubEngine availableGabor Horvath1-1/+1
2018-11-30[analyzer] Evaluate all non-checker config options before analysisKristof Umann1-1/+1
2018-11-30lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplifi...Adam Balogh1-3/+4
2018-11-01Fix clang -Wimplicit-fallthrough warnings across llvm, NFCReid Kleckner1-2/+2
2018-08-29[analyzer] Resolve the crash in ReturnUndefCheckerGeorge Karpenkov1-0/+1
2018-08-29[analyzer] [NFC] Remove unused "state" argument from makeSymExprValNNGeorge Karpenkov1-5/+5
2018-07-31[analyzer] Reuse some code in simplifySVal().Artem Dergachev1-21/+22
generated by cgit v1.1 at 2025-09-30 13:57:57 +0000