diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-06-05 12:51:54 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-06-05 12:51:54 +0200 |
commit | eea30300a784da4516b67e38024587af11ba2100 (patch) | |
tree | cd86e689a1d8a29e2d5bfd19b738d485be0208a0 /doc/ccomp.1 | |
parent | 56d269db4a0a8f7d6479d65cf607f00b703b8815 (diff) | |
download | compcert-eea30300a784da4516b67e38024587af11ba2100.tar.gz compcert-eea30300a784da4516b67e38024587af11ba2100.zip |
bug 23325, document recently introduced named warnings
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r-- | doc/ccomp.1 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 3ebcad14..0cf8c754 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -432,7 +432,7 @@ Void-return statement in non-void function. Enabled by default. .sp \fIstatic\-in\-inline\fP: -Static variable in non-static inline function. +Use of static variables in non-static inline functions. Enabled by default. .sp \fIunknown\-attributes\fP: @@ -443,8 +443,8 @@ Enabled by default. Use of unsupported or unknown pragmas. Disabled by default. .sp -\fIunused_ais_parameter\fP: -Use of unsupported or unknown pragmas. +\fIunused\-ais\-parameter\fP: +Unused parameter for embedded program annotations. Enabled by default. .sp \fIunused\-variable\fP: |