diff --git a/src/plugins/alias/abstract_state.ml b/src/plugins/alias/abstract_state.ml
index f81bc42d4708a93f382c5d4405271d897b5d12d0..7aec59328ad36f0f9eea7e7c3609fc4ed4f4102c 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 5fc07584b794a801e3bac76e458bc6b4110df033..6efa932f4e146fd9d6d1acca4f4bcca887279fff 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 542267ab780e0f8087d932285c264fee1cb2dfe0..5ed18ec07365673d0b8c7907cc6b03a2b47f716a 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 b22e45dff643e90c3609b07dfab549f8c5e246ad..9c5d3d3d9ebeb894bafaf370a3056aa10f772cc7 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 bcba0c382d8600a44f78ff79cf46908d1a96c22e..38f76970e36cbf393eb670855fb4999d08317f0a 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 109484cf61d5b03698907d15ff873d5c3dfe6eb3..6556765963be347e5bf8ab49723f032895c985fb 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 0000000000000000000000000000000000000000..3ad85cacf833c95ce6958b65201bac4eed681285
--- /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 b8429a3301c5c71636434c6cc4619bf98046375f..d72530eb4f3f2ed59c54c98ae79e15e3afe5c2fe 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 18efaa21b36293ac83bf4b873119cdefc68b522c..10faff476cfe284bc4d82daa29e5ca35a7369ff5 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 1a40750c1b44a46ceab65e743b88e157549faf31..3f8307062180feb50137cd7461ebfb4aadd135a3 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 4fbb7d3309e6552eebf756501d61016497f7e2f3..9b22f4c7756dcd510baab3415060ae0f47116c31 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 61dbec3c0e3f263ff805bae5257667b28d250bb1..e4411348cb39b56e76064ab07e3b5488281ed455 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 b5710deea17498cc21271da97f9d6c0ea6d47927..25dcd272d5ac92a07eedcdf0523d76b120f657cd 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 c464c4ca2ab7af8d59121bdee4cb54ace22dc2fa..1dc6f9778ae07f10d2f89d1f0054a7570549f8b0 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 b26837790e4712445575b1c064333a20f48b981e..29cb214dbfeaf7fed830deabb991fb759483369f 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 6b7a495bcedbd822d816de28dbf4b168e089fc68..364a5364058c136249c4e6bb00072846a7430338 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 54758be3b74a53190cff9d1918559adbc3ff0dce..949d0dbc35baeea7cf93d64483a2fbe7fae1c9a6 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 9a21c3d1b5789afc4b073a0fde76dc340c600514..551c980ced187f0dc47bf71afd2ffad9832a26c8 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 0000000000000000000000000000000000000000..41bdea2499ea52676ca65069b38f7b3fd9bc192c
--- /dev/null
+++ b/src/plugins/alias/tests/basic/oracle/assignment4.res.oracle
@@ -0,0 +1,52 @@
+[kernel] Parsing assignment4.c (with preprocessing)
+[alias] Parsing done
+[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
+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 *c = d; :
+ <list of may-alias>
+{b; *a; } are aliased
+<end of list>
+
+Before statement b = d; :
+ <list of may-alias>
+{b; *a; } are aliased
+{d; *c; } are aliased
+<end of list>
+
+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>
+
+[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/cast1.res.oracle b/src/plugins/alias/tests/basic/oracle/cast1.res.oracle
index c80fe36dc2faad6cd1e207e645f3636de65b2ffc..28b0d71a5ac51a5f4a78b78b806e19cfbef4c115 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 cd35b497c42ceeffd17541003ccc069bc8e0a0e7..cc37f90c3f55035019caff3cdb41bc7a92d1e882 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 155068e6cdbd4ef198cb5a90476140b2005d6233..9cd69b4095a0d2e25d85494d96627ce6098affb4 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 f5c825d153bf0c56d478ade9ca59d203a2ea3a07..56585d3707bf49953de8f55cb8e46074ded9a75b 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 f021837c98522bea03f2ffc8841fba6d8497d1b3..d67f7024949ecad6c5ce2676a943dd2fb335e6f0 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 8d269b122d9348c2d61f298d898fc79db46a7667..c59c9e79c8ae1347097f30054e4ab2a816f819d1 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 2e19fe78a99d9aea7abe738a8b009743a300d5f9..7e54cb3f9a911c8816e190db387b001516c627d9 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 fae95c2507dddf253ecc48839110b6cf58710930..c2c0d2c015f283a91e4156ac79ada405e5838f86 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 ede6842ff62f11a5a6f12290a073463339f9a4bf..e4462bb403953b0c653165d21bed8c6b4e06835d 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 fcb64c0fd6f431d48ae6e3fbd6a8f31dd0d65351..08efe0061a7dbad374dd794e6b670e2355ea035a 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 0e64a4be64bae27e04d7a1bf8605c5df94d5f713..97b3ab043e4539aa8b0ab2f3b8140d47f3193254 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 91da80db2dc6fc0990328d1282be7051929cf858..f5011d5713080fd4ba7147adf22169ab323f5f00 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 4e1c4dbb93d3cf6a74045c4052a230744125ba45..87fddf120ef96c3b3c9b5971749f9cfdcd95741d 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 5a069b4c746e3aab8b222376cc1b35f3b3b8b152..419c5dfa5a73d759a0b9b3471653ecdeff0c465b 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 8b9fca349a5585767bf7b7a048ee6293ea0430a3..06ef79f5f89d2573152cf3035a59fa55d2e8baad 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 86e6dad9c9c788eb2c2d224171d23e3239c649d0..8908b28ac622e8154f62af115e65588187279cff 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 de92225c7cf4cde762783967545f8423f19ae13e..0e60b5be18ea545fcf57cbd114c82b67fe3b7aef 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 8d46bb89c62efae08179d806e03c4d6cf26f241b..66054e3491623e6688ec65b6fbae0cef0672ede3 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>