13 p2->x++; /* 1. Suspect modification of p->x through alias p2->x: p2->x++ */
22 } /* 2. Fresh storage p2 not released before return */
26 pair p2 = pair_create ();
27 p2->x = p->x; /* 3. Only storage p2->x not released before assignment: p2->x = p->x */
28 *(p2->x) = 3; /* 4. Suspect modification of *(p->x) through alias *(p2->x): */
30 } /* 5. Storage p->x reachable from parameter is kept (should be only) */