diff options
author | Michael Schmidt <github@mschmidt.me> | 2019-07-05 16:12:54 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-05 16:57:32 +0200 |
commit | 5e8cac37b13cd3dcfbbe8e9dd939ed1fa9d5e310 (patch) | |
tree | 1d815de9d90a603380e6d13f8333d0000e3fb5df /doc/ccomp.1 | |
parent | 467eb744ae2e7d913744c04866fa3e1a4558cdbe (diff) | |
download | compcert-5e8cac37b13cd3dcfbbe8e9dd939ed1fa9d5e310.tar.gz compcert-5e8cac37b13cd3dcfbbe8e9dd939ed1fa9d5e310.zip |
Update synonymous list for -O0, add new named warning class
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r-- | doc/ccomp.1 | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index d01442d4..a177914a 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -125,7 +125,8 @@ Enabled by default. .TP .B \-O0 Turn off most optimizations. -Synonymous to \fB\-fno\-const\-prop\fP \fB\-fno\-cse\fP \fB\-fno\-redundancy\fP \fB\-fno\-tailcalls\fP \fB\-fno\-if\-conversion\fP. +Synonymous to \fB\-fno\-const\-prop\fP \fB\-fno\-cse\fP \fB\-fno\-if\-conversion\fP +\fB\-fno\-inline\-functions\-called\-once\fP \fB\-fno\-redundancy\fP \fB\-fno\-tailcalls\fP. . .TP .BR \-O1 ", " \-O2 ", " \-O3 @@ -445,6 +446,10 @@ Enabled by default. Declarations which do not declare anything. Enabled by default. .sp +\fInon\-linear\-cond\-expr\fP: +Conditional expression that may not be optimized to branchless code. +Disabled by default. +.sp \fIpointer\-type\-mismatch\fP: Use of incompatible pointer types in conditional expressions. Enabled by default. |