/* @generated */
digraph iCFG {
"BlockMain.116013dceff9629776ec833c9d43561d_1" [label="1: Start BlockMain\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 46]\n " color=yellow style=filled]
	

	 "BlockMain.116013dceff9629776ec833c9d43561d_1" -> "BlockMain.116013dceff9629776ec833c9d43561d_3" ;
"BlockMain.116013dceff9629776ec833c9d43561d_2" [label="2: Exit BlockMain \n  " color=yellow style=filled]
	

"BlockMain.116013dceff9629776ec833c9d43561d_3" [label="3:  Return Stmt \n   n$0=_fun_main1(4:int) [line 46]\n  *&return:int=n$0 [line 46]\n " shape="box"]
	

	 "BlockMain.116013dceff9629776ec833c9d43561d_3" -> "BlockMain.116013dceff9629776ec833c9d43561d_2" ;
"__objc_anonymous_block_main1______1.1ad2c5f7d31875243a1bd27c2e3ec82e_1" [label="1: Start __objc_anonymous_block_main1______1\nFormals:  e:int f:int\nLocals:  \n   DECLARE_LOCALS(&return); [line 34]\n " color=yellow style=filled]
	

	 "__objc_anonymous_block_main1______1.1ad2c5f7d31875243a1bd27c2e3ec82e_1" -> "__objc_anonymous_block_main1______1.1ad2c5f7d31875243a1bd27c2e3ec82e_3" ;
"__objc_anonymous_block_main1______1.1ad2c5f7d31875243a1bd27c2e3ec82e_2" [label="2: Exit __objc_anonymous_block_main1______1 \n  " color=yellow style=filled]
	

"__objc_anonymous_block_main1______1.1ad2c5f7d31875243a1bd27c2e3ec82e_3" [label="3:  Return Stmt \n   n$5=*&e:int [line 35]\n  n$6=*&#GB<codetoanalyze/objc/shared/block/block.m>$main1_s:int [line 35]\n  *&return:int=(n$5 - n$6) [line 35]\n " shape="box"]
	

	 "__objc_anonymous_block_main1______1.1ad2c5f7d31875243a1bd27c2e3ec82e_3" -> "__objc_anonymous_block_main1______1.1ad2c5f7d31875243a1bd27c2e3ec82e_2" ;
"main1.38f534a9576db7ec6ebcbca8c111f942_1" [label="1: Start main1\nFormals:  y:int\nLocals:  addblock:_fn_(*) add2:int add1:int x:int \n   DECLARE_LOCALS(&return,&addblock,&add2,&add1,&x); [line 10]\n " color=yellow style=filled]
	

	 "main1.38f534a9576db7ec6ebcbca8c111f942_1" -> "main1.38f534a9576db7ec6ebcbca8c111f942_10" ;
"main1.38f534a9576db7ec6ebcbca8c111f942_2" [label="2: Exit main1 \n  " color=yellow style=filled]
	

"main1.38f534a9576db7ec6ebcbca8c111f942_3" [label="3:  Return Stmt \n   n$0=*&y:int [line 43]\n  *&return:int=n$0 [line 43]\n " shape="box"]
	

	 "main1.38f534a9576db7ec6ebcbca8c111f942_3" -> "main1.38f534a9576db7ec6ebcbca8c111f942_2" ;
"main1.38f534a9576db7ec6ebcbca8c111f942_4" [label="4:  BinaryOperatorStmt: Assign \n   n$1=*&add1:int [line 41]\n  n$2=*&add2:int [line 41]\n  *&y:int=(n$1 / n$2) [line 41]\n " shape="box"]
	

	 "main1.38f534a9576db7ec6ebcbca8c111f942_4" -> "main1.38f534a9576db7ec6ebcbca8c111f942_3" ;
"main1.38f534a9576db7ec6ebcbca8c111f942_5" [label="5:  BinaryOperatorStmt: Assign \n   n$3=*&addblock:_fn_(*) [line 38]\n  n$4=n$3(3:int,2:int) [line 38]\n  *&add2:int=n$4 [line 38]\n " shape="box"]
	

	 "main1.38f534a9576db7ec6ebcbca8c111f942_5" -> "main1.38f534a9576db7ec6ebcbca8c111f942_4" ;
"main1.38f534a9576db7ec6ebcbca8c111f942_6" [label="6:  BinaryOperatorStmt: Assign \n   DECLARE_LOCALS(&__objc_anonymous_block_main1______1); [line 34]\n  n$7=_fun___objc_alloc_no_fail(sizeof(t=__objc_anonymous_block_main1______1):unsigned long) [line 34]\n  *&__objc_anonymous_block_main1______1:__objc_anonymous_block_main1______1=n$7 [line 34]\n  n$8=*&#GB<codetoanalyze/objc/shared/block/block.m>$main1_s:int [line 34]\n  *n$7.main1_s:int=n$8 [line 34]\n  *&addblock:_fn_(*)=(_fun___objc_anonymous_block_main1______1) [line 34]\n " shape="box"]
	

	 "main1.38f534a9576db7ec6ebcbca8c111f942_6" -> "main1.38f534a9576db7ec6ebcbca8c111f942_5" ;
"main1.38f534a9576db7ec6ebcbca8c111f942_7" [label="7:  BinaryOperatorStmt: Assign \n   n$9=*&addblock:_fn_(*) [line 32]\n  n$10=n$9(1:int,2:int) [line 32]\n  *&add1:int=n$10 [line 32]\n " shape="box"]
	

	 "main1.38f534a9576db7ec6ebcbca8c111f942_7" -> "main1.38f534a9576db7ec6ebcbca8c111f942_6" ;
"main1.38f534a9576db7ec6ebcbca8c111f942_8" [label="8:  BinaryOperatorStmt: Assign \n   DECLARE_LOCALS(&__objc_anonymous_block_main1______2); [line 18]\n  n$27=_fun___objc_alloc_no_fail(sizeof(t=__objc_anonymous_block_main1______2):unsigned long) [line 18]\n  *&__objc_anonymous_block_main1______2:__objc_anonymous_block_main1______2=n$27 [line 18]\n  n$28=*&x:int [line 18]\n  *n$27.x:int=n$28 [line 18]\n  n$11=*&x:int [line 18]\n  *&addblock:_fn_(*)=(_fun___objc_anonymous_block_main1______2,n$11) [line 18]\n " shape="box"]
	

	 "main1.38f534a9576db7ec6ebcbca8c111f942_8" -> "main1.38f534a9576db7ec6ebcbca8c111f942_7" ;
"main1.38f534a9576db7ec6ebcbca8c111f942_9" [label="9:  DeclStmt \n   *&x:int=7 [line 13]\n " shape="box"]
	

	 "main1.38f534a9576db7ec6ebcbca8c111f942_9" -> "main1.38f534a9576db7ec6ebcbca8c111f942_8" ;
"main1.38f534a9576db7ec6ebcbca8c111f942_10" [label="10:  DeclStmt \n   *&#GB<codetoanalyze/objc/shared/block/block.m>$main1_s:int=3 [line 12]\n " shape="box"]
	

	 "main1.38f534a9576db7ec6ebcbca8c111f942_10" -> "main1.38f534a9576db7ec6ebcbca8c111f942_9" ;
"__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_1" [label="1: Start __objc_anonymous_block_main1______2\nFormals:  x:int c:int d:int\nLocals:  bla:int add2:int addblock2:_fn_(*)\nCaptured:  x:int \n   DECLARE_LOCALS(&return,&bla,&add2,&addblock2); [line 18]\n " color=yellow style=filled]
	

	 "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_1" -> "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_6" ;
"__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_2" [label="2: Exit __objc_anonymous_block_main1______2 \n  " color=yellow style=filled]
	

"__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_3" [label="3:  Return Stmt \n   n$12=*&c:int [line 29]\n  n$13=*&add2:int [line 29]\n  n$14=*&bla:int [line 29]\n  *&return:int=((n$12 + n$13) + n$14) [line 29]\n " shape="box"]
	

	 "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_3" -> "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_2" ;
"__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_4" [label="4:  BinaryOperatorStmt: Assign \n   n$15=*&addblock2:_fn_(*) [line 28]\n  n$16=n$15(1:int) [line 28]\n  *&add2:int=n$16 [line 28]\n " shape="box"]
	

	 "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_4" -> "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_3" ;
"__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_5" [label="5:  BinaryOperatorStmt: Assign \n   DECLARE_LOCALS(&__objc_anonymous_block___objc_anonymous_block_main1______2______3); [line 24]\n  n$23=_fun___objc_alloc_no_fail(sizeof(t=__objc_anonymous_block___objc_anonymous_block_main1______2______3):unsigned long) [line 24]\n  *&__objc_anonymous_block___objc_anonymous_block_main1______2______3:__objc_anonymous_block___objc_anonymous_block_main1______2______3=n$23 [line 24]\n  n$24=*&x:int [line 24]\n  n$25=*&bla:int [line 24]\n  n$26=*&#GB<codetoanalyze/objc/shared/block/block.m>$main1_s:int [line 24]\n  *n$23.x:int=n$24 [line 24]\n  *n$23.bla:int=n$25 [line 24]\n  *n$23.main1_s:int=n$26 [line 24]\n  n$17=*&x:int [line 24]\n  n$18=*&bla:int [line 24]\n  *&addblock2:_fn_(*)=(_fun___objc_anonymous_block___objc_anonymous_block_main1______2______3,n$17,n$18) [line 24]\n " shape="box"]
	

	 "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_5" -> "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_4" ;
"__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_6" [label="6:  DeclStmt \n   *&bla:int=3 [line 22]\n " shape="box"]
	

	 "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_6" -> "__objc_anonymous_block_main1______2.5623c8c0e39082421999af7ffad7371b_5" ;
"__objc_anonymous_block___objc_anonymous_block_main1______2______3.6d1e0725e2965c4b9fdfca6faccef5e0_1" [label="1: Start __objc_anonymous_block___objc_anonymous_block_main1______2______3\nFormals:  x:int bla:int z:int\nLocals: \nCaptured:  x:int bla:int \n   DECLARE_LOCALS(&return); [line 24]\n " color=yellow style=filled]
	

	 "__objc_anonymous_block___objc_anonymous_block_main1______2______3.6d1e0725e2965c4b9fdfca6faccef5e0_1" -> "__objc_anonymous_block___objc_anonymous_block_main1______2______3.6d1e0725e2965c4b9fdfca6faccef5e0_3" ;
"__objc_anonymous_block___objc_anonymous_block_main1______2______3.6d1e0725e2965c4b9fdfca6faccef5e0_2" [label="2: Exit __objc_anonymous_block___objc_anonymous_block_main1______2______3 \n  " color=yellow style=filled]
	

"__objc_anonymous_block___objc_anonymous_block_main1______2______3.6d1e0725e2965c4b9fdfca6faccef5e0_3" [label="3:  Return Stmt \n   n$19=*&z:int [line 25]\n  n$20=*&#GB<codetoanalyze/objc/shared/block/block.m>$main1_s:int [line 25]\n  n$21=*&x:int [line 25]\n  n$22=*&bla:int [line 25]\n  *&return:int=(((n$19 + n$20) + n$21) + n$22) [line 25]\n " shape="box"]
	

	 "__objc_anonymous_block___objc_anonymous_block_main1______2______3.6d1e0725e2965c4b9fdfca6faccef5e0_3" -> "__objc_anonymous_block___objc_anonymous_block_main1______2______3.6d1e0725e2965c4b9fdfca6faccef5e0_2" ;
}
