p2->x++
alias5.c: (in function incx2)
alias5.c:22:2: Fresh storage p2 not released before return
- alias5.c:20:3: Fresh storage p2 allocated
+ alias5.c:20:3: Fresh storage p2 created
alias5.c: (in function incx3)
alias5.c:27:3: Only storage p2->x (type int *) not released before assignment:
p2->x = p->x