aboutsummaryrefslogtreecommitdiff
path: root/lib.c
diff options
context:
space:
mode:
authorChristopher Li <sparse@chrisli.org>2007-02-09 16:18:10 -0800
committerJosh Triplett <josh@freedesktop.org>2007-02-28 11:44:02 -0800
commitfb057c38c687c16a31b7c56e7c4e404e18e4d92d (patch)
tree3cce219e136cbd0cc0e372f977b8fbf679158be4 /lib.c
parentMove pkg-config file to lib, rather than share (diff)
downloadsparse-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.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/lib.c b/lib.c
index cdc7195..42d47f0 100644
--- a/lib.c
+++ b/lib.c
@@ -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},
};