diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-12 15:08:54 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-14 12:39:19 +0100 |
| commit | 488b3f379e42358e5815c6320baec9113349d585 (patch) | |
| tree | df5965445c86636c2698b24dba07a4eb2e25845d /gvpr | |
| parent | fdd1645dc1a80d76dfffb621cfca778d1ce12d52 (diff) | |
| download | sparse-dev-488b3f379e42358e5815c6320baec9113349d585.tar.gz | |
fix usage of deadborn loads
In some situations, loads and others instructions can be
unreachable already when linearized, for example in code like:
void foo(int *ptr)
{
return;
*ptr;
}
Such loads are detected in find_dominating_stores() and must
be discarded. This is done and the load have its opcode set
to OP_LNOP (wich is only useful for debugging) but it's
address is left as being used by the load.
Fix this by removing the address usage.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'gvpr')
0 files changed, 0 insertions, 0 deletions