From f3c572edc52f74b4fc74147449ec94ec7c2e547d Mon Sep 17 00:00:00 2001
From: florian <florian@freepascal.org>
Date: Sun, 2 May 2010 21:44:24 +0000
Subject: [PATCH] * handle multiple string labels in one case branch correctly,
 resolves #16130

git-svn-id: trunk@15212 -
---
 .gitattributes          |  1 +
 compiler/nset.pas       | 49 ++++++++++++++++++++++++++++-------------
 tests/webtbs/tw16130.pp | 28 +++++++++++++++++++++++
 3 files changed, 63 insertions(+), 15 deletions(-)
 create mode 100644 tests/webtbs/tw16130.pp

diff --git a/.gitattributes b/.gitattributes
index b7478d64c7..bc0dd60d23 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -10339,6 +10339,7 @@ tests/webtbs/tw16040.pp svneol=native#text/plain
 tests/webtbs/tw16065.pp svneol=native#text/pascal
 tests/webtbs/tw16083.pp svneol=native#text/plain
 tests/webtbs/tw16108.pp svneol=native#text/plain
+tests/webtbs/tw16130.pp svneol=native#text/pascal
 tests/webtbs/tw16161.pp svneol=native#text/pascal
 tests/webtbs/tw16163.pp svneol=native#text/plain
 tests/webtbs/tw1617.pp svneol=native#text/plain
diff --git a/compiler/nset.pas b/compiler/nset.pas
index 9d63ab0d04..e51c546390 100644
--- a/compiler/nset.pas
+++ b/compiler/nset.pas
@@ -28,7 +28,7 @@ interface
     uses
        cclasses,constexp,
        node,globtype,globals,
-       aasmbase,aasmtai,aasmdata,ncon,symtype;
+       aasmbase,aasmtai,aasmdata,ncon,nflw,symtype;
 
     type
        TLabelType = (ltOrdinal, ltConstString);
@@ -59,6 +59,8 @@ interface
        tcaseblock = record
           { label (only used in pass_generate_code) }
           blocklabel : tasmlabel;
+
+          statementlabel : tlabelnode;
           { instructions }
           statement  : tnode;
        end;
@@ -128,7 +130,7 @@ implementation
       verbose,
       symconst,symdef,symsym,symtable,defutil,defcmp,
       htypechk,pass_1,
-      nadd,nbas,ncnv,nld,nflw,cgobj,cgbase,
+      nadd,nbas,ncnv,nld,cgobj,cgbase,
       widestr;
 
 
@@ -651,8 +653,9 @@ implementation
          i  : integer;
          node_thenblock,node_elseblock,if_node : tnode;
          tempcaseexpr : ttempcreatenode;
-         if_block, init_block : tblocknode;
+         if_block, init_block,stmt_block : tblocknode;
          stmt : tstatementnode;
+         endlabel : tlabelnode;
 
       function makeifblock(const labtree : pcaselabel; prevconditblock : tnode): tnode;
         var
@@ -675,8 +678,7 @@ implementation
 
           result :=
             cifnode.create(
-              condit, pcaseblock(blocks[labtree^.blockid])^.statement, result);
-          pcaseblock(blocks[labtree^.blockid])^.statement := nil;
+              condit, cgotonode.create(pcaseblock(blocks[labtree^.blockid])^.statementlabel.labsym), result);
 
           if assigned(labtree^.greater) then
             result := makeifblock(labtree^.greater, result);
@@ -742,17 +744,34 @@ implementation
 
          if (labels^.label_type = ltConstString) then
            begin
-             if_node := makeifblock(labels, elseblock);
-             if assigned(init_block) then
+             endlabel:=clabelnode.create(cnothingnode.create,tlabelsym.create('$casestrofend'));
+             stmt_block:=internalstatements(stmt);
+             for i:=0 to blocks.count-1 do
                begin
-                 firstpass(tnode(init_block));
-                 if_block := internalstatements(stmt);
-                 addstatement(stmt, init_block);
-                 addstatement(stmt, if_node);
-                 result := if_block;
-               end
-             else
-               result := if_node;
+                 pcaseblock(blocks[i])^.statementlabel:=clabelnode.create(cnothingnode.create,tlabelsym.create('$casestrof'));
+                 addstatement(stmt,pcaseblock(blocks[i])^.statementlabel);
+                 addstatement(stmt,pcaseblock(blocks[i])^.statement);
+                 pcaseblock(blocks[i])^.statement:=nil;
+                 addstatement(stmt,cgotonode.create(endlabel.labsym));
+               end;
+
+             firstpass(tnode(stmt_block));
+
+             if_node := makeifblock(labels, elseblock);
+
+             if assigned(init_block) then
+               firstpass(tnode(init_block));
+
+             if_block := internalstatements(stmt);
+
+             if assigned(init_block) then
+               addstatement(stmt, init_block);
+
+             addstatement(stmt, if_node);
+             addstatement(stmt,cgotonode.create(endlabel.labsym));
+             addstatement(stmt, stmt_block);
+             addstatement(stmt, endlabel);
+             result := if_block;
              elseblock := nil;
              exit;
            end;
diff --git a/tests/webtbs/tw16130.pp b/tests/webtbs/tw16130.pp
new file mode 100644
index 0000000000..eab3a09231
--- /dev/null
+++ b/tests/webtbs/tw16130.pp
@@ -0,0 +1,28 @@
+var
+  S :String;
+begin
+  S := 'H';
+  case S of
+    'HH','H': WriteLn('1');
+  end;
+  S := 'HH';
+  case S of
+    'HH': WriteLn('2');
+  end;
+  case S of
+    'HH','H': WriteLn('3');
+  end;
+  case S of
+    'H','HH': WriteLn('4');
+  end;
+  S := 'A';
+  case S of
+    'HH': WriteLn('2');
+  end;
+  case S of
+    'HH','H': WriteLn('3');
+  end;
+  case S of
+    'H','HH': WriteLn('4');
+  end;
+end.