*** empty log message ***

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

diff --git a/src/Headers/misc.h b/src/Headers/misc.h
index d631e16dcc0bda8f41caf57dfea2d74d5c74959a..f6302557660c1de74d1091fb6f179dc240c6c2f0 100644 (file)
--- a/src/Headers/misc.h
+++ b/src/Headers/misc.h
@@ -20,6 +20,10 @@ extern void assertSet (/*@special@*/ /*@sef@*/ /*@unused@*/ void *p_x)
    /*@sets p_x, *p_x@*/ ;
 # define assertSet(x) ;
 
+extern void assertDefined (/*@sef@*/ /*@unused@*/ void *p_x) ;
+# define assertDefined(x) ;
+
+
 /*@-czechfcns@*/
 extern int size_toInt (size_t p_x) /*@*/ ;
 extern long size_toLong (size_t p_x) /*@*/ ;