X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11ed4f45e321c24d9340dc277c54e1d2c9cd0046..a0a162cdc5db4d998824629e9f4d370b9b68df56:/src/signature.y

diff --git a/src/signature.y b/src/signature.y
index c272435..2eb6806 100644
--- a/src/signature.y
+++ b/src/signature.y
@@ -254,9 +254,13 @@ extern char *yytext;
 
 void lslerror (char *s) 
 {
-  lclplainerror 
-    (message ("An error has occurred in parsing LSL signature: %s", 
-	      cstring_fromChars (s)));
+  llfatalbug 
+    (cstring_makeLiteral 
+     ("There has been a problem parsing an LSL signature. This is believed to "
+      "result from a problem with gcc version 2.95 optimizations, "
+      "but it has not been confirmed.  Please try rebuidling LCLint "
+      "without the -O<n> option."));
+
 }
 
 static void yyprint (FILE *file, int type, YYSTYPE value)