aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
-rwxr-xr-xcgcc1
1 files changed, 1 insertions, 0 deletions
diff --git a/cgcc b/cgcc
index 9dc926a1..2f2c6cac 100755
--- a/cgcc
+++ b/cgcc
@@ -103,6 +103,7 @@ sub check_only_option {
my ($arg) = @_;
return 1 if $arg =~ /^-W(no-?)?(address-space|bitwise|cast-to-as|cast-truncate|context|decl|default-bitfield-sign|designated-init|do-while|enum-mismatch|init-cstring|non-pointer-null|old-initializer|one-bit-signed-bitfield|override-init-all|paren-string|ptr-subtraction-blows|return-void|sizeof-bool|sparse-all|sparse-error|transparent-union|typesign|undef|unknown-attribute)$/;
return 1 if $arg =~ /^-v(no-?)?(entry|dead)$/;
+ return 1 if $arg =~ /^-f(dump-linearize)(=\S*)?$/;
return 0;
}