diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-06-14 04:51:30 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-06-15 10:03:01 +0200 |
| commit | 13e3bd1f96cd46f5036f5bc6c27bfcb37b44c83c (patch) | |
| tree | 99fe33408bfd72f6d0be6fb8810f9b0d8d80d41b /cgcc | |
| parent | fbaefae6a74d62ec7aa1890aa4649dbd0c9b41a0 (diff) | |
| download | sparse-dev-13e3bd1f96cd46f5036f5bc6c27bfcb37b44c83c.tar.gz | |
cgcc: filter-out '-fdump-linearize[=...]'
This was forgotten when adding this option.
Reported-by: Ramsay Jones <ramsay@ramsayjones.plus.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'cgcc')
| -rwxr-xr-x | cgcc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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; } |