Added manual test cases.

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

diff --git a/src/Headers/cpperror.h b/src/Headers/cpperror.h
index 3b8fe0c100e942f8be762749fa45e2ea47b1008d..2c1861f6353e064d92d340a2c00c7b61514964ae 100644 (file)
--- a/src/Headers/cpperror.h
+++ b/src/Headers/cpperror.h
@@ -4,7 +4,7 @@
 /* doesn't exit! */
 extern void cppReader_fatalError (cppReader *p_pfile, /*@only@*/ cstring p_str);
 
-extern /*@exits@*/ void cppReader_pfatalWithName (cppReader *p_pfile, 
+extern /*@noreturn@*/ void cppReader_pfatalWithName (cppReader *p_pfile, 
                                                  cstring p_name);
 
 extern void cppReader_errorLit (cppReader *p_pfile, /*@observer@*/ cstring p_msg);