Add parameter to control warning about memory constraints

typetools · Jun 15, 2022 · 67cb4d2 · 67cb4d2
1 parent 3ecf016
commit 67cb4d2
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java b/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
@@ -295,6 +295,11 @@
   // org.checkerframework.framework.source.SourceChecker.logBugInCF
   "noPrintErrorStack",
 
+  // Whether to NOT issue a warning when performance is impeded by
+  // memory constraints. An INFO level message with be printed, to
+  // interoperate better with -Werror
+  "noWarnMemoryConstraints",
+
   // Only output error code, useful for testing framework
   // org.checkerframework.framework.source.SourceChecker.message(Kind, Object, String, Object...)
   "nomsgtext",
@@ -938,8 +943,13 @@ public void typeProcess(TypeElement e, TreePath p) {
 
     if (!warnedAboutGarbageCollection) {
       String gcUsageMessage = SystemPlume.gcUsageMessage(.25, 60);
+      boolean noWarnMemoryConstraints =
+          (processingEnv != null
+              && processingEnv.getOptions() != null
+              && processingEnv.getOptions().containsKey("noWarnMemoryConstraints"));
       if (gcUsageMessage != null) {
-        messager.printMessage(Kind.WARNING, gcUsageMessage);
+        Kind kind = noWarnMemoryConstraints ? Kind.INFO : Kind.WARNING
+        messager.printMessage(kind, gcUsageMessage);
         warnedAboutGarbageCollection = true;
       }
     }