Home
last modified time | relevance | path

Searched refs:makeNot (Results 1 – 6 of 6) sorted by relevance

/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DDataflowEnvironmentTest.cpp46 auto &NotX = Env.makeNot(X); in TEST_F()
H A DTransferTest.cpp3311 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BVal))); in TEST()
3359 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BarVal))); in TEST()
3393 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BarVal))); in TEST()
3725 EXPECT_TRUE(ElseEnv.flowConditionImplies(ElseEnv.makeNot(ElseFooVal))); in TEST()
3760 AfterLoopEnv.makeNot(AfterLoopFooVal))); in TEST()
3805 AfterLoopEnv.makeNot(AfterLoopFooVal))); in TEST()
3807 AfterLoopEnv.makeNot(AfterLoopBarVal))); in TEST()
3842 AfterLoopEnv.makeNot(AfterLoopFooVal))); in TEST()
3897 EXPECT_FALSE(Env.flowConditionImplies(Env.makeNot(FooVal))); in TEST()
3957 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(FooVal))); in TEST()
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp296 Env.flowConditionImplies(Env.makeNot(*HasValueVal)); in isEmptyOptional()
383 return Env.makeImplication(Env.makeNot(ExprVal), in transferValueOrStringEmptyCall()
738 MergedEnv.addToFlowCondition(MergedEnv.makeNot(HasValueVal)); in merge()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h302 BoolValue &makeNot(BoolValue &Val) const { in makeNot() function
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DTransfer.cpp98 : Env.makeNot(LHSEqRHSValue)); in VisitBinaryOperator()
314 Env.setValue(ExprLoc, Env.makeNot(*SubExprVal)); in VisitUnaryOperator()
H A DTypeErasedDataflowAnalysis.cpp146 Val = &Env.makeNot(*Val); in extendFlowCondition()