[clang] fix typo in unit test
authorSusana Monteiro <s.moreno.monteiro@tecnico.ulisboa.pt>
Tue, 18 Oct 2022 15:31:53 +0000 (16:31 +0100)
committerNuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Tue, 18 Oct 2022 15:32:13 +0000 (16:32 +0100)
clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp

index bf06953..96f87a8 100644 (file)
@@ -462,7 +462,7 @@ TEST_F(JoinFlowConditionsTest, JoinDistinctButProvablyEquivalentValues) {
         EXPECT_FALSE(Env1.flowConditionImplies(*GetFooValue(Env1)));
         EXPECT_TRUE(Env2.flowConditionImplies(*GetFooValue(Env2)));
         EXPECT_TRUE(Env3.flowConditionImplies(*GetFooValue(Env3)));
-        EXPECT_TRUE(Env4.flowConditionImplies(*GetFooValue(Env3)));
+        EXPECT_TRUE(Env4.flowConditionImplies(*GetFooValue(Env4)));
       });
 }