summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
AgeCommit message (Expand)Author
2025-11-11[clang-tidy] Add `IgnoreValueCalls` option to bugprone-unchecked-optional-acc...mitchell
2025-10-20[FlowSensitive] [Optional] Fix absl::in_place (#163897)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-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-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-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
2023-05-17[clang][dataflow] Remove unused parameter from `diagnoseUnwrapCall()`.Martin Braenne
2023-05-17[ClangTidy] Fix markup in commentsDmitri Gribenko
2023-05-15[clang][dataflow] Eliminate `SkipPast::ReferenceThenPointer`.Martin Braenne
2023-05-04[clang][dataflow][NFC] Eliminate unnecessary helper `stripReference()`.Martin Braenne
2023-04-17[clang][dataflow] Drop optional model's dependency on libc++ internals.Yitzhak Mandelbaum
2023-04-17[clang][dataflow] Refine matching of optional types to anchor at top level.Yitzhak Mandelbaum
2023-04-04[clang-tidy] Allow bugprone-unchecked-optional-access to handle calls to `std...AMS21
2023-04-04[clang][dataflow] Add `create<T>()` methods to `Environment` and `DataflowAna...Martin Braenne
2023-02-15[clang][dataflow] Change `transfer` API to take a reference.Yitzhak Mandelbaum
2023-02-01[clang][dataflow] Relax validity assumptions in `UncheckedOptionalAccessModel`.Yitzhak Mandelbaum
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata
2023-01-12[clang][dataflow] In optional model, implement `widen` and make `compare` sound.Yitzhak Mandelbaum
2023-01-03[clang][dataflow] Fix bug in optional-checker's handling of nullopt constructor.Yitzhak Mandelbaum
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-17 06:33:22 +0000