/* @generated */
digraph iCFG {
"get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_1" [label="1: Start return_struct::get_div0\nFormals: \nLocals:  x:return_struct::X 0$?%__sil_tmpSIL_materialize_temp__n$1:return_struct::X \n   DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 27]\n " color=yellow style=filled]
	

	 "get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_1" -> "get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_4" ;
"get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_2" [label="2: Exit return_struct::get_div0 \n  " color=yellow style=filled]
	

"get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_3" [label="3:  Return Stmt \n   n$0=*&x.f:int [line 29]\n  *&return:int=(1 / n$0) [line 29]\n " shape="box"]
	

	 "get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_3" -> "get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_2" ;
"get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_4" [label="4:  DeclStmt \n   _fun_return_struct::get(0:int,&0$?%__sil_tmpSIL_materialize_temp__n$1:return_struct::X*) [line 28]\n  _fun_return_struct::X_X(&x:return_struct::X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:return_struct::X&) [line 28]\n " shape="box"]
	

	 "get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_4" -> "get_div0#return_struct#_ZN13return_struct8get_div0Ev.49d745f7515712683de9845b5b1410c0_3" ;
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_1" [label="1: Start return_struct::get_field_div0\nFormals: \nLocals:  0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X 0$?%__sil_tmpSIL_materialize_temp__n$3:return_struct::X \n   DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0,&0$?%__sil_tmpSIL_materialize_temp__n$3); [line 32]\n " color=yellow style=filled]
	

	 "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_1" -> "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_4" ;
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_2" [label="2: Exit return_struct::get_field_div0 \n  " color=yellow style=filled]
	

"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_3" [label="3:  Return Stmt \n   _fun_return_struct::get(0:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X*) [line 34]\n  n$2=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 34]\n  *&return:int=(1 / n$2) [line 34]\n " shape="box"]
	

	 "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_3" -> "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_2" ;
"get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_4" [label="4:  Call _fun_return_struct::X_skip \n   _fun_return_struct::get(0:int,&0$?%__sil_tmpSIL_materialize_temp__n$3:return_struct::X*) [line 33]\n  _=*&0$?%__sil_tmpSIL_materialize_temp__n$3:return_struct::X [line 33]\n  n$6=_fun_return_struct::X_skip(&0$?%__sil_tmpSIL_materialize_temp__n$3:return_struct::X&) [line 33]\n " shape="box"]
	

	 "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_4" -> "get_field_div0#return_struct#_ZN13return_struct14get_field_div0Ev.3e3a208156f05a3e3c0573b6e033cefd_3" ;
"get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_1" [label="1: Start return_struct::get_method_div0\nFormals: \nLocals:  0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X \n   DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 37]\n " color=yellow style=filled]
	

	 "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_1" -> "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_3" ;
"get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_2" [label="2: Exit return_struct::get_method_div0 \n  " color=yellow style=filled]
	

"get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_3" [label="3:  Return Stmt \n   _fun_return_struct::get(0:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X*) [line 37]\n  _=*&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X [line 37]\n  n$3=_fun_return_struct::X_div(&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X&) [line 37]\n  *&return:int=n$3 [line 37]\n " shape="box"]
	

	 "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_3" -> "get_method_div0#return_struct#_ZN13return_struct15get_method_div0Ev.9e19eba9e31bf4250826cc33620f46d4_2" ;
"get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_1" [label="1: Start return_struct::get_div1\nFormals: \nLocals:  x:return_struct::X 0$?%__sil_tmpSIL_materialize_temp__n$1:return_struct::X \n   DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 39]\n " color=yellow style=filled]
	

	 "get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_1" -> "get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_4" ;
"get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_2" [label="2: Exit return_struct::get_div1 \n  " color=yellow style=filled]
	

"get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_3" [label="3:  Return Stmt \n   n$0=*&x.f:int [line 41]\n  *&return:int=(1 / n$0) [line 41]\n " shape="box"]
	

	 "get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_3" -> "get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_2" ;
"get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_4" [label="4:  DeclStmt \n   _fun_return_struct::get(1:int,&0$?%__sil_tmpSIL_materialize_temp__n$1:return_struct::X*) [line 40]\n  _fun_return_struct::X_X(&x:return_struct::X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:return_struct::X&) [line 40]\n " shape="box"]
	

	 "get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_4" -> "get_div1#return_struct#_ZN13return_struct8get_div1Ev.841a3e3da755df8e108e7944feef6993_3" ;
"get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_1" [label="1: Start return_struct::get_field_div1\nFormals: \nLocals:  0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X \n   DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 44]\n " color=yellow style=filled]
	

	 "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_1" -> "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_3" ;
"get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_2" [label="2: Exit return_struct::get_field_div1 \n  " color=yellow style=filled]
	

"get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_3" [label="3:  Return Stmt \n   _fun_return_struct::get(1:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X*) [line 44]\n  n$2=*&0$?%__sil_tmpSIL_materialize_temp__n$0.f:int [line 44]\n  *&return:int=(1 / n$2) [line 44]\n " shape="box"]
	

	 "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_3" -> "get_field_div1#return_struct#_ZN13return_struct14get_field_div1Ev.f2678fdc764d82e1f9db264de1ecbc66_2" ;
"get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_1" [label="1: Start return_struct::get_method_div1\nFormals: \nLocals:  0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X \n   DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 46]\n " color=yellow style=filled]
	

	 "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_1" -> "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_3" ;
"get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_2" [label="2: Exit return_struct::get_method_div1 \n  " color=yellow style=filled]
	

"get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_3" [label="3:  Return Stmt \n   _fun_return_struct::get(1:int,&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X*) [line 46]\n  _=*&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X [line 46]\n  n$3=_fun_return_struct::X_div(&0$?%__sil_tmpSIL_materialize_temp__n$0:return_struct::X&) [line 46]\n  *&return:int=n$3 [line 46]\n " shape="box"]
	

	 "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_3" -> "get_method_div1#return_struct#_ZN13return_struct15get_method_div1Ev.97edfe8ee4ac4717c8ca879f45e20c66_2" ;
"get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_1" [label="1: Start return_struct::get\nFormals:  a:int __return_param:return_struct::X*\nLocals:  x:return_struct::X \n   DECLARE_LOCALS(&return,&x); [line 21]\n " color=yellow style=filled]
	

	 "get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_1" -> "get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_5" ;
"get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_2" [label="2: Exit return_struct::get \n  " color=yellow style=filled]
	

"get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_3" [label="3:  Return Stmt \n   n$0=*&__return_param:return_struct::X* [line 24]\n  _fun_return_struct::X_X(n$0:return_struct::X*,&x:return_struct::X&) [line 24]\n " shape="box"]
	

	 "get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_3" -> "get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_2" ;
"get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_4" [label="4:  BinaryOperatorStmt: Assign \n   n$1=*&a:int [line 23]\n  *&x.f:int=n$1 [line 23]\n " shape="box"]
	

	 "get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_4" -> "get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_3" ;
"get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_5" [label="5:  DeclStmt \n   _fun_return_struct::X_X(&x:return_struct::X*) [line 22]\n " shape="box"]
	

	 "get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_5" -> "get#return_struct#_ZN13return_struct3getEi.e961969a9e4f82d38a973a981078eaee_4" ;
"X#X#return_struct#{_ZN13return_struct1XC1Ev}.7e34e19c9281e1efe73f8f3e72dc3c13_1" [label="1: Start return_struct::X_X\nFormals:  this:return_struct::X*\nLocals:  \n   DECLARE_LOCALS(&return); [line 16]\n " color=yellow style=filled]
	

	 "X#X#return_struct#{_ZN13return_struct1XC1Ev}.7e34e19c9281e1efe73f8f3e72dc3c13_1" -> "X#X#return_struct#{_ZN13return_struct1XC1Ev}.7e34e19c9281e1efe73f8f3e72dc3c13_3" ;
"X#X#return_struct#{_ZN13return_struct1XC1Ev}.7e34e19c9281e1efe73f8f3e72dc3c13_2" [label="2: Exit return_struct::X_X \n  " color=yellow style=filled]
	

"X#X#return_struct#{_ZN13return_struct1XC1Ev}.7e34e19c9281e1efe73f8f3e72dc3c13_3" [label="3:  BinaryOperatorStmt: Assign \n   n$0=*&this:return_struct::X* [line 16]\n  *n$0.f:int=1 [line 16]\n " shape="box"]
	

	 "X#X#return_struct#{_ZN13return_struct1XC1Ev}.7e34e19c9281e1efe73f8f3e72dc3c13_3" -> "X#X#return_struct#{_ZN13return_struct1XC1Ev}.7e34e19c9281e1efe73f8f3e72dc3c13_2" ;
"div#X#return_struct#(_ZN13return_struct1X3divEv).3b462e45075b7f3251ac015f1e6bb047_1" [label="1: Start return_struct::X_div\nFormals:  this:return_struct::X*\nLocals:  \n   DECLARE_LOCALS(&return); [line 17]\n " color=yellow style=filled]
	

	 "div#X#return_struct#(_ZN13return_struct1X3divEv).3b462e45075b7f3251ac015f1e6bb047_1" -> "div#X#return_struct#(_ZN13return_struct1X3divEv).3b462e45075b7f3251ac015f1e6bb047_3" ;
"div#X#return_struct#(_ZN13return_struct1X3divEv).3b462e45075b7f3251ac015f1e6bb047_2" [label="2: Exit return_struct::X_div \n  " color=yellow style=filled]
	

"div#X#return_struct#(_ZN13return_struct1X3divEv).3b462e45075b7f3251ac015f1e6bb047_3" [label="3:  Return Stmt \n   n$0=*&this:return_struct::X* [line 17]\n  n$1=*n$0.f:int [line 17]\n  *&return:int=(1 / n$1) [line 17]\n " shape="box"]
	

	 "div#X#return_struct#(_ZN13return_struct1X3divEv).3b462e45075b7f3251ac015f1e6bb047_3" -> "div#X#return_struct#(_ZN13return_struct1X3divEv).3b462e45075b7f3251ac015f1e6bb047_2" ;
"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_1" [label="1: Start return_struct::X_X\nFormals:  this:return_struct::X* x:return_struct::X const &\nLocals:  \n   DECLARE_LOCALS(&return); [line 15]\n " color=yellow style=filled]
	

	 "X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_1" -> "X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_3" ;
"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_2" [label="2: Exit return_struct::X_X \n  " color=yellow style=filled]
	

"X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_3" [label="3:  BinaryOperatorStmt: Assign \n   n$0=*&this:return_struct::X* [line 15]\n  n$1=*&x:return_struct::X const & [line 15]\n  n$2=*n$1.f:int [line 15]\n  *n$0.f:int=n$2 [line 15]\n " shape="box"]
	

	 "X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_3" -> "X#X#return_struct#{_ZN13return_struct1XC1ERKS0_}.ada5a829e644543d37b04423b7e20560_2" ;
}
