# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1403172253 -7200
# Node ID 84b5d413e5409ba21f69c62a2380e47f031c6a13
# Parent  dd3d62dfa0bd8316da43f8f0a002c9e8316012f8
register NoDeadCodeVerifyHandler with GraalDebugConfig

diff -r dd3d62dfa0bd -r 84b5d413e540 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/DebugEnvironment.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/DebugEnvironment.java	Thu Jun 19 12:03:23 2014 +0200
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/DebugEnvironment.java	Thu Jun 19 12:04:13 2014 +0200
@@ -67,6 +67,9 @@
         if (verifyFilter == null && assertionsEnabled()) {
             verifyFilter = "";
         }
+        if (verifyFilter != null) {
+            verifyHandlers.add(new NoDeadCodeVerifyHandler());
+        }
         GraalDebugConfig debugConfig = new GraalDebugConfig(Log.getValue(), Meter.getValue(), TrackMemUse.getValue(), Time.getValue(), Dump.getValue(), verifyFilter, MethodFilter.getValue(), log,
                         dumpHandlers, verifyHandlers);
         Debug.setConfig(debugConfig);