In C, statements can contains labels and so it's not because the top
of the statement can't be reached that its body can't.
This problem exists for switch statements and is fixed by the
second patch in this series.
This series is available for review & testing in the Git repository at:
git://github.com/lucvoo/sparse-dev.git dead-switch
----------------------------------------------------------------
Luc Van Oostenryck (2):
add tescase for unreachable label in switch
fix linearization of unreachable switch (with reachable label).
linearize.c | 6 ++++--
validation/linear/unreachable-label0.c | 19 +++++++++++++++++++
2 files changed, 23 insertions(+), 2 deletions(-)
create mode 100644 validation/linear/unreachable-label0.c
