/*
** 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;
}
uentry_whereLast (ue));
}
- DPRINTF (("Here..."));
+ /*
+ ** evans - 2002-12-16: added this check (even though it is not required by ISO)
+ */
+
+ if (fchar == 'S' && schar == 'A' && tchar == '_')
+ {
+ hasError |= optgenerror2
+ (FLG_ISORESERVED, FLG_NAMECHECKS,
+ message
+ ("Name %s may be defined as a macro by Linux library. "
+ "It is not research by the ISO specification, but may produce conflicts on some systems.",
+ name),
+ uentry_whereLast (ue));
+ }
if ((uentry_isVisibleExternally (ue) && !uentry_isAnyTag (ue))
|| context_getFlag (FLG_ISORESERVEDLOCAL))
}
}
-
-
-
-/*@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 */