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 /validation | |
| parent | 6a0b505353fdfd664078e2739f655a0be438707a (diff) | |
| download | sparse-dev-fb057c38c687c16a31b7c56e7c4e404e18e4d92d.tar.gz | |
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 'validation')
0 files changed, 0 insertions, 0 deletions