summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/Models
AgeCommit message (Expand)Author
2025-11-11[clang-tidy] Add `IgnoreValueCalls` option to bugprone-unchecked-optional-acc...mitchell
2025-10-27[FlowSensitive] [StatusOr] [9/N] Make sure all StatusOr are initializedFlorian Mayer
2025-10-27[FlowSensitive] [StatusOr] [8/N] Support value ctor and assignmentFlorian Mayer
2025-10-23[FlowSensitive] [StatusOr] [7/N] Support StatusOr::emplaceFlorian Mayer
2025-10-23[FlowSensitive] [StatusOr] [6/N] support pointer comparison (#164856)Florian Mayer
2025-10-22[FlowSensitive] [StatusOr] [5/N] Support absl::OkStatus et al (#163872)Florian Mayer
2025-10-22[FlowSensitive] [StatusOr] [4/N] Support comparisons (#163871)Florian Mayer
2025-10-21[FlowSensitive] [StatusOr] [3/N] Support absl::Status ops (#163868)Florian Mayer
2025-10-21[NFC] [FlowSensitive] [StatusOr] remove unused function (#164351)Florian Mayer
2025-10-20Reapply "[FlowSensitive] [StatusOr] [2/N] Add minimal model" (#164040) (#164305)Florian Mayer
2025-10-20[FlowSensitive] [Optional] Fix absl::in_place (#163897)Florian Mayer
2025-10-18Revert "[FlowSensitive] [StatusOr] [2/N] Add minimal model" (#164040)Florian Mayer
2025-10-17[FlowSensitive] [StatusOr] [2/N] Add minimal model (#162932)Florian Mayer
2025-09-09[clang-tidy] `bugprone-unchecked-optional-access`: handle `BloombergLP::bdlb:...Valentyn Yukhymenko
2025-08-27[clang] NFC: reintroduce clang/include/clang/AST/Type.h (#155050)Matheus Izvekov
2025-08-27[clang] NFC: rename clang/include/clang/AST/Type.h to TypeBase.h (#155049)Matheus Izvekov
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata
2025-03-17[clang][dataflow] For bugprone-unchecked-optional-access report range (#131055)Jan Voung
2025-03-07[clang][dataflow] Add test for crash repro and clean up const accessor handli...Jan Voung
2025-02-28[clang-tidy] [dataflow] Cache reference accessors for `bugprone-unchecked-op...Valentyn Yukhymenko
2025-01-08[clang][dataflow] Use smart pointer caching in unchecked optional accessor (#...Jan Voung
2024-11-26[clang][analysis][NFC]add static for internal linkage function (#117481)Congcong Cai
2024-10-28[clang][dataflow] Cache accessors returning pointers in bugprone-unchecked-op...Jan Voung
2024-10-28[clang][dataflow] Don't clear cached field state if field is const (#113698)Jan Voung
2024-10-22[clang][dataflow] Cache accessors for bugprone-unchecked-optional-access (#11...Jan Voung
2024-09-25[clang-tidy] Add support for bsl::optional (#101450)Chris Cotter
2024-08-02[clang][dataflow] Fix casting in `ChromiumCheckModel`. (#101640)Pasquale Riello
2024-04-19[clang][nullability] Remove `RecordValue`. (#89052)martinboehme
2024-03-28[clang][dataflow] Fix for value constructor in class derived from optional. (...martinboehme
2024-03-19[clang][dataflow] Make optional checker work for types derived from optional....martinboehme
2023-12-21[clang][dataflow] Add `Environment::get<>()`. (#76027)martinboehme
2023-12-13[clang] Use StringRef::{starts,ends}_with (NFC) (#75149)Kazu Hirata
2023-12-04[clang][dataflow] Add synthetic fields to `RecordStorageLocation` (#73860)martinboehme
2023-10-30[clang][nullability] Use `proves()` and `assume()` instead of deprecated syno...martinboehme
2023-10-21[clang][dataflow]Use cast_or_null instead of cast to prevent crash (#68510)Qizhi Hu
2023-09-13[clang][dataflow] Change `diagnoseFunction` to use `llvm::SmallVector` instea...Yitzhak Mandelbaum
2023-08-29[clang][dataflow] Don't associate prvalue expressions with storage locations.Martin Braenne
2023-08-01[clang][dataflow] Rename `AggregateStorageLocation` to `RecordStorageLocation...Martin Braenne
2023-07-31[clang][dataflow] Remove `Strict` suffix from accessors.Martin Braenne
2023-07-31[clang][dataflow] Use `Strict` accessors where we weren't using them yet.Martin Braenne
2023-07-27[clang][dataflow] Reverse course on `getValue()` deprecation.Martin Braenne
2023-07-26[clang-tidy] Update unchecked-optiona-access-check to use convenience functio...Yitzhak Mandelbaum
2023-07-24[clang-tidy] Add folly::Optional to unchecked-optional-accessAnton Dukeman
2023-07-24[clang][dataflow] Eliminate duplication between `AggregateStorageLocation` an...Martin Braenne
2023-07-17[clang][dataflow] Simplify implementation of `transferStdForwardCall()` in op...Martin Braenne
2023-07-13[dataflow] Remove deprecated BoolValue flow condition accessorsSam McCall
2023-07-10[clang][dataflow] Various refactorings to UncheckedOptionalAccessModel.Martin Braenne
2023-06-12[clang][dataflow][NFC] Expand comments on losing values in optional checker.Martin Braenne
2023-06-05[clang][dataflow] Use a `PointerValue` for `value` property in optional checker.Martin Braenne
2023-05-22[clang][dataflow] Fix a bug in handling of `operator->` for optional checker.Martin Braenne
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-16 12:20:18 +0000