/* @generated */
digraph iCFG {
"is_trivial_example#_Z18is_trivial_examplev.6f744bdb63cd2370b6eec1fe9993c62a_1" [label="1: Start is_trivial_example\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
	

	 "is_trivial_example#_Z18is_trivial_examplev.6f744bdb63cd2370b6eec1fe9993c62a_1" -> "is_trivial_example#_Z18is_trivial_examplev.6f744bdb63cd2370b6eec1fe9993c62a_3" ;
"is_trivial_example#_Z18is_trivial_examplev.6f744bdb63cd2370b6eec1fe9993c62a_2" [label="2: Exit is_trivial_example \n  " color=yellow style=filled]
	

"is_trivial_example#_Z18is_trivial_examplev.6f744bdb63cd2370b6eec1fe9993c62a_3" [label="3:  Return Stmt \n   *&return:int=1 [line 10]\n " shape="box"]
	

	 "is_trivial_example#_Z18is_trivial_examplev.6f744bdb63cd2370b6eec1fe9993c62a_3" -> "is_trivial_example#_Z18is_trivial_examplev.6f744bdb63cd2370b6eec1fe9993c62a_2" ;
"is_pointer_example#_Z18is_pointer_examplev.b4543536ae99de0134a483f6771227a0_1" [label="1: Start is_pointer_example\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
	

	 "is_pointer_example#_Z18is_pointer_examplev.b4543536ae99de0134a483f6771227a0_1" -> "is_pointer_example#_Z18is_pointer_examplev.b4543536ae99de0134a483f6771227a0_3" ;
"is_pointer_example#_Z18is_pointer_examplev.b4543536ae99de0134a483f6771227a0_2" [label="2: Exit is_pointer_example \n  " color=yellow style=filled]
	

"is_pointer_example#_Z18is_pointer_examplev.b4543536ae99de0134a483f6771227a0_3" [label="3:  Return Stmt \n   *&return:int=0 [line 12]\n " shape="box"]
	

	 "is_pointer_example#_Z18is_pointer_examplev.b4543536ae99de0134a483f6771227a0_3" -> "is_pointer_example#_Z18is_pointer_examplev.b4543536ae99de0134a483f6771227a0_2" ;
}
