aboutsummaryrefslogtreecommitdiffstats
path: root/doc/ccomp.1
diff options
context:
space:
mode:
authorMichael Schmidt <github@mschmidt.me>2018-06-05 12:38:07 +0200
committerMichael Schmidt <github@mschmidt.me>2018-06-05 12:38:07 +0200
commit7e151ef0a560f9ca93f6605c48a83016f0cdabe7 (patch)
treeb190015419d138256d54d4dbe0eba9b407078c9f /doc/ccomp.1
parentcce9bf31db1d57fa04c1f5fa392f88a28fe2d864 (diff)
downloadcompcert-kvx-7e151ef0a560f9ca93f6605c48a83016f0cdabe7.tar.gz
compcert-kvx-7e151ef0a560f9ca93f6605c48a83016f0cdabe7.zip
bug 23325, document recently introduced named warnings
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r--doc/ccomp.132
1 files changed, 28 insertions, 4 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1
index 44fe525e..8db23329 100644
--- a/doc/ccomp.1
+++ b/doc/ccomp.1
@@ -379,10 +379,18 @@ Disabled by default.
Dangerous conversion of constants, e.g. literals that are too large for the given type.
Enabled by default.
.sp
+\fIextern\-after\-definition\fP:
+Extern declarations after non-extern definitions.
+Enabled by default.
+.sp
\fIgnu\-empty\-struct\fP:
GNU extension for empty structs.
Enabled by default.
.sp
+\fignored\-attributes\fP:
+Attribute declarations after definitions.
+Enabled by default.
+.sp
\fIimplicit\-function\-declaration\fP:
Deprecated implicit function declarations.
Enabled by default.
@@ -391,6 +399,10 @@ Enabled by default.
Type of parameter or return type is implicitly assumed to be int.
Enabled by default.
.sp
+\fIinline\-asm\-sdump\fP:
+Use of unsupported features in combination with dump of abstract syntax tree.
+Enabled by default.
+.sp
\fIint\-conversion\fP:
Conversion between pointer and integer.
Enabled by default.
@@ -407,6 +419,10 @@ Enabled by default.
Wrong return type for main.
Enabled by default.
.sp
+\fImissing\-declarations\fP:
+Declations which do not declare anything.
+Enabled by default.
+.sp
\fIpointer\-type\-mismatch\fP:
Use of incompatible pointer types in conditional expressions.
Enabled by default.
@@ -415,6 +431,10 @@ Enabled by default.
Void-return statement in non-void function.
Enabled by default.
.sp
+\fIstatic\-in\-inline\fP:
+Static variable in non-static inline function.
+Enabled by default.
+.sp
\fIunknown\-attributes\fP:
Use of unsupported or unknown attributes.
Enabled by default.
@@ -423,6 +443,14 @@ Enabled by default.
Use of unsupported or unknown pragmas.
Disabled by default.
.sp
+\fIunused_ais_parameter\fP:
+Use of unsupported or unknown pragmas.
+Enabled by default.
+.sp
+\fIunused\-variable\fP:
+Unused local variables.
+Disabled by default.
+.sp
\fIvarargs\fP:
Promotable vararg arguments.
Enabled by default.
@@ -434,10 +462,6 @@ 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>