diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-31 18:43:13 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-09-06 01:37:51 +0200 |
| commit | b422403a2bdaba8f0b4804c97f35141b27fb7a08 (patch) | |
| tree | 0732dd2feaf6ef31919184745c5773e40ec4c298 /validation/linear | |
| parent | 4bc03f94bb1d42f64f5927b4c0adad98422eef2f (diff) | |
| download | sparse-dev-b422403a2bdaba8f0b4804c97f35141b27fb7a08.tar.gz | |
the return BB is never terminated
After having called linearize_fn_statement(), it is tested
if the active BB is terminated or not. But by construction,
the active BB at this point is never terminated.
So, remove the unneeded test.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear')
0 files changed, 0 insertions, 0 deletions