[alias] update oracles

src/plugins/alias/tests/basic/assignment5.c

+// triple pointer assignment with some tricky alias
+//  { *b; *d } are aliased
+//  { b; d; *a; *c } are aliased
+
+
+int main () {
+
+  int ***a=0, **b=0, *c=0, *d=0;
+  *a = b;
+  *b = c;
+  d = **a;
+  return 0;
+}

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

 [kernel] Parsing assignment1.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING int *d = (int *)0;
-[alias] ANALYSING a = b;
-[alias] ANALYSING b = c;
-[alias] ANALYSING a = d;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; c; d; } are aliased

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

 [kernel] Parsing assignment2.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int **a = (int **)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int **c = (int **)0;
-[alias] ANALYSING int *d = (int *)0;
-[alias] ANALYSING *a = b;
-[alias] ANALYSING *c = d;
-[alias] ANALYSING a = c;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; c; } are aliased

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

 [kernel] Parsing assignment3.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int b = 0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING a = & b;
-[alias] ANALYSING c = & b;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; c; } are aliased

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

 [kernel] Parsing assignment4.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int **a = (int **)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int **c = (int **)0;
-[alias] ANALYSING int *d = (int *)0;
-[alias] ANALYSING *a = b;
-[alias] ANALYSING *c = d;
-[alias] ANALYSING b = d;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {b; d; *a; *c; } are aliased

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

+[kernel] Parsing assignment5.c (with preprocessing)
+[alias] Parsing done
+[alias] May-aliases at the end of function main:
+  <list of may-alias>
+  {c; *b; } are aliased
+  {b; *a; } are aliased
+  {d; **a; } are aliased
+  <end of list>
+[alias] Functions done
+Before statement int ***a = (int ***)0; :
+ <list of may-alias>
+<end of list>
+
+Before statement int **b = (int **)0; :
+ <list of may-alias>
+<end of list>
+
+Before statement int *c = (int *)0; :
+ <list of may-alias>
+<end of list>
+
+Before statement int *d = (int *)0; :
+ <list of may-alias>
+<end of list>
+
+Before statement *a = b; :
+ <list of may-alias>
+<end of list>
+
+Before statement *b = c; :
+ <list of may-alias>
+{b; *a; } are aliased
+<end of list>
+
+Before statement d = *(*a); :
+ <list of may-alias>
+{c; *b; } are aliased
+{b; *a; } are aliased
+<end of list>
+
+Before statement __retres = 0; :
+ <list of may-alias>
+{c; *b; } are aliased
+{b; *a; } are aliased
+{d; **a; } are aliased
+<end of list>
+
+Before statement return __retres; :
+ <list of may-alias>
+{c; *b; } are aliased
+{b; *a; } are aliased
+{d; **a; } are aliased
+<end of list>
+
+[alias] Analysis complete

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

 [kernel] Parsing cast1.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING float *c = (float *)0;
-[alias] ANALYSING float *d = (float *)0;
-[alias] ANALYSING a = (int *)c;
-[alias] ANALYSING d = (float *)b;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; c; } are aliased

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

 [kernel] Parsing conditional1.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING a = b;
-[alias] ANALYSING a = c;
-[alias] ANALYSING *a = 4;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; c; } are aliased

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

 [kernel] Parsing conditional2.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING b = & c;
-[alias] ANALYSING c = & d;
-[alias] ANALYSING d = & e;
-[alias] ANALYSING a = b;
-[alias] ANALYSING a = & c;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {d; *c; } are aliased

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

 [kernel] Parsing function1.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING int *d = (int *)0;
-[alias] ANALYSING swap(a,b);
-[alias] ANALYSING int *z = (int *)0;
-[alias] ANALYSING z = x;
-[alias] ANALYSING x = y;
-[alias] ANALYSING y = z;
-[alias] ANALYSING swap(c,d);
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased
   {c; d; } are aliased
   <end of list>
-[alias] ANALYSING int *z = (int *)0;
 [alias] Functions done
 Before statement int *z = (int *)0; :
  <list of may-alias>

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

 [kernel] Parsing function2.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING a = my_malloc(2);
-[alias] ANALYSING int *res = (int *)0;
-[alias] ANALYSING res = (int *)malloc((size_t)size);
-[alias] ANALYSING b = my_malloc(3);
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   <end of list>
-[alias] ANALYSING int *res = (int *)0;
 [alias] Functions done
 Before statement int *res = (int *)0; :
  <list of may-alias>

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

 [kernel] Parsing function3.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *tmp = x;
-[alias] ANALYSING x = y;
-[alias] ANALYSING y = tmp;
-[alias] ANALYSING __retres = (void *)0;
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING int *d = (int *)0;
-[alias] ANALYSING f1(a,b);
-[alias] ANALYSING f1(c,d);
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased

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

 [kernel] Parsing function4.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int c = 0;
-[alias] ANALYSING a = addr(& c);
-[alias] ANALYSING b = & c;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased

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

 [kernel] Parsing function5.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int c = 0;
-[alias] ANALYSING __retres = x;
-[alias] ANALYSING __retres = y;
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING c = choice(a,b);
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; c; } are aliased

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

 [kernel] Parsing switch1.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING int *d = (int *)0;
-[alias] ANALYSING int e = 0;
-[alias] ANALYSING case 1: a = d;
-[alias] ANALYSING case 2: b = d;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; d; } are aliased

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

 [kernel] Parsing switch2.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING int *d = (int *)0;
-[alias] ANALYSING int e = 0;
-[alias] ANALYSING case 1: a = d;
-[alias] ANALYSING case 2: b = d;
-[alias] ANALYSING default: c = d;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; c; d; } are aliased

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

 [kernel] Parsing while_for1.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *s = (int *)0;
-[alias] ANALYSING int idx = 0;
-[alias] ANALYSING s = (int *)malloc((size_t)idx);
-[alias] ANALYSING idx ++;
-[alias] ANALYSING s = (int *)malloc((size_t)idx);
-[alias] ANALYSING idx ++;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   <end of list>

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

 [kernel] Parsing while_for2.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING a = b;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased

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

 [kernel] Parsing while_for3.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING int *a = (int *)0;
-[alias] ANALYSING int *b = (int *)0;
-[alias] ANALYSING int *c = (int *)0;
-[alias] ANALYSING int i = 0;
-[alias] ANALYSING a = b;
-[alias] ANALYSING __Cont: i ++;
-[alias] ANALYSING a = b;
-[alias] ANALYSING __Cont: i ++;
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   {a; b; } are aliased

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

 [kernel] Parsing example1.c (with preprocessing)
 [alias] Parsing done
-[alias] ANALYSING ty *tmp = x;
-[alias] ANALYSING idata = (double *)malloc((unsigned long)10 * sizeof(double));
-[alias] ANALYSING idata = tmp->t2[*(tmp->n2)];
 [alias] Skipping assignment idata = tmp->t2[*(tmp->n2)] (not implemented)
-[alias] ANALYSING odata = tmp->t1[*(tmp->n1)];
 [alias] Skipping assignment odata = tmp->t1[*(tmp->n1)] (not implemented)
-[alias] ANALYSING idx = 0;
-[alias] ANALYSING tmp_1 = sin(*(idata + idx));
 [alias] In a function call, parameter (x <- *(idata + idx)) is ignored)
 [alias] Warning: a function with no return is employed in an assignment
-[alias] ANALYSING *(odata + idx) = 0.5 * tmp_1;
 [alias] Skipping assignment *(odata + idx) = 0.5 * tmp_1 (BUG do_assignment 2)
-[alias] ANALYSING idx ++;
-[alias] ANALYSING tmp_1 = sin(*(idata + idx));
 [alias] In a function call, parameter (x <- *(idata + idx)) is ignored)
 [alias] Warning: a function with no return is employed in an assignment
-[alias] ANALYSING *(odata + idx) = 0.5 * tmp_1;
 [alias] Skipping assignment *(odata + idx) = 0.5 * tmp_1 (BUG do_assignment 2)
-[alias] ANALYSING idx ++;
-[alias] ANALYSING swap(tmp->n1);
-[alias] ANALYSING *n = 0;
-[alias] ANALYSING (*n) ++;
 [alias] DEBUG: call function - formal variable not as we expected
-[alias] ANALYSING idata = tmp->t2[*(tmp->n2)];
 [alias] Skipping assignment idata = tmp->t2[*(tmp->n2)] (not implemented)
-[alias] ANALYSING odata = tmp->t1[*(tmp->n1)];
 [alias] Skipping assignment odata = tmp->t1[*(tmp->n1)] (not implemented)
-[alias] ANALYSING idx = 0;
-[alias] ANALYSING tmp_1 = sin(*(idata + idx));
 [alias] In a function call, parameter (x <- *(idata + idx)) is ignored)
 [alias] Warning: a function with no return is employed in an assignment
-[alias] ANALYSING *(odata + idx) = 0.5 * tmp_1;
 [alias] Skipping assignment *(odata + idx) = 0.5 * tmp_1 (BUG do_assignment 2)
-[alias] ANALYSING idx ++;
-[alias] ANALYSING swap(tmp->n1);
 [alias] DEBUG: call function - formal variable not as we expected
 [alias] Warning: DEBUG return stmt of f1 not in table
 [alias] Warning: Analysis is continuing but will not be sound
-[alias] ANALYSING ty *tmp = x;
-[alias] ANALYSING idata = (double *)malloc((unsigned long)10 * sizeof(double));
-[alias] ANALYSING idata = tmp->t1[*(tmp->n1)];
 [alias] Skipping assignment idata = tmp->t1[*(tmp->n1)] (not implemented)
-[alias] ANALYSING odata = tmp->t2[*(tmp->n2)];
 [alias] Skipping assignment odata = tmp->t2[*(tmp->n2)] (not implemented)
-[alias] ANALYSING idx = 0;
-[alias] ANALYSING *(odata + idx) = (double)3 * *(idata + idx) + (double)1;
 [alias] Skipping assignment *(odata + idx) = (double)3 * *(idata + idx) + (double)1 (BUG do_assignment 2)
-[alias] ANALYSING idx ++;
-[alias] ANALYSING *(odata + idx) = (double)3 * *(idata + idx) + (double)1;
 [alias] Skipping assignment *(odata + idx) = (double)3 * *(idata + idx) + (double)1 (BUG do_assignment 2)
-[alias] ANALYSING idx ++;
-[alias] ANALYSING swap(tmp->n2);
 [alias] DEBUG: call function - formal variable not as we expected
-[alias] ANALYSING idata = tmp->t1[*(tmp->n1)];
 [alias] Skipping assignment idata = tmp->t1[*(tmp->n1)] (not implemented)
-[alias] ANALYSING odata = tmp->t2[*(tmp->n2)];
 [alias] Skipping assignment odata = tmp->t2[*(tmp->n2)] (not implemented)
-[alias] ANALYSING idx = 0;
-[alias] ANALYSING *(odata + idx) = (double)3 * *(idata + idx) + (double)1;
 [alias] Skipping assignment *(odata + idx) = (double)3 * *(idata + idx) + (double)1 (BUG do_assignment 2)
-[alias] ANALYSING idx ++;
-[alias] ANALYSING swap(tmp->n2);
 [alias] DEBUG: call function - formal variable not as we expected
 [alias] Warning: DEBUG return stmt of f2 not in table
 [alias] Warning: Analysis is continuing but will not be sound
-[alias] ANALYSING a = (ty *)malloc(sizeof(ty));
-[alias] ANALYSING b = (ty *)malloc(sizeof(ty));
-[alias] ANALYSING i = 0;
-[alias] ANALYSING a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double));
 [alias] Skipping assignment a->t1[i] = malloc() (not implemented)
-[alias] ANALYSING a->t2[i] = (double *)malloc((unsigned long)10 * sizeof(double));
 [alias] Skipping assignment a->t2[i] = malloc() (not implemented)
-[alias] ANALYSING i ++;
-[alias] ANALYSING a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double));
 [alias] Skipping assignment a->t1[i] = malloc() (not implemented)
-[alias] ANALYSING a->t2[i] = (double *)malloc((unsigned long)10 * sizeof(double));
 [alias] Skipping assignment a->t2[i] = malloc() (not implemented)
-[alias] ANALYSING i ++;
-[alias] ANALYSING a->n1 = (int *)malloc(sizeof(int));
 [alias] Skipping assignment a->n1 = malloc() (not implemented)
-[alias] ANALYSING a->n2 = (int *)malloc(sizeof(int));
 [alias] Skipping assignment a->n2 = malloc() (not implemented)
-[alias] ANALYSING *(a->n1) = 1;
-[alias] ANALYSING *(a->n2) = 1;
-[alias] ANALYSING i = 0;
-[alias] ANALYSING b->t1[i] = a->t1[i];
 [alias] Skipping assignment b->t1[i] = a->t1[i] (not implemented)
-[alias] ANALYSING b->t2[i] = a->t2[i];
 [alias] Skipping assignment b->t2[i] = a->t2[i] (not implemented)
-[alias] ANALYSING i ++;
-[alias] ANALYSING b->n1 = a->n1;
 [alias] Skipping assignment b->n1 = a->n1 (not implemented)
-[alias] ANALYSING b->n2 = a->n2;
 [alias] Skipping assignment b->n2 = a->n2 (not implemented)
-[alias] ANALYSING f1(a);
-[alias] ANALYSING f2(b);
-[alias] ANALYSING __retres = 0;
 [alias] May-aliases at the end of function main:
   <list of may-alias>
   <end of list>