# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1370908590 -7200
# Node ID 0a59959177c9decf2216ece962d7ceb4a7a2e1a0
# Parent  b270f0856a39cea2bed2a7d8b1c68784f3e60e2d
allow calls to $jacocoInit() from <clinit> in a class declaring an option

diff -r b270f0856a39 -r 0a59959177c9 graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/phases/VerifyHotSpotOptionsPhase.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/phases/VerifyHotSpotOptionsPhase.java	Tue Jun 11 01:32:41 2013 +0200
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/phases/VerifyHotSpotOptionsPhase.java	Tue Jun 11 01:56:30 2013 +0200
@@ -101,6 +101,8 @@
             return method.getName().equals("valueOf");
         } else if (method.getDeclaringClass() == runtime.lookupJavaType(Class.class)) {
             return method.getName().equals("desiredAssertionStatus");
+        } else if (method.getDeclaringClass().equals(declaringClass)) {
+            return (method.getName().equals("$jacocoInit"));
         }
         return false;
     }