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-kvx-da76ba512d1efbae8ab5ebcb79eb58c0085a026b.tar.gz compcert-kvx-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. |