Question

Consider the C code below and the box-circle diagram to the right which illustrates the situation at point 1. Assume stack memory allocation for nested scopes is used (which means that memory for variables in a scope is allocated on the stack and that it is deallocated when the scope is exited). struct T { int a; struct T next; }; int *y; int **z; struct T x; struct T* p1; struct T* p2; struct T** p3; int main() { p1 = (struct T) malloc(sizeof(struct T)); p2 = &x; y = (int) malloc(sizeof(int)); { int a[3]; a[1] = (int) malloc(sizeof(int)); z = &a[1]; x.a = z; // point 1 (p1).a = z; // point 2 } (p1).next = p1; // point 3 p2 = p1; // point 4 p3 = &p1; // point 5 p3 = (&p3); // point 6 p3 = &(*p3); // point 7 x.a = y; // point 8 z = x.a; // point 9 free(x.a) // point 10 } At point 2, there is an arrow from location m7.1 to location

          Consider the C code below and the box-circle diagram to the right which illustrates the
situation at point 1. Assume stack memory allocation for nested scopes is used (which means
that memory for variables in a scope is allocated on the stack and that it is deallocated when
the scope is exited).
struct T {
int *a;
struct T* next;
};
int *y;
int **z;
struct T x;
struct T* p1;
struct T* p2;
struct T** p3;
int main()
{ p1 = (struct T*) malloc(sizeof(struct T));
p2 = &x;
y = (int*) malloc(sizeof(int));
{
int a[3];
a[1] = (int*) malloc(sizeof(int));
z = &a[1];
x.a = *z;
// point 1
(*p1).a = *z;
// point 2
}
(*p1).next = p1;
// point 3
p2 = p1;
// point 4
p3 = &p1;
// point 5
p3 = *(&p3);
// point 6
p3 = &(*p3);
// point 7
x.a = y;
// point 8
z = x.a;
// point 9
free(x.a)
// point 10
}
At point 2, there is an arrow from location m7.1 to location

Consider the C code below and the box-circle diagram to the right which illustrates the
situation at point 1. Assume stack memory allocation for nested scopes is used (which means
that memory for variables in a scope is allocated on the stack and that it is deallocated when
the scope is exited).
struct T
int *a;
struct T* next;
;
int *y;
int **z;
struct T x;
struct T* p1;
struct T* p2;
struct T** p3;
int main()
p1 = (struct T*) malloc(sizeof(struct T));
p2 = x;
y = (int*) malloc(sizeof(int));

int a[3];
a[1] = (int*) malloc(sizeof(int));
z = a[1];
x.a = *z;
// point 1
(*p1).a = *z;
// point 2

(*p1).next = p1;
// point 3
p2 = p1;
// point 4
p3 = p1;
// point 5
p3 = *( p3);
// point 6
p3 = (*p3);
// point 7
x.a = y;
// point 8
z = x.a;
// point 9
free(x.a)
// point 10

At point 2, there is an arrow from location m7.1 to location

Added by Roberto H.

Question

Please give Ace some feedback