diff options
author | Christopher Li <sparse@chrisli.org> | 2007-02-09 16:18:10 -0800 |
---|---|---|
committer | Josh Triplett <josh@freedesktop.org> | 2007-02-28 11:44:02 -0800 |
commit | fb057c38c687c16a31b7c56e7c4e404e18e4d92d (patch) | |
tree | 3cce219e136cbd0cc0e372f977b8fbf679158be4 /example.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 'example.c')
-rw-r--r-- | example.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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); |