diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-05-15 14:53:04 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-05-15 14:53:04 +0000 |
| commit | 418c08a8c3dda5d97e5e2995e336364f99485e20 (patch) | |
| tree | c43c535341022d9a58c25c057f010c0ff4abac11 /tools/mpfrlint | |
| parent | 0e6887d478dd5c50e4a1009b4dd6560de29576a1 (diff) | |
| download | mpfr-418c08a8c3dda5d97e5e2995e336364f99485e20.tar.gz | |
[tools/mpfrlint] Added a comment about the definition of reserved
identifiers (in particular, macro names).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11475 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 4e14b6a06..b80b58c2f 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -108,6 +108,10 @@ srctests=({src,tests}/**/*.[ch]~*mini-gmp.*) # Detect the definition of reserved macro names. # +# See ISO C 7.1.3 (Reserved identifiers) and 7.31 (Future library directions). +# The definition of a reserved identifier is undefined behavior +# (this includes the future library directions). +# # Note: The following check may have false positives in some cases, # but this may also correspond to bad coding, in particular because # code moves. We assume that if a header is used somewhere, it may |