[alias] modified print function so that leafs are not marked as aliases

src/plugins/alias/abstract_state.ml

@@ -106,32 +106,32 @@ let print_debug fmt (x:t) =
 let print_aliases fmt (x:t) =
   let iter_vmap v set_lv =
     if G.mem_vertex x.graph v then
-      let set_lv =
-        match G.succ x.graph v with
-          [] -> LSet.empty
-        | [_] -> set_lv
-        | _ -> failwith "this should not happen"
-      in
-      let set_pred = ref LSet.empty in
-      G.iter_pred
-        (fun v -> set_pred := LSet.union !set_pred (VMap.find v x.vmap))
-        x.graph
-        v;
-      if LSet.cardinal set_lv + LSet.cardinal !set_pred >= 2
-      then
-        Format.fprintf fmt "{%a%a} are aliased@."
-          (fun fmt s ->
-             LSet.iter
-               (fun lv -> Format.fprintf fmt "%a; " Lval.pretty lv)
-               s
-          )
-          set_lv
-          (fun fmt s ->
-             LSet.iter
-               (fun lv -> Format.fprintf fmt "*%a; " Lval.pretty lv)
-               s
-          )
-          !set_pred
+      match G.succ x.graph v with
+        [] -> ()
+      | [_] ->
+        begin
+          let set_pred = ref LSet.empty in
+          G.iter_pred
+            (fun v -> set_pred := LSet.union !set_pred (VMap.find v x.vmap))
+            x.graph
+            v;
+          if LSet.cardinal set_lv + LSet.cardinal !set_pred >= 2
+          then
+            Format.fprintf fmt "{%a%a} are aliased@."
+              (fun fmt s ->
+                 LSet.iter
+                   (fun lv -> Format.fprintf fmt "%a; " Lval.pretty lv)
+                   s
+              )
+              set_lv
+              (fun fmt s ->
+                 LSet.iter
+                   (fun lv -> Format.fprintf fmt "*%a; " Lval.pretty lv)
+                   s
+              )
+              !set_pred
+        end
+      | _ -> failwith "this should not happen"
   in
   Format.fprintf fmt "@[<hov 2><list of may-alias>@.";
   VMap.iter iter_vmap x.vmap;

src/plugins/alias/tests/basic/oracle/assignment1.res.oracle

@@ -11,7 +11,6 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; c; d; } are aliased
-  {*a; *b; *c; *d; } are aliased
   <end of list>
 [alias] Functions done
 Before statement int *a = (int *)0; :
@@ -37,25 +36,21 @@ Before statement a = b; :
 Before statement b = c; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement a = d; :
  <list of may-alias>
 {a; b; c; } are aliased
-{*a; *b; *c; } are aliased
 <end of list>
 
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; c; d; } are aliased
-{*a; *b; *c; *d; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
 {a; b; c; d; } are aliased
-{*a; *b; *c; *d; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/assignment2.res.oracle

@@ -10,7 +10,6 @@
 [alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
-  {*b; *d; } are aliased
   {a; c; } are aliased
   {b; d; *a; *c; } are aliased
   <end of list>
@@ -48,14 +47,12 @@ Before statement a = c; :
 
 Before statement __retres = 0; :
  <list of may-alias>
-{*b; *d; } are aliased
 {a; c; } are aliased
 {b; d; *a; *c; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
-{*b; *d; } are aliased
 {a; c; } are aliased
 {b; d; *a; *c; } are aliased
 <end of list>

src/plugins/alias/tests/basic/oracle/assignment3.res.oracle

@@ -9,7 +9,6 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; c; } are aliased
-  {*a; *c; } are aliased
   <end of list>
 [alias] Functions done
 Before statement int *a = (int *)0; :
@@ -35,13 +34,11 @@ Before statement c = & b; :
 Before statement __retres = 0; :
  <list of may-alias>
 {a; c; } are aliased
-{*a; *c; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
 {a; c; } are aliased
-{*a; *c; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/assignment4.res.oracle

@@ -10,7 +10,6 @@
 [alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
-  {*b; *d; } are aliased
   {b; d; *a; *c; } are aliased
   <end of list>
 [alias] Functions done
@@ -47,13 +46,11 @@ Before statement b = d; :
 
 Before statement __retres = 0; :
  <list of may-alias>
-{*b; *d; } are aliased
 {b; d; *a; *c; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
-{*b; *d; } are aliased
 {b; d; *a; *c; } are aliased
 <end of list>
 

src/plugins/alias/tests/basic/oracle/cast1.res.oracle

@@ -10,9 +10,7 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; c; } are aliased
-  {*a; *c; } are aliased
   {b; d; } are aliased
-  {*b; *d; } are aliased
   <end of list>
 [alias] Functions done
 Before statement int *a = (int *)0; :
@@ -38,23 +36,18 @@ Before statement a = (int *)c; :
 Before statement d = (float *)b; :
  <list of may-alias>
 {a; c; } are aliased
-{*a; *c; } are aliased
 <end of list>
 
 Before statement __retres = 0; :
  <list of may-alias>
 {a; c; } are aliased
-{*a; *c; } are aliased
 {b; d; } are aliased
-{*b; *d; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
 {a; c; } are aliased
-{*a; *c; } are aliased
 {b; d; } are aliased
-{*b; *d; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/conditional1.res.oracle

@@ -10,7 +10,6 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; c; } are aliased
-  {*a; *b; *c; } are aliased
   <end of list>
 [alias] Functions done
 Before statement int *a = (int *)0; :
@@ -40,19 +39,16 @@ Before statement a = c; :
 Before statement *a = 4; :
  <list of may-alias>
 {a; b; c; } are aliased
-{*a; *b; *c; } are aliased
 <end of list>
 
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; c; } are aliased
-{*a; *b; *c; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
 {a; b; c; } are aliased
-{*a; *b; *c; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/function1.res.oracle

@@ -14,9 +14,7 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased
-  {*a; *b; } are aliased
   {c; d; } are aliased
-  {*c; *d; } are aliased
   <end of list>
 [alias] ANALYSING int *z = (int *)0;
 [alias] Functions done
@@ -27,9 +25,7 @@ Before statement int *z = (int *)0; :
 Before statement return __retres; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 {c; d; } are aliased
-{*c; *d; } are aliased
 <end of list>
 
 Before statement int *z = (int *)0; :
@@ -43,13 +39,11 @@ Before statement z = x; :
 Before statement x = y; :
  <list of may-alias>
 {x; z; } are aliased
-{*x; *z; } are aliased
 <end of list>
 
 Before statement y = z; :
  <list of may-alias>
 {x; y; z; } are aliased
-{*x; *y; *z; } are aliased
 <end of list>
 
 Before statement int *a = (int *)0; :
@@ -75,21 +69,17 @@ Before statement swap(a,b); :
 Before statement swap(c,d); :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 {c; d; } are aliased
-{*c; *d; } are aliased
 <end of list>
 
 Before statement return; :
  <list of may-alias>
 {x; y; z; } are aliased
-{*x; *y; *z; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/function3.res.oracle

@@ -14,15 +14,12 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased
-  {*a; *b; } are aliased
   {c; d; } are aliased
-  {*c; *d; } are aliased
   <end of list>
 [alias] Functions done
 Before statement return __retres; :
  <list of may-alias>
 {x; y; tmp; } are aliased
-{*x; *y; *tmp; } are aliased
 <end of list>
 
 Before statement int *tmp = x; :
@@ -36,15 +33,12 @@ Before statement while (1) {
                  } :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 {c; d; } are aliased
-{*c; *d; } are aliased
 <end of list>
 
 Before statement x = y;
@@ -52,31 +46,26 @@ Before statement x = y;
                  break; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement x = y; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement y = tmp; :
  <list of may-alias>
 {x; y; tmp; } are aliased
-{*x; *y; *tmp; } are aliased
 <end of list>
 
 Before statement break; :
  <list of may-alias>
 {x; y; tmp; } are aliased
-{*x; *y; *tmp; } are aliased
 <end of list>
 
 Before statement __retres = (void *)0; :
  <list of may-alias>
 {x; y; tmp; } are aliased
-{*x; *y; *tmp; } are aliased
 <end of list>
 
 Before statement int *a = (int *)0; :
@@ -102,15 +91,12 @@ Before statement f1(a,b); :
 Before statement f1(c,d); :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 {c; d; } are aliased
-{*c; *d; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/function4.res.oracle

@@ -9,7 +9,6 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased
-  {*a; *b; } are aliased
   <end of list>
 [alias] Functions done
 Before statement return x; :
@@ -39,13 +38,11 @@ Before statement b = & c; :
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/function5.res.oracle

@@ -11,13 +11,11 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; c; } are aliased
-  {*a; *b; *c; } are aliased
   <end of list>
 [alias] Functions done
 Before statement goto return_label; :
  <list of may-alias>
 {x; __retres; } are aliased
-{*x; *__retres; } are aliased
 <end of list>
 
 Before statement __retres = y;
@@ -32,13 +30,11 @@ Before statement int c = 0; :
 Before statement goto return_label; :
  <list of may-alias>
 {y; __retres; } are aliased
-{*y; *__retres; } are aliased
 <end of list>
 
 Before statement return_label: return __retres; :
  <list of may-alias>
 {x; y; __retres; } are aliased
-{*x; *y; *__retres; } are aliased
 <end of list>
 
 Before statement if (c) {
@@ -55,7 +51,6 @@ Before statement if (c) {
 Before statement return __retres; :
  <list of may-alias>
 {a; b; c; } are aliased
-{*a; *b; *c; } are aliased
 <end of list>
 
 Before statement __retres = x; :
@@ -85,7 +80,6 @@ Before statement c = choice(a,b); :
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; c; } are aliased
-{*a; *b; *c; } are aliased
 <end of list>
 
 Before statement __retres = x;

src/plugins/alias/tests/basic/oracle/switch1.res.oracle

@@ -11,7 +11,6 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; d; } are aliased
-  {*a; *b; *d; } are aliased
   <end of list>
 [alias] Functions done
 Before statement int *a = (int *)0; :
@@ -50,7 +49,6 @@ Before statement case 1: a = d; :
 Before statement break; :
  <list of may-alias>
 {a; d; } are aliased
-{*a; *d; } are aliased
 <end of list>
 
 Before statement case 2: b = d; :
@@ -60,19 +58,16 @@ Before statement case 2: b = d; :
 Before statement break; :
  <list of may-alias>
 {b; d; } are aliased
-{*b; *d; } are aliased
 <end of list>
 
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; d; } are aliased
-{*a; *b; *d; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
 {a; b; d; } are aliased
-{*a; *b; *d; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/switch2.res.oracle

@@ -12,7 +12,6 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; c; d; } are aliased
-  {*a; *b; *c; *d; } are aliased
   <end of list>
 [alias] Functions done
 Before statement int *a = (int *)0; :
@@ -52,7 +51,6 @@ Before statement case 1: a = d; :
 Before statement break; :
  <list of may-alias>
 {a; d; } are aliased
-{*a; *d; } are aliased
 <end of list>
 
 Before statement case 2: b = d; :
@@ -62,7 +60,6 @@ Before statement case 2: b = d; :
 Before statement break; :
  <list of may-alias>
 {b; d; } are aliased
-{*b; *d; } are aliased
 <end of list>
 
 Before statement default: c = d; :
@@ -72,13 +69,11 @@ Before statement default: c = d; :
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; c; d; } are aliased
-{*a; *b; *c; *d; } are aliased
 <end of list>
 
 Before statement return __retres; :
  <list of may-alias>
 {a; b; c; d; } are aliased
-{*a; *b; *c; *d; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/while_for2.res.oracle

@@ -8,13 +8,11 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased
-  {*a; *b; } are aliased
   <end of list>
 [alias] Functions done
 Before statement return __retres; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement int *a = (int *)0; :
@@ -48,7 +46,6 @@ Before statement a = b; :
 Before statement break; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement while (1) {
@@ -58,7 +55,6 @@ Before statement while (1) {
                  } :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement break;
@@ -66,19 +62,16 @@ Before statement break;
                  break; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement break; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/basic/oracle/while_for3.res.oracle

@@ -12,13 +12,11 @@
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased
-  {*a; *b; } are aliased
   <end of list>
 [alias] Functions done
 Before statement __retres = 0; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement int *a = (int *)0; :
@@ -28,7 +26,6 @@ Before statement int *a = (int *)0; :
 Before statement return __retres; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement int *b = (int *)0; :
@@ -63,19 +60,16 @@ Before statement while (i < 10) {
                  } :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement if (! (i < 10)) break; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement break; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement a = b;
@@ -83,32 +77,27 @@ Before statement a = b;
                  a = c; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement a = b;
                  goto __Cont; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement a = b; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement goto __Cont; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 Before statement __Cont: i ++; :
  <list of may-alias>
 {a; b; } are aliased
-{*a; *b; } are aliased
 <end of list>
 
 [alias] Analysis complete

src/plugins/alias/tests/real_world/oracle/example1.res.oracle

@@ -108,7 +108,6 @@ Before statement b->t1[i] = a->t1[i]; :
 Before statement idx = 0; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement b->t2[i] = a->t2[i]; :
@@ -121,7 +120,6 @@ Before statement while (idx < 10) {
                  } :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement if (*n == 1) *n = 0; else (*n) ++; :
@@ -143,7 +141,6 @@ Before statement b->n1 = a->n1; :
 Before statement if (! (idx < 10)) break; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement *n = 0; :
@@ -157,7 +154,6 @@ Before statement b->n2 = a->n2; :
 Before statement break; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement (*n) ++; :
@@ -171,7 +167,6 @@ Before statement f1(a); :
 Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement f2(b); :
@@ -181,7 +176,6 @@ Before statement f2(b); :
 Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement __retres = 0; :
@@ -191,7 +185,6 @@ Before statement __retres = 0; :
 Before statement idx ++; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement ty *tmp = x; :
@@ -201,13 +194,11 @@ Before statement ty *tmp = x; :
 Before statement swap(tmp->n2); :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement idata = (double *)malloc((unsigned long)10 * sizeof(double)); :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement return; :
@@ -230,7 +221,6 @@ Before statement while (1) {
                  } :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement idata = tmp->t2[*(tmp->n2)];
@@ -247,7 +237,6 @@ Before statement idata = tmp->t2[*(tmp->n2)];
                  swap(tmp->n1); :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement a = (ty *)malloc(sizeof(ty)); :
@@ -257,7 +246,6 @@ Before statement a = (ty *)malloc(sizeof(ty)); :
 Before statement idata = tmp->t2[*(tmp->n2)]; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement b = (ty *)malloc(sizeof(ty)); :
@@ -267,7 +255,6 @@ Before statement b = (ty *)malloc(sizeof(ty)); :
 Before statement odata = tmp->t1[*(tmp->n1)]; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement i = 0; :
@@ -277,7 +264,6 @@ Before statement i = 0; :
 Before statement idx = 0; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement while (i < 2) {
@@ -298,7 +284,6 @@ Before statement while (idx < 10) {
                  } :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement return __retres; :
@@ -312,7 +297,6 @@ Before statement if (! (i < 2)) break; :
 Before statement if (! (idx < 10)) break; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement break; :
@@ -322,7 +306,6 @@ Before statement break; :
 Before statement break; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double));
@@ -337,7 +320,6 @@ Before statement {
                  } :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double)); :
@@ -348,7 +330,6 @@ Before statement tmp_1 = sin(*(idata + idx));
                  *(odata + idx) = 0.5 * tmp_1; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement a->t2[i] = (double *)malloc((unsigned long)10 * sizeof(double)); :
@@ -358,7 +339,6 @@ Before statement a->t2[i] = (double *)malloc((unsigned long)10 * sizeof(double))
 Before statement tmp_1 = sin(*(idata + idx)); :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement i ++; :
@@ -368,7 +348,6 @@ Before statement i ++; :
 Before statement *(odata + idx) = 0.5 * tmp_1; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement a->n1 = (int *)malloc(sizeof(int)); :
@@ -378,7 +357,6 @@ Before statement a->n1 = (int *)malloc(sizeof(int)); :
 Before statement idx ++; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement a->n2 = (int *)malloc(sizeof(int)); :
@@ -388,7 +366,6 @@ Before statement a->n2 = (int *)malloc(sizeof(int)); :
 Before statement swap(tmp->n1); :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement *(a->n1) = 1; :
@@ -418,7 +395,6 @@ Before statement while (i < 2) {
 Before statement idata = (double *)malloc((unsigned long)10 * sizeof(double)); :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement while (1) {
@@ -433,7 +409,6 @@ Before statement while (1) {
                  } :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement if (! (i < 2)) break; :
@@ -450,7 +425,6 @@ Before statement idata = tmp->t1[*(tmp->n1)];
                  swap(tmp->n2); :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement break; :
@@ -460,7 +434,6 @@ Before statement break; :
 Before statement idata = tmp->t1[*(tmp->n1)]; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 Before statement b->t1[i] = a->t1[i];
@@ -471,7 +444,6 @@ Before statement b->t1[i] = a->t1[i];
 Before statement odata = tmp->t2[*(tmp->n2)]; :
  <list of may-alias>
 {x; tmp; } are aliased
-{*x; *tmp; } are aliased
 <end of list>
 
 [alias] Analysis complete