commit bf5ff37ea8c9b32d2bf820966b9ec203d7714f63
author Christoffer Quist Adamsen <christofferqa@google.com> Tue Oct 15 11:23:03 2019 +0200
committer Christoffer Quist Adamsen <christofferqa@google.com> Tue Oct 15 11:35:31 2019 +0000
tree d8c1fc9df8af6a7d3217bdbfd4cbbd7b7d1118fa
parent b348955667b7597809fc097d4549dd64aa8e140c

Verify that moves do not affect the static type

Change-Id: I5adc844197fb110d32e43a40ead000aa799ed136

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

diff --git a/src/main/java/com/android/tools/r8/ir/code/Move.java b/src/main/java/com/android/tools/r8/ir/code/Move.java
index 84da0d1..9054d07 100644
--- a/src/main/java/com/android/tools/r8/ir/code/Move.java
+++ b/src/main/java/com/android/tools/r8/ir/code/Move.java
@@ -122,4 +122,11 @@
   public boolean instructionMayTriggerMethodInvocation(AppView<?> appView, DexType context) {
     return false;
   }
+
+  @Override
+  public boolean verifyTypes(AppView<?> appView) {
+    super.verifyTypes(appView);
+    assert src().getTypeLattice().equals(outValue().getTypeLattice());
+    return true;
+  }
 }