llvm/clang/unittests/Analysis/FlowSensitive/DataflowAnalysisContextTest.cpp

//===- unittests/Analysis/FlowSensitive/DataflowAnalysisContextTest.cpp ---===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#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) {}

} // namespace