/* @generated */
digraph iCFG {
"NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_1" [label="1: Start NonnullAtrributeTest\nFormals:  callback:_fn_(*)\nLocals: \nAnnotation: <> NonnullAtrributeTest(<_Nonnull>) \n   DECLARE_LOCALS(&return); [line 46]\n " color=yellow style=filled]
	

	 "NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_1" -> "NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_3" ;
"NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_2" [label="2: Exit NonnullAtrributeTest \n  " color=yellow style=filled]
	

"NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_3" [label="3:  Call n$0 \n   n$0=*&callback:_fn_(*) [line 47]\n  n$0(null:NSError*,null:objc_object*) [line 47]\n " shape="box"]
	

	 "NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_3" -> "NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_2" ;
"getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_1" [label="1: Start NonnullA_getA\nFormals:  self:NonnullA*\nLocals:  \n   DECLARE_LOCALS(&return); [line 25]\n " color=yellow style=filled]
	

	 "getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_1" -> "getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_3" ;
"getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_2" [label="2: Exit NonnullA_getA \n  " color=yellow style=filled]
	

"getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_3" [label="3:  Return Stmt \n   n$0=_fun___objc_alloc_no_fail(sizeof(t=NonnullA):unsigned long) [line 26]\n  n$1=_fun_NSObject_init(n$0:NonnullA*) virtual [line 26]\n  *&return:NonnullA*=n$1 [line 26]\n  n$2=_fun___set_autorelease_attribute(n$1:NonnullA*) [line 26]\n " shape="box"]
	

	 "getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_3" -> "getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_2" ;
"initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_1" [label="1: Start NonnullC_initWithCoder:and:\nFormals:  self:NonnullC* aDecoder:NSString* a:NonnullA*\nLocals:  y:int a1:NonnullA*\nAnnotation: <> NonnullC_initWithCoder:and:(<> <> <_Nonnull>) \n   DECLARE_LOCALS(&return,&y,&a1); [line 38]\n " color=yellow style=filled]
	

	 "initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_1" -> "initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_5" ;
"initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_2" [label="2: Exit NonnullC_initWithCoder:and: \n  " color=yellow style=filled]
	

"initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_3" [label="3:  Return Stmt \n   n$0=*&self:NonnullC* [line 41]\n  *&return:objc_object*=n$0 [line 41]\n " shape="box"]
	

	 "initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_3" -> "initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_2" ;
"initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_4" [label="4:  DeclStmt \n   n$1=*&a1:NonnullA* [line 40]\n  n$2=*n$1.x:int [line 40]\n  *&y:int=n$2 [line 40]\n " shape="box"]
	

	 "initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_4" -> "initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_3" ;
"initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_5" [label="5:  DeclStmt \n   n$3=*&a:NonnullA* [line 39]\n  n$4=_fun_NonnullA_getA(n$3:NonnullA*) virtual [line 39]\n  _fun___objc_retain(n$4:NonnullA*) [line 39]\n  *&a1:NonnullA*=n$4 [line 39]\n " shape="box"]
	

	 "initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_5" -> "initWithCoder:and:#NonnullC#instance.0360cbf0c434f47ea58689c925d7c008_4" ;
}
