Changed grammer to allow multiple /*@fallthrough@*/ /*FALLTHRU*/ comments.

[splint.git] / src / nameChecks.c

diff --git a/src/nameChecks.c b/src/nameChecks.c
index 7a93492ce4431cc85521f0ae4fe77f2f9d181d6c..e62f8677054d3aa3e2cbb5987f48f6ad4b0ff01a 100644 (file)
--- a/src/nameChecks.c
+++ b/src/nameChecks.c
@@ -1354,6 +1354,8 @@ checkAnsiName (uentry ue)
          flg = FLG_ANSIRESERVEDLOCAL;
        }
 
+      DPRINTF (("ue: %s", uentry_unparseFull (ue)));
+
       /*
       ** These restrictions only apply to identifiers with global linkage.
       */