Revert "[dataflow] Add dedicated representation of boolean formulas"
authorTom Weaver <Tom.Weaver@Sony.com>
Tue, 4 Jul 2023 13:05:54 +0000 (14:05 +0100)
committerTom Weaver <Tom.Weaver@Sony.com>
Tue, 4 Jul 2023 13:05:54 +0000 (14:05 +0100)
commit7a72ce98224be76d9328e65eee472381f7c8e7fe
treefee9d107e678c8ad77a6d24ccf674d8835defa53
parent69f99f5308edf7dcb0cd688d7028733088305946
Revert "[dataflow] Add dedicated representation of boolean formulas"

This reverts commit 2fd614efc1bb9c27f1bc6c3096c60a7fe121e274.

Commit caused failures on the following two build bots:
  http://45.33.8.238/win/80815/step_7.txt
  https://lab.llvm.org/buildbot/#/builders/139/builds/44269
15 files changed:
clang/include/clang/Analysis/FlowSensitive/Arena.h
clang/include/clang/Analysis/FlowSensitive/DebugSupport.h
clang/include/clang/Analysis/FlowSensitive/Formula.h [deleted file]
clang/include/clang/Analysis/FlowSensitive/Solver.h
clang/include/clang/Analysis/FlowSensitive/WatchedLiteralsSolver.h
clang/lib/Analysis/FlowSensitive/Arena.cpp
clang/lib/Analysis/FlowSensitive/CMakeLists.txt
clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
clang/lib/Analysis/FlowSensitive/DebugSupport.cpp
clang/lib/Analysis/FlowSensitive/Formula.cpp [deleted file]
clang/lib/Analysis/FlowSensitive/WatchedLiteralsSolver.cpp
clang/unittests/Analysis/FlowSensitive/ArenaTest.cpp
clang/unittests/Analysis/FlowSensitive/DebugSupportTest.cpp
clang/unittests/Analysis/FlowSensitive/SolverTest.cpp
clang/unittests/Analysis/FlowSensitive/TestingSupport.h