*** empty log message ***

[splint.git] / src / uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 06be66a73ca4641f1d7328417c8d42798cc4c39e..9f5f3a5bc7f20fdce4163fae9e9f99ab2c5084fe 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -7701,22 +7701,25 @@ checkMetaState (/*@notnull@*/ uentry old, /*@notnull@*/ uentry unew,
                        }
                      else
                        {
-                         if (mustConform 
-                             && optgenerror 
-                             (FLG_INCONDEFS,
-                              message ("%s %q inconsistently %rdeclared %s %s, %s as %s",
-                                       uentry_ekindName (unew),
-                                       uentry_getName (unew),
-                                       uentry_isDeclared (old),
-                                       fcnErrName (unew),
-                                       metaStateInfo_unparseValue (msinfo, 
-                                                                   stateValue_getValue (newval)),
-                                       uentry_specOrDefName (old),
-                                       metaStateInfo_unparseValue (msinfo,
-                                                                   stateValue_getValue (oldval))),
-                              uentry_whereDeclared (unew)))
+                         if (!stateValue_isError (newval))
                            {
-                             uentry_showWhereSpecified (old);
+                             if (mustConform 
+                                 && optgenerror 
+                                 (FLG_INCONDEFS,
+                                  message ("%s %q inconsistently %rdeclared %s %s, %s as %s",
+                                           uentry_ekindName (unew),
+                                           uentry_getName (unew),
+                                           uentry_isDeclared (old),
+                                           fcnErrName (unew),
+                                           metaStateInfo_unparseValue (msinfo, 
+                                                                       stateValue_getValue (newval)),
+                                           uentry_specOrDefName (old),
+                                           metaStateInfo_unparseValue (msinfo,
+                                                                       stateValue_getValue (oldval))),
+                                  uentry_whereDeclared (unew)))
+                               {
+                                 uentry_showWhereSpecified (old);
+                               }
                            }
                        }