diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-03-08 16:22:18 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-03-08 16:22:18 +0100 |
commit | 355c79ae4ffe9a0669c06d7a3a3ce1eb86ccc5fb (patch) | |
tree | a09181a165b3b3556f277d3785520f0881e40ca3 /doc | |
parent | 1c4e0ece041f87cc0c328c94270f2b23facc8b77 (diff) | |
download | compcert-355c79ae4ffe9a0669c06d7a3a3ce1eb86ccc5fb.tar.gz compcert-355c79ae4ffe9a0669c06d7a3a3ce1eb86ccc5fb.zip |
Update manpage for new warning name class
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ccomp.1 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index c89721fb..301b0b5f 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -427,6 +427,10 @@ Disabled by default. Promotable vararg arguments. Enabled by default. .sp +\fIwrong\-ais\-parameter\fP: +Use of illegal parameter expressions for embedded program annotations. +Enabled by default. +.sp \fIzero\-length\-array\fP: GNU extension for zero length arrays. Disabled by default. |