commit f5e6f8fc10c80972d6a0d8d39bce04a1060b06e1
author Martin Brænne <mboehme@google.com> Thu Oct 26 23:50:30 2023 -0700
committer Copybara-Service <copybara-worker@google.com> Thu Oct 26 23:51:08 2023 -0700
tree 3dd3131257c13a5995d86336cead515f55cb17e2
parent 262ffc70260ffd17f465200fe912105e6ef83089

[nullabiltiy] Use `proves()` and `assume()` instead of deprecated synonyms.

PiperOrigin-RevId: 577096788
Change-Id: I1c063682252e5bf09c69ae3edff0fe529890a486

nullability/pointer_nullability_test.cc

diff --git a/nullability/pointer_nullability_test.cc b/nullability/pointer_nullability_test.cc
index 9060082..ffe1f22 100644
--- a/nullability/pointer_nullability_test.cc
+++ b/nullability/pointer_nullability_test.cc
@@ -49,7 +49,7 @@
     EXPECT_TRUE(isNullable(NullableButNotNull, Env));
     auto *IsNull = getPointerNullState(NullableButNotNull).IsNull;
     ASSERT_NE(IsNull, nullptr);
-    Env.addToFlowCondition(A.makeNot(*IsNull));
+    Env.assume(A.makeNot(*IsNull));
     EXPECT_FALSE(isNullable(NullableButNotNull, Env));
   }
 
@@ -57,7 +57,7 @@
     auto &NullableAndNull = makePointer(NullabilityKind::Nullable);
     auto *IsNull = getPointerNullState(NullableAndNull).IsNull;
     ASSERT_NE(IsNull, nullptr);
-    Env.addToFlowCondition(*IsNull);
+    Env.assume(*IsNull);
     EXPECT_TRUE(isNullable(NullableAndNull, Env));
   }
 
@@ -66,7 +66,7 @@
     EXPECT_FALSE(isNullable(NonnullAndNotNull, Env));
     auto *IsNull = getPointerNullState(NonnullAndNotNull).IsNull;
     ASSERT_NE(IsNull, nullptr);
-    Env.addToFlowCondition(A.makeNot(*IsNull));
+    Env.assume(A.makeNot(*IsNull));
     EXPECT_FALSE(isNullable(NonnullAndNotNull, Env));
   }
 
@@ -77,7 +77,7 @@
     auto &NonnullAndNull = makePointer(NullabilityKind::NonNull);
     auto *IsNull = getPointerNullState(NonnullAndNull).IsNull;
     ASSERT_NE(IsNull, nullptr);
-    Env.addToFlowCondition(*IsNull);
+    Env.assume(*IsNull);
     EXPECT_FALSE(isNullable(NonnullAndNull, Env));
   }
 }