File tree Expand file tree Collapse file tree 1 file changed +9
-7
lines changed
Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Original file line number Diff line number Diff line change @@ -964,13 +964,15 @@ public int visit(IASTProblemDeclaration declaration) {
964964 ISourceLocation loc = getSourceLocation (declaration );
965965 IASTProblem problem = declaration .getProblem ();
966966 String raw = declaration .getRawSignature ();
967- if (!(raw .contains ("$fail$" ) || raw .contains ("�" ) || raw .contains ("__int64(24)" )
968- || raw .contains ("CString default" ))) {
969- err ("ProblemDeclaration: " );
970- prefix += 4 ;
971- err (Integer .toHexString (problem .getID ()) + ": " + problem .getMessageWithLocation () + ", " + loc );
972- err (raw );
973- prefix -= 4 ;
967+ if (doProblemLogging ) {
968+ if (!(raw .contains ("$fail$" ) || raw .contains ("�" ) || raw .contains ("__int64(24)" )
969+ || raw .contains ("CString default" ))) {
970+ err ("ProblemDeclaration: " );
971+ prefix += 4 ;
972+ err (Integer .toHexString (problem .getID ()) + ": " + problem .getMessageWithLocation () + ", " + loc );
973+ err (raw );
974+ prefix -= 4 ;
975+ }
974976 }
975977 stack .push (builder .Declaration_problemDeclaration (loc ));
976978 return PROCESS_ABORT ;
You can’t perform that action at this time.
0 commit comments