Two MUSTALIAS assertions in path_tests/path1.c could not hold together?

[taquangtrung]

Hi,

For the test case path_tests/path1.c, I think the two assertions MUSTALIAS(c,&e) and MUSTALIAS(d,&f) could not hold together.

I'm not sure how to evaluate the condition if (x), when x is declared by int **x.

But, if x is considered a valid memory address (not NULL), then only the then branch is executed, hence the second assertion should be NOALIAS(d, &f).

If x is considered an arbitrary value, then both the two branches then and else could be executed, hence, the two assertions should both be MAYALIAS.

Could you advise if my understanding is correct?

Thank you!

// path_tests/path1.c

#include "aliascheck.h"

void foo(int**, int*);
main(){
    int **x, *y;
    int  *c, *d,e,f;
    if(x) { x =&c; y =&e;}
    else { x= &d; y = &f;}

    foo(x,y);

    MUSTALIAS(c,&e);
    MUSTALIAS(d,&f);
    NOALIAS(c,&f);
    NOALIAS(d,&e);
	
}

void foo(int **p, int *q){
	*p = q;
}

[yuleisui]

Correct. MAYALIAS is appropriate. Just fixed