begin model simpleMPTypeBad
| begin input variables
| end input variables;
| begin output variables
| end output variables;
| begin process 0
| | main function : main;
| | begin function main
| | | | simpleMPBufferBad.c 1.0--1.11: "void main()"
| | | begin proper local variables
| | | | a : int[2];
| | | | | simpleMPBufferBad.c 2.1--2.10: "int a[2];"
| | | | b : int[1];
| | | | | simpleMPBufferBad.c 3.1--3.10: "int b[1];"
| | | end proper local variables;
| | | start location : 0;
| | | begin location 0
| | | | kind : ASSIGNMENT;
| | | | a[0] = 0; goto location 1;
| | | | | simpleMPBufferBad.c 5.1--5.10: "a[0] = 0;"
| | | end location 0;
| | | begin location 1
| | | | kind : ASSIGNMENT;
| | | | a[1] = 1; goto location 2;
| | | | | simpleMPBufferBad.c 6.1--6.10: "a[1] = 1;"
| | | end location 1;
| | | begin location 2
| | | | kind : CHOICE;
| | | | when 0==0 goto location 3;
| | | | | simpleMPBufferBad.c 7.1--7.14: "if (PID == 0)"
| | | | when !(0==0) goto location 4;
| | | | | simpleMPBufferBad.c 7.1--7.14: "if (PID == 0)"
| | | end location 2;
| | | begin location 3
| | | | kind : SEND;
| | | | send(a,1,0); goto location 5;
| | | | | simpleMPBufferBad.c 8.2--8.16: "send(a, 1, 0);"
| | | end location 3;
| | | begin location 4
| | | | kind : RECEIVE;
| | | | recv(b,0,0); goto location 5;
| | | | | simpleMPBufferBad.c 10.2--10.16: "recv(b, 0, 0);"
| | | end location 4;
| | | begin location 5
| | | | kind : RETURN;
| | | | return null; goto location 6;
| | | | | simpleMPBufferBad.c 12.0--12.0: "}"
| | | end location 5;
| | | begin location 6
| | | | kind : TERMINAL;
| | | end location 6;
| | end function main;
| end process 0;
| begin process 1
| | main function : main;
| | begin function main
| | | | simpleMPBufferBad.c 1.0--1.11: "void main()"
| | | begin proper local variables
| | | | a : int[2];
| | | | | simpleMPBufferBad.c 2.1--2.10: "int a[2];"
| | | | b : int[1];
| | | | | simpleMPBufferBad.c 3.1--3.10: "int b[1];"
| | | end proper local variables;
| | | start location : 0;
| | | begin location 0
| | | | kind : ASSIGNMENT;
| | | | a[0] = 0; goto location 1;
| | | | | simpleMPBufferBad.c 5.1--5.10: "a[0] = 0;"
| | | end location 0;
| | | begin location 1
| | | | kind : ASSIGNMENT;
| | | | a[1] = 1; goto location 2;
| | | | | simpleMPBufferBad.c 6.1--6.10: "a[1] = 1;"
| | | end location 1;
| | | begin location 2
| | | | kind : CHOICE;
| | | | when 1==0 goto location 3;
| | | | | simpleMPBufferBad.c 7.1--7.14: "if (PID == 0)"
| | | | when !(1==0) goto location 4;
| | | | | simpleMPBufferBad.c 7.1--7.14: "if (PID == 0)"
| | | end location 2;
| | | begin location 3
| | | | kind : SEND;
| | | | send(a,1,0); goto location 5;
| | | | | simpleMPBufferBad.c 8.2--8.16: "send(a, 1, 0);"
| | | end location 3;
| | | begin location 4
| | | | kind : RECEIVE;
| | | | recv(b,0,0); goto location 5;
| | | | | simpleMPBufferBad.c 10.2--10.16: "recv(b, 0, 0);"
| | | end location 4;
| | | begin location 5
| | | | kind : RETURN;
| | | | return null; goto location 6;
| | | | | simpleMPBufferBad.c 12.0--12.0: "}"
| | | end location 5;
| | | begin location 6
| | | | kind : TERMINAL;
| | | end location 6;
| | end function main;
| end process 1;
end model simpleMPTypeBad.
