Fixed problem with resetting null state after error for constants.

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

diff --git a/src/Headers/llerror.h b/src/Headers/llerror.h
index e54c01d6a79ed70ca1d52144d8962c3e02f2f47b..cf212956bc7d25bdd81bed9805d114d075a94f10 100644 (file)
--- a/src/Headers/llerror.h
+++ b/src/Headers/llerror.h
@@ -32,7 +32,10 @@ extern /*@noreturnwhenfalse@*/ void llassertretnull (/*@sef@*/ bool p_test);
           llbuglit ("llassert failed: " #tst); \
        }} while (FALSE)
 
-extern /*@noreturnwhenfalse@*/ void llassertretval (/*@sef@*/ bool p_test, /*@sef@*/ void *p_val);
+typedef void *tx_voidptr;
+
+extern /*@noreturnwhenfalse@*/ void 
+llassertretval (/*@sef@*/ bool p_test, /*@sef@*/ /*@null@*/ tx_voidptr /*@alt anytype@*/ p_val); 
 # define llassertretval(tst,val) \
     do { if (!(tst)) { \
            if (context_getFlag (FLG_TRYTORECOVER)) checkParseError (); \