At Point 1 (After Point 1)
m1
a next
m1.1 m1.2
x.a =*z
x
y z
a[0] a[1] a[2]
m2 m3
z = &a[1]
m8
m9 m10
m4
m11
m12
y = (int *) malloc(sizeof(int))
(int *) malloc(sizeof(int))
p1 = (struct T*) malloc(sizeof(struct T));
p1
p2
p3 m6
a next
m7.1 m7.2
m7
m5
p2 = &x
At Point 2 (After Point 2)
m1
a next
m1.1 m1.2
x.a =*z
x
y z
a[0] a[1] a[2]
m2 m3
z = &a[1]
m8
m9 m10
m4
m11
m12
(*p1).a = *z
y = (int *) malloc(sizeof(int))
(int *) malloc(sizeof(int))
p1 = (struct T*) malloc(sizeof(struct T));
p1
p2
p3 m6
a next
m7.1 m7.2
m7
m5
p2 = &x
At Point 3 (After Point 3)
m1
a next
m1.1 m1.2
x.a =*z
x
y z
a[0] a[1] a[2]
m2 m3
z = &a[1]
m8
m9 m10
m4
m11
m12
(*p1).a = *z
y = (int *) malloc(sizeof(int))
(int *) malloc(sizeof(int))
p1 = (struct T*) malloc(sizeof(struct T));
m7
p1
p2
p3 m6
a next
m7.1 m7.2
m5
p2 = &x
(*p1).next = p1
At Point 4 (After Point 4)
m1
a next
m1.1 m1.2
x.a =*z
x
y z
a[0] a[1] a[2]
m2 m3
z = &a[1]
m8
m9 m10
m4
m11
m12
(*p1).a = *z
y = (int *) malloc(sizeof(int))
(int *) malloc(sizeof(int))
p1 = (struct T*) malloc(sizeof(struct T));
m7
p1
p2
p3 m6
a next
m7.1 m7.2
m5
p2 = &x
p2 = p1
(*p1).next = p1
x
y z
a[0] a[1] a[2]
p1
p2
m2
At Point 5 (After Point 5)
a next
m1.1 m1.2
y = (int *) malloc(sizeof(int))
m3
z = &a[1]
m8
m9 m10
m4
m5
m11
m12
(*p1).a = *z
m1
x.a =*z
(int *) malloc(sizeof(int))
m7
a next
m7.1 m7.2
p1 = (struct T*) malloc(sizeof(struct T));
p3 m6
(*p1).next = p1
p2 = p1
p3 = &p1
x
y z
a[0] a[1] a[2]
p1
p2
m2
At Point 6 (After Point 6)
a next
m1.1 m1.2
y = (int *) malloc(sizeof(int))
m3
z = &a[1]
m8
m9 m10
m4
m5
m11
m12
(*p1).a = *z
m1
x.a =*z
(int *) malloc(sizeof(int))
m7
a next
m7.1 m7.2
p1 = (struct T*) malloc(sizeof(struct T));
p3 m6
(*p1).next = p1
p2 = p1
p3 = *(&p3)
x
y z
a[0] a[1] a[2]
p1
p2
m2
At Point 7 (After Point 7)
a next
m1.1 m1.2
y = (int *) malloc(sizeof(int))
m3
z = &a[1]
m8
m9 m10
m4
m5
m11
m12
(*p1).a = *z
m1
x.a =*z
(int *) malloc(sizeof(int))
m7
a next
m7.1 m7.2
p1 = (struct T*) malloc(sizeof(struct T));
p3 m6
(*p1).next = p1
p2 = p1
p3 = &(*p3)
At Point 8 (After Point 8)
a next
m1.1 m1.2
x
y z
a[0] a[1] a[2]
p1
p2
x.a =*z
x.a = y
m1
m2
y = (int *) malloc(sizeof(int))
m3
z = &a[1]
m8
m9 m10
m4
m5
m11
m12
(*p1).a = *z
(int *) malloc(sizeof(int))
m7
a next
m7.1 m7.2
p1 = (struct T*) malloc(sizeof(struct T));
p3 m6
(*p1).next = p1
p2 = p1
p3 = &(*p3)
a next
m1.1 m1.2
y = (int *) malloc(sizeof(int))
m3
z = &a[1]
m8
m9 m10
m4
m5
z = x.a
m11
m12
(*p1).a = *z
m1
x
y z
a[0] a[1] a[2]
p1
p2
x.a = y
m2
(int *) malloc(sizeof(int))
m7
p3 m6
(*p1).next = p1
At Point 9 (After Point 9)
p2 = p1
a next
m7.1 m7.2
p1 = (struct T*) malloc(sizeof(struct T));
p3 = &(*p3)
a next
m1.1 m1.2
y = (int *) malloc(sizeof(int))
m3
m8
m9 m10
m4
m5
z = x.a
m11
m12
(*p1).a = *z
m1
x
y z
a[0] a[1] a[2]
p1
p2
x.a = y
m2
(int *) malloc(sizeof(int))
m7
p3 m6
(*p1).next = p1
At Point 10 (After Point 10)
p2 = p1
a next
m7.1 m7.2
p1 = (struct T*) malloc(sizeof(struct T));
p3 = &(*p3)