/* @generated */
digraph iCFG {
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_1" [label="1: Start div0_init_expr\nFormals: \nLocals:  a:int const & 0$?%__sil_tmpSIL_materialize_temp__n$2:int \n   DECLARE_LOCALS(&return,&a,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 12]\n " color=yellow style=filled]
	

	 "div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_1" -> "div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_4" ;
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_2" [label="2: Exit div0_init_expr \n  " color=yellow style=filled]
	

"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_3" [label="3:  Return Stmt \n   n$0=*&a:int const & [line 14]\n  n$1=_fun_div(n$0:int const &) [line 14]\n  *&return:int=n$1 [line 14]\n " shape="box"]
	

	 "div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_3" -> "div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_2" ;
"div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_4" [label="4:  DeclStmt \n   *&0$?%__sil_tmpSIL_materialize_temp__n$2:int=0 [line 13]\n  *&a:int&=&0$?%__sil_tmpSIL_materialize_temp__n$2 [line 13]\n " shape="box"]
	

	 "div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_4" -> "div0_init_expr#_Z14div0_init_exprv.f02884e3d864f79f1dffe6e22020bca4_3" ;
"div0_function_param_cast#_Z24div0_function_param_castv.538bb8a2f1ebb9f7377ad95e96a98ab3_1" [label="1: Start div0_function_param_cast\nFormals: \nLocals:  0$?%__sil_tmpSIL_materialize_temp__n$0:int \n   DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 17]\n " color=yellow style=filled]
	

	 "div0_function_param_cast#_Z24div0_function_param_castv.538bb8a2f1ebb9f7377ad95e96a98ab3_1" -> "div0_function_param_cast#_Z24div0_function_param_castv.538bb8a2f1ebb9f7377ad95e96a98ab3_3" ;
"div0_function_param_cast#_Z24div0_function_param_castv.538bb8a2f1ebb9f7377ad95e96a98ab3_2" [label="2: Exit div0_function_param_cast \n  " color=yellow style=filled]
	

"div0_function_param_cast#_Z24div0_function_param_castv.538bb8a2f1ebb9f7377ad95e96a98ab3_3" [label="3:  Return Stmt \n   *&0$?%__sil_tmpSIL_materialize_temp__n$0:int=0 [line 17]\n  n$1=_fun_div(&0$?%__sil_tmpSIL_materialize_temp__n$0:int&) [line 17]\n  *&return:int=n$1 [line 17]\n " shape="box"]
	

	 "div0_function_param_cast#_Z24div0_function_param_castv.538bb8a2f1ebb9f7377ad95e96a98ab3_3" -> "div0_function_param_cast#_Z24div0_function_param_castv.538bb8a2f1ebb9f7377ad95e96a98ab3_2" ;
"div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_1" [label="1: Start div0_no_const_ref\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 20]\n " color=yellow style=filled]
	

	 "div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_1" -> "div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_4" ;
"div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_2" [label="2: Exit div0_no_const_ref \n  " color=yellow style=filled]
	

"div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_3" [label="3:  Return Stmt \n   n$0=_fun_div(&a:int&) [line 22]\n  *&return:int=n$0 [line 22]\n " shape="box"]
	

	 "div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_3" -> "div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_2" ;
"div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_4" [label="4:  DeclStmt \n   *&a:int=0 [line 21]\n " shape="box"]
	

	 "div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_4" -> "div0_no_const_ref#_Z17div0_no_const_refv.94b3f1810be763a76ad9d340476db03b_3" ;
"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_1" [label="1: Start div\nFormals:  v:int const &\nLocals:  \n   DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
	

	 "div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_1" -> "div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_3" ;
"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_2" [label="2: Exit div \n  " color=yellow style=filled]
	

"div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_3" [label="3:  Return Stmt \n   n$0=*&v:int const & [line 10]\n  n$1=*n$0:int [line 10]\n  *&return:int=(1 / n$1) [line 10]\n " shape="box"]
	

	 "div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_3" -> "div#_Z3divRKi.fa811012e173ad886b0a43872b005b64_2" ;
}
