/* @generated */
digraph iCFG {
24 [label="24:  DeclStmt \n   *&x:int =1 [line 35]\n " shape="box"]
	

	 24 -> 23 ;
23 [label="23:  Call _fun_foo1 \n   n$9=*&x:int  [line 36]\n  _fun_foo1(n$9:int ) [line 36]\n " shape="box"]
	

	 23 -> 22 ;
22 [label="22:  BinaryOperatorStmt: Assign \n   n$7=*&x:int  [line 38]\n  n$8=_fun_bar1(n$7:int ) [line 38]\n  *&x:int =n$8 [line 38]\n " shape="box"]
	

	 22 -> 21 ;
21 [label="21:  DeclStmt \n   n$6=_fun___objc_alloc_no_fail(sizeof(class AClass ):unsigned long ) [line 40]\n  *&o:class AClass *=n$6 [line 40]\n " shape="box"]
	

	 21 -> 17 ;
	 21 -> 18 ;
20 [label="20:  Message Call: foo: \n   n$4=*&o:class AClass * [line 44]\n  n$5=*&x:int  [line 44]\n  _fun_AClass_foo:(n$4:class AClass *,n$5:int ) virtual [line 44]\n " shape="box"]
	

	 20 -> 19 ;
19 [label="19:  BinaryOperatorStmt: Assign \n   n$1=*&o:class AClass * [line 45]\n  n$2=*&x:int  [line 45]\n  n$3=_fun_AClass_bar:(n$1:class AClass *,n$2:int ) virtual [line 45]\n  *&x:int =n$3 [line 45]\n " shape="box"]
	

	 19 -> 16 ;
18 [label="18: Prune (false branch) \n   n$0=*&o:class AClass * [line 42]\n  PRUNE((n$0 == 0), false); [line 42]\n " shape="invhouse"]
	

	 18 -> 16 ;
17 [label="17: Prune (true branch) \n   n$0=*&o:class AClass * [line 42]\n  PRUNE((n$0 != 0), true); [line 42]\n " shape="invhouse"]
	

	 17 -> 20 ;
16 [label="16: + \n  " ]
	

	 16 -> 15 ;
15 [label="15:  Return Stmt \n   *&return:int =0 [line 48]\n " shape="box"]
	

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

13 [label="13: Start main\nFormals: \nLocals:  o:class AClass * x:int  \n   DECLARE_LOCALS(&return,&o,&x); [line 33]\n " color=yellow style=filled]
	

	 13 -> 24 ;
12 [label="12:  Return Stmt \n   n$0=*&a:int  [line 31]\n  *&a:int =(n$0 + 1) [line 31]\n  *&return:int =n$0 [line 31]\n " shape="box"]
	

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

10 [label="10: Start bar1\nFormals:  a:int \nLocals:  \n   DECLARE_LOCALS(&return); [line 31]\n " color=yellow style=filled]
	

	 10 -> 12 ;
9 [label="9:  UnaryOperator \n   n$0=*&a:int  [line 29]\n  *&a:int =(n$0 + 1) [line 29]\n " shape="box"]
	

	 9 -> 8 ;
8 [label="8: Exit foo1 \n  " color=yellow style=filled]
	

7 [label="7: Start foo1\nFormals:  a:int \nLocals:  \n   DECLARE_LOCALS(&return); [line 29]\n " color=yellow style=filled]
	

	 7 -> 9 ;
6 [label="6:  Return Stmt \n   n$1=*&a:int  [line 24]\n  *&a:int =(n$1 + 1) [line 24]\n  *&return:int =n$1 [line 24]\n " shape="box"]
	

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

4 [label="4: Start AClass_bar:\nFormals:  self:class AClass * a:int \nLocals:  \n   DECLARE_LOCALS(&return); [line 23]\n " color=yellow style=filled]
	

	 4 -> 6 ;
3 [label="3:  UnaryOperator \n   n$0=*&a:int  [line 21]\n  *&a:int =(n$0 + 1) [line 21]\n " shape="box"]
	

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

1 [label="1: Start AClass_foo:\nFormals:  self:class AClass * a:int \nLocals:  \n   DECLARE_LOCALS(&return); [line 20]\n " color=yellow style=filled]
	

	 1 -> 3 ;
}
