/* @generated */
digraph iCFG {
36 [label="36:  Call _fun___objc_release \n   n$1=*&a:class RR2 * [line 69]\n  _fun___objc_release(n$1:class RR2 *) [line 69]\n " shape="box"]
	

	 36 -> 32 ;
35 [label="35: Prune (false branch) \n   n$0=*&a:class RR2 * [line 68]\n  PRUNE((n$0 == 0), false); [line 68]\n " shape="invhouse"]
	

	 35 -> 32 ;
34 [label="34: Prune (true branch) \n   n$0=*&a:class RR2 * [line 68]\n  PRUNE((n$0 != 0), true); [line 68]\n " shape="invhouse"]
	

	 34 -> 36 ;
33 [label="33:  between_join_and_exit \n  " shape="box"]
	

	 33 -> 31 ;
32 [label="32: + \n  " ]
	

	 32 -> 33 ;
31 [label="31: Exit test7 \n  " color=yellow style=filled]
	

30 [label="30: Start test7\nFormals:  a:class RR2 *\nLocals:  \n   DECLARE_LOCALS(&return); [line 67]\n " color=yellow style=filled]
	

	 30 -> 34 ;
	 30 -> 35 ;
29 [label="29:  DeclStmt \n   n$3=_fun___objc_alloc_no_fail(sizeof(class RR2 ):unsigned long ) [line 61]\n  n$4=_fun_RR2_init(n$3:class RR2 *) virtual [line 61]\n  *&a:class RR2 *=n$4 [line 61]\n " shape="box"]
	

	 29 -> 28 ;
28 [label="28:  Message Call: retain \n   n$1=*&a:class RR2 * [line 62]\n  n$2=_fun___objc_retain(n$1:class RR2 *) [line 62]\n " shape="box"]
	

	 28 -> 27 ;
27 [label="27:  Message Call: release \n   n$0=*&a:class RR2 * [line 63]\n  _fun___objc_release(n$0:class RR2 *) [line 63]\n " shape="box"]
	

	 27 -> 26 ;
26 [label="26: Exit test6 \n  " color=yellow style=filled]
	

25 [label="25: Start test6\nFormals: \nLocals:  a:class RR2 * \n   DECLARE_LOCALS(&return,&a); [line 60]\n " color=yellow style=filled]
	

	 25 -> 29 ;
24 [label="24:  DeclStmt \n   n$1=_fun___objc_alloc_no_fail(sizeof(class RR2 ):unsigned long ) [line 55]\n  n$2=_fun_RR2_init(n$1:class RR2 *) virtual [line 55]\n  *&a:class RR2 *=n$2 [line 55]\n " shape="box"]
	

	 24 -> 23 ;
23 [label="23:  Message Call: release \n   n$0=*&a:class RR2 * [line 56]\n  _fun___objc_release(n$0:class RR2 *) [line 56]\n " shape="box"]
	

	 23 -> 22 ;
22 [label="22: Exit test5 \n  " color=yellow style=filled]
	

21 [label="21: Start test5\nFormals: \nLocals:  a:class RR2 * \n   DECLARE_LOCALS(&return,&a); [line 54]\n " color=yellow style=filled]
	

	 21 -> 24 ;
20 [label="20:  DeclStmt \n   n$1=_fun_retain_release2_test() [line 49]\n  *&b:class RR2 *=n$1 [line 49]\n " shape="box"]
	

	 20 -> 19 ;
19 [label="19:  Message Call: release \n   n$0=*&b:class RR2 * [line 50]\n  _fun___objc_release(n$0:class RR2 *) [line 50]\n " shape="box"]
	

	 19 -> 18 ;
18 [label="18: Exit test4 \n  " color=yellow style=filled]
	

17 [label="17: Start test4\nFormals: \nLocals:  b:class RR2 * \n   DECLARE_LOCALS(&return,&b); [line 47]\n " color=yellow style=filled]
	

	 17 -> 20 ;
16 [label="16:  DeclStmt \n   n$0=_fun_retain_release2_test() [line 44]\n  *&b:class RR2 *=n$0 [line 44]\n " shape="box"]
	

	 16 -> 15 ;
15 [label="15: Exit test3 \n  " color=yellow style=filled]
	

14 [label="14: Start test3\nFormals: \nLocals:  b:class RR2 * \n   DECLARE_LOCALS(&return,&b); [line 44]\n " color=yellow style=filled]
	

	 14 -> 16 ;
13 [label="13:  DeclStmt \n   n$1=_fun_retain_release2_test() [line 39]\n  *&b:class RR2 *=n$1 [line 39]\n " shape="box"]
	

	 13 -> 12 ;
12 [label="12:  BinaryOperatorStmt: Assign \n   n$0=*&b:class RR2 * [line 40]\n  *&#GB$g:class RR2 *=n$0 [line 40]\n " shape="box"]
	

	 12 -> 11 ;
11 [label="11: Exit retain_release2_test2 \n  " color=yellow style=filled]
	

10 [label="10: Start retain_release2_test2\nFormals: \nLocals:  b:class RR2 * \n   DECLARE_LOCALS(&return,&b); [line 37]\n " color=yellow style=filled]
	

	 10 -> 13 ;
9 [label="9:  DeclStmt \n   n$4=_fun___objc_alloc_no_fail(sizeof(class RR2 ):unsigned long ) [line 29]\n  n$5=_fun_RR2_init(n$4:class RR2 *) virtual [line 29]\n  *&a:class RR2 *=n$5 [line 29]\n " shape="box"]
	

	 9 -> 8 ;
8 [label="8:  Message Call: retain \n   n$2=*&a:class RR2 * [line 30]\n  n$3=_fun___objc_retain(n$2:class RR2 *) [line 30]\n " shape="box"]
	

	 8 -> 7 ;
7 [label="7:  Message Call: release \n   n$1=*&a:class RR2 * [line 31]\n  _fun___objc_release(n$1:class RR2 *) [line 31]\n " shape="box"]
	

	 7 -> 6 ;
6 [label="6:  Return Stmt \n   n$0=*&a:class RR2 * [line 33]\n  *&return:class RR2 *=n$0 [line 33]\n " shape="box"]
	

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

4 [label="4: Start retain_release2_test\nFormals: \nLocals:  a:class RR2 * \n   DECLARE_LOCALS(&return,&a); [line 28]\n " color=yellow style=filled]
	

	 4 -> 9 ;
3 [label="3:  Return Stmt \n   n$0=*&self:class RR2 * [line 19]\n  *&return:struct objc_object *=n$0 [line 19]\n " shape="box"]
	

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

1 [label="1: Start RR2_init\nFormals:  self:class RR2 *\nLocals:  \n   DECLARE_LOCALS(&return); [line 18]\n " color=yellow style=filled]
	

	 1 -> 3 ;
}
