aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorMichael Schmidt <github@mschmidt.me>2018-08-21 15:10:26 +0200
committerMichael Schmidt <github@mschmidt.me>2018-08-21 15:10:26 +0200
commitcb03c522fce28f600e25e6d9e20768bce89f83e2 (patch)
tree0636304f9e13e5a2c6e3e6f3b01aa936ef92f462 /doc
parent5fdb050e09ff5fefbe42003499de22c56b2321bb (diff)
downloadcompcert-kvx-cb03c522fce28f600e25e6d9e20768bce89f83e2.tar.gz
compcert-kvx-cb03c522fce28f600e25e6d9e20768bce89f83e2.zip
Document new named warning for flexible arrays, bug 23324
Diffstat (limited to 'doc')
-rw-r--r--doc/ccomp.14
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1
index f0886657..4e13681e 100644
--- a/doc/ccomp.1
+++ b/doc/ccomp.1
@@ -383,6 +383,10 @@ Enabled by default.
Extern declarations after non-extern definitions.
Enabled by default.
.sp
+\fIflexible\-array\-extensions\fP:
+Use of structs with flexible arrays nexted within structs or arrays.
+Enabled by default.
+.sp
\fIgnu\-empty\-struct\fP:
GNU extension for empty structs.
Enabled by default.