Fixed problem with shadow parameters.

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index cd92b010e9df6779ad7479103cc6617e47e55256..fde743bccfa52c79c80917126618745734692b72 100644 (file)
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -1486,6 +1486,8 @@ void llbugaux (cstring file, int line, /*@only@*/ cstring s)
   static int numbugs = 0;
   static bool inbug = FALSE;
 
+  context_recordBug ();
+
   if (inbug)
     {
       cstring temps = fileloc_unparseRaw (file, line);