X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/efd360a3de13e14de15dd5cac81e94cf23f371f2..ccf0a4a84a5a030c02e90d914b3f152b29826737:/src/Headers/stateValue.h?ds=sidebyside

diff --git a/src/Headers/stateValue.h b/src/Headers/stateValue.h
index 23aea94..d535074 100644
--- a/src/Headers/stateValue.h
+++ b/src/Headers/stateValue.h
@@ -61,8 +61,8 @@ extern cstring stateValue_unparse (stateValue p_s) /*@*/ ;
 
 extern bool stateValue_sameValue (stateValue p_s1, stateValue p_s2) /*@*/ ;
 
-extern bool stateValue_isError (stateValue p_s) /*@*/ ;
-# define stateValue_isError(p_s) (stateValue_getValue (p_s) == stateValue_error)
+extern bool stateValue_isError (/*@sef@*/ stateValue p_s) /*@*/ ;
+# define stateValue_isError(p_s) (stateValue_isDefined (p_s) && (stateValue_getValue (p_s) == stateValue_error))
 
 /*@constant int stateValue_error@*/ 
 # define stateValue_error -1