Check the scope as well as the label name, for academic correctness' sake.

2016-05-08 04:14:32 +02:00
parent 91ad438bb7
commit 28a8f0757c
1 changed files with 2 additions and 1 deletions
--- a/lslopt/lslparse.py
+++ b/lslopt/lslparse.py
@@ -1708,7 +1708,8 @@ list lazy_list_set(list L, integer i, list v)
                # If so, remove the label and don't generate the jump.
                for i in xrange(len(blk)):
                    node = blk[i]
-                    if node['nt'] == '@' and node['name'] == switchcasedefault:
+                    if (node['nt'] == '@' and node['name'] == switchcasedefault
+                       and node['scope'] == blkscope):
                        switchcasedefault = None
                        del blk[i]
                        break