*** empty log message ***

[splint.git] / src / nameChecks.c

diff --git a/src/nameChecks.c b/src/nameChecks.c
index 68f8d7d693f0b5ea4070d9bbd352ff3ae0843442..be98be77505cdcd9f5d9cc538908c6c40ae8cec8 100644 (file)
--- a/src/nameChecks.c
+++ b/src/nameChecks.c
@@ -1543,3 +1543,4 @@ void checkParamNames (uentry ue)
 
 
 
+/*@i523 POSIX p. 527 - applications should not declare any symbols that end _MAX @*/