*** empty log message ***

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index 4469ed933a062366d8e0e9eeeb21de92159cb2cc..e689a1a5882d58cf1f8feefba37e2fd37e4bb65f 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -329,14 +329,18 @@ context_suppressFlagMsg (flagcode flag, fileloc fl)
       return TRUE;
     }
 
+  DPRINTF (("Checking suppress: %s / %s", fileloc_unparse (fl), fileloc_unparse (g_currentloc)));
+
   /* want same object compare here */
 
   if (fileloc_equal (fl, g_currentloc) || gc.inDerivedFile)
     {
+      DPRINTF (("In derived file: %s", bool_unparse (gc.inDerivedFile)));
+
       return (!context_getFlag (flag)
              || context_inSuppressRegion ()
              || context_inSuppressZone (fl)
-             || (gc.inDerivedFile && context_inSuppressFlagZone (fl, flag)));
+             || (/*@!@@#@ gc.inDerivedFile && */ context_inSuppressFlagZone (fl, flag)));
     }
   else
     {