Fixed but with multiple globals clauses reported by Gayath Ratnayaka.

[splint.git] / src / uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 666eb9c2a679e914fb9629fa890b41d55aa16428..9e59bafc1895e4be1d0f928429ffce24c65b9f84 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -1057,14 +1057,18 @@ static void uentry_reflectClauses (uentry ue, functionClauseList clauses)
 
          if (uentry_hasGlobs (ue))
            {
-             voptgenerror 
+             vgenhinterror 
                (FLG_SYNTAX,
                 message
                 ("Multiple globals clauses for %q: %q",
                  uentry_getName (ue),
                  globalsClause_unparse (glc)),
+                cstring_makeLiteral ("Only one globals clause may be used. The second globals clause is ignored."),
                 globalsClause_getLoc (glc));
-             uentry_setGlobals (ue, globalsClause_takeGlobs (glc)); /*@i32@*/
+
+             /*                
+               uentry_setGlobals (ue, globalsClause_takeGlobs (glc)); 
+             */
            }
          else
            {