diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-06-05 12:55:11 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-06-05 12:55:11 +0200 |
commit | da76ba512d1efbae8ab5ebcb79eb58c0085a026b (patch) | |
tree | cb185a112e4ccf0e98abb7ed784e7744c67866ec /doc/ccomp.1 | |
parent | eea30300a784da4516b67e38024587af11ba2100 (diff) | |
download | compcert-da76ba512d1efbae8ab5ebcb79eb58c0085a026b.tar.gz compcert-da76ba512d1efbae8ab5ebcb79eb58c0085a026b.zip |
bug 23325, document recently introduced named warnings
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r-- | doc/ccomp.1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 0cf8c754..4000f133 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -445,11 +445,11 @@ Disabled by default. .sp \fIunused\-ais\-parameter\fP: Unused parameter for embedded program annotations. -Enabled by default. +Disabled by default. .sp \fIunused\-variable\fP: Unused local variables. -Disabled by default. +Enabled by default. .sp \fIvarargs\fP: Promotable vararg arguments. |