diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-15 23:13:58 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-16 10:23:59 +0800 |
| commit | c365ba654b1b733dc2aaa3fc6b54078ae4ef7dbb (patch) | |
| tree | 63251ce1fa07bec92350c196fb79ce67e15d1de4 /validation | |
| parent | d3b8edaee2896769cc415e7b89632cd648985ad8 (diff) | |
| download | sparse-dev-c365ba654b1b733dc2aaa3fc6b54078ae4ef7dbb.tar.gz | |
fix show-parse()'s labels
show_statement() sometimes displays BBs as "L0x0" because
it uses the symbol::bb_target field which is never set when
show_statement() is usefull (before or during linearization).
Fix this by using the address of the underlaying symbol like
done when displaying others BBs (for example for the label at
the beginning of a BB).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions