From c43a22945c46bc488389de297c1be555d0423cb0 Mon Sep 17 00:00:00 2001
From: Tristan Le Gall <tristan.le-gall@cea.fr>
Date: Tue, 14 Feb 2023 13:43:55 +0100
Subject: [PATCH] [alias] tests updated
---
src/plugins/alias/abstract_state.ml | 8 +-
src/plugins/alias/abstract_state.mli | 6 +-
src/plugins/alias/analysis.ml | 15 +-
src/plugins/alias/tests/basic/assignment1.c | 1 +
src/plugins/alias/tests/basic/assignment2.c | 3 +-
src/plugins/alias/tests/basic/assignment3.c | 1 +
src/plugins/alias/tests/basic/assignment4.c | 13 +
src/plugins/alias/tests/basic/cast1.c | 6 +-
src/plugins/alias/tests/basic/conditional1.c | 1 +
src/plugins/alias/tests/basic/conditional2.c | 4 +
src/plugins/alias/tests/basic/function1.c | 3 +-
src/plugins/alias/tests/basic/function2.c | 1 +
src/plugins/alias/tests/basic/function3.c | 3 +-
src/plugins/alias/tests/basic/function4.c | 1 +
src/plugins/alias/tests/basic/function5.c | 2 +
.../tests/basic/oracle/assignment1.res.oracle | 15 +-
.../tests/basic/oracle/assignment2.res.oracle | 18 +-
.../tests/basic/oracle/assignment3.res.oracle | 9 +-
.../tests/basic/oracle/assignment4.res.oracle | 0
.../alias/tests/basic/oracle/cast1.res.oracle | 21 +-
.../basic/oracle/conditional1.res.oracle | 18 +-
.../basic/oracle/conditional2.res.oracle | 29 +-
.../tests/basic/oracle/function1.res.oracle | 30 +-
.../tests/basic/oracle/function3.res.oracle | 63 ++-
.../tests/basic/oracle/function4.res.oracle | 9 +-
.../tests/basic/oracle/function5.res.oracle | 48 +-
.../tests/basic/oracle/switch1.res.oracle | 64 ++-
.../tests/basic/oracle/switch2.res.oracle | 83 ++-
.../tests/basic/oracle/while_for1.res.oracle | 67 +--
.../tests/basic/oracle/while_for2.res.oracle | 39 +-
.../tests/basic/oracle/while_for3.res.oracle | 90 ++--
src/plugins/alias/tests/basic/switch1.c | 7 +-
src/plugins/alias/tests/basic/switch2.c | 9 +-
src/plugins/alias/tests/basic/while_for1.c | 1 +
src/plugins/alias/tests/basic/while_for2.c | 1 +
src/plugins/alias/tests/basic/while_for3.c | 1 +
.../real_world/oracle/example1.res.oracle | 498 +++++++++++++++---
37 files changed, 875 insertions(+), 313 deletions(-)
create mode 100644 src/plugins/alias/tests/basic/assignment4.c
create mode 100644 src/plugins/alias/tests/basic/oracle/assignment4.res.oracle
diff --git a/src/plugins/alias/abstract_state.ml b/src/plugins/alias/abstract_state.ml
index f81bc42d470..7aec59328ad 100644
--- a/src/plugins/alias/abstract_state.ml
+++ b/src/plugins/alias/abstract_state.ml
@@ -323,7 +323,7 @@ let print_dot filename (a:t) =
);
Dot.output_graph file a.graph;
close_out file
-
+
(* merge of two vertices; the first vertex carries both sets, the second is removed from the graph and from lmap and vmap; however, pending is NOT updated *)
let merge x v1 v2 =
if (V.equal v1 v2) || not (G.mem_vertex x.graph v1) || not (G.mem_vertex x.graph v2)
@@ -531,7 +531,7 @@ let equal (_:t) (_:t) = true
exception Not_included
let is_included (a1:t) (a2:t) =
- (* tests if a1 is included in a2, at least as the nodes with lval *)
+ (* tests if a1 is included in a2, at least as the nodes with lval *)
assert_invariants a1;
assert_invariants a2;
(* Format.printf "DEBUG testing equal @.%a@. AND Ã .%a@. END DEBUG@." (pretty ~debug:true) a1 (pretty ~debug:true) a2; *)
@@ -552,7 +552,7 @@ let is_included (a1:t) (a2:t) =
LMap.iter iter_lmap a1.lmap; true
with
Not_included -> false
-
+
(* let equal (a1:t) (a2:t) =
* assert_invariants a1;
* assert_invariants a2;
@@ -594,7 +594,7 @@ let is_included (a1:t) (a2:t) =
* match G.succ a1.graph v1 with
* [] -> (\* if v1 has no successor, then so must have v2 *\)
* if List.length (G.succ a2.graph v2) > 0 then raise Not_equal
- *
+ *
* | [succ_v1] ->
* begin
* if LSet.is_empty (VMap.find succ_v1 a1.vmap)
diff --git a/src/plugins/alias/abstract_state.mli b/src/plugins/alias/abstract_state.mli
index 5fc07584b79..6efa932f4e1 100644
--- a/src/plugins/alias/abstract_state.mli
+++ b/src/plugins/alias/abstract_state.mli
@@ -85,9 +85,9 @@ val equal : t -> t -> bool
(** inclusion test; [is_included a1 a2] tests if, for any lvl present
- in a1 (associated to a vertex v1), that it is also present in a2
- (associated to a vertex v2) and that set(succ(v1) is included in
- set(succ(v2)) *)
+ in a1 (associated to a vertex v1), that it is also present in a2
+ (associated to a vertex v2) and that set(succ(v1) is included in
+ set(succ(v2)) *)
val is_included : t -> t -> bool
diff --git a/src/plugins/alias/analysis.ml b/src/plugins/alias/analysis.ml
index 542267ab780..5ed18ec0736 100644
--- a/src/plugins/alias/analysis.ml
+++ b/src/plugins/alias/analysis.ml
@@ -174,10 +174,11 @@ struct
let copy x = x (* we only have persistant data *)
- let pretty fmt state =
- match state with
- | None -> Format.fprintf fmt "None"
- | Some s -> Format.fprintf fmt "%a" (Abstract_state.pretty ~debug:false) s
+
+ let pretty fmt a =
+ match a with
+ None -> Format.fprintf fmt "<No abstract state>"
+ | Some a -> Abstract_state.pretty fmt a
(* let pretty_debug fmt state =
* match state with
@@ -202,6 +203,7 @@ struct
Dataflow.GUse a, Dataflow.GUse a
let rec process_Stmt (s:stmt) (a:t) : t =
+ (* Format.printf "DEBUG: process_smt <%a>@. Abstract state:@.@[%a@]@." Cil_types_debug.pp_stmt s pretty_debug a; *)
(* register a before stmt *)
Stmt_table.add s a;
match s.skind with
@@ -214,7 +216,10 @@ struct
union a1 a2
| Loop (_,b,_,_,_) -> process_block b a
| Return _ -> a
- | Break _ | Goto _ | Switch _ | Continue _ | UnspecifiedSequence _
+ | Switch (_,b,ls,_) ->
+ let a =process_block b a in (* TODO : is it correct ?*)
+ List.fold_left (fun acc s -> process_Stmt s acc) a ls
+ | Break _ | Goto _ | Continue _ | UnspecifiedSequence _
| Throw _ | TryCatch _ | TryFinally _
| TryExcept _ -> (Options.feedback "Skiping @[%a@] (doStmt not implemented)" Stmt.pretty s; a)
diff --git a/src/plugins/alias/tests/basic/assignment1.c b/src/plugins/alias/tests/basic/assignment1.c
index b22e45dff64..9c5d3d3d9eb 100644
--- a/src/plugins/alias/tests/basic/assignment1.c
+++ b/src/plugins/alias/tests/basic/assignment1.c
@@ -1,5 +1,6 @@
// single pointer assignment
// { a; b; c; d } are aliased
+// { *a; *b; *c; *d } are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/assignment2.c b/src/plugins/alias/tests/basic/assignment2.c
index bcba0c382d8..38f76970e36 100644
--- a/src/plugins/alias/tests/basic/assignment2.c
+++ b/src/plugins/alias/tests/basic/assignment2.c
@@ -1,6 +1,7 @@
// double pointer assignment
+// { *b; *d } are aliased
// { a; c } are aliased
-// { b; d } are aliased
+// { b; d; *a; *d } are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/assignment3.c b/src/plugins/alias/tests/basic/assignment3.c
index 109484cf61d..6556765963b 100644
--- a/src/plugins/alias/tests/basic/assignment3.c
+++ b/src/plugins/alias/tests/basic/assignment3.c
@@ -1,5 +1,6 @@
// address assignment
// { a; c } are aliased
+// { *a; *c } are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/assignment4.c b/src/plugins/alias/tests/basic/assignment4.c
new file mode 100644
index 00000000000..3ad85cacf83
--- /dev/null
+++ b/src/plugins/alias/tests/basic/assignment4.c
@@ -0,0 +1,13 @@
+// double pointer assignment
+// { *b; *d } are aliased
+// { b; d; *a; *c } are aliased
+
+
+int main () {
+
+ int **a=0, *b=0, **c=0, *d=0;
+ *a = b;
+ *c = d;
+ b = d;
+ return 0;
+}
diff --git a/src/plugins/alias/tests/basic/cast1.c b/src/plugins/alias/tests/basic/cast1.c
index b8429a3301c..d72530eb4f3 100644
--- a/src/plugins/alias/tests/basic/cast1.c
+++ b/src/plugins/alias/tests/basic/cast1.c
@@ -1,6 +1,8 @@
// homogeneous cast
-// { a; c } are aliased
-// { b; d } are aliased
+// { a; c; } are aliased
+// { *a; *c; } are aliased
+// { b; d; } are aliased
+// { *b; *d; } are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/conditional1.c b/src/plugins/alias/tests/basic/conditional1.c
index 18efaa21b36..10faff476cf 100644
--- a/src/plugins/alias/tests/basic/conditional1.c
+++ b/src/plugins/alias/tests/basic/conditional1.c
@@ -1,5 +1,6 @@
// conditional cfg
// { a; b; c } are aliased
+// { *a; *b; *c } are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/conditional2.c b/src/plugins/alias/tests/basic/conditional2.c
index 1a40750c1b4..3f830706218 100644
--- a/src/plugins/alias/tests/basic/conditional2.c
+++ b/src/plugins/alias/tests/basic/conditional2.c
@@ -1,4 +1,8 @@
// conditional cfg
+// {d; *c; } are aliased
+// {a; b; } are aliased
+// {c; *a; *b; } are aliased
+
int main () {
diff --git a/src/plugins/alias/tests/basic/function1.c b/src/plugins/alias/tests/basic/function1.c
index 4fbb7d3309e..9b22f4c7756 100644
--- a/src/plugins/alias/tests/basic/function1.c
+++ b/src/plugins/alias/tests/basic/function1.c
@@ -1,7 +1,8 @@
// function with no return
// { a; b } are aliased
+// { *a; *b } are aliased
// { c; d } are aliased
-
+// { *c; *d } are aliased
void swap(int *x, int* y) {
diff --git a/src/plugins/alias/tests/basic/function2.c b/src/plugins/alias/tests/basic/function2.c
index 61dbec3c0e3..e4411348cb3 100644
--- a/src/plugins/alias/tests/basic/function2.c
+++ b/src/plugins/alias/tests/basic/function2.c
@@ -1,5 +1,6 @@
// malloc
// no alias
+
#include <stdlib.h>
int* my_malloc(int size) {
diff --git a/src/plugins/alias/tests/basic/function3.c b/src/plugins/alias/tests/basic/function3.c
index b5710deea17..25dcd272d5a 100644
--- a/src/plugins/alias/tests/basic/function3.c
+++ b/src/plugins/alias/tests/basic/function3.c
@@ -1,7 +1,8 @@
// function with a loop inside
// { a; b } are aliased
+// { *a; *b } are aliased
// { c; d } are aliased
-
+// { *c; *d } are aliased
void *f1(int *x, int* y)
{
diff --git a/src/plugins/alias/tests/basic/function4.c b/src/plugins/alias/tests/basic/function4.c
index c464c4ca2ab..1dc6f9778ae 100644
--- a/src/plugins/alias/tests/basic/function4.c
+++ b/src/plugins/alias/tests/basic/function4.c
@@ -1,5 +1,6 @@
// funxtion with address agument
// { a; b } are aliased
+// { *a; *b } are aliased
int * addr(int* x)
{
diff --git a/src/plugins/alias/tests/basic/function5.c b/src/plugins/alias/tests/basic/function5.c
index b26837790e4..29cb214dbfe 100644
--- a/src/plugins/alias/tests/basic/function5.c
+++ b/src/plugins/alias/tests/basic/function5.c
@@ -1,5 +1,7 @@
// function with multiple returns
// { a; b; c } are aliased
+// { *a; *b; *c } are aliased
+
int * choice(int* x, int* y)
{
diff --git a/src/plugins/alias/tests/basic/oracle/assignment1.res.oracle b/src/plugins/alias/tests/basic/oracle/assignment1.res.oracle
index 6b7a495bced..364a5364058 100644
--- a/src/plugins/alias/tests/basic/oracle/assignment1.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/assignment1.res.oracle
@@ -2,7 +2,8 @@
[alias] Parsing done
[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
+ {*a; *b; *c; *d; } are aliased
<end of list>
[alias] Functions done
Before statement int *a = (int *)0; :
@@ -27,22 +28,26 @@ Before statement a = b; :
Before statement b = c; :
<list of may-alias>
-{ a; b } are aliased
+{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
+{*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
+{*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
+{*a; *b; *c; *d; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/assignment2.res.oracle b/src/plugins/alias/tests/basic/oracle/assignment2.res.oracle
index 54758be3b74..949d0dbc35b 100644
--- a/src/plugins/alias/tests/basic/oracle/assignment2.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/assignment2.res.oracle
@@ -2,8 +2,9 @@
[alias] Parsing done
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; c } are aliased
- { b; d } are aliased
+ {*b; *d; } are aliased
+ {a; c; } are aliased
+ {b; d; *a; *c; } are aliased
<end of list>
[alias] Functions done
Before statement int **a = (int **)0; :
@@ -28,22 +29,27 @@ Before statement *a = b; :
Before statement *c = d; :
<list of may-alias>
+{b; *a; } are aliased
<end of list>
Before statement a = c; :
<list of may-alias>
+{b; *a; } are aliased
+{d; *c; } are aliased
<end of list>
Before statement __retres = 0; :
<list of may-alias>
-{ a; c } are aliased
-{ b; d } are aliased
+{*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>
-{ a; c } are aliased
-{ b; d } are aliased
+{*b; *d; } are aliased
+{a; c; } are aliased
+{b; d; *a; *c; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/assignment3.res.oracle b/src/plugins/alias/tests/basic/oracle/assignment3.res.oracle
index 9a21c3d1b57..551c980ced1 100644
--- a/src/plugins/alias/tests/basic/oracle/assignment3.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/assignment3.res.oracle
@@ -2,7 +2,8 @@
[alias] Parsing done
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; c } are aliased
+ {a; c; } are aliased
+ {*a; *c; } are aliased
<end of list>
[alias] Functions done
Before statement int *a = (int *)0; :
@@ -27,12 +28,14 @@ Before statement c = & b; :
Before statement __retres = 0; :
<list of may-alias>
-{ a; c } are aliased
+{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
+{*a; *c; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/assignment4.res.oracle b/src/plugins/alias/tests/basic/oracle/assignment4.res.oracle
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/src/plugins/alias/tests/basic/oracle/cast1.res.oracle b/src/plugins/alias/tests/basic/oracle/cast1.res.oracle
index c80fe36dc2f..28b0d71a5ac 100644
--- a/src/plugins/alias/tests/basic/oracle/cast1.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/cast1.res.oracle
@@ -2,8 +2,10 @@
[alias] Parsing done
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; c } are aliased
- { b; d } are aliased
+ {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; :
@@ -28,19 +30,24 @@ Before statement a = (int *)c; :
Before statement d = (float *)b; :
<list of may-alias>
-{ a; c } are aliased
+{a; c; } are aliased
+{*a; *c; } are aliased
<end of list>
Before statement __retres = 0; :
<list of may-alias>
-{ a; c } are aliased
-{ b; d } are aliased
+{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
-{ b; d } are aliased
+{a; c; } are aliased
+{*a; *c; } are aliased
+{b; d; } are aliased
+{*b; *d; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/conditional1.res.oracle b/src/plugins/alias/tests/basic/oracle/conditional1.res.oracle
index cd35b497c42..cc37f90c3f5 100644
--- a/src/plugins/alias/tests/basic/oracle/conditional1.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/conditional1.res.oracle
@@ -2,7 +2,8 @@
[alias] Parsing done
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; b; c } are aliased
+ {a; b; c; } are aliased
+ {*a; *b; *c; } are aliased
<end of list>
[alias] Functions done
Before statement int *a = (int *)0; :
@@ -23,7 +24,8 @@ Before statement if (a) a = b; else a = c; :
Before statement a = b; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b; :
@@ -32,7 +34,8 @@ Before statement a = b; :
Before statement a = c; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = c; :
@@ -41,17 +44,20 @@ Before statement a = c; :
Before statement *a = 4; :
<list of may-alias>
-{ a; b; c } are aliased
+{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
+{*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
+{*a; *b; *c; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/conditional2.res.oracle b/src/plugins/alias/tests/basic/oracle/conditional2.res.oracle
index 155068e6cdb..9cd69b4095a 100644
--- a/src/plugins/alias/tests/basic/oracle/conditional2.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/conditional2.res.oracle
@@ -2,7 +2,9 @@
[alias] Parsing done
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; b } are aliased
+ {d; *c; } are aliased
+ {a; b; } are aliased
+ {c; *a; *b; } are aliased
<end of list>
[alias] Functions done
Before statement b = & c; :
@@ -11,42 +13,59 @@ Before statement b = & c; :
Before statement c = & d; :
<list of may-alias>
+{c; *b; } are aliased
<end of list>
Before statement d = & e; :
<list of may-alias>
+{c; *b; } are aliased
+{d; *c; } are aliased
<end of list>
Before statement if (a) a = b; else a = & c; :
<list of may-alias>
+{c; *b; } are aliased
+{d; *c; } are aliased
<end of list>
Before statement a = b; :
<list of may-alias>
-{ a; b } are aliased
+{d; *c; } are aliased
+{a; b; } are aliased
+{c; *a; *b; } are aliased
<end of list>
Before statement a = b; :
<list of may-alias>
+{c; *b; } are aliased
+{d; *c; } are aliased
<end of list>
Before statement a = & c; :
<list of may-alias>
-{ a; b } are aliased
+{d; *c; } are aliased
+{a; b; } are aliased
+{c; *a; *b; } are aliased
<end of list>
Before statement a = & c; :
<list of may-alias>
+{c; *b; } are aliased
+{d; *c; } are aliased
<end of list>
Before statement __retres = 0; :
<list of may-alias>
-{ a; b } are aliased
+{d; *c; } are aliased
+{a; b; } are aliased
+{c; *a; *b; } are aliased
<end of list>
Before statement return __retres; :
<list of may-alias>
-{ a; b } are aliased
+{d; *c; } are aliased
+{a; b; } are aliased
+{c; *a; *b; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/function1.res.oracle b/src/plugins/alias/tests/basic/oracle/function1.res.oracle
index f5c825d153b..56585d3707b 100644
--- a/src/plugins/alias/tests/basic/oracle/function1.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/function1.res.oracle
@@ -2,8 +2,10 @@
[alias] Parsing done
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; b } are aliased
- { c; d } are aliased
+ {a; b; } are aliased
+ {*a; *b; } are aliased
+ {c; d; } are aliased
+ {*c; *d; } are aliased
<end of list>
[alias] Functions done
Before statement int *z = (int *)0; :
@@ -12,8 +14,10 @@ Before statement int *z = (int *)0; :
Before statement return __retres; :
<list of may-alias>
-{ a; b } are aliased
-{ c; d } are aliased
+{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; :
@@ -26,12 +30,14 @@ Before statement z = x; :
Before statement x = y; :
<list of may-alias>
-{ x; z } are aliased
+{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
+{*x; *y; *z; } are aliased
<end of list>
Before statement int *a = (int *)0; :
@@ -56,18 +62,22 @@ Before statement swap(a,b); :
Before statement swap(c,d); :
<list of may-alias>
-{ a; b } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
<end of list>
Before statement __retres = 0; :
<list of may-alias>
-{ a; b } are aliased
-{ c; d } are aliased
+{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
+{*x; *y; *z; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/function3.res.oracle b/src/plugins/alias/tests/basic/oracle/function3.res.oracle
index f021837c985..d67f7024949 100644
--- a/src/plugins/alias/tests/basic/oracle/function3.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/function3.res.oracle
@@ -5,13 +5,16 @@
[alias] Skiping break; (doStmt not implemented)
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; b } are aliased
- { c; d } are aliased
+ {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
+{*x; *y; *tmp; } are aliased
<end of list>
Before statement int *tmp = x; :
@@ -24,77 +27,92 @@ Before statement while (1) {
break;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement return __retres; :
<list of may-alias>
-{ a; b } are aliased
-{ c; d } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
+{c; d; } are aliased
+{*c; *d; } are aliased
<end of list>
Before statement x = y;
y = tmp;
break; :
<list of may-alias>
-{ x; y; tmp } are aliased
+{x; y; tmp; } are aliased
+{*x; *y; *tmp; } are aliased
<end of list>
Before statement x = y;
y = tmp;
break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement x = y; :
<list of may-alias>
-{ x; y; tmp } are aliased
+{x; y; tmp; } are aliased
+{*x; *y; *tmp; } are aliased
<end of list>
Before statement x = y; :
<list of may-alias>
-{ x; y; tmp } are aliased
+{x; y; tmp; } are aliased
+{*x; *y; *tmp; } are aliased
<end of list>
Before statement x = y; :
<list of may-alias>
-{ x; tmp } are aliased
+{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
+{*x; *y; *tmp; } are aliased
<end of list>
Before statement y = tmp; :
<list of may-alias>
-{ x; y; tmp } are aliased
+{x; y; tmp; } are aliased
+{*x; *y; *tmp; } are aliased
<end of list>
Before statement y = tmp; :
<list of may-alias>
-{ x; y; tmp } are aliased
+{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
+{*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
+{*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
+{*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
+{*x; *y; *tmp; } are aliased
<end of list>
Before statement int *a = (int *)0; :
@@ -119,13 +137,16 @@ Before statement f1(a,b); :
Before statement f1(c,d); :
<list of may-alias>
-{ a; b } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
<end of list>
Before statement __retres = 0; :
<list of may-alias>
-{ a; b } are aliased
-{ c; d } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
+{c; d; } are aliased
+{*c; *d; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/function4.res.oracle b/src/plugins/alias/tests/basic/oracle/function4.res.oracle
index 8d269b122d9..c59c9e79c8a 100644
--- a/src/plugins/alias/tests/basic/oracle/function4.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/function4.res.oracle
@@ -2,7 +2,8 @@
[alias] Parsing done
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; b } are aliased
+ {a; b; } are aliased
+ {*a; *b; } are aliased
<end of list>
[alias] Functions done
Before statement return x; :
@@ -31,12 +32,14 @@ Before statement b = & c; :
Before statement __retres = 0; :
<list of may-alias>
-{ a; b } are aliased
+{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
+{*a; *b; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/function5.res.oracle b/src/plugins/alias/tests/basic/oracle/function5.res.oracle
index 2e19fe78a99..7e54cb3f9a9 100644
--- a/src/plugins/alias/tests/basic/oracle/function5.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/function5.res.oracle
@@ -8,28 +8,33 @@
[alias] Skiping goto return_label; (doStmt not implemented)
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; b; c } are aliased
+ {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; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement goto return_label; :
<list of may-alias>
-{ x; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement goto return_label; :
<list of may-alias>
-{ x; __retres } are aliased
+{x; __retres; } are aliased
+{*x; *__retres; } are aliased
<end of list>
Before statement __retres = y;
goto return_label; :
<list of may-alias>
-{ x; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement __retres = y;
@@ -43,22 +48,26 @@ Before statement int c = 0; :
Before statement goto return_label; :
<list of may-alias>
-{ x; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement goto return_label; :
<list of may-alias>
-{ x; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement goto return_label; :
<list of may-alias>
-{ y; __retres } are aliased
+{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
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement if (c) {
@@ -74,17 +83,20 @@ Before statement if (c) {
Before statement return __retres; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement __retres = x; :
<list of may-alias>
-{ x; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement __retres = x; :
<list of may-alias>
-{ x; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement __retres = x; :
@@ -93,12 +105,14 @@ Before statement __retres = x; :
Before statement __retres = y; :
<list of may-alias>
-{ x; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement __retres = y; :
<list of may-alias>
-{ x; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement __retres = y; :
@@ -123,13 +137,15 @@ Before statement c = choice(a,b); :
Before statement __retres = 0; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement __retres = x;
goto return_label; :
<list of may-alias>
-{ x; y; __retres } are aliased
+{x; y; __retres; } are aliased
+{*x; *y; *__retres; } are aliased
<end of list>
Before statement __retres = x;
diff --git a/src/plugins/alias/tests/basic/oracle/switch1.res.oracle b/src/plugins/alias/tests/basic/oracle/switch1.res.oracle
index fae95c2507d..c2c0d2c015f 100644
--- a/src/plugins/alias/tests/basic/oracle/switch1.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/switch1.res.oracle
@@ -1,15 +1,13 @@
[kernel] Parsing switch1.c (with preprocessing)
[alias] Parsing done
-[alias] Skiping switch (e) {
- case 1: *a = e;
- break;
- case 2: *b = e;
- break;
- } (doStmt not implemented)
+[alias] Skiping break; (doStmt not implemented)
+[alias] Skiping break; (doStmt not implemented)
[alias] Skiping break; (doStmt not implemented)
[alias] Skiping break; (doStmt not implemented)
[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; :
@@ -33,36 +31,82 @@ Before statement int e = 0; :
<end of list>
Before statement switch (e) {
- case 1: *a = e;
+ case 1: a = d;
break;
- case 2: *b = e;
+ case 2: b = d;
break;
} :
<list of may-alias>
<end of list>
-Before statement case 1: *a = e; :
+Before statement case 1: a = d; :
+ <list of may-alias>
+{a; b; d; } are aliased
+{*a; *b; *d; } are aliased
+<end of list>
+
+Before statement case 1: a = d; :
+ <list of may-alias>
+{a; b; d; } are aliased
+{*a; *b; *d; } are aliased
+<end of list>
+
+Before statement case 1: a = d; :
+ <list of may-alias>
+<end of list>
+
+Before statement break; :
<list of may-alias>
+{a; b; d; } are aliased
+{*a; *b; *d; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
+{a; d; } are aliased
+{*a; *d; } are aliased
+<end of list>
+
+Before statement case 2: b = d; :
+ <list of may-alias>
+{a; b; d; } are aliased
+{*a; *b; *d; } are aliased
<end of list>
-Before statement case 2: *b = e; :
+Before statement case 2: b = d; :
+ <list of may-alias>
+{a; b; d; } are aliased
+{*a; *b; *d; } are aliased
+<end of list>
+
+Before statement case 2: b = d; :
+ <list of may-alias>
+{a; d; } are aliased
+{*a; *d; } are aliased
+<end of list>
+
+Before statement break; :
<list of may-alias>
+{a; b; d; } are aliased
+{*a; *b; *d; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
+{a; b; d; } are aliased
+{*a; *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
diff --git a/src/plugins/alias/tests/basic/oracle/switch2.res.oracle b/src/plugins/alias/tests/basic/oracle/switch2.res.oracle
index ede6842ff62..e4462bb4039 100644
--- a/src/plugins/alias/tests/basic/oracle/switch2.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/switch2.res.oracle
@@ -1,16 +1,13 @@
[kernel] Parsing switch2.c (with preprocessing)
[alias] Parsing done
-[alias] Skiping switch (e) {
- case 1: *a = e;
- break;
- case 2: *b = e;
- break;
- default: *c = e;
- } (doStmt not implemented)
+[alias] Skiping break; (doStmt not implemented)
+[alias] Skiping break; (doStmt not implemented)
[alias] Skiping break; (doStmt not implemented)
[alias] Skiping break; (doStmt not implemented)
[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; :
@@ -34,41 +31,101 @@ Before statement int e = 0; :
<end of list>
Before statement switch (e) {
- case 1: *a = e;
+ case 1: a = d;
break;
- case 2: *b = e;
+ case 2: b = d;
break;
- default: *c = e;
+ default: c = d;
} :
<list of may-alias>
<end of list>
-Before statement case 1: *a = e; :
+Before statement case 1: a = d; :
+ <list of may-alias>
+{a; b; c; d; } are aliased
+{*a; *b; *c; *d; } are aliased
+<end of list>
+
+Before statement case 1: a = d; :
+ <list of may-alias>
+{a; b; c; d; } are aliased
+{*a; *b; *c; *d; } are aliased
+<end of list>
+
+Before statement case 1: a = d; :
<list of may-alias>
<end of list>
Before statement break; :
<list of may-alias>
+{a; b; c; d; } are aliased
+{*a; *b; *c; *d; } are aliased
+<end of list>
+
+Before statement break; :
+ <list of may-alias>
+{a; d; } are aliased
+{*a; *d; } are aliased
+<end of list>
+
+Before statement case 2: b = d; :
+ <list of may-alias>
+{a; b; c; d; } are aliased
+{*a; *b; *c; *d; } are aliased
+<end of list>
+
+Before statement case 2: b = d; :
+ <list of may-alias>
+{a; b; c; d; } are aliased
+{*a; *b; *c; *d; } are aliased
+<end of list>
+
+Before statement case 2: b = d; :
+ <list of may-alias>
+{a; d; } are aliased
+{*a; *d; } are aliased
<end of list>
-Before statement case 2: *b = e; :
+Before statement break; :
<list of may-alias>
+{a; b; c; d; } are aliased
+{*a; *b; *c; *d; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
+{a; b; d; } are aliased
+{*a; *b; *d; } are aliased
+<end of list>
+
+Before statement default: c = d; :
+ <list of may-alias>
+{a; b; c; d; } are aliased
+{*a; *b; *c; *d; } are aliased
+<end of list>
+
+Before statement default: c = d; :
+ <list of may-alias>
+{a; b; c; d; } are aliased
+{*a; *b; *c; *d; } are aliased
<end of list>
-Before statement default: *c = e; :
+Before statement default: c = d; :
<list of may-alias>
+{a; b; d; } are aliased
+{*a; *b; *d; } 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
diff --git a/src/plugins/alias/tests/basic/oracle/while_for1.res.oracle b/src/plugins/alias/tests/basic/oracle/while_for1.res.oracle
index fcb64c0fd6f..08efe0061a7 100644
--- a/src/plugins/alias/tests/basic/oracle/while_for1.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/while_for1.res.oracle
@@ -1,18 +1,8 @@
[kernel] Parsing while_for1.c (with preprocessing)
-[kernel:typing:implicit-function-declaration] while_for1.c:8: Warning:
- Calling undeclared function malloc. Old style K&R code?
[alias] Parsing done
[alias] Skiping break; (doStmt not implemented)
-[alias] Skiping tmp = malloc(idx);
- s = (int *)tmp; (doStmt not implemented)
[alias] Skiping break; (doStmt not implemented)
-[alias] Skiping tmp = malloc(idx);
- s = (int *)tmp; (doStmt not implemented)
[alias] Skiping break; (doStmt not implemented)
-[alias] Skiping tmp = malloc(idx);
- s = (int *)tmp; (doStmt not implemented)
-[alias] Skiping tmp = malloc(idx);
- s = (int *)tmp; (doStmt not implemented)
[alias] Skiping break; (doStmt not implemented)
[alias] May-aliases at the end of function main:
<list of may-alias>
@@ -25,11 +15,7 @@ Before statement int *s = (int *)0; :
Before statement {
int idx = 0;
while (idx < 10) {
- {
- int tmp;
- tmp = malloc(idx);
- s = (int *)tmp;
- }
+ s = (int *)malloc((size_t)idx);
idx ++;
}
} :
@@ -45,22 +31,14 @@ Before statement int idx = 0; :
<end of list>
Before statement while (idx < 10) {
- {
- int tmp;
- tmp = malloc(idx);
- s = (int *)tmp;
- }
+ s = (int *)malloc((size_t)idx);
idx ++;
} :
<list of may-alias>
<end of list>
Before statement while (idx < 10) {
- {
- int tmp;
- tmp = malloc(idx);
- s = (int *)tmp;
- }
+ s = (int *)malloc((size_t)idx);
idx ++;
} :
<list of may-alias>
@@ -94,61 +72,36 @@ Before statement break; :
<list of may-alias>
<end of list>
-Before statement {
- int tmp;
- tmp = malloc(idx);
- s = (int *)tmp;
- } :
- <list of may-alias>
-<end of list>
-
-Before statement {
- int tmp;
- tmp = malloc(idx);
- s = (int *)tmp;
- } :
- <list of may-alias>
-<end of list>
-
-Before statement {
- int tmp;
- tmp = malloc(idx);
- s = (int *)tmp;
- } :
+Before statement s = (int *)malloc((size_t)idx); :
<list of may-alias>
<end of list>
-Before statement tmp = malloc(idx);
- s = (int *)tmp; :
+Before statement s = (int *)malloc((size_t)idx); :
<list of may-alias>
<end of list>
-Before statement tmp = malloc(idx);
- s = (int *)tmp; :
+Before statement s = (int *)malloc((size_t)idx); :
<list of may-alias>
<end of list>
-Before statement tmp = malloc(idx);
- s = (int *)tmp; :
+Before statement s = (int *)malloc((size_t)idx); :
<list of may-alias>
<end of list>
-Before statement tmp = malloc(idx);
- s = (int *)tmp; :
+Before statement s = (int *)malloc((size_t)idx); :
<list of may-alias>
<end of list>
-Before statement tmp = malloc(idx); :
+Before statement s = (int *)malloc((size_t)idx); :
<list of may-alias>
<end of list>
-Before statement s = (int *)tmp; :
+Before statement s = (int *)malloc((size_t)idx); :
<list of may-alias>
<end of list>
Before statement idx ++; :
<list of may-alias>
-{ s; tmp } are aliased
<end of list>
Before statement idx ++; :
diff --git a/src/plugins/alias/tests/basic/oracle/while_for2.res.oracle b/src/plugins/alias/tests/basic/oracle/while_for2.res.oracle
index 0e64a4be64b..97b3ab043e4 100644
--- a/src/plugins/alias/tests/basic/oracle/while_for2.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/while_for2.res.oracle
@@ -12,12 +12,14 @@
[alias] Skiping break; (doStmt not implemented)
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; b } are aliased
+ {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
+{*a; *b; } are aliased
<end of list>
Before statement int *a = (int *)0; :
@@ -42,7 +44,8 @@ Before statement while (1) {
Before statement a = b;
break; :
<list of may-alias>
-{ a; b } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
<end of list>
Before statement a = b;
@@ -52,12 +55,14 @@ Before statement a = b;
Before statement a = b; :
<list of may-alias>
-{ a; b } are aliased
+{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
+{*a; *b; } are aliased
<end of list>
Before statement a = b; :
@@ -66,17 +71,20 @@ Before statement a = b; :
Before statement break; :
<list of may-alias>
-{ a; b } are aliased
+{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
+{*a; *b; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ a; b } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
<end of list>
Before statement while (1) {
@@ -85,31 +93,36 @@ Before statement while (1) {
break;
} :
<list of may-alias>
-{ a; b } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
<end of list>
Before statement break;
a = c;
break; :
<list of may-alias>
-{ a; b } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
<end of list>
Before statement break;
a = c;
break; :
<list of may-alias>
-{ a; b } are aliased
+{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
+{*a; *b; } are aliased
<end of list>
Before statement __retres = 0; :
<list of may-alias>
-{ a; b } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/while_for3.res.oracle b/src/plugins/alias/tests/basic/oracle/while_for3.res.oracle
index 91da80db2dc..f5011d57130 100644
--- a/src/plugins/alias/tests/basic/oracle/while_for3.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/while_for3.res.oracle
@@ -11,7 +11,8 @@
[alias] Skiping break; (doStmt not implemented)
[alias] May-aliases at the end of function main:
<list of may-alias>
- { a; b; c } are aliased
+ {a; b; c; } are aliased
+ {*a; *b; *c; } are aliased
<end of list>
[alias] Functions done
Before statement int *a = (int *)0; :
@@ -40,7 +41,8 @@ Before statement {
Before statement int i = 0; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement int i = 0; :
@@ -54,7 +56,8 @@ Before statement while (i < 10) {
__Cont: i ++;
} :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement while (i < 10) {
@@ -68,12 +71,14 @@ Before statement while (i < 10) {
Before statement if (! (i < 10)) break; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement if (! (i < 10)) break; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement if (! (i < 10)) break; :
@@ -82,17 +87,20 @@ Before statement if (! (i < 10)) break; :
Before statement break; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement break; :
@@ -103,14 +111,16 @@ Before statement a = b;
goto __Cont;
a = c; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b;
goto __Cont;
a = c; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b;
@@ -122,19 +132,22 @@ Before statement a = b;
Before statement a = b;
goto __Cont; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b;
goto __Cont; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b;
goto __Cont; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b;
@@ -144,22 +157,26 @@ Before statement a = b;
Before statement a = b; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = b; :
@@ -168,67 +185,80 @@ Before statement a = b; :
Before statement goto __Cont; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement goto __Cont; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement goto __Cont; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement goto __Cont; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement goto __Cont; :
<list of may-alias>
-{ a; b } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
<end of list>
Before statement a = c; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = c; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement a = c; :
<list of may-alias>
-{ a; b } are aliased
+{a; b; } are aliased
+{*a; *b; } are aliased
<end of list>
Before statement __Cont: i ++; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement __Cont: i ++; :
<list of may-alias>
-{ a; b; c } are aliased
+{a; b; c; } are aliased
+{*a; *b; *c; } are aliased
<end of list>
Before statement __Cont: i ++; :
<list of may-alias>
-{ a; b; c } are aliased
+{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
+{*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
+{*a; *b; *c; } are aliased
<end of list>
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/switch1.c b/src/plugins/alias/tests/basic/switch1.c
index 4e1c4dbb93d..87fddf120ef 100644
--- a/src/plugins/alias/tests/basic/switch1.c
+++ b/src/plugins/alias/tests/basic/switch1.c
@@ -1,15 +1,16 @@
// control structure and arrays
-// { a; b } are aliased
+// { a; b; d } are aliased
+// { *a; *b; *d } are aliased
int main ()
{
int *a=0, *b=0, *c=0, *d=0, e=0;
switch (e) {
case 1:
- *a=e;
+ a=d;
break;
case 2:
- *b=e;
+ b=d;
break;
}
diff --git a/src/plugins/alias/tests/basic/switch2.c b/src/plugins/alias/tests/basic/switch2.c
index 5a069b4c746..419c5dfa5a7 100644
--- a/src/plugins/alias/tests/basic/switch2.c
+++ b/src/plugins/alias/tests/basic/switch2.c
@@ -1,18 +1,19 @@
// control structure and arrays
-// { a; b; c } are aliased
+// { a; b; c; d } are aliased
+// { *a; *b; *c; *d } are aliased
int main ()
{
int *a=0, *b=0, *c=0, *d=0, e=0;
switch (e) {
case 1:
- *a=e;
+ a=d;
break;
case 2:
- *b=e;
+ b=d;
break;
default:
- *c=e;
+ c=d;
}
return 0;
diff --git a/src/plugins/alias/tests/basic/while_for1.c b/src/plugins/alias/tests/basic/while_for1.c
index 8b9fca349a5..06ef79f5f89 100644
--- a/src/plugins/alias/tests/basic/while_for1.c
+++ b/src/plugins/alias/tests/basic/while_for1.c
@@ -1,5 +1,6 @@
// for loop
// no alias
+
#include <stdlib.h>
int main ()
diff --git a/src/plugins/alias/tests/basic/while_for2.c b/src/plugins/alias/tests/basic/while_for2.c
index 86e6dad9c9c..8908b28ac62 100644
--- a/src/plugins/alias/tests/basic/while_for2.c
+++ b/src/plugins/alias/tests/basic/while_for2.c
@@ -1,5 +1,6 @@
// while loops with trivial conditions
// { a; b } are aliased
+// { *a; *b } are aliased
int main ()
{
diff --git a/src/plugins/alias/tests/basic/while_for3.c b/src/plugins/alias/tests/basic/while_for3.c
index de92225c7cf..0e60b5be18e 100644
--- a/src/plugins/alias/tests/basic/while_for3.c
+++ b/src/plugins/alias/tests/basic/while_for3.c
@@ -1,5 +1,6 @@
// continue
// { a; b } are aliased
+// { *a; *b } are aliased
int main ()
{
diff --git a/src/plugins/alias/tests/real_world/oracle/example1.res.oracle b/src/plugins/alias/tests/real_world/oracle/example1.res.oracle
index 8d46bb89c62..66054e34916 100644
--- a/src/plugins/alias/tests/real_world/oracle/example1.res.oracle
+++ b/src/plugins/alias/tests/real_world/oracle/example1.res.oracle
@@ -33,6 +33,12 @@
[alias] Skiping break; (doStmt not implemented)
[alias] DEBUG: call function - formal variable not as we expected
[alias] DEBUG: call function - formal variable not as we expected
+[alias] Skipping assignment idata = tmp->t2[*(tmp->n2)] (not implemented)
+[alias] Skipping assignment odata = tmp->t1[*(tmp->n1)] (not implemented)
+[alias] Skiping break; (doStmt not implemented)
+[alias] Skiping tmp_1 = sin(*(idata + idx));
+ *(odata + idx) = 0.5 * tmp_1; (doStmt not implemented)
+[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] Skipping assignment idata = tmp->t1[*(tmp->n1)] (not implemented)
@@ -58,6 +64,11 @@
[alias] Skiping break; (doStmt not implemented)
[alias] DEBUG: call function - formal variable not as we expected
[alias] DEBUG: call function - formal variable not as we expected
+[alias] Skipping assignment idata = tmp->t1[*(tmp->n1)] (not implemented)
+[alias] Skipping assignment odata = tmp->t2[*(tmp->n2)] (not implemented)
+[alias] Skiping break; (doStmt not implemented)
+[alias] Skipping assignment *(odata + idx) = (double)3 * *(idata + idx) + (double)1 (BUG do_assignment 2)
+[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] Skiping break; (doStmt not implemented)
@@ -71,6 +82,9 @@
[alias] Skipping assignment a->t2[i] = malloc() (not implemented)
[alias] Skipping assignment a->t2[i] = malloc() (not implemented)
[alias] Skiping break; (doStmt not implemented)
+[alias] Skipping assignment a->t1[i] = malloc() (not implemented)
+[alias] Skipping assignment a->t2[i] = malloc() (not implemented)
+[alias] Skiping break; (doStmt not implemented)
[alias] Skipping assignment a->n1 = malloc() (not implemented)
[alias] Skipping assignment a->n1 = malloc() (not implemented)
[alias] Skipping assignment a->n2 = malloc() (not implemented)
@@ -132,7 +146,27 @@ Before statement ty *tmp = x; :
Before statement idata = (double *)malloc((unsigned long)10 * sizeof(double)); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement while (1) {
+ idata = tmp->t2[*(tmp->n2)];
+ odata = tmp->t1[*(tmp->n1)];
+ idx = 0;
+ while (idx < 10) {
+ {
+ double tmp_1;
+ tmp_1 = sin(*(idata + idx));
+ *(odata + idx) = 0.5 * tmp_1;
+ }
+ idx ++;
+ }
+ swap(tmp->n1);
+ } :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement while (1) {
@@ -150,7 +184,8 @@ Before statement while (1) {
swap(tmp->n1);
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t2[*(tmp->n2)];
@@ -166,7 +201,8 @@ Before statement idata = tmp->t2[*(tmp->n2)];
}
swap(tmp->n1); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t2[*(tmp->n2)];
@@ -182,52 +218,97 @@ Before statement idata = tmp->t2[*(tmp->n2)];
}
swap(tmp->n1); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement idata = tmp->t2[*(tmp->n2)];
+ odata = tmp->t1[*(tmp->n1)];
+ idx = 0;
+ while (idx < 10) {
+ {
+ double tmp_1;
+ tmp_1 = sin(*(idata + idx));
+ *(odata + idx) = 0.5 * tmp_1;
+ }
+ idx ++;
+ }
+ swap(tmp->n1); :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement idata = tmp->t2[*(tmp->n2)]; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t2[*(tmp->n2)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t2[*(tmp->n2)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t2[*(tmp->n2)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement odata = tmp->t1[*(tmp->n1)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement odata = tmp->t1[*(tmp->n1)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement odata = tmp->t1[*(tmp->n1)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement odata = tmp->t1[*(tmp->n1)]; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx = 0; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx = 0; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx = 0; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement idx = 0; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement while (idx < 10) {
@@ -239,7 +320,8 @@ Before statement while (idx < 10) {
idx ++;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement while (idx < 10) {
@@ -251,7 +333,8 @@ Before statement while (idx < 10) {
idx ++;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement while (idx < 10) {
@@ -263,52 +346,97 @@ Before statement while (idx < 10) {
idx ++;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement while (idx < 10) {
+ {
+ double tmp_1;
+ tmp_1 = sin(*(idata + idx));
+ *(odata + idx) = 0.5 * tmp_1;
+ }
+ idx ++;
+ } :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement if (! (idx < 10)) break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement if (! (idx < 10)) break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement if (! (idx < 10)) break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement if (! (idx < 10)) break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement if (! (idx < 10)) break; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement break; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement {
+ double tmp_1;
+ 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 {
@@ -317,7 +445,8 @@ Before statement {
*(odata + idx) = 0.5 * tmp_1;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement {
@@ -326,7 +455,8 @@ Before statement {
*(odata + idx) = 0.5 * tmp_1;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement {
@@ -335,7 +465,8 @@ Before statement {
*(odata + idx) = 0.5 * tmp_1;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement {
@@ -344,82 +475,116 @@ Before statement {
*(odata + idx) = 0.5 * tmp_1;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+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 tmp_1 = sin(*(idata + idx));
*(odata + idx) = 0.5 * tmp_1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
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
+{*x; *tmp; } are aliased
<end of list>
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
+{*x; *tmp; } are aliased
<end of list>
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
+{*x; *tmp; } are aliased
<end of list>
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
+{*x; *tmp; } are aliased
<end of list>
Before statement tmp_1 = sin(*(idata + idx)); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = 0.5 * tmp_1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement idx ++; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx ++; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx ++; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx ++; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx ++; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement swap(tmp->n1); :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement swap(tmp->n1); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement swap(tmp->n1); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement swap(tmp->n1); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement ty *tmp = x; :
@@ -428,7 +593,23 @@ Before statement ty *tmp = x; :
Before statement idata = (double *)malloc((unsigned long)10 * sizeof(double)); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement while (1) {
+ idata = tmp->t1[*(tmp->n1)];
+ odata = tmp->t2[*(tmp->n2)];
+ idx = 0;
+ while (idx < 10) {
+ *(odata + idx) = (double)3 * *(idata + idx) + (double)1;
+ idx ++;
+ }
+ swap(tmp->n2);
+ } :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement while (1) {
@@ -442,7 +623,8 @@ Before statement while (1) {
swap(tmp->n2);
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t1[*(tmp->n1)];
@@ -454,7 +636,8 @@ Before statement idata = tmp->t1[*(tmp->n1)];
}
swap(tmp->n2); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t1[*(tmp->n1)];
@@ -466,52 +649,93 @@ Before statement idata = tmp->t1[*(tmp->n1)];
}
swap(tmp->n2); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement idata = tmp->t1[*(tmp->n1)];
+ odata = tmp->t2[*(tmp->n2)];
+ idx = 0;
+ while (idx < 10) {
+ *(odata + idx) = (double)3 * *(idata + idx) + (double)1;
+ idx ++;
+ }
+ swap(tmp->n2); :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement idata = tmp->t1[*(tmp->n1)]; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t1[*(tmp->n1)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t1[*(tmp->n1)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idata = tmp->t1[*(tmp->n1)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement odata = tmp->t2[*(tmp->n2)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement odata = tmp->t2[*(tmp->n2)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement odata = tmp->t2[*(tmp->n2)]; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement odata = tmp->t2[*(tmp->n2)]; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx = 0; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx = 0; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx = 0; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement idx = 0; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement while (idx < 10) {
@@ -519,7 +743,8 @@ Before statement while (idx < 10) {
idx ++;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement while (idx < 10) {
@@ -527,7 +752,8 @@ Before statement while (idx < 10) {
idx ++;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement while (idx < 10) {
@@ -535,132 +761,203 @@ Before statement while (idx < 10) {
idx ++;
} :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement while (idx < 10) {
+ *(odata + idx) = (double)3 * *(idata + idx) + (double)1;
+ idx ++;
+ } :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement if (! (idx < 10)) break; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement if (! (idx < 10)) break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement if (! (idx < 10)) break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement if (! (idx < 10)) break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement if (! (idx < 10)) break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement break; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement break; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement *(odata + idx) = (double)3 * *(idata + idx) + (double)1; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+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 *(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 idx ++; :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx ++; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx ++; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx ++; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement idx ++; :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement swap(tmp->n2); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement swap(tmp->n2); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement swap(tmp->n2); :
<list of may-alias>
-{ x; tmp } are aliased
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
+<end of list>
+
+Before statement swap(tmp->n2); :
+ <list of may-alias>
+{x; tmp; } are aliased
+{*x; *tmp; } are aliased
<end of list>
Before statement a = (ty *)malloc(sizeof(ty)); :
@@ -683,6 +980,14 @@ Before statement while (i < 2) {
<list of may-alias>
<end of list>
+Before statement while (i < 2) {
+ a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double));
+ a->t2[i] = (double *)malloc((unsigned long)10 * sizeof(double));
+ i ++;
+ } :
+ <list of may-alias>
+<end of list>
+
Before statement if (! (i < 2)) break; :
<list of may-alias>
<end of list>
@@ -691,6 +996,14 @@ Before statement if (! (i < 2)) break; :
<list of may-alias>
<end of list>
+Before statement if (! (i < 2)) break; :
+ <list of may-alias>
+<end of list>
+
+Before statement break; :
+ <list of may-alias>
+<end of list>
+
Before statement break; :
<list of may-alias>
<end of list>
@@ -713,6 +1026,11 @@ Before statement a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double))
<list of may-alias>
<end of list>
+Before statement a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double));
+ a->t2[i] = (double *)malloc((unsigned long)10 * sizeof(double)); :
+ <list of may-alias>
+<end of list>
+
Before statement a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double)); :
<list of may-alias>
<end of list>
@@ -725,6 +1043,14 @@ Before statement a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double))
<list of may-alias>
<end of list>
+Before statement a->t1[i] = (double *)malloc((unsigned long)10 * sizeof(double)); :
+ <list of may-alias>
+<end of list>
+
+Before statement a->t2[i] = (double *)malloc((unsigned long)10 * sizeof(double)); :
+ <list of may-alias>
+<end of list>
+
Before statement a->t2[i] = (double *)malloc((unsigned long)10 * sizeof(double)); :
<list of may-alias>
<end of list>
@@ -745,6 +1071,10 @@ Before statement i ++; :
<list of may-alias>
<end of list>
+Before statement i ++; :
+ <list of may-alias>
+<end of list>
+
Before statement a->n1 = (int *)malloc(sizeof(int)); :
<list of may-alias>
<end of list>
--
GitLab