diff options
author | Stanislav Gatev <sgatev@google.com> | 2022-03-10 08:57:32 +0000 |
---|---|---|
committer | Stanislav Gatev <sgatev@google.com> | 2022-03-10 11:05:31 +0000 |
commit | af98b0af6705df3859ee3c98525b57025d40d9e8 (patch) | |
tree | f61414ab80b3f012826c0ad8ae4350de92bdc4e7 /llvm/lib/CodeGen/MachineModuleInfo.cpp | |
parent | eb4037ff42e1d98901f0bbfea38aca09d1f88fe8 (diff) | |
download | llvm-af98b0af6705df3859ee3c98525b57025d40d9e8.zip llvm-af98b0af6705df3859ee3c98525b57025d40d9e8.tar.gz llvm-af98b0af6705df3859ee3c98525b57025d40d9e8.tar.bz2 |
[clang][dataflow] Add analysis that detects unsafe accesses to optionals
This commit reverts e0cc28dfdc67105974924cce42bb8c85bd44925a and moves
UncheckedOptionalAccessModelTest.cpp into clang/unittests/Analysis/FlowSensitive,
to avoid build failures. The test will be moved back into a Models subdir
in a follow up patch that will address the build configuration issues.
Original description:
Adds a dataflow analysis that detects unsafe accesses to values of type
`std::optional`, `absl::optional`, or `base::Optional`.
Reviewed-by: ymandel, xazax.hun
Differential Revision: https://reviews.llvm.org/D121197
Diffstat (limited to 'llvm/lib/CodeGen/MachineModuleInfo.cpp')
0 files changed, 0 insertions, 0 deletions