diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-30 23:54:34 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-09-01 08:42:30 +0200 |
| commit | 47da866ed7671944d66b1075f2beeb494e5fa924 (patch) | |
| tree | 01bb9e161dfa04f3bb387021da3026229892df97 /validation/linear | |
| parent | 5cf440518858ce0fb0b6e904bf4c5cbf0670ab48 (diff) | |
| download | sparse-dev-47da866ed7671944d66b1075f2beeb494e5fa924.tar.gz | |
ir-validate: add validation branch to dead BB
All branches must target an existing BB.
Validate that it is the case for BR, CBR & SWITCH
(COMPUTEDGOTO is left aside for the moment).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear')
0 files changed, 0 insertions, 0 deletions