Revert "[clang][dataflow] Add analysis that detects unsafe accesses to optionals"
authorStanislav Gatev <sgatev@google.com>
Wed, 9 Mar 2022 09:51:03 +0000 (09:51 +0000)
committerStanislav Gatev <sgatev@google.com>
Wed, 9 Mar 2022 09:51:03 +0000 (09:51 +0000)
commite0cc28dfdc67105974924cce42bb8c85bd44925a
tree2d52d8f0a1336f8eaeaee5b2b801edafc7615256
parente3d87fd6e5a829d22c29db32679998bf818f526f
Revert "[clang][dataflow] Add analysis that detects unsafe accesses to optionals"

This reverts commit ce205cffdfa0f16ce9441ba46fa43e23cecf8be7.
16 files changed:
clang/include/clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h [deleted file]
clang/lib/Analysis/FlowSensitive/CMakeLists.txt
clang/lib/Analysis/FlowSensitive/Models/CMakeLists.txt [deleted file]
clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp [deleted file]
clang/unittests/Analysis/FlowSensitive/CMakeLists.txt
clang/unittests/Analysis/FlowSensitive/DataflowEnvironmentTest.cpp
clang/unittests/Analysis/FlowSensitive/MatchSwitchTest.cpp
clang/unittests/Analysis/FlowSensitive/Models/CMakeLists.txt [deleted file]
clang/unittests/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModelTest.cpp [deleted file]
clang/unittests/Analysis/FlowSensitive/MultiVarConstantPropagationTest.cpp
clang/unittests/Analysis/FlowSensitive/SingleVarConstantPropagationTest.cpp
clang/unittests/Analysis/FlowSensitive/TestingSupport.cpp [moved from clang/lib/Analysis/FlowSensitive/TestingSupport.cpp with 98% similarity]
clang/unittests/Analysis/FlowSensitive/TestingSupport.h [moved from clang/include/clang/Analysis/FlowSensitive/TestingSupport.h with 97% similarity]
clang/unittests/Analysis/FlowSensitive/TestingSupportTest.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp