Simplified permutation all all from code generation (Bug 520608)

Change-Id: I91e1497480efff7008bf3a1ef313d44df212ce5d
Signed-off-by: BenceJanosSzabo <bence.janos.szabo@ericsson.com>

regression_test/all_from/all_from_permutation.ttcn

@@ -1803,5 +1803,16 @@ testcase tc_perm_varTemplate_two_var_unfoldable() runs on A
   f_checkRoITemplateEquivalence(tl_len_res, tl_len_res_eq);
 }
 
+testcase tc_perm_varTemplate_array_unfoldable() runs on A
+{
+  var template RoI tl_unfoldable4 := { 6 };
+  var template IntArray tl_arr_res := { 1, permutation ( 2, all from tl_unfoldable4, 3), 4, 5 };
+  var template IntArray tl_arr_res_eq := { 1, permutation ( 2, 6, 3 ), 4, 5 };
+  if (log2str(tl_arr_res) != log2str(tl_arr_res_eq)) {
+    setverdict(fail, match(log2str(tl_arr_res), log2str(tl_arr_res_eq)));
+  }
+  setverdict(pass);
+}
+
 
 }  // end of module

regression_test/all_from/types.ttcn

@@ -9,6 +9,7 @@
  *   Balasko, Jeno
  *   Baranyi, Botond
  *   Raduly, Csaba
+ *   Szabo, Bence Janos
  *
  ******************************************************************************/
 module types {
@@ -57,6 +58,8 @@ type union MyUnion {
 type record of MyRecord RoMyRec;
 type record of MyUnion RoMyUnion;
 
+type integer IntArray[3..8];
+
 //==== Function Reference ====
 //this is just a dummy type to test all from for function references
 type function F_int2int(in integer pl_i) return integer;