wip

Author: d-kozak

substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/meta/HostedType.java

@@ -328,7 +328,11 @@ public ResolvedJavaMethod resolveConcreteMethod(ResolvedJavaMethod m, ResolvedJa
          * Check that the SharedType implementation, which is used for JIT compilation, gives the
          * same result as the hosted implementation.
          */
-        assert hResult == null || isWordType() || hResult.equals(SharedType.super.resolveConcreteMethod(method, callerType));
+        boolean condition = hResult == null || isWordType() || hResult.equals(SharedType.super.resolveConcreteMethod(method, callerType));
+        if (!condition) {
+            System.err.println("condition failed for " + m);
+        }
+        assert condition;
 
         return hResult;
     }

substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/meta/TypeCheckBuilder.java

@@ -417,9 +417,13 @@ public void buildTypeInformation(HostedUniverse hUniverse) {
             }
 
             boolean isInstantiated = type.getWrapped().isInstantiated();
-            assert !isInstantiated ||
+            boolean condition = !isInstantiated ||
                             ((type.isInstanceClass() &&
                                             !Modifier.isAbstract(type.getModifiers())) || type.isArray());
+            if (!condition) {
+                System.err.println("condition broken for " + type);
+            }
+            assert condition;
 
             if (subtypeStampType == null) {
                 /* Type has no instantiated subtypes. */