/* @generated */
digraph iCFG {
"test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_1" [label="1: Start test\nFormals: \nLocals:  t:int* \n   DECLARE_LOCALS(&return,&t); [line 23]\n " color=yellow style=filled]
	

	 "test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_1" -> "test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_4" ;
"test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_2" [label="2: Exit test \n  " color=yellow style=filled]
	

"test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_3" [label="3:  Call _fun_destroy<int_*> \n   n$0=_fun_destroy<int_*>(&t:int**) [line 25]\n " shape="box"]
	

	 "test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_3" -> "test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_2" ;
"test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_4" [label="4:  DeclStmt \n   *&t:int*=null [line 24]\n " shape="box"]
	

	 "test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_4" -> "test#_Z4testv.1b928d988491fdd2fa78fcb048d46e8c_3" ;
"f#_Z1fPi.68b890a55284e07215767c24d138f8a5_1" [label="1: Start f\nFormals:  p:int*\nLocals:  x:int \n   DECLARE_LOCALS(&return,&x); [line 11]\n " color=yellow style=filled]
	

	 "f#_Z1fPi.68b890a55284e07215767c24d138f8a5_1" -> "f#_Z1fPi.68b890a55284e07215767c24d138f8a5_5" ;
"f#_Z1fPi.68b890a55284e07215767c24d138f8a5_2" [label="2: Exit f \n  " color=yellow style=filled]
	

"f#_Z1fPi.68b890a55284e07215767c24d138f8a5_3" [label="3:  Return Stmt \n   n$0=*&x:int [line 14]\n  *&return:int=n$0 [line 14]\n " shape="box"]
	

	 "f#_Z1fPi.68b890a55284e07215767c24d138f8a5_3" -> "f#_Z1fPi.68b890a55284e07215767c24d138f8a5_2" ;
"f#_Z1fPi.68b890a55284e07215767c24d138f8a5_4" [label="4:  Call _fun___infer_skip_function \n   _fun___infer_skip_function() [line 13]\n " shape="box"]
	

	 "f#_Z1fPi.68b890a55284e07215767c24d138f8a5_4" -> "f#_Z1fPi.68b890a55284e07215767c24d138f8a5_3" ;
"f#_Z1fPi.68b890a55284e07215767c24d138f8a5_5" [label="5:  DeclStmt \n   n$1=*&p:int* [line 12]\n  n$2=*n$1:int [line 12]\n  *&x:int=n$2 [line 12]\n " shape="box"]
	

	 "f#_Z1fPi.68b890a55284e07215767c24d138f8a5_5" -> "f#_Z1fPi.68b890a55284e07215767c24d138f8a5_4" ;
"destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_1" [label="1: Start destroy<int_*>\nFormals:  ptr:int**\nLocals:  \n   DECLARE_LOCALS(&return); [line 18]\n " color=yellow style=filled]
	

	 "destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_1" -> "destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_4" ;
"destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_2" [label="2: Exit destroy<int_*> \n  " color=yellow style=filled]
	

"destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_3" [label="3:  Return Stmt \n   *&return:int=0 [line 20]\n " shape="box"]
	

	 "destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_3" -> "destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_2" ;
"destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_4" [label="4:  Call _fun___infer_skip_function \n   _fun___infer_skip_function() [line 19]\n " shape="box"]
	

	 "destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_4" -> "destroy<int_*>#_Z7destroyIPiEiPT_.6af36fac87291b49977dcc6d71b1beaa_3" ;
}
