diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-21 23:05:05 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-04-01 11:59:16 +0200 |
| commit | 7a0eaa532f289c6a252f30023581f58bae7a446a (patch) | |
| tree | 2f92869ce3568c1790fc7de7eacaedf81f267ead /validation/init_cstring.c | |
| parent | 97ebb345943918a0688b62cbc9bf878de01ccba4 (diff) | |
| download | sparse-dev-7a0eaa532f289c6a252f30023581f58bae7a446a.tar.gz | |
fix OP_PHI usage in try_to_simplify_bb(), correctly
Patch 11b1a83b1 solved an issue with dangling PSEUDO_PHI
by killing it's use after a branch rewrite.
However, the change didn't took in account the fact that,
even after the branch rewrite, some other paths may exist
where this pseudo was needed.
Fix this by cheking that no such path exist before killing
the (usage of the) pseudo.
Fixes: 11b1a83b1 "fix OP_PHI usage in try_to_simplify_bb()"
Reported-by: Dibyendu Majumdar <mobile@majumdar.org.uk>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/init_cstring.c')
0 files changed, 0 insertions, 0 deletions