commit d6c1a90cd4690aaf527c4a3a20e7121b69d5ed4f
author Christoffer Quist Adamsen <christofferqa@google.com> Tue Aug 22 08:48:11 2023 +0200
committer Christoffer Quist Adamsen <christofferqa@google.com> Tue Aug 22 08:48:11 2023 +0200
tree ebf4146bc5b248a86a04804ba010698e40e8e3e1
parent 1b0ba916e7865f82ce648979ba7c873f29f93720

Allow more precise dynamic type than abstract value

Change-Id: If19fb0a5b72e294b97cb3b68763b4f230f1ee434

src/main/java/com/android/tools/r8/optimize/argumentpropagation/codescanner/ConcreteClassTypeParameterState.java

diff --git a/src/main/java/com/android/tools/r8/optimize/argumentpropagation/codescanner/ConcreteClassTypeParameterState.java b/src/main/java/com/android/tools/r8/optimize/argumentpropagation/codescanner/ConcreteClassTypeParameterState.java
index 43da39b..2ef79c7 100644
--- a/src/main/java/com/android/tools/r8/optimize/argumentpropagation/codescanner/ConcreteClassTypeParameterState.java
+++ b/src/main/java/com/android/tools/r8/optimize/argumentpropagation/codescanner/ConcreteClassTypeParameterState.java
@@ -54,7 +54,7 @@
   @Override
   public AbstractValue getAbstractValue(AppView<AppInfoWithLiveness> appView) {
     if (getDynamicType().getNullability().isDefinitelyNull()) {
-      assert abstractValue == null || abstractValue.isNull();
+      assert abstractValue.isNull() || abstractValue.isUnknown();
       return appView.abstractValueFactory().createNullValue();
     }
     return abstractValue;