begin model linkedListDeletionFail
| begin input variables
| end input variables;
| begin output variables
| end output variables;
| begin process 0
| | main function : main;
| | begin function main
| | | | linkedListDeletionFail.c 9.0--9.12: "void main ()"
| | | begin proper local variables
| | | | u1 : Record[Node; next:pointer(5)<Record[Node; next:pointer(5), value:int]>, value:int];
| | | | | linkedListDeletionFail.c 11.1--11.9: "Node u1;"
| | | | a : pointer(5)<Record[Node; next:pointer(5), value:int]>;
| | | | | linkedListDeletionFail.c 12.1--12.9: "Node *a;"
| | | end proper local variables;
| | | start location : 0;
| | | begin location 0
| | | | kind : ASSIGNMENT;
| | | | a = &u1; goto location 1;
| | | | | linkedListDeletionFail.c 14.1--14.9: "a = &u1;"
| | | end location 0;
| | | begin location 1
| | | | kind : DEALLOCATE;
| | | | Deallocate(a); goto location 2;
| | | | | linkedListDeletionFail.c 16.2--16.10: "free(a);"
| | | end location 1;
| | | begin location 2
| | | | kind : RETURN;
| | | | return null; goto location 3;
| | | | | linkedListDeletionFail.c 17.0--17.0: ""
| | | end location 2;
| | | begin location 3
| | | | kind : TERMINAL;
| | | end location 3;
| | end function main;
| end process 0;
end model linkedListDeletionFail.
