Fixed problem with assertion checking for negative shifts in

[splint.git] / src / llmain.c

diff --git a/src/llmain.c b/src/llmain.c
index e2b29b591d464f87896ed3579442684c3a09c451..40178a3f162f5569f82be1eff35680c7791fdc66 100644 (file)
--- a/src/llmain.c
+++ b/src/llmain.c
@@ -1221,7 +1221,7 @@ llinterrupt (int i)
                 cstring_toCharsSafe (loc));
        cstring_free (loc);
        printCodePoint ();
-       fprintf (g_errorstream, "*** Please report bug to %s\n", SPLINT_MAINTAINER);
+       fprintf (g_errorstream, "*** Please report bug to %s\n*** A useful bug report should include everything we need to reproduce the bug.\n", SPLINT_MAINTAINER);
        exit (LLGIVEUP);
       }
     default:
@@ -1231,7 +1231,7 @@ llinterrupt (int i)
               cstring_toCharsSafe (fileloc_unparse (g_currentloc)));
       /*@=mustfree@*/
       printCodePoint ();
-      fprintf (g_errorstream, "*** Please report bug to %s ***\n", SPLINT_MAINTAINER);
+      fprintf (g_errorstream, "*** Please report bug to %s\n*** A useful bug report should include everything we need to reproduce the bug.", SPLINT_MAINTAINER);
       exit (LLGIVEUP);
     }
 }