diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-06 20:15:58 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-14 12:37:21 +0100 |
| commit | 56f6d4dd747ac524e4e93d4aa7a8281e64b416bc (patch) | |
| tree | 53849d086c7f786982716193f2925161027b230a /gdbhelpers | |
| parent | 154b19b15cecd661b6498fb7683920c5cf8dd938 (diff) | |
| download | sparse-dev-56f6d4dd747ac524e4e93d4aa7a8281e64b416bc.tar.gz | |
fix killing of converted loads
Converted loads are dead and can be removed but that
also means that the address usage need to be adjusted
which wasn't done.
Fix this by directly using kill_instruction().
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'gdbhelpers')
0 files changed, 0 insertions, 0 deletions