diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-08-21 15:10:26 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-08-21 15:10:26 +0200 |
commit | cb03c522fce28f600e25e6d9e20768bce89f83e2 (patch) | |
tree | 0636304f9e13e5a2c6e3e6f3b01aa936ef92f462 | |
parent | 5fdb050e09ff5fefbe42003499de22c56b2321bb (diff) | |
download | compcert-cb03c522fce28f600e25e6d9e20768bce89f83e2.tar.gz compcert-cb03c522fce28f600e25e6d9e20768bce89f83e2.zip |
Document new named warning for flexible arrays, bug 23324
-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 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. |