/* @generated */
digraph iCFG {
8 [label="8:  DeclStmt \n   n$5=_fun___objc_alloc_no_fail(sizeof(class C ):unsigned long ) [line 22]\n  *&c1:class C *=n$5 [line 22]\n " shape="box"]
	

	 8 -> 7 ;
7 [label="7:  DeclStmt \n   n$4=_fun___objc_alloc_no_fail(sizeof(class C ):unsigned long ) [line 23]\n  *&c2:class C *=n$4 [line 23]\n " shape="box"]
	

	 7 -> 6 ;
6 [label="6:  DeclStmt \n   n$2=*&c1:class C * [line 24]\n  n$3=_fun_NSObject_init(n$2:class C *) virtual [line 24]\n  n$1=*&c1:class C * [line 24]\n  n$0=*&c2:class C * [line 24]\n  *&a[0]:class C *=n$3 [line 24]\n  *&a[1]:class C *=n$1 [line 24]\n  *&a[2]:class C *=n$0 [line 24]\n " shape="box"]
	

	 6 -> 5 ;
5 [label="5: Exit test \n  " color=yellow style=filled]
	

4 [label="4: Start test\nFormals: \nLocals:  a:class C *[3] c2:class C * c1:class C * \n   DECLARE_LOCALS(&return,&a,&c2,&c1); [line 21]\n " color=yellow style=filled]
	

	 4 -> 8 ;
3 [label="3:  DeclStmt \n   n$0=*&z:int  [line 14]\n  *&a[0][0]:int =(n$0 + 1) [line 14]\n  *&a[0][1]:int =2 [line 14]\n  *&a[0][2]:int =3 [line 14]\n  *&a[1][0]:int =5 [line 14]\n  *&a[1][1]:int =6 [line 14]\n  *&a[1][2]:int =7 [line 14]\n " shape="box"]
	

	 3 -> 2 ;
2 [label="2: Exit main \n  " color=yellow style=filled]
	

1 [label="1: Start main\nFormals: \nLocals:  a:int [2][3] z:int  \n   DECLARE_LOCALS(&return,&a,&z); [line 12]\n " color=yellow style=filled]
	

	 1 -> 3 ;
}
