diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-12-14 15:46:37 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-12-14 15:46:37 +0100 |
commit | 5dced0aa523a7598aed729f38b3fc142cb833779 (patch) | |
tree | 500b6de148354607ed9e2ba0383fa97edde6ead5 | |
parent | 41ed905f57ec62162aac5be5bd5551b7b753e88d (diff) | |
download | compcert-5dced0aa523a7598aed729f38b3fc142cb833779.tar.gz compcert-5dced0aa523a7598aed729f38b3fc142cb833779.zip |
bug 20593, document new warning class in man-page
-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 88af8612..bb5a486e 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -405,6 +405,10 @@ Enabled by default. \fIzero\-length\-array\fP: GNU extension for zero length arrays. Disabled by default. +.sp +\fIinline\-asm\-sdump\fP: +Use of unsupported features in combination with dump of abstract syntax tree. +Enabled by default. . .TP .B \-Wno-<warning> |