diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-05-01 20:56:21 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-05-01 20:56:21 -0700 |
| commit | 15f7405c6e8dedd1d44fd1149e2ff2fb4c7ab172 (patch) | |
| tree | a84cb6300742cde3a49df6be236174c92957289f /cgcc | |
| parent | 0a393b6937e03bc94e7f7760d4dcb913394fdd09 (diff) | |
| download | sparse-dev-15f7405c6e8dedd1d44fd1149e2ff2fb4c7ab172.tar.gz | |
Teach cgcc about -ventry and -vdead
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'cgcc')
| -rwxr-xr-x | cgcc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -65,6 +65,7 @@ exit 0; sub check_only_option { my ($arg) = @_; return 1 if $arg =~ /^-W(no-?)?(default-bitfield-sig|one-bit-signed-bitfield|cast-truncate|bitwise|typesign|context|undefined-preprocessor|ptr-subtraction-blows|cast-to-address-space|decl|transparent-union|address-space|enum-mismatch|do-while)$/; + return 1 if $arg =~ /^-v(no-?)?(entry|dead)$/; return 0; } |