diff options
Diffstat (limited to 'gcc/diagnostic.c')
| -rw-r--r-- | gcc/diagnostic.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gcc/diagnostic.c b/gcc/diagnostic.c index c0648cd53b2..42a40c6f337 100644 --- a/gcc/diagnostic.c +++ b/gcc/diagnostic.c @@ -372,10 +372,7 @@ diagnostic_report_diagnostic (diagnostic_context *context, context->lock++; - if ((diagnostic->kind == DK_ERROR - || diagnostic->kind == DK_WARNING - || diagnostic->kind == DK_ICE) - && plugins_active_p ()) + if (diagnostic->kind == DK_ICE && plugins_active_p ()) { fnotice (stderr, "*** WARNING *** there are active plugins, do not report" " this as a bug unless you can reproduce it without enabling" |