/* @generated */
digraph iCFG {
35 [label="35:  DeclStmt \n   n$4=_fun___objc_alloc_no_fail(sizeof(class NSAutoreleasePool ):unsigned long ) [line 60]\n  n$5=_fun_NSObject_init(n$4:class NSAutoreleasePool *) virtual [line 60]\n  *&pool:class NSAutoreleasePool *=n$5 [line 60]\n " shape="box"]
	

	 35 -> 34 ;
34 [label="34:  DeclStmt \n   n$2=_fun___objc_alloc_no_fail(sizeof(class NSString ):unsigned long ) [line 61]\n  n$3=_fun___set_autorelease_attribute(n$2:class NSString *) [line 61]\n  *&string:class NSString *=n$3 [line 61]\n " shape="box"]
	

	 34 -> 33 ;
33 [label="33:  Message Call: release \n   n$1=*&pool:class NSAutoreleasePool * [line 63]\n  _fun___objc_release_autorelease_pool(n$1:class NSAutoreleasePool *) [line 63]\n " shape="box"]
	

	 33 -> 32 ;
32 [label="32:  DeclStmt \n   n$0=*&string:class NSString * [line 64]\n  *&c:class NSString *=n$0 [line 64]\n " shape="box"]
	

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

30 [label="30: Start autorelease_test3\nFormals: \nLocals:  c:class NSString * string:class NSString * pool:class NSAutoreleasePool * \n   DECLARE_LOCALS(&return,&c,&string,&pool); [line 59]\n " color=yellow style=filled]
	

	 30 -> 35 ;
29 [label="29:  DeclStmt \n   *&s1:class Auto *=0 [line 48]\n " shape="box"]
	

	 29 -> 28 ;
28 [label="28:  DeclStmt \n   *&s2:class Auto *=0 [line 49]\n " shape="box"]
	

	 28 -> 27 ;
27 [label="27:  DeclStmt \n   *&s3:class Auto *=0 [line 50]\n " shape="box"]
	

	 27 -> 26 ;
26 [label="26:  BinaryOperatorStmt: Assign \n   n$3=_fun_createA() [line 52]\n  *&s1:class Auto *=n$3 [line 52]\n " shape="box"]
	

	 26 -> 25 ;
25 [label="25:  BinaryOperatorStmt: Assign \n   n$2=_fun_createA() [line 53]\n  *&s2:class Auto *=n$2 [line 53]\n " shape="box"]
	

	 25 -> 24 ;
24 [label="24:  BinaryOperatorStmt: Assign \n   n$1=_fun_createA() [line 54]\n  *&s3:class Auto *=n$1 [line 54]\n " shape="box"]
	

	 24 -> 23 ;
23 [label="23:  Release the autorelease pool \n   n$0=_fun___objc_release_autorelease_pool(&s1:class Auto *,&s3:class Auto *,&s2:class Auto *) [line 51]\n " shape="box"]
	

	 23 -> 22 ;
22 [label="22:  Return Stmt \n   *&return:int =0 [line 56]\n " shape="box"]
	

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

20 [label="20: Start autorelease_test2\nFormals: \nLocals:  s3:class Auto * s2:class Auto * s1:class Auto * \n   DECLARE_LOCALS(&return,&s3,&s2,&s1); [line 47]\n " color=yellow style=filled]
	

	 20 -> 29 ;
19 [label="19:  DeclStmt \n   *&s1:class Auto *=0 [line 35]\n " shape="box"]
	

	 19 -> 18 ;
18 [label="18:  DeclStmt \n   *&s2:class Auto *=0 [line 36]\n " shape="box"]
	

	 18 -> 17 ;
17 [label="17:  DeclStmt \n   *&s3:class Auto *=0 [line 37]\n " shape="box"]
	

	 17 -> 16 ;
16 [label="16:  BinaryOperatorStmt: Assign \n   n$5=_fun_createA() [line 39]\n  *&s1:class Auto *=n$5 [line 39]\n " shape="box"]
	

	 16 -> 15 ;
15 [label="15:  Message Call: retain \n   n$3=*&s1:class Auto * [line 40]\n  n$4=_fun___objc_retain(n$3:class Auto *) [line 40]\n " shape="box"]
	

	 15 -> 14 ;
14 [label="14:  BinaryOperatorStmt: Assign \n   n$2=_fun_createA() [line 41]\n  *&s2:class Auto *=n$2 [line 41]\n " shape="box"]
	

	 14 -> 13 ;
13 [label="13:  BinaryOperatorStmt: Assign \n   n$1=_fun_createA() [line 42]\n  *&s3:class Auto *=n$1 [line 42]\n " shape="box"]
	

	 13 -> 12 ;
12 [label="12:  Release the autorelease pool \n   n$0=_fun___objc_release_autorelease_pool(&s1:class Auto *,&s2:class Auto *,&s3:class Auto *) [line 38]\n " shape="box"]
	

	 12 -> 11 ;
11 [label="11:  Return Stmt \n   *&return:int =0 [line 44]\n " shape="box"]
	

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

9 [label="9: Start autorelease_test1\nFormals: \nLocals:  s3:class Auto * s2:class Auto * s1:class Auto * \n   DECLARE_LOCALS(&return,&s3,&s2,&s1); [line 34]\n " color=yellow style=filled]
	

	 9 -> 19 ;
8 [label="8:  DeclStmt \n   n$2=_fun___objc_alloc_no_fail(sizeof(class Auto ):unsigned long ) [line 30]\n  n$3=_fun_NSObject_init(n$2:class Auto *) virtual [line 30]\n  *&s1:class Auto *=n$3 [line 30]\n " shape="box"]
	

	 8 -> 7 ;
7 [label="7:  Return Stmt \n   n$0=*&s1:class Auto * [line 31]\n  n$1=_fun___set_autorelease_attribute(n$0:class Auto *) [line 31]\n  *&return:class Auto *=n$1 [line 31]\n " shape="box"]
	

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

5 [label="5: Start createA\nFormals: \nLocals:  s1:class Auto * \n   DECLARE_LOCALS(&return,&s1); [line 29]\n " color=yellow style=filled]
	

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

	 4 -> 3 ;
3 [label="3:  Return Stmt \n   n$0=*&s:class NSString * [line 24]\n  n$1=_fun___set_autorelease_attribute(n$0:class NSString *) [line 24]\n  *&return:class NSString *=n$1 [line 24]\n " shape="box"]
	

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

1 [label="1: Start Auto_autorelease_main\nFormals:  self:class Auto *\nLocals:  s:class NSString * \n   DECLARE_LOCALS(&return,&s); [line 22]\n " color=yellow style=filled]
	

	 1 -> 4 ;
}
