Added manual test cases.

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

diff --git a/src/Headers/sRef.h b/src/Headers/sRef.h
index c251c395f5ee53ed136d528e0b97354e79ce0a91..2381642249d9e3f06d77cb2bc64fb1b96bf3d3e9 100644 (file)
--- a/src/Headers/sRef.h
+++ b/src/Headers/sRef.h
@@ -681,7 +681,7 @@ extern void sRef_setValue (sRef p_s, /*@only@*/ multiVal p_val) /*@modifies p_s@
 extern bool sRef_hasValue (sRef p_s) /*@*/ ;
 extern /*@observer@*/ multiVal sRef_getValue (sRef p_s) /*@*/ ;
 
-extern /*@mayexit@*/ void sRef_checkValid (/*@temp@*/ sRef p_s) /*@modifies stderr@*/ ;
+extern /*@maynotreturn@*/ void sRef_checkValid (/*@temp@*/ sRef p_s) /*@modifies stderr@*/ ;
 
 extern void
 sRef_aliasSetComplete (void (p_predf) (sRef, fileloc), sRef p_s, fileloc p_loc)