#include "clang/Analysis/FlowSensitive/DataflowAnalysisContext.h"
#include "clang/Analysis/FlowSensitive/WatchedLiteralsSolver.h"
#include "gmock/gmock.h"
#include "gtest/gtest.h"
#include <memory>
namespace {
usingnamespaceclang;
usingnamespacedataflow;
class DataflowAnalysisContextTest : public ::testing::Test { … };
TEST_F(DataflowAnalysisContextTest, DistinctTopsNotEquivalent) { … }
TEST_F(DataflowAnalysisContextTest, TautologicalFlowConditionImplies) { … }
TEST_F(DataflowAnalysisContextTest, TautologicalFlowConditionAllows) { … }
TEST_F(DataflowAnalysisContextTest, ContradictoryFlowConditionImpliesAnything) { … }
TEST_F(DataflowAnalysisContextTest, ContradictoryFlowConditionAllowsNothing) { … }
TEST_F(DataflowAnalysisContextTest, AddFlowConditionConstraint) { … }
TEST_F(DataflowAnalysisContextTest, AddInvariant) { … }
TEST_F(DataflowAnalysisContextTest, InvariantAndFCConstraintInteract) { … }
TEST_F(DataflowAnalysisContextTest, ForkFlowCondition) { … }
TEST_F(DataflowAnalysisContextTest, JoinFlowConditions) { … }
TEST_F(DataflowAnalysisContextTest, EquivBoolVals) { … }
}