commit 7047a4f149e7d820d04d83c23071c36ceb6b3e4d
author Christoffer Adamsen <christofferqa@google.com> Mon Aug 19 21:01:30 2024 +0200
committer Christoffer Adamsen <christofferqa@google.com> Mon Aug 19 21:01:30 2024 +0200
tree 9bc62f1dd9381c760b5c0aac3ed7daf7eab99c23
parent 79bd836c80b5a6a314b2f6124dbfbbff5f2517dc

Update PathConstraintAnalysisUnitTest

Change-Id: Ifbc0d094d55aa0e757e1cccb5d8c29d20c881bcd

src/test/java/com/android/tools/r8/ir/analysis/path/PathConstraintAnalysisUnitTest.java

diff --git a/src/test/java/com/android/tools/r8/ir/analysis/path/PathConstraintAnalysisUnitTest.java b/src/test/java/com/android/tools/r8/ir/analysis/path/PathConstraintAnalysisUnitTest.java
index 210a2ef..8107aff 100644
--- a/src/test/java/com/android/tools/r8/ir/analysis/path/PathConstraintAnalysisUnitTest.java
+++ b/src/test/java/com/android/tools/r8/ir/analysis/path/PathConstraintAnalysisUnitTest.java
@@ -65,7 +65,10 @@
     // Inspect ENTRY state.
     PathConstraintAnalysisState entryConstraint =
         successfulResult.getBlockExitState(code.entryBlock());
-    assertTrue(entryConstraint.isBottom());
+    assertTrue(entryConstraint.isConcrete());
+
+    ConcretePathConstraintAnalysisState concreteEntryConstraint = entryConstraint.asConcreteState();
+    assertTrue(concreteEntryConstraint.getPathConstraintsForTesting().isEmpty());
 
     // Inspect THEN state.
     PathConstraintAnalysisState thenConstraint =