commit 57d2643b4d9a94d7e9d98d8e8744ecd187c570d8
author Ian Zerny <zerny@google.com> Wed Aug 23 10:23:09 2017 +0200
committer Ian Zerny <zerny@google.com> Wed Aug 23 10:23:09 2017 +0200
tree 97d4503e384357007db543c509c7d58ce0a4d379
parent ebc42b6ff4290e216e48dcc020d960de2cfbcea0

Verify that debug start and end point instructions are in the user set.

R=ager

Change-Id: Ia7a88482bd4a43c27966392ccd9f113fbbe6e8de

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

diff --git a/src/main/java/com/android/tools/r8/ir/code/IRCode.java b/src/main/java/com/android/tools/r8/ir/code/IRCode.java
index 21ed16e..c64d5d6 100644
--- a/src/main/java/com/android/tools/r8/ir/code/IRCode.java
+++ b/src/main/java/com/android/tools/r8/ir/code/IRCode.java
@@ -220,6 +220,12 @@
         assert verifyPhi(phiUser);
         assert phiUser.getDebugValues().contains(value);
       }
+      for (Instruction instruction : value.getDebugLocalStarts()) {
+        assert value.debugUsers().contains(instruction);
+      }
+      for (Instruction instruction : value.getDebugLocalEnds()) {
+        assert value.debugUsers().contains(instruction);
+      }
     }
     return true;
   }