@ -1,16 +1,5 @@
/* @generated */
digraph iCFG {
"conversion_operator::X_operator_bool().00e540367bff1fbadaa13ac2454e80d7_3" [label="3: Return Stmt \n n$0=*&this:class conversion_operator::X * [line 14]\n n$1=*n$0.b_:_Bool [line 14]\n *&return:_Bool =n$1 [line 14]\n " shape="box"]
"conversion_operator::X_operator_bool().00e540367bff1fbadaa13ac2454e80d7_3" -> "conversion_operator::X_operator_bool().00e540367bff1fbadaa13ac2454e80d7_2" ;
"conversion_operator::X_operator_bool().00e540367bff1fbadaa13ac2454e80d7_2" [label="2: Exit conversion_operator::X_operator_bool \n " color=yellow style=filled]
"conversion_operator::X_operator_bool().00e540367bff1fbadaa13ac2454e80d7_1" [label="1: Start conversion_operator::X_operator_bool\nFormals: this:class conversion_operator::X *\nLocals: \n DECLARE_LOCALS(&return); [line 14]\n " color=yellow style=filled]
"conversion_operator::X_operator_bool().00e540367bff1fbadaa13ac2454e80d7_1" -> "conversion_operator::X_operator_bool().00e540367bff1fbadaa13ac2454e80d7_3" ;
"conversion_operator::branch_div1{d41d8cd98f00b204e9800998ecf8427e_ZN19conversion_operator11branch_di.49bb4aa865fa63a218f0c61093e085ce_10" [label="10: DeclStmt \n _fun_conversion_operator::X_X(&x:class conversion_operator::X *,1:int ,1:_Bool ) [line 64]\n " shape="box"]
@ -51,17 +40,6 @@ digraph iCFG {
"conversion_operator::branch_div1{d41d8cd98f00b204e9800998ecf8427e_ZN19conversion_operator11branch_di.49bb4aa865fa63a218f0c61093e085ce_1" -> "conversion_operator::branch_div1{d41d8cd98f00b204e9800998ecf8427e_ZN19conversion_operator11branch_di.49bb4aa865fa63a218f0c61093e085ce_10" ;
"conversion_operator::Y_operator_X().40149ec18131e01f9ee1290714a1eb8a_3" [label="3: Return Stmt \n n$0=*&__return_param:class conversion_operator::X * [line 29]\n n$2=*&this:class conversion_operator::Y * [line 29]\n n$3=*n$2.f:int [line 29]\n n$4=*&this:class conversion_operator::Y * [line 29]\n n$5=*n$4.b:int [line 29]\n _fun_conversion_operator::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$1:class conversion_operator::X *,n$3:int ,n$5:_Bool ) [line 29]\n _fun_conversion_operator::X_X(n$0:class conversion_operator::X *,&0$?%__sil_tmpSIL_materialize_temp__n$1:class conversion_operator::X &) [line 29]\n " shape="box"]
"conversion_operator::Y_operator_X().40149ec18131e01f9ee1290714a1eb8a_3" -> "conversion_operator::Y_operator_X().40149ec18131e01f9ee1290714a1eb8a_2" ;
"conversion_operator::Y_operator_X().40149ec18131e01f9ee1290714a1eb8a_2" [label="2: Exit conversion_operator::Y_operator_X \n " color=yellow style=filled]
"conversion_operator::Y_operator_X().40149ec18131e01f9ee1290714a1eb8a_1" [label="1: Start conversion_operator::Y_operator_X\nFormals: this:class conversion_operator::Y * __return_param:class conversion_operator::X *\nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$1:class conversion_operator::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 29]\n " color=yellow style=filled]
"conversion_operator::Y_operator_X().40149ec18131e01f9ee1290714a1eb8a_1" -> "conversion_operator::Y_operator_X().40149ec18131e01f9ee1290714a1eb8a_3" ;
"conversion_operator::X_X{_ZN19conversion_operator1XC1Eib}.aec165e5824e20faf9037780940ace67_4" [label="4: BinaryOperatorStmt: Assign \n n$2=*&this:class conversion_operator::X * [line 18]\n n$3=*&f:int [line 18]\n *n$2.f_:int =n$3 [line 18]\n " shape="box"]
@ -84,17 +62,6 @@ digraph iCFG {
"conversion_operator::Y_Y{_ZN19conversion_operator1YC1Ev}.1f3cad4203d46e6505f777a349285227_1" -> "conversion_operator::Y_Y{_ZN19conversion_operator1YC1Ev}.1f3cad4203d46e6505f777a349285227_2" ;
"conversion_operator::X_operator_int().f7081daa0c82e83b0049729091530a89_3" [label="3: Return Stmt \n n$0=*&this:class conversion_operator::X * [line 13]\n n$1=*n$0.f_:int [line 13]\n *&return:int =n$1 [line 13]\n " shape="box"]
"conversion_operator::X_operator_int().f7081daa0c82e83b0049729091530a89_3" -> "conversion_operator::X_operator_int().f7081daa0c82e83b0049729091530a89_2" ;
"conversion_operator::X_operator_int().f7081daa0c82e83b0049729091530a89_2" [label="2: Exit conversion_operator::X_operator_int \n " color=yellow style=filled]
"conversion_operator::X_operator_int().f7081daa0c82e83b0049729091530a89_1" [label="1: Start conversion_operator::X_operator_int\nFormals: this:class conversion_operator::X *\nLocals: \n DECLARE_LOCALS(&return); [line 13]\n " color=yellow style=filled]
"conversion_operator::X_operator_int().f7081daa0c82e83b0049729091530a89_1" -> "conversion_operator::X_operator_int().f7081daa0c82e83b0049729091530a89_3" ;
"conversion_operator::X_X{_ZN19conversion_operator1XC1ERKS0_}.fe390674b98626da24bd8250d67e0242_4" [label="4: BinaryOperatorStmt: Assign \n n$3=*&this:class conversion_operator::X * [line 22]\n n$4=*&x:class conversion_operator::X & [line 22]\n n$5=*n$4.f_:int [line 22]\n *n$3.f_:int =n$5 [line 22]\n " shape="box"]
@ -150,6 +117,28 @@ digraph iCFG {
"conversion_operator::branch_div0{d41d8cd98f00b204e9800998ecf8427e_ZN19conversion_operator11branch_di.aa14f8ff40589026a7de7bcf7f056961_1" -> "conversion_operator::branch_div0{d41d8cd98f00b204e9800998ecf8427e_ZN19conversion_operator11branch_di.aa14f8ff40589026a7de7bcf7f056961_10" ;
"conversion_operator::Y_operator_X(_ZN19conversion_operator1YcvNS_1XEEv).7fbfbd377b227fbeead158d94909d990_3" [label="3: Return Stmt \n n$0=*&__return_param:class conversion_operator::X * [line 29]\n n$2=*&this:class conversion_operator::Y * [line 29]\n n$3=*n$2.f:int [line 29]\n n$4=*&this:class conversion_operator::Y * [line 29]\n n$5=*n$4.b:int [line 29]\n _fun_conversion_operator::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$1:class conversion_operator::X *,n$3:int ,n$5:_Bool ) [line 29]\n _fun_conversion_operator::X_X(n$0:class conversion_operator::X *,&0$?%__sil_tmpSIL_materialize_temp__n$1:class conversion_operator::X &) [line 29]\n " shape="box"]
"conversion_operator::Y_operator_X(_ZN19conversion_operator1YcvNS_1XEEv).7fbfbd377b227fbeead158d94909d990_3" -> "conversion_operator::Y_operator_X(_ZN19conversion_operator1YcvNS_1XEEv).7fbfbd377b227fbeead158d94909d990_2" ;
"conversion_operator::Y_operator_X(_ZN19conversion_operator1YcvNS_1XEEv).7fbfbd377b227fbeead158d94909d990_2" [label="2: Exit conversion_operator::Y_operator_X \n " color=yellow style=filled]
"conversion_operator::Y_operator_X(_ZN19conversion_operator1YcvNS_1XEEv).7fbfbd377b227fbeead158d94909d990_1" [label="1: Start conversion_operator::Y_operator_X\nFormals: this:class conversion_operator::Y * __return_param:class conversion_operator::X *\nLocals: 0$?%__sil_tmpSIL_materialize_temp__n$1:class conversion_operator::X \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 29]\n " color=yellow style=filled]
"conversion_operator::Y_operator_X(_ZN19conversion_operator1YcvNS_1XEEv).7fbfbd377b227fbeead158d94909d990_1" -> "conversion_operator::Y_operator_X(_ZN19conversion_operator1YcvNS_1XEEv).7fbfbd377b227fbeead158d94909d990_3" ;
"conversion_operator::X_operator_int(_ZN19conversion_operator1XcviEv).5fd445c29c23d75d880cde3646c3c635_3" [label="3: Return Stmt \n n$0=*&this:class conversion_operator::X * [line 13]\n n$1=*n$0.f_:int [line 13]\n *&return:int =n$1 [line 13]\n " shape="box"]
"conversion_operator::X_operator_int(_ZN19conversion_operator1XcviEv).5fd445c29c23d75d880cde3646c3c635_3" -> "conversion_operator::X_operator_int(_ZN19conversion_operator1XcviEv).5fd445c29c23d75d880cde3646c3c635_2" ;
"conversion_operator::X_operator_int(_ZN19conversion_operator1XcviEv).5fd445c29c23d75d880cde3646c3c635_2" [label="2: Exit conversion_operator::X_operator_int \n " color=yellow style=filled]
"conversion_operator::X_operator_int(_ZN19conversion_operator1XcviEv).5fd445c29c23d75d880cde3646c3c635_1" [label="1: Start conversion_operator::X_operator_int\nFormals: this:class conversion_operator::X *\nLocals: \n DECLARE_LOCALS(&return); [line 13]\n " color=yellow style=filled]
"conversion_operator::X_operator_int(_ZN19conversion_operator1XcviEv).5fd445c29c23d75d880cde3646c3c635_1" -> "conversion_operator::X_operator_int(_ZN19conversion_operator1XcviEv).5fd445c29c23d75d880cde3646c3c635_3" ;
"conversion_operator::y_branch_div0{d41d8cd98f00b204e9800998ecf8427e_ZN19conversion_operator13y_branc.7a76ee17fb27e50abb4de1e42987b12a_12" [label="12: DeclStmt \n _fun_conversion_operator::Y_Y(&y:class conversion_operator::Y *) [line 44]\n " shape="box"]
@ -198,6 +187,17 @@ digraph iCFG {
"conversion_operator::y_branch_div0{d41d8cd98f00b204e9800998ecf8427e_ZN19conversion_operator13y_branc.7a76ee17fb27e50abb4de1e42987b12a_1" -> "conversion_operator::y_branch_div0{d41d8cd98f00b204e9800998ecf8427e_ZN19conversion_operator13y_branc.7a76ee17fb27e50abb4de1e42987b12a_12" ;
"conversion_operator::X_operator_bool(_ZN19conversion_operator1XcvbEv).07ddb8d49a563ab5f06ea9514f6d1fc2_3" [label="3: Return Stmt \n n$0=*&this:class conversion_operator::X * [line 14]\n n$1=*n$0.b_:_Bool [line 14]\n *&return:_Bool =n$1 [line 14]\n " shape="box"]
"conversion_operator::X_operator_bool(_ZN19conversion_operator1XcvbEv).07ddb8d49a563ab5f06ea9514f6d1fc2_3" -> "conversion_operator::X_operator_bool(_ZN19conversion_operator1XcvbEv).07ddb8d49a563ab5f06ea9514f6d1fc2_2" ;
"conversion_operator::X_operator_bool(_ZN19conversion_operator1XcvbEv).07ddb8d49a563ab5f06ea9514f6d1fc2_2" [label="2: Exit conversion_operator::X_operator_bool \n " color=yellow style=filled]
"conversion_operator::X_operator_bool(_ZN19conversion_operator1XcvbEv).07ddb8d49a563ab5f06ea9514f6d1fc2_1" [label="1: Start conversion_operator::X_operator_bool\nFormals: this:class conversion_operator::X *\nLocals: \n DECLARE_LOCALS(&return); [line 14]\n " color=yellow style=filled]
"conversion_operator::X_operator_bool(_ZN19conversion_operator1XcvbEv).07ddb8d49a563ab5f06ea9514f6d1fc2_1" -> "conversion_operator::X_operator_bool(_ZN19conversion_operator1XcvbEv).07ddb8d49a563ab5f06ea9514f6d1fc2_3" ;
"conversion_operator::branch_no_div{d41d8cd98f00b204e9800998ecf8427e_ZN19conversion_operator13branch_.3ae06ed300032a64309733e89d1480e2_10" [label="10: DeclStmt \n _fun_conversion_operator::X_X(&x:class conversion_operator::X *,0:int ,0:_Bool ) [line 55]\n " shape="box"]