commit bead1c76997ef0363cefc0a6c971829d3936fa93
author Christoffer Quist Adamsen <christofferqa@google.com> Tue Sep 14 12:38:13 2021 +0200
committer Christoffer Quist Adamsen <christofferqa@google.com> Tue Sep 14 10:46:18 2021 +0000
tree 95d4810593f537951f4d2f24aa9c454f26eed59e
parent 5700cdb83f3f576cee8b0beff40d28c9a7394134

Fix null typed value with unknown abstract value

Change-Id: I44661f4dd9f13ff4f61a5a96cb51cc971204a527

src/main/java/com/android/tools/r8/ir/code/Value.java

diff --git a/src/main/java/com/android/tools/r8/ir/code/Value.java b/src/main/java/com/android/tools/r8/ir/code/Value.java
index 0c58032..7b97131 100644
--- a/src/main/java/com/android/tools/r8/ir/code/Value.java
+++ b/src/main/java/com/android/tools/r8/ir/code/Value.java
@@ -832,6 +832,10 @@
       return UnknownValue.getInstance();
     }
 
+    if (getType().nullability().isDefinitelyNull()) {
+      return appView.abstractValueFactory().createNullValue();
+    }
+
     Value root = getAliasedValue();
     if (root.isPhi()) {
       return UnknownValue.getInstance();