alias5.c: (in function incx1)
alias5.c:13:3: Possible undocumented modification of p->x through alias p2->x:
p2->x++
alias5.c: (in function incx2)
alias5.c:22:2: Fresh storage p2 not released before return
alias5.c: (in function incx1)
alias5.c:13:3: Possible undocumented modification of p->x through alias p2->x:
p2->x++
alias5.c: (in function incx2)
alias5.c:22:2: Fresh storage p2 not released before return