/* @generated */
digraph cfg {
"retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_1" [label="1: Start retain_release2_test\nFormals: \nLocals:  a:RR2* \n  " color=yellow style=filled]
	

	 "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_1" -> "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_6" ;
"retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_2" [label="2: Exit retain_release2_test \n  " color=yellow style=filled]
	

"retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_3" [label="3:  Return Stmt \n   n$0=*&a:RR2* [line 33, column 10]\n  *&return:RR2*=n$0 [line 33, column 3]\n " shape="box"]
	

	 "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_3" -> "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_2" ;
"retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_4" [label="4:  Message Call: release \n   n$1=*&a:RR2* [line 31, column 4]\n  _fun_RR2_release(n$1:RR2*) virtual [line 31, column 3]\n " shape="box"]
	

	 "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_4" -> "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_3" ;
"retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_5" [label="5:  Message Call: retain \n   n$2=*&a:RR2* [line 30, column 4]\n  n$3=_fun_RR2_retain(n$2:RR2*) virtual [line 30, column 3]\n " shape="box"]
	

	 "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_5" -> "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_4" ;
"retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_6" [label="6:  DeclStmt \n   n$4=_fun___objc_alloc_no_fail(sizeof(t=RR2):unsigned long) [line 29, column 13]\n  n$5=_fun_RR2_init(n$4:RR2*) virtual [line 29, column 12]\n  *&a:RR2*=n$5 [line 29, column 3]\n " shape="box"]
	

	 "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_6" -> "retain_release2_test.7ec6637f213ea568e9cee49c4a91f673_5" ;
"retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_1" [label="1: Start retain_release2_test2\nFormals: \nLocals:  b:RR2* \n  " color=yellow style=filled]
	

	 "retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_1" -> "retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_4" ;
"retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_2" [label="2: Exit retain_release2_test2 \n  " color=yellow style=filled]
	

"retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_3" [label="3:  BinaryOperatorStmt: Assign \n   n$0=*&b:RR2* [line 40, column 7]\n  *&#GB<codetoanalyze/objc/shared/memory_leaks_benchmark/RetainReleaseExample2.m>$g:RR2*=n$0 [line 40, column 3]\n " shape="box"]
	

	 "retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_3" -> "retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_2" ;
"retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_4" [label="4:  DeclStmt \n   n$1=_fun_retain_release2_test() [line 39, column 12]\n  *&b:RR2*=n$1 [line 39, column 3]\n " shape="box"]
	

	 "retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_4" -> "retain_release2_test2.d890a0d9955e2ed8f58dd806f8d8d78c_3" ;
"test3.8ad8757baa8564dc136c1e07507f4a98_1" [label="1: Start test3\nFormals: \nLocals:  b:RR2* \n  " color=yellow style=filled]
	

	 "test3.8ad8757baa8564dc136c1e07507f4a98_1" -> "test3.8ad8757baa8564dc136c1e07507f4a98_3" ;
"test3.8ad8757baa8564dc136c1e07507f4a98_2" [label="2: Exit test3 \n  " color=yellow style=filled]
	

"test3.8ad8757baa8564dc136c1e07507f4a98_3" [label="3:  DeclStmt \n   n$0=_fun_retain_release2_test() [line 44, column 25]\n  *&b:RR2*=n$0 [line 44, column 16]\n " shape="box"]
	

	 "test3.8ad8757baa8564dc136c1e07507f4a98_3" -> "test3.8ad8757baa8564dc136c1e07507f4a98_2" ;
"test4.86985e105f79b95d6bc918fb45ec7727_1" [label="1: Start test4\nFormals: \nLocals:  b:RR2* \n  " color=yellow style=filled]
	

	 "test4.86985e105f79b95d6bc918fb45ec7727_1" -> "test4.86985e105f79b95d6bc918fb45ec7727_4" ;
"test4.86985e105f79b95d6bc918fb45ec7727_2" [label="2: Exit test4 \n  " color=yellow style=filled]
	

"test4.86985e105f79b95d6bc918fb45ec7727_3" [label="3:  Message Call: release \n   n$0=*&b:RR2* [line 50, column 4]\n  _fun_RR2_release(n$0:RR2*) virtual [line 50, column 3]\n " shape="box"]
	

	 "test4.86985e105f79b95d6bc918fb45ec7727_3" -> "test4.86985e105f79b95d6bc918fb45ec7727_2" ;
"test4.86985e105f79b95d6bc918fb45ec7727_4" [label="4:  DeclStmt \n   n$1=_fun_retain_release2_test() [line 49, column 12]\n  *&b:RR2*=n$1 [line 49, column 3]\n " shape="box"]
	

	 "test4.86985e105f79b95d6bc918fb45ec7727_4" -> "test4.86985e105f79b95d6bc918fb45ec7727_3" ;
"test5.e3d704f3542b44a621ebed70dc0efe13_1" [label="1: Start test5\nFormals: \nLocals:  a:RR2* \n  " color=yellow style=filled]
	

	 "test5.e3d704f3542b44a621ebed70dc0efe13_1" -> "test5.e3d704f3542b44a621ebed70dc0efe13_4" ;
"test5.e3d704f3542b44a621ebed70dc0efe13_2" [label="2: Exit test5 \n  " color=yellow style=filled]
	

"test5.e3d704f3542b44a621ebed70dc0efe13_3" [label="3:  Message Call: release \n   n$0=*&a:RR2* [line 56, column 4]\n  _fun_RR2_release(n$0:RR2*) virtual [line 56, column 3]\n " shape="box"]
	

	 "test5.e3d704f3542b44a621ebed70dc0efe13_3" -> "test5.e3d704f3542b44a621ebed70dc0efe13_2" ;
"test5.e3d704f3542b44a621ebed70dc0efe13_4" [label="4:  DeclStmt \n   n$1=_fun___objc_alloc_no_fail(sizeof(t=RR2):unsigned long) [line 55, column 13]\n  n$2=_fun_RR2_init(n$1:RR2*) virtual [line 55, column 12]\n  *&a:RR2*=n$2 [line 55, column 3]\n " shape="box"]
	

	 "test5.e3d704f3542b44a621ebed70dc0efe13_4" -> "test5.e3d704f3542b44a621ebed70dc0efe13_3" ;
"test6.4cfad7076129962ee70c36839a1e3e15_1" [label="1: Start test6\nFormals: \nLocals:  a:RR2* \n  " color=yellow style=filled]
	

	 "test6.4cfad7076129962ee70c36839a1e3e15_1" -> "test6.4cfad7076129962ee70c36839a1e3e15_5" ;
"test6.4cfad7076129962ee70c36839a1e3e15_2" [label="2: Exit test6 \n  " color=yellow style=filled]
	

"test6.4cfad7076129962ee70c36839a1e3e15_3" [label="3:  Message Call: release \n   n$0=*&a:RR2* [line 63, column 4]\n  _fun_RR2_release(n$0:RR2*) virtual [line 63, column 3]\n " shape="box"]
	

	 "test6.4cfad7076129962ee70c36839a1e3e15_3" -> "test6.4cfad7076129962ee70c36839a1e3e15_2" ;
"test6.4cfad7076129962ee70c36839a1e3e15_4" [label="4:  Message Call: retain \n   n$1=*&a:RR2* [line 62, column 4]\n  n$2=_fun_RR2_retain(n$1:RR2*) virtual [line 62, column 3]\n " shape="box"]
	

	 "test6.4cfad7076129962ee70c36839a1e3e15_4" -> "test6.4cfad7076129962ee70c36839a1e3e15_3" ;
"test6.4cfad7076129962ee70c36839a1e3e15_5" [label="5:  DeclStmt \n   n$3=_fun___objc_alloc_no_fail(sizeof(t=RR2):unsigned long) [line 61, column 13]\n  n$4=_fun_RR2_init(n$3:RR2*) virtual [line 61, column 12]\n  *&a:RR2*=n$4 [line 61, column 3]\n " shape="box"]
	

	 "test6.4cfad7076129962ee70c36839a1e3e15_5" -> "test6.4cfad7076129962ee70c36839a1e3e15_4" ;
"test7.b04083e53e242626595e2b8ea327e525_1" [label="1: Start test7\nFormals:  a:RR2*\nLocals:  \n  " color=yellow style=filled]
	

	 "test7.b04083e53e242626595e2b8ea327e525_1" -> "test7.b04083e53e242626595e2b8ea327e525_5" ;
	 "test7.b04083e53e242626595e2b8ea327e525_1" -> "test7.b04083e53e242626595e2b8ea327e525_6" ;
"test7.b04083e53e242626595e2b8ea327e525_2" [label="2: Exit test7 \n  " color=yellow style=filled]
	

"test7.b04083e53e242626595e2b8ea327e525_3" [label="3: + \n  " ]
	

	 "test7.b04083e53e242626595e2b8ea327e525_3" -> "test7.b04083e53e242626595e2b8ea327e525_4" ;
"test7.b04083e53e242626595e2b8ea327e525_4" [label="4:  between_join_and_exit \n  " shape="box"]
	

	 "test7.b04083e53e242626595e2b8ea327e525_4" -> "test7.b04083e53e242626595e2b8ea327e525_2" ;
"test7.b04083e53e242626595e2b8ea327e525_5" [label="5: Prune (true branch) \n   n$0=*&a:RR2* [line 68, column 7]\n  PRUNE(n$0, true); [line 68, column 7]\n " shape="invhouse"]
	

	 "test7.b04083e53e242626595e2b8ea327e525_5" -> "test7.b04083e53e242626595e2b8ea327e525_7" ;
"test7.b04083e53e242626595e2b8ea327e525_6" [label="6: Prune (false branch) \n   n$0=*&a:RR2* [line 68, column 7]\n  PRUNE(!n$0, false); [line 68, column 7]\n " shape="invhouse"]
	

	 "test7.b04083e53e242626595e2b8ea327e525_6" -> "test7.b04083e53e242626595e2b8ea327e525_3" ;
"test7.b04083e53e242626595e2b8ea327e525_7" [label="7:  Call _fun___objc_release \n   n$1=*&a:RR2* [line 69, column 20]\n  _fun___objc_release(n$1:RR2*) [line 69, column 5]\n " shape="box"]
	

	 "test7.b04083e53e242626595e2b8ea327e525_7" -> "test7.b04083e53e242626595e2b8ea327e525_3" ;
"init#RR2#instance.e62b6145f1458c552bb2d81e46e17a03_1" [label="1: Start RR2_init\nFormals:  self:RR2*\nLocals:  \n  " color=yellow style=filled]
	

	 "init#RR2#instance.e62b6145f1458c552bb2d81e46e17a03_1" -> "init#RR2#instance.e62b6145f1458c552bb2d81e46e17a03_3" ;
"init#RR2#instance.e62b6145f1458c552bb2d81e46e17a03_2" [label="2: Exit RR2_init \n  " color=yellow style=filled]
	

"init#RR2#instance.e62b6145f1458c552bb2d81e46e17a03_3" [label="3:  Return Stmt \n   n$0=*&self:RR2* [line 19, column 10]\n  *&return:objc_object*=n$0 [line 19, column 3]\n " shape="box"]
	

	 "init#RR2#instance.e62b6145f1458c552bb2d81e46e17a03_3" -> "init#RR2#instance.e62b6145f1458c552bb2d81e46e17a03_2" ;
}
