langtools/src/share/classes/com/sun/tools/javac/util/Log.java
changeset 16326 9b94bafef533
parent 15385 ee1eebe7e210
child 17582 4079713129dd
--- a/langtools/src/share/classes/com/sun/tools/javac/util/Log.java	Tue Mar 05 14:04:57 2013 +0000
+++ b/langtools/src/share/classes/com/sun/tools/javac/util/Log.java	Tue Mar 05 14:12:07 2013 +0000
@@ -136,10 +136,12 @@
         }
 
         public void report(JCDiagnostic diag) {
-            if (filter == null || filter.accepts(diag))
+            if (!diag.isFlagSet(JCDiagnostic.DiagnosticFlag.NON_DEFERRABLE) &&
+                (filter == null || filter.accepts(diag))) {
                 deferred.add(diag);
-            else
+            } else {
                 prev.report(diag);
+            }
         }
 
         public Queue<JCDiagnostic> getDiagnostics() {