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>

1 files changed, 1 insertions, 0 deletions

diff --git a/example.c b/example.c
index 9515435..e4679ae 100644
--- a/example.c
+++ b/example.c
@@ -1946,6 +1946,7 @@ int main(int argc, char **argv)
 	char *file;
 
 	compile(sparse_initialize(argc, argv, &filelist));
+	dbg_dead = 1;
 	FOR_EACH_PTR_NOTAG(filelist, file) {
 		compile(sparse(file));
 	} END_FOR_EACH_PTR_NOTAG(file);