diff options
author | 2007-02-09 16:18:10 -0800 | |
---|---|---|
committer | 2007-02-28 11:44:02 -0800 | |
commit | fb057c38c687c16a31b7c56e7c4e404e18e4d92d (patch) | |
tree | 3cce219e136cbd0cc0e372f977b8fbf679158be4 /lib.c | |
parent | Move pkg-config file to lib, rather than share (diff) | |
download | sparse-fb057c38c687c16a31b7c56e7c4e404e18e4d92d.tar.gz sparse-fb057c38c687c16a31b7c56e7c4e404e18e4d92d.tar.bz2 sparse-fb057c38c687c16a31b7c56e7c4e404e18e4d92d.zip |
Disable liveness "dead" instruction by default.
The liveness instruction takes up about 10% of the bytecode bloat file.
It is not very useful, it is duplicate information that can be obtained
from the def/user chain.
This change disables the liveness instruction by default.
The caller can track_pseudo_death() if needed.
Signed-Off-By: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'lib.c')
-rw-r--r-- | lib.c | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -205,7 +205,8 @@ int Wenum_mismatch = 1; int Wdo_while = 1; int Wuninitialized = 1; -int dbg_entry; +int dbg_entry = 0; +int dbg_dead = 0; int preprocess_only; char *include; @@ -405,6 +406,7 @@ static char **handle_switch_W(char *arg, char **next) static struct warning debugs[] = { { "entry", &dbg_entry}, + { "dead", &dbg_dead}, }; |