aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata1-3/+0
2025-03-17[clang][dataflow] For bugprone-unchecked-optional-access report range (#131055)Jan Voung1-7/+8
2025-03-07[clang][dataflow] Add test for crash repro and clean up const accessor handli...Jan Voung1-53/+62
2025-02-28[clang-tidy] [dataflow] Cache reference accessors for `bugprone-unchecked-op...Valentyn Yukhymenko1-0/+16
2025-01-08[clang][dataflow] Use smart pointer caching in unchecked optional accessor (#...Jan Voung1-6/+51
2024-10-28[clang][dataflow] Cache accessors returning pointers in bugprone-unchecked-op...Jan Voung1-2/+18
2024-10-28[clang][dataflow] Don't clear cached field state if field is const (#113698)Jan Voung1-2/+6
2024-10-22[clang][dataflow] Cache accessors for bugprone-unchecked-optional-access (#11...Jan Voung1-5/+131
2024-09-25[clang-tidy] Add support for bsl::optional (#101450)Chris Cotter1-13/+54
2024-04-19[clang][nullability] Remove `RecordValue`. (#89052)martinboehme1-31/+15
2024-03-28[clang][dataflow] Fix for value constructor in class derived from optional. (...martinboehme1-22/+23
2024-03-19[clang][dataflow] Make optional checker work for types derived from optional....martinboehme1-54/+134
2023-12-21[clang][dataflow] Add `Environment::get<>()`. (#76027)martinboehme1-19/+12
2023-12-04[clang][dataflow] Add synthetic fields to `RecordStorageLocation` (#73860)martinboehme1-270/+108
2023-10-30[clang][nullability] Use `proves()` and `assume()` instead of deprecated syno...martinboehme1-12/+10
2023-10-21[clang][dataflow]Use cast_or_null instead of cast to prevent crash (#68510)Qizhi Hu1-1/+1
2023-09-13[clang][dataflow] Change `diagnoseFunction` to use `llvm::SmallVector` instea...Yitzhak Mandelbaum1-4/+4
2023-08-29[clang][dataflow] Don't associate prvalue expressions with storage locations.Martin Braenne1-3/+7
2023-08-01[clang][dataflow] Rename `AggregateStorageLocation` to `RecordStorageLocation...Martin Braenne1-19/+17
2023-07-31[clang][dataflow] Remove `Strict` suffix from accessors.Martin Braenne1-16/+15
2023-07-31[clang][dataflow] Use `Strict` accessors where we weren't using them yet.Martin Braenne1-11/+12
2023-07-27[clang][dataflow] Reverse course on `getValue()` deprecation.Martin Braenne1-11/+7
2023-07-26[clang-tidy] Update unchecked-optiona-access-check to use convenience functio...Yitzhak Mandelbaum1-5/+0
2023-07-24[clang-tidy] Add folly::Optional to unchecked-optional-accessAnton Dukeman1-21/+27
2023-07-24[clang][dataflow] Eliminate duplication between `AggregateStorageLocation` an...Martin Braenne1-42/+41
2023-07-17[clang][dataflow] Simplify implementation of `transferStdForwardCall()` in op...Martin Braenne1-19/+2
2023-07-13[dataflow] Remove deprecated BoolValue flow condition accessorsSam McCall1-37/+42
2023-07-10[clang][dataflow] Various refactorings to UncheckedOptionalAccessModel.Martin Braenne1-63/+64
2023-06-12[clang][dataflow][NFC] Expand comments on losing values in optional checker.Martin Braenne1-5/+55
2023-06-05[clang][dataflow] Use a `PointerValue` for `value` property in optional checker.Martin Braenne1-5/+5
2023-05-22[clang][dataflow] Fix a bug in handling of `operator->` for optional checker.Martin Braenne1-13/+22
2023-05-17[clang][dataflow] Remove unused parameter from `diagnoseUnwrapCall()`.Martin Braenne1-9/+8
2023-05-17[ClangTidy] Fix markup in commentsDmitri Gribenko1-3/+3
2023-05-15[clang][dataflow] Eliminate `SkipPast::ReferenceThenPointer`.Martin Braenne1-15/+44
2023-05-04[clang][dataflow][NFC] Eliminate unnecessary helper `stripReference()`.Martin Braenne1-12/+8
2023-04-17[clang][dataflow] Drop optional model's dependency on libc++ internals.Yitzhak Mandelbaum1-28/+37
2023-04-17[clang][dataflow] Refine matching of optional types to anchor at top level.Yitzhak Mandelbaum1-7/+27
2023-04-04[clang-tidy] Allow bugprone-unchecked-optional-access to handle calls to `std...AMS211-4/+37
2023-04-04[clang][dataflow] Add `create<T>()` methods to `Environment` and `DataflowAna...Martin Braenne1-5/+5
2023-02-15[clang][dataflow] Change `transfer` API to take a reference.Yitzhak Mandelbaum1-2/+2
2023-02-01[clang][dataflow] Relax validity assumptions in `UncheckedOptionalAccessModel`.Yitzhak Mandelbaum1-29/+35
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-5/+5
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2023-01-12[clang][dataflow] In optional model, implement `widen` and make `compare` sound.Yitzhak Mandelbaum1-4/+44
2023-01-03[clang][dataflow] Fix bug in optional-checker's handling of nullopt constructor.Yitzhak Mandelbaum1-2/+6
2022-12-22[clang][dataflow] Simplify handling of nullopt-optionals.Yitzhak Mandelbaum1-17/+16
2022-12-15[clang][dataflow] Improve optional model's support for ignoring smart pointers.Yitzhak Mandelbaum1-17/+16
2022-12-07[clang][dataflow] Support (in)equality operators in `optional` model.Yitzhak Mandelbaum1-22/+130
2022-12-03[Analysis] Use std::nullopt instead of None (NFC)Kazu Hirata1-3/+3
2022-11-03[clang][dataflow] Generalize custom comparison to return tri-value result.Yitzhak Mandelbaum1-9/+11
generated by cgit v1.1 at 2025-07-28 23:38:48 +0000