From 50d6281f83066e1c4ec4fec28735a854ca86c0b9 Mon Sep 17 00:00:00 2001
From: Tristan Le Gall <tristan.le-gall@cea.fr>
Date: Tue, 28 Mar 2023 14:49:25 +0200
Subject: [PATCH] [alias] changed comment in tests files to include actual
results
---
src/plugins/alias/tests/basic/assignment1.c | 3 +-
src/plugins/alias/tests/basic/assignment2.c | 5 +-
src/plugins/alias/tests/basic/assignment3.c | 3 +-
src/plugins/alias/tests/basic/assignment4.c | 4 +-
src/plugins/alias/tests/basic/assignment5.c | 5 +-
src/plugins/alias/tests/basic/cast1.c | 6 +-
src/plugins/alias/tests/basic/conditional1.c | 3 +-
src/plugins/alias/tests/basic/conditional2.c | 6 +-
src/plugins/alias/tests/basic/function1.c | 8 +-
src/plugins/alias/tests/basic/function3.c | 6 +-
src/plugins/alias/tests/basic/function4.c | 3 +-
src/plugins/alias/tests/basic/function5.c | 3 +-
src/plugins/alias/tests/basic/if_then1.c | 5 +
src/plugins/alias/tests/basic/switch1.c | 5 +-
src/plugins/alias/tests/basic/switch2.c | 5 +-
src/plugins/alias/tests/basic/while_for2.c | 3 +-
src/plugins/alias/tests/basic/while_for3.c | 3 +-
src/plugins/alias/tests/offsets/array1.c | 3 +-
src/plugins/alias/tests/offsets/array2.c | 1 +
src/plugins/alias/tests/offsets/nested1.c | 9 +-
src/plugins/alias/tests/offsets/nested2.c | 5 +
.../tests/offsets/oracle/array3.res.oracle | 246 ++++++++----------
src/plugins/alias/tests/offsets/structure1.c | 4 +-
src/plugins/alias/tests/offsets/structure2.c | 3 +-
src/plugins/alias/tests/offsets/structure3.c | 3 +-
src/plugins/alias/tests/offsets/structure4.c | 3 +
src/plugins/alias/tests/real_world/example1.c | 7 +
27 files changed, 178 insertions(+), 182 deletions(-)
diff --git a/src/plugins/alias/tests/basic/assignment1.c b/src/plugins/alias/tests/basic/assignment1.c
index 9c5d3d3d9eb..2851d98907f 100644
--- a/src/plugins/alias/tests/basic/assignment1.c
+++ b/src/plugins/alias/tests/basic/assignment1.c
@@ -1,6 +1,5 @@
// single pointer assignment
-// { a; b; c; d } are aliased
-// { *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 38f76970e36..ba0a8dc53e6 100644
--- a/src/plugins/alias/tests/basic/assignment2.c
+++ b/src/plugins/alias/tests/basic/assignment2.c
@@ -1,7 +1,6 @@
// double pointer assignment
-// { *b; *d } are aliased
-// { a; c } are aliased
-// { b; d; *a; *d } are aliased
+// {a, c} are aliased
+// {*a, *c, b, d} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/assignment3.c b/src/plugins/alias/tests/basic/assignment3.c
index 6556765963b..203e93650c1 100644
--- a/src/plugins/alias/tests/basic/assignment3.c
+++ b/src/plugins/alias/tests/basic/assignment3.c
@@ -1,6 +1,5 @@
// address assignment
-// { a; c } are aliased
-// { *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
index 3ad85cacf83..136a763cb53 100644
--- a/src/plugins/alias/tests/basic/assignment4.c
+++ b/src/plugins/alias/tests/basic/assignment4.c
@@ -1,6 +1,6 @@
// double pointer assignment
-// { *b; *d } are aliased
-// { b; d; *a; *c } are aliased
+// {a, c} are aliased
+// {*a, *c, b, d} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/assignment5.c b/src/plugins/alias/tests/basic/assignment5.c
index 4df3b55d622..03ccff7f6bf 100644
--- a/src/plugins/alias/tests/basic/assignment5.c
+++ b/src/plugins/alias/tests/basic/assignment5.c
@@ -1,7 +1,6 @@
// triple pointer assignment with some tricky alias
-// { *b; *d } are aliased
-// { b; d; *a; *c } are aliased
-
+// {*a, b} are aliased
+// {*(*a), *b, c, d} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/cast1.c b/src/plugins/alias/tests/basic/cast1.c
index d72530eb4f3..4a0713d879d 100644
--- a/src/plugins/alias/tests/basic/cast1.c
+++ b/src/plugins/alias/tests/basic/cast1.c
@@ -1,8 +1,6 @@
// homogeneous cast
-// { a; c; } are aliased
-// { *a; *c; } are aliased
-// { b; d; } are aliased
-// { *b; *d; } are aliased
+// {a, c} 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 10faff476cf..a668cd7d083 100644
--- a/src/plugins/alias/tests/basic/conditional1.c
+++ b/src/plugins/alias/tests/basic/conditional1.c
@@ -1,6 +1,5 @@
// conditional cfg
-// { a; b; c } are aliased
-// { *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 3f830706218..7243bebdbde 100644
--- a/src/plugins/alias/tests/basic/conditional2.c
+++ b/src/plugins/alias/tests/basic/conditional2.c
@@ -1,7 +1,7 @@
// conditional cfg
-// {d; *c; } are aliased
-// {a; b; } are aliased
-// {c; *a; *b; } are aliased
+// {*a, *b, c} are aliased
+// {*(*a), *(*b), *c, d} are aliased
+// {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 9b22f4c7756..63bc345a7f7 100644
--- a/src/plugins/alias/tests/basic/function1.c
+++ b/src/plugins/alias/tests/basic/function1.c
@@ -1,8 +1,6 @@
// function with no return
-// { a; b } are aliased
-// { *a; *b } are aliased
-// { c; d } are aliased
-// { *c; *d } are aliased
+// {a, b} are aliased
+// {c, d} are aliased
void swap(int *x, int* y) {
@@ -13,8 +11,6 @@ void swap(int *x, int* y) {
}
-
-
int main(void)
{
int *a=0, *b=0, *c=0, *d=0;
diff --git a/src/plugins/alias/tests/basic/function3.c b/src/plugins/alias/tests/basic/function3.c
index 25dcd272d5a..2142dcd0ade 100644
--- a/src/plugins/alias/tests/basic/function3.c
+++ b/src/plugins/alias/tests/basic/function3.c
@@ -1,8 +1,6 @@
// function with a loop inside
-// { a; b } are aliased
-// { *a; *b } are aliased
-// { c; d } are aliased
-// { *c; *d } are aliased
+// {a, b} 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 1dc6f9778ae..806b68cc3c3 100644
--- a/src/plugins/alias/tests/basic/function4.c
+++ b/src/plugins/alias/tests/basic/function4.c
@@ -1,6 +1,5 @@
// funxtion with address agument
-// { a; b } are aliased
-// { *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 29cb214dbfe..94247a286c1 100644
--- a/src/plugins/alias/tests/basic/function5.c
+++ b/src/plugins/alias/tests/basic/function5.c
@@ -1,6 +1,5 @@
// function with multiple returns
-// { a; b; c } are aliased
-// { *a; *b; *c } are aliased
+// {a, b, c} are aliased
int * choice(int* x, int* y)
diff --git a/src/plugins/alias/tests/basic/if_then1.c b/src/plugins/alias/tests/basic/if_then1.c
index 7e9adbf05e3..e4a00117170 100644
--- a/src/plugins/alias/tests/basic/if_then1.c
+++ b/src/plugins/alias/tests/basic/if_then1.c
@@ -1,3 +1,8 @@
+// another test for conditional
+// {*b, *c, a, y} are aliased
+// {b, c} are aliased
+
+
int main () {
int *a, **b, **c, *y, x, z, p;
a = &x;
diff --git a/src/plugins/alias/tests/basic/switch1.c b/src/plugins/alias/tests/basic/switch1.c
index 87fddf120ef..c0b97a18180 100644
--- a/src/plugins/alias/tests/basic/switch1.c
+++ b/src/plugins/alias/tests/basic/switch1.c
@@ -1,6 +1,5 @@
-// control structure and arrays
-// { a; b; d } are aliased
-// { *a; *b; *d } are aliased
+// switch
+// {a, b, d} are aliased
int main ()
{
diff --git a/src/plugins/alias/tests/basic/switch2.c b/src/plugins/alias/tests/basic/switch2.c
index 419c5dfa5a7..05d162bd67a 100644
--- a/src/plugins/alias/tests/basic/switch2.c
+++ b/src/plugins/alias/tests/basic/switch2.c
@@ -1,6 +1,5 @@
-// control structure and arrays
-// { a; b; c; d } are aliased
-// { *a; *b; *c; *d } are aliased
+// switch with default
+// {a, b, c, d} are aliased
int main ()
{
diff --git a/src/plugins/alias/tests/basic/while_for2.c b/src/plugins/alias/tests/basic/while_for2.c
index 8908b28ac62..f98677716b7 100644
--- a/src/plugins/alias/tests/basic/while_for2.c
+++ b/src/plugins/alias/tests/basic/while_for2.c
@@ -1,6 +1,5 @@
// while loops with trivial conditions
-// { a; b } are aliased
-// { *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 8bbd9d968a4..e7ffb9f3952 100644
--- a/src/plugins/alias/tests/basic/while_for3.c
+++ b/src/plugins/alias/tests/basic/while_for3.c
@@ -1,6 +1,5 @@
// continue
-// { a; b } are aliased
-// { *a; *b } are aliased
+// {a, b} are aliased
int main ()
{
diff --git a/src/plugins/alias/tests/offsets/array1.c b/src/plugins/alias/tests/offsets/array1.c
index 16ba79a28c3..34518455ecb 100644
--- a/src/plugins/alias/tests/offsets/array1.c
+++ b/src/plugins/alias/tests/offsets/array1.c
@@ -1,4 +1,5 @@
-
+// simple array
+// {x, y} are aliased
int main () {
int tab[4];
diff --git a/src/plugins/alias/tests/offsets/array2.c b/src/plugins/alias/tests/offsets/array2.c
index 668d4bcdfe5..f5c96b077b4 100644
--- a/src/plugins/alias/tests/offsets/array2.c
+++ b/src/plugins/alias/tests/offsets/array2.c
@@ -1,4 +1,5 @@
// matrices
+// no alias
int main () {
int mat[4][4];
diff --git a/src/plugins/alias/tests/offsets/nested1.c b/src/plugins/alias/tests/offsets/nested1.c
index f142539d9fb..06c14b9512b 100644
--- a/src/plugins/alias/tests/offsets/nested1.c
+++ b/src/plugins/alias/tests/offsets/nested1.c
@@ -1,3 +1,10 @@
+// nested structures and arrays
+// {z1->s, z2->s, tab_y[0]} are aliased
+// {t->t, z1} are aliased
+// {z1->c, t->d, a} are aliased
+// {z2->c, b} are aliased
+
+
#include <stdlib.h>
typedef struct
@@ -21,8 +28,6 @@ typedef struct
-
-
int main () {
st_1_t x1 = {0,1};
diff --git a/src/plugins/alias/tests/offsets/nested2.c b/src/plugins/alias/tests/offsets/nested2.c
index c108aada0f7..193bdd1adba 100644
--- a/src/plugins/alias/tests/offsets/nested2.c
+++ b/src/plugins/alias/tests/offsets/nested2.c
@@ -1,3 +1,8 @@
+// nested structures and arrays
+// {t->t, z1} are aliased
+// {z1->c, t->d, a} are aliased
+
+
#include <stdlib.h>
typedef struct
diff --git a/src/plugins/alias/tests/offsets/oracle/array3.res.oracle b/src/plugins/alias/tests/offsets/oracle/array3.res.oracle
index 551c50f4524..a4299c7ac1e 100644
--- a/src/plugins/alias/tests/offsets/oracle/array3.res.oracle
+++ b/src/plugins/alias/tests/offsets/oracle/array3.res.oracle
@@ -1,144 +1,128 @@
[kernel] Parsing array3.c (with preprocessing)
-[kernel:typing:implicit-function-declaration] array3.c:6: Warning:
- Calling undeclared function malloc. Old style K&R code?
-[alias] analysing function: asprintf
-[alias] May-aliases at the end of function asprintf:
-[alias] analysing function: clearerr
-[alias] May-aliases at the end of function clearerr:
-[alias] analysing function: clearerr_unlocked
-[alias] May-aliases at the end of function clearerr_unlocked:
-[alias] analysing function: fclose
-[alias] May-aliases at the end of function fclose:
-[alias] analysing function: fdopen
-[alias] May-aliases at the end of function fdopen:
-[alias] analysing function: feof
-[alias] May-aliases at the end of function feof:
-[alias] analysing function: feof_unlocked
-[alias] May-aliases at the end of function feof_unlocked:
-[alias] analysing function: ferror
-[alias] May-aliases at the end of function ferror:
-[alias] analysing function: ferror_unlocked
-[alias] May-aliases at the end of function ferror_unlocked:
-[alias] analysing function: fflush
-[alias] May-aliases at the end of function fflush:
-[alias] analysing function: fgetc
-[alias] May-aliases at the end of function fgetc:
-[alias] analysing function: fgetpos
-[alias] May-aliases at the end of function fgetpos:
-[alias] analysing function: fgets
-[alias] May-aliases at the end of function fgets:
-[alias] analysing function: fileno
-[alias] May-aliases at the end of function fileno:
-[alias] analysing function: fileno_unlocked
-[alias] May-aliases at the end of function fileno_unlocked:
-[alias] analysing function: flockfile
-[alias] May-aliases at the end of function flockfile:
-[alias] analysing function: fmemopen
-[alias] May-aliases at the end of function fmemopen:
-[alias] analysing function: fopen
-[alias] May-aliases at the end of function fopen:
-[alias] analysing function: fputc
-[alias] May-aliases at the end of function fputc:
-[alias] analysing function: fputs
-[alias] May-aliases at the end of function fputs:
-[alias] analysing function: fread
-[alias] May-aliases at the end of function fread:
-[alias] analysing function: freopen
-[alias] May-aliases at the end of function freopen:
-[alias] analysing function: fseek
-[alias] May-aliases at the end of function fseek:
-[alias] analysing function: fseeko
-[alias] May-aliases at the end of function fseeko:
-[alias] analysing function: fsetpos
-[alias] May-aliases at the end of function fsetpos:
-[alias] analysing function: ftell
-[alias] May-aliases at the end of function ftell:
-[alias] analysing function: ftello
-[alias] May-aliases at the end of function ftello:
-[alias] analysing function: ftrylockfile
-[alias] May-aliases at the end of function ftrylockfile:
-[alias] analysing function: funlockfile
-[alias] May-aliases at the end of function funlockfile:
-[alias] analysing function: fwrite
-[alias] May-aliases at the end of function fwrite:
-[alias] analysing function: getc
-[alias] May-aliases at the end of function getc:
-[alias] analysing function: getc_unlocked
-[alias] May-aliases at the end of function getc_unlocked:
-[alias] analysing function: getchar
-[alias] May-aliases at the end of function getchar:
-[alias] analysing function: getchar_unlocked
-[alias] May-aliases at the end of function getchar_unlocked:
-[alias] analysing function: gets
-[alias] May-aliases at the end of function gets:
+[alias] analysing function: _Exit
+[alias] May-aliases at the end of function _Exit:
+[alias] analysing function: abort
+[alias] May-aliases at the end of function abort:
+[alias] analysing function: abs
+[alias] May-aliases at the end of function abs:
+[alias] analysing function: at_quick_exit
+[alias] May-aliases at the end of function at_quick_exit:
+[alias] analysing function: atexit
+[alias] May-aliases at the end of function atexit:
+[alias] analysing function: atof
+[alias] May-aliases at the end of function atof:
+[alias] analysing function: atoi
+[alias] May-aliases at the end of function atoi:
+[alias] analysing function: atol
+[alias] May-aliases at the end of function atol:
+[alias] analysing function: atoll
+[alias] May-aliases at the end of function atoll:
+[alias] analysing function: bsearch
+[alias] May-aliases at the end of function bsearch:
+[alias] analysing function: calloc
+[alias] May-aliases at the end of function calloc:
+[alias] analysing function: div
+[alias] May-aliases at the end of function div:
+[alias] analysing function: drand48
+[alias] May-aliases at the end of function drand48:
+[alias] analysing function: erand48
+[alias] May-aliases at the end of function erand48:
+[alias] analysing function: exit
+[alias] May-aliases at the end of function exit:
+[alias] analysing function: free
+[alias] May-aliases at the end of function free:
+[alias] analysing function: getenv
+[alias] May-aliases at the end of function getenv:
+[alias] analysing function: jrand48
+[alias] May-aliases at the end of function jrand48:
+[alias] analysing function: labs
+[alias] May-aliases at the end of function labs:
+[alias] analysing function: lcong48
+[alias] May-aliases at the end of function lcong48:
+[alias] analysing function: ldiv
+[alias] May-aliases at the end of function ldiv:
+[alias] analysing function: llabs
+[alias] May-aliases at the end of function llabs:
+[alias] analysing function: lldiv
+[alias] May-aliases at the end of function lldiv:
+[alias] analysing function: lrand48
+[alias] May-aliases at the end of function lrand48:
[alias] analysing function: main
-[alias] analysing instruction: tmp = malloc((unsigned long)4 * sizeof(int));
+[alias] analysing instruction: int *x = malloc((unsigned long)4 * sizeof(int));
[alias] May-aliases at the end of instruction:
-[alias] analysing instruction: int *x = (int *)tmp;
+[alias] analysing instruction: int *y = malloc((unsigned long)4 * sizeof(int));
[alias] May-aliases at the end of instruction:
- {x, tmp} are aliased
-[alias] analysing instruction: tmp_0 = malloc((unsigned long)4 * sizeof(int));
-[alias] May-aliases at the end of instruction:
- {x, tmp} are aliased
-[alias] analysing instruction: int *y = (int *)tmp_0;
-[alias] May-aliases at the end of instruction:
- {x, tmp} are aliased
- {y, tmp_0} are aliased
[alias] analysing instruction: x = mat[0];
[alias] May-aliases at the end of instruction:
- {x, tmp} are aliased
- {y, tmp_0} are aliased
[alias] analysing instruction: y = mat[1];
[alias] May-aliases at the end of instruction:
- {x, tmp, y, tmp_0} are aliased
+ {x, y} are aliased
[alias] analysing instruction: __retres = 0;
[alias] May-aliases at the end of instruction:
- {x, tmp, y, tmp_0} are aliased
+ {x, y} are aliased
[alias] May-aliases at the end of function main:
- {x, tmp, y, tmp_0} are aliased
+ {x, y} are aliased
[alias] analysing function: malloc
[alias] May-aliases at the end of function malloc:
-[alias] analysing function: pclose
-[alias] May-aliases at the end of function pclose:
-[alias] analysing function: perror
-[alias] May-aliases at the end of function perror:
-[alias] analysing function: popen
-[alias] May-aliases at the end of function popen:
-[alias] analysing function: putc
-[alias] May-aliases at the end of function putc:
-[alias] analysing function: putc_unlocked
-[alias] May-aliases at the end of function putc_unlocked:
-[alias] analysing function: putchar
-[alias] May-aliases at the end of function putchar:
-[alias] analysing function: putchar_unlocked
-[alias] May-aliases at the end of function putchar_unlocked:
-[alias] analysing function: puts
-[alias] May-aliases at the end of function puts:
-[alias] analysing function: remove
-[alias] May-aliases at the end of function remove:
-[alias] analysing function: rename
-[alias] May-aliases at the end of function rename:
-[alias] analysing function: rewind
-[alias] May-aliases at the end of function rewind:
-[alias] analysing function: setbuf
-[alias] May-aliases at the end of function setbuf:
-[alias] analysing function: setvbuf
-[alias] May-aliases at the end of function setvbuf:
-[alias] analysing function: tmpfile
-[alias] May-aliases at the end of function tmpfile:
-[alias] analysing function: tmpnam
-[alias] May-aliases at the end of function tmpnam:
-[alias] analysing function: ungetc
-[alias] May-aliases at the end of function ungetc:
-[alias] analysing function: vfprintf
-[alias] May-aliases at the end of function vfprintf:
-[alias] analysing function: vfscanf
-[alias] May-aliases at the end of function vfscanf:
-[alias] analysing function: vprintf
-[alias] May-aliases at the end of function vprintf:
-[alias] analysing function: vscanf
-[alias] May-aliases at the end of function vscanf:
-[alias] analysing function: vsnprintf
-[alias] May-aliases at the end of function vsnprintf:
-[alias] analysing function: vsprintf
-[alias] May-aliases at the end of function vsprintf:
+[alias] analysing function: mblen
+[alias] May-aliases at the end of function mblen:
+[alias] analysing function: mbstowcs
+[alias] May-aliases at the end of function mbstowcs:
+[alias] analysing function: mbtowc
+[alias] May-aliases at the end of function mbtowc:
+[alias] analysing function: mkstemp
+[alias] May-aliases at the end of function mkstemp:
+[alias] analysing function: mkstemps
+[alias] May-aliases at the end of function mkstemps:
+[alias] analysing function: mrand48
+[alias] May-aliases at the end of function mrand48:
+[alias] analysing function: nrand48
+[alias] May-aliases at the end of function nrand48:
+[alias] analysing function: posix_memalign
+[alias] May-aliases at the end of function posix_memalign:
+[alias] analysing function: putenv
+[alias] May-aliases at the end of function putenv:
+[alias] analysing function: qsort
+[alias] May-aliases at the end of function qsort:
+[alias] analysing function: quick_exit
+[alias] May-aliases at the end of function quick_exit:
+[alias] analysing function: rand
+[alias] May-aliases at the end of function rand:
+[alias] analysing function: random
+[alias] May-aliases at the end of function random:
+[alias] analysing function: realloc
+[alias] May-aliases at the end of function realloc:
+[alias] analysing function: reallocarray
+[alias] May-aliases at the end of function reallocarray:
+[alias] analysing function: seed48
+[alias] May-aliases at the end of function seed48:
+[alias] analysing function: setenv
+[alias] May-aliases at the end of function setenv:
+[alias] analysing function: srand
+[alias] May-aliases at the end of function srand:
+[alias] analysing function: srand48
+[alias] May-aliases at the end of function srand48:
+[alias] analysing function: srandom
+[alias] May-aliases at the end of function srandom:
+[alias] analysing function: strtod
+[alias] May-aliases at the end of function strtod:
+[alias] analysing function: strtof
+[alias] May-aliases at the end of function strtof:
+[alias] analysing function: strtol
+[alias] May-aliases at the end of function strtol:
+[alias] analysing function: strtold
+[alias] May-aliases at the end of function strtold:
+[alias] analysing function: strtoll
+[alias] May-aliases at the end of function strtoll:
+[alias] analysing function: strtoul
+[alias] May-aliases at the end of function strtoul:
+[alias] analysing function: strtoull
+[alias] May-aliases at the end of function strtoull:
+[alias] analysing function: system
+[alias] May-aliases at the end of function system:
+[alias] analysing function: unsetenv
+[alias] May-aliases at the end of function unsetenv:
+[alias] analysing function: wcstombs
+[alias] May-aliases at the end of function wcstombs:
+[alias] analysing function: wctomb
+[alias] May-aliases at the end of function wctomb:
diff --git a/src/plugins/alias/tests/offsets/structure1.c b/src/plugins/alias/tests/offsets/structure1.c
index d18d5bd6003..95cf2728783 100644
--- a/src/plugins/alias/tests/offsets/structure1.c
+++ b/src/plugins/alias/tests/offsets/structure1.c
@@ -1,4 +1,6 @@
-/* no alias */
+// simple structure
+// {p_x, p_y} are aliased
+
typedef struct
{
diff --git a/src/plugins/alias/tests/offsets/structure2.c b/src/plugins/alias/tests/offsets/structure2.c
index 0f135a2f483..92ff3a41783 100644
--- a/src/plugins/alias/tests/offsets/structure2.c
+++ b/src/plugins/alias/tests/offsets/structure2.c
@@ -1,4 +1,5 @@
-
+// structure with initialisation and pointer
+// no alias
typedef struct
{
diff --git a/src/plugins/alias/tests/offsets/structure3.c b/src/plugins/alias/tests/offsets/structure3.c
index ba23405ed69..9582ccd3f86 100644
--- a/src/plugins/alias/tests/offsets/structure3.c
+++ b/src/plugins/alias/tests/offsets/structure3.c
@@ -1,4 +1,5 @@
-
+// double structure with initialisation and pointer
+// no alias
typedef struct
{
diff --git a/src/plugins/alias/tests/offsets/structure4.c b/src/plugins/alias/tests/offsets/structure4.c
index 68903054a74..c33bce757fe 100644
--- a/src/plugins/alias/tests/offsets/structure4.c
+++ b/src/plugins/alias/tests/offsets/structure4.c
@@ -1,3 +1,6 @@
+// structure with malloc
+// {z->s, y1} are aliased
+
#include <stdlib.h>
typedef struct
diff --git a/src/plugins/alias/tests/real_world/example1.c b/src/plugins/alias/tests/real_world/example1.c
index f0bc2690f54..a3709a67367 100644
--- a/src/plugins/alias/tests/real_world/example1.c
+++ b/src/plugins/alias/tests/real_world/example1.c
@@ -1,3 +1,10 @@
+// real world example
+// {a->t1[0], b->t1[0]} are aliased
+// {a->t2[0], b->t2[0]} are aliased
+// {a->n1, b->n1} are aliased
+// {a->n2, b->n2} are aliased
+
+
#include <stdlib.h>
#include <math.h>
--
GitLab