aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-08-27[clang] NFC: reintroduce clang/include/clang/AST/Type.h (#155050)Matheus Izvekov1-1/+1
2025-08-27[clang] NFC: rename clang/include/clang/AST/Type.h to TypeBase.h (#155049)Matheus Izvekov1-1/+1
2025-08-09[clang] Improve nested name specifier AST representation (#147835)Matheus Izvekov1-2/+2
2025-05-26[StaticAnalyzer] Remove unused includes (NFC) (#141525)Kazu Hirata1-1/+0
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou1-18/+14
2025-04-25[clang][analyzer][NFC] Add a helper for conjuring symbols at call events (#13...Fangyi Zhou1-10/+15
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics1-10/+15
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou1-15/+10
2025-03-18[Clang] Introduce a trait to determine the structure binding size (#131515)cor3ntin1-1/+4
2025-01-10[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)Arseniy Zaostrovnykh1-10/+10
2024-12-19[analyzer][NFC] Migrate {SymInt,IntSym}Expr to use APSIntPtr (4/4) (#120438)Balazs Benics1-6/+2
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-1/+1
2024-10-09[analyzer] Fix crash when casting the result of a malformed fptr call (#111390)Balazs Benics1-6/+6
2024-09-24[NFC][analyzer] Make `invalidateRegions` accept `Stmt` instead of `Expr` (#10...Pavel Skripkin1-2/+2
2024-09-16[analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall` (#106081)Pavel Skripkin1-10/+12
2023-11-28[analyzer] Use AllocaRegion in MallocChecker (#72402)DonatNagyE1-0/+8
2023-11-04[analyzer][NFC] Rework SVal kind representation (#71039)Balazs Benics1-14/+14
2023-11-04[analyzer] Fix assertion failure in `CXXInstanceCall::getCXXThisVal` (#70837)Balazs Benics1-0/+5
2023-10-02[C++] Implement "Deducing this" (P0847R7)Corentin Jabot1-1/+1
2023-09-20[analyzer] Fix crash analyzing _BitInt() in evalIntegralCast (#66782)vabridgers1-5/+3
2023-09-18Revert "[analyzer] Fix crash analyzing _BitInt() in evalIntegralCast (#65887)"Bjorn Pettersson1-3/+5
2023-09-18[analyzer] Fix crash analyzing _BitInt() in evalIntegralCast (#65887)vabridgers1-5/+3
2023-05-30[clang][analyzer][NFC] Remove unnecessary FALLTHROUGH markersDmitri Gribenko1-1/+0
2023-01-14[clang] Remove remaining uses of llvm::Optional (NFC)Kazu Hirata1-1/+0
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-9/+12
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2022-12-08[clang] Don't including None.h (NFC)Kazu Hirata1-1/+0
2022-12-03[StaticAnalyzer] Use std::nullopt instead of None (NFC)Kazu Hirata1-4/+4
2022-08-08[clang] LLVM_FALLTHROUGH => [[fallthrough]]. NFCFangrui Song1-1/+1
2022-07-19[analyzer][NFC] Use `SValVisitor` instead of explicit helper functionsDenys Petrov1-454/+416
2022-07-05[analyzer] Fix assertion in simplifySymbolCastGabor Marton1-0/+4
2022-07-05[analyzer] Do not emit redundant SymbolCastsGabor Marton1-0/+2
2022-06-15[analyzer][NFC] Prefer using isa<> instead getAs<> in conditionsBalazs Benics1-2/+1
2022-06-14[analyzer][NFC] Substitute the SVal::evalMinus and evalComplement functionsBalazs Benics1-6/+6
2022-06-14[analyzer][NFC] Relocate unary transfer functionsBalazs Benics1-0/+24
2022-05-26[analyzer] Add UnarySymExprGabor Marton1-0/+20
2022-05-13[analyzer][NFC] Tighten some of the SValBuilder return typesBalazs Benics1-12/+14
2022-05-02[analyzer] Fix cast evaluation on scoped enums in ExprEngineBalazs Benics1-2/+2
2022-03-29[analyzer] Fix "RhsLoc and LhsLoc bitwidth must be same"Vince Bridgers1-2/+5
2022-03-23[analyzer] refactor makeIntValWithPtrWidth, remove getZeroWithPtrWidth (NFC)Vince Bridgers1-3/+0
2022-03-22[analyzer] Refactor makeNull to makeNullWithWidth (NFC)Vince Bridgers1-3/+3
2022-01-18[analyzer] Produce SymbolCast symbols for integral types in SValBuilder::eval...Denys Petrov1-9/+85
2021-12-06[analyzer][solver] Fix assertion on (NonLoc, Op, Loc) expressionsBalazs Benics1-6/+16
2021-10-20[analyzer][NFC] Refactor llvm::isa<> usages in the StaticAnalyzerBalazs Benics1-2/+1
2021-09-04[analyzer] SValBuilder should have an easy access to AnalyzerOptionsBalazs Benics1-3/+11
2021-08-10[analyzer] Cleanup a FIXME in SValBuilder.cppVince Bridgers1-7/+3
2021-07-18[analyzer] Handle std::make_uniqueDeep Majumder1-5/+12
2021-07-16[analyzer] Do not assume that all pointers have the same bitwidth as void*Vince Bridgers1-3/+17
2021-06-08[analyzer] [NFC] Implement a wrapper SValBuilder::getCastedMemRegionVal for ...Denys Petrov1-10/+17
generated by cgit v1.1 at 2025-09-30 13:57:32 +0000