You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
93 lines
6.6 KiB
93 lines
6.6 KiB
/* @generated */
|
|
digraph cfg {
|
|
"getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_1" [label="1: Start A.getMyStructField:my_struct:\nFormals: target:A* my_struct:my_struct\nLocals: 0$?%__sil_tmp__temp_return_n$4:my_struct \n " color=yellow style=filled]
|
|
|
|
|
|
"getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_1" -> "getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_5" ;
|
|
"getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_2" [label="2: Exit A.getMyStructField:my_struct: \n " color=yellow style=filled]
|
|
|
|
|
|
"getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_3" [label="3: Return Stmt \n n$2=*&target:A* [line 28, column 10]\n n$5=_fun_A.s(n$2:A*,&0$?%__sil_tmp__temp_return_n$4:my_struct*) assign_last [line 28, column 17]\n n$6=*&0$?%__sil_tmp__temp_return_n$4.x:int [line 28, column 10]\n " shape="box"]
|
|
|
|
|
|
"getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_3" -> "getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_4" ;
|
|
"getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_4" [label="4: Return Stmt \n *&return:int=n$6 [line 28, column 3]\n " shape="box"]
|
|
|
|
|
|
"getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_4" -> "getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_2" ;
|
|
"getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_5" [label="5: Message Call: setS: \n n$7=*&target:A* [line 27, column 3]\n n$8=_fun_A.setS:(n$7:A*,&my_struct:my_struct) [line 27, column 10]\n " shape="box"]
|
|
|
|
|
|
"getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_5" -> "getMyStructField:my_struct:#A(class A)#class.35da25720e80922866aa41dc70b313cb_3" ;
|
|
"addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_1" [label="1: Start A.addTarget:\nFormals: self:A* target:A*\nLocals: \n " color=yellow style=filled]
|
|
|
|
|
|
"addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_1" -> "addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_3" ;
|
|
"addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_2" [label="2: Exit A.addTarget: \n " color=yellow style=filled]
|
|
|
|
|
|
"addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_3" [label="3: Return Stmt \n n$0=*&target:A* [line 23, column 10]\n n$1=_fun_A.x(n$0:A*) [line 23, column 17]\n " shape="box"]
|
|
|
|
|
|
"addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_3" -> "addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_4" ;
|
|
"addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_4" [label="4: Return Stmt \n *&return:int=n$1 [line 23, column 3]\n " shape="box"]
|
|
|
|
|
|
"addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_4" -> "addTarget:#A(class A)#instance.ca26ddd02ac11fb266531b38b6edef27_2" ;
|
|
"dealloc#A#instance.55ac864e91dcd5d484e8ab7d8eb94fcb_1" [label="1: Start A.dealloc\nFormals: self:A*\nLocals: \n " color=yellow style=filled]
|
|
|
|
|
|
"dealloc#A#instance.55ac864e91dcd5d484e8ab7d8eb94fcb_1" -> "dealloc#A#instance.55ac864e91dcd5d484e8ab7d8eb94fcb_3" ;
|
|
"dealloc#A#instance.55ac864e91dcd5d484e8ab7d8eb94fcb_2" [label="2: Exit A.dealloc \n " color=yellow style=filled]
|
|
|
|
|
|
"dealloc#A#instance.55ac864e91dcd5d484e8ab7d8eb94fcb_3" [label="3: Call dealloc \n " shape="box"]
|
|
|
|
|
|
"dealloc#A#instance.55ac864e91dcd5d484e8ab7d8eb94fcb_3" -> "dealloc#A#instance.55ac864e91dcd5d484e8ab7d8eb94fcb_2" ;
|
|
"s#A(struct my_struct)#instance.8b615eca1cde58c02b016bbbf517c211_1" [label="1: Start A.s\nFormals: self:A* __return_param:my_struct*\nLocals: \n " color=yellow style=filled]
|
|
|
|
|
|
"s#A(struct my_struct)#instance.8b615eca1cde58c02b016bbbf517c211_1" -> "s#A(struct my_struct)#instance.8b615eca1cde58c02b016bbbf517c211_3" ;
|
|
"s#A(struct my_struct)#instance.8b615eca1cde58c02b016bbbf517c211_2" [label="2: Exit A.s \n " color=yellow style=filled]
|
|
|
|
|
|
"s#A(struct my_struct)#instance.8b615eca1cde58c02b016bbbf517c211_3" [label="3: BinaryOperatorStmt: Node \n n$0=*&self:A* [line 17, column 50]\n n$1=*&__return_param:my_struct [line 17, column 50]\n n$2=*n$0._s.x:int [line 17, column 50]\n *n$1.x:int=n$2 [line 17, column 50]\n n$3=*n$0._s.y:int [line 17, column 50]\n *n$1.y:int=n$3 [line 17, column 50]\n " shape="box"]
|
|
|
|
|
|
"s#A(struct my_struct)#instance.8b615eca1cde58c02b016bbbf517c211_3" -> "s#A(struct my_struct)#instance.8b615eca1cde58c02b016bbbf517c211_2" ;
|
|
"setS:#A#instance.190e00a9f8a69bd26b1a4e2b795d840c_1" [label="1: Start A.setS:\nFormals: self:A* s:my_struct\nLocals: \n " color=yellow style=filled]
|
|
|
|
|
|
"setS:#A#instance.190e00a9f8a69bd26b1a4e2b795d840c_1" -> "setS:#A#instance.190e00a9f8a69bd26b1a4e2b795d840c_3" ;
|
|
"setS:#A#instance.190e00a9f8a69bd26b1a4e2b795d840c_2" [label="2: Exit A.setS: \n " color=yellow style=filled]
|
|
|
|
|
|
"setS:#A#instance.190e00a9f8a69bd26b1a4e2b795d840c_3" [label="3: BinaryOperatorStmt: Node \n n$0=*&self:A* [line 17, column 50]\n n$1=*&s.x:int [line 17, column 50]\n *n$0._s.x:int=n$1 [line 17, column 50]\n n$2=*&s.y:int [line 17, column 50]\n *n$0._s.y:int=n$2 [line 17, column 50]\n " shape="box"]
|
|
|
|
|
|
"setS:#A#instance.190e00a9f8a69bd26b1a4e2b795d840c_3" -> "setS:#A#instance.190e00a9f8a69bd26b1a4e2b795d840c_2" ;
|
|
"setX:#A#instance.00c5402542b9aade8ca8191be56dcd87_1" [label="1: Start A.setX:\nFormals: self:A* x:int\nLocals: \n " color=yellow style=filled]
|
|
|
|
|
|
"setX:#A#instance.00c5402542b9aade8ca8191be56dcd87_1" -> "setX:#A#instance.00c5402542b9aade8ca8191be56dcd87_3" ;
|
|
"setX:#A#instance.00c5402542b9aade8ca8191be56dcd87_2" [label="2: Exit A.setX: \n " color=yellow style=filled]
|
|
|
|
|
|
"setX:#A#instance.00c5402542b9aade8ca8191be56dcd87_3" [label="3: BinaryOperatorStmt: Node \n n$0=*&self:A* [line 16, column 15]\n n$1=*&x:int [line 16, column 15]\n *n$0._x:int=n$1 [line 16, column 15]\n " shape="box"]
|
|
|
|
|
|
"setX:#A#instance.00c5402542b9aade8ca8191be56dcd87_3" -> "setX:#A#instance.00c5402542b9aade8ca8191be56dcd87_2" ;
|
|
"x#A#instance.37ea1b3cd5342ae67c7383da2227f91f_1" [label="1: Start A.x\nFormals: self:A*\nLocals: \n " color=yellow style=filled]
|
|
|
|
|
|
"x#A#instance.37ea1b3cd5342ae67c7383da2227f91f_1" -> "x#A#instance.37ea1b3cd5342ae67c7383da2227f91f_3" ;
|
|
"x#A#instance.37ea1b3cd5342ae67c7383da2227f91f_2" [label="2: Exit A.x \n " color=yellow style=filled]
|
|
|
|
|
|
"x#A#instance.37ea1b3cd5342ae67c7383da2227f91f_3" [label="3: BinaryOperatorStmt: Node \n n$0=*&self:A* [line 16, column 15]\n n$1=*n$0._x:int [line 16, column 15]\n *&return:int=n$1 [line 16, column 15]\n " shape="box"]
|
|
|
|
|
|
"x#A#instance.37ea1b3cd5342ae67c7383da2227f91f_3" -> "x#A#instance.37ea1b3cd5342ae67c7383da2227f91f_2" ;
|
|
}
|