/*
** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
** No file scope checks (yet)
*/
- /*@i423 add a file scope naming convention policy? */
+ /* add a file scope naming convention policy? */
return;
}
message
("Name %s is reserved for future library extensions. "
"Functions that begin with \"mem\" or \"wcs\" and a "
- "lowercase letter letter may be added to <string.h>. (ISO:7.26.11)",
+ "lowercase letter may be added to <string.h>. (ISO:7.26.11)",
name),
uentry_whereLast (ue));
}
}
}
-/*@i523 POSIX p. 527 - applications should not declare any symbols that end _MAX @*/
+/* not yet checked: POSIX p. 527 - applications should not declare any symbols that end _MAX */