Fixed branch state bug with definitely null values (reported by Jon Wilson).

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index 74b1e0a29ad8d61c1fa252421c0caf6196e99e2b..8a589c7f1c6f5db47a28da9712f863e09fe45c1b 100644 (file)
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -955,6 +955,12 @@ llgenerrorreal (char *srcFile, int srcLine,
       return FALSE;
     }
 
+  /*
+  ** If herald has not been displayed, display it before the first message.
+  */
+
+  showHerald ();
+
   if (iserror) context_hasError ();
 
   if (context_unlimitedMessages ())