Disallow @Uninterruptible(calleeMustBe = true) if there isn't a proper reason used for documentation.

Author: christianhaeubl

substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/code/UninterruptibleAnnotationChecker.java

@@ -127,6 +127,11 @@ private void checkSpecifiedOptions(HostedMethod method, Uninterruptible annotati
                 violations.add("Method " + method.format("%H.%n(%p)") +
                                 " uses an unspecific reason but is annotated with 'callerMustBe = true'. Please document in the reason why the callers need to be uninterruptible.");
             }
+
+            if (!annotation.calleeMustBe()) {
+                violations.add("Method " + method.format("%H.%n(%p)") +
+                                " uses an unspecific reason but is annotated with 'calleeMustBe = false'. Please document in the reason why it is safe to execute interruptible code.");
+            }
         } else if (isSimilarToUnspecificReason(annotation.reason())) {
             violations.add("Method " + method.format("%H.%n(%p)") + " uses a reason that is similar to the unspecific reason '" + Uninterruptible.CALLED_FROM_UNINTERRUPTIBLE_CODE + "'. " +
                             "If the method has an inherent reason for being uninterruptible, besides being called from uninterruptible code, then please improve the reason. " +