Home
last modified time | relevance | path

Searched refs:flowConditionImplies (Results 1 – 10 of 10) sorted by relevance

/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysisTest.cpp352 return Env1.flowConditionImplies(*IsSet1) == in compareEquivalent()
353 Env2.flowConditionImplies(*IsSet2); in compareEquivalent()
375 if (Env1.flowConditionImplies(*IsSet1) && in merge()
376 Env2.flowConditionImplies(*IsSet2)) in merge()
823 EXPECT_TRUE(Env.flowConditionImplies(*FooVal)); in TEST_F()
1025 EXPECT_TRUE(Env.flowConditionImplies(*FooVal)); in TEST_F()
1061 EXPECT_FALSE(Env.flowConditionImplies(BarVal)); in TEST_F()
1104 EXPECT_FALSE(Env.flowConditionImplies(BarVal)); in TEST_F()
1140 EXPECT_FALSE(Env.flowConditionImplies(BarVal)); in TEST_F()
1169 EXPECT_TRUE(Env1.flowConditionImplies(FooVal1)); in TEST_F()
[all …]
H A DDataflowEnvironmentTest.cpp37 EXPECT_TRUE(Env.flowConditionImplies(Env.getBoolLiteralValue(true))); in TEST_F()
38 EXPECT_FALSE(Env.flowConditionImplies(Env.getBoolLiteralValue(false))); in TEST_F()
41 EXPECT_FALSE(Env.flowConditionImplies(X)); in TEST_F()
44 EXPECT_TRUE(Env.flowConditionImplies(X)); in TEST_F()
47 EXPECT_FALSE(Env.flowConditionImplies(NotX)); in TEST_F()
H A DDataflowAnalysisContextTest.cpp141 EXPECT_FALSE(Context.flowConditionImplies(FC, C)); in TEST_F()
148 EXPECT_TRUE(Context.flowConditionImplies(FC, C)); in TEST_F()
159 EXPECT_TRUE(Context.flowConditionImplies(FC2, C1)); in TEST_F()
165 EXPECT_TRUE(Context.flowConditionImplies(FC2, C2)); in TEST_F()
166 EXPECT_FALSE(Context.flowConditionImplies(FC1, C2)); in TEST_F()
183 EXPECT_FALSE(Context.flowConditionImplies(FC3, C1)); in TEST_F()
184 EXPECT_FALSE(Context.flowConditionImplies(FC3, C2)); in TEST_F()
185 EXPECT_TRUE(Context.flowConditionImplies(FC3, C3)); in TEST_F()
H A DChromiumCheckModelTest.cpp166 EXPECT_TRUE(Env.flowConditionImplies(*FooVal)); in TEST()
199 EXPECT_FALSE(Env.flowConditionImplies(*FooVal)); in TEST()
H A DTransferTest.cpp3233 EXPECT_TRUE(EnvThen.flowConditionImplies(BarValThen)); in TEST()
3272 EXPECT_TRUE(EnvElse.flowConditionImplies(BarValElse)); in TEST()
3318 EXPECT_TRUE(Env.flowConditionImplies(CVal)); in TEST()
3325 EXPECT_TRUE(Env.flowConditionImplies(CVal)); in TEST()
3721 EXPECT_TRUE(ThenEnv.flowConditionImplies(ThenFooVal)); in TEST()
3759 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()
3797 EXPECT_TRUE(LoopBodyEnv.flowConditionImplies( in TEST()
3804 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()
3806 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()
3841 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()
[all …]
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp296 Env.flowConditionImplies(Env.makeNot(*HasValueVal)); in isEmptyOptional()
304 return HasValueVal != nullptr && Env.flowConditionImplies(*HasValueVal); in isNonEmptyOptional()
663 if (Env.flowConditionImplies(*HasValueVal)) in diagnoseUnwrapCall()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h340 bool flowConditionImplies(BoolValue &Val) const;
H A DDataflowAnalysisContext.h244 bool flowConditionImplies(AtomicBoolValue &Token, BoolValue &Val);
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowEnvironment.cpp545 bool Environment::flowConditionImplies(BoolValue &Val) const { in flowConditionImplies() function in clang::dataflow::Environment
546 return DACtx->flowConditionImplies(*FlowConditionToken, Val); in flowConditionImplies()
H A DDataflowAnalysisContext.cpp177 bool DataflowAnalysisContext::flowConditionImplies(AtomicBoolValue &Token, in flowConditionImplies() function in clang::dataflow::DataflowAnalysisContext