Fixed problem with unnamed unions within struct definitions.

[splint.git] / src / Headers / uentry.h

diff --git a/src/Headers/uentry.h b/src/Headers/uentry.h
index 949e692702951235500636db4e03d0b5c007632c..fd8d27e302e33bfb77a0c9d87afe8258b862d7a3 100644 (file)
--- a/src/Headers/uentry.h
+++ b/src/Headers/uentry.h
@@ -369,6 +369,7 @@ extern void uentry_showWhereLastExtra (uentry p_spec, /*@only@*/ cstring p_extra
 extern void uentry_setRefCounted (uentry p_e);
 
 extern /*@notnull@*/ /*@only@*/ uentry uentry_makeUnnamedVariable (ctype p_t);
+extern /*@falsewhennull@*/ bool uentry_isUnnamedVariable (uentry) /*@*/;
 
 extern /*@notnull@*/ uentry 
   uentry_makeUnspecFunction (cstring p_n, ctype p_t, typeIdSet p_access,