/* @generated */
digraph cfg {
"bar1.fa85cca91963d8f301e34247048fca39_1" [label="1: Start bar1\nFormals:  a:int\nLocals:  \n   DECLARE_LOCALS(&return); [line 31, column 1]\n " color=yellow style=filled]
	

	 "bar1.fa85cca91963d8f301e34247048fca39_1" -> "bar1.fa85cca91963d8f301e34247048fca39_3" ;
"bar1.fa85cca91963d8f301e34247048fca39_2" [label="2: Exit bar1 \n  " color=yellow style=filled]
	

"bar1.fa85cca91963d8f301e34247048fca39_3" [label="3:  Return Stmt \n   n$0=*&a:int [line 31, column 26]\n  *&a:int=(n$0 + 1) [line 31, column 26]\n  *&return:int=n$0 [line 31, column 19]\n " shape="box"]
	

	 "bar1.fa85cca91963d8f301e34247048fca39_3" -> "bar1.fa85cca91963d8f301e34247048fca39_2" ;
"foo1.299a0be4a5a79e6a59fdd251b19d78bb_1" [label="1: Start foo1\nFormals:  a:int\nLocals:  \n   DECLARE_LOCALS(&return); [line 29, column 1]\n " color=yellow style=filled]
	

	 "foo1.299a0be4a5a79e6a59fdd251b19d78bb_1" -> "foo1.299a0be4a5a79e6a59fdd251b19d78bb_3" ;
"foo1.299a0be4a5a79e6a59fdd251b19d78bb_2" [label="2: Exit foo1 \n  " color=yellow style=filled]
	

"foo1.299a0be4a5a79e6a59fdd251b19d78bb_3" [label="3:  UnaryOperator \n   n$0=*&a:int [line 29, column 20]\n  *&a:int=(n$0 + 1) [line 29, column 20]\n " shape="box"]
	

	 "foo1.299a0be4a5a79e6a59fdd251b19d78bb_3" -> "foo1.299a0be4a5a79e6a59fdd251b19d78bb_2" ;
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals:  o:AClass* x:int \n   DECLARE_LOCALS(&return,&o,&x); [line 33, column 1]\n " color=yellow style=filled]
	

	 "main.fad58de7366495db4650cfefac2fcd61_1" -> "main.fad58de7366495db4650cfefac2fcd61_12" ;
"main.fad58de7366495db4650cfefac2fcd61_2" [label="2: Exit main \n  " color=yellow style=filled]
	

"main.fad58de7366495db4650cfefac2fcd61_3" [label="3:  Return Stmt \n   *&return:int=0 [line 48, column 3]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
"main.fad58de7366495db4650cfefac2fcd61_4" [label="4: + \n  " ]
	

	 "main.fad58de7366495db4650cfefac2fcd61_4" -> "main.fad58de7366495db4650cfefac2fcd61_3" ;
"main.fad58de7366495db4650cfefac2fcd61_5" [label="5: Prune (true branch, if) \n   n$0=*&o:AClass* [line 42, column 7]\n  PRUNE(n$0, true); [line 42, column 7]\n " shape="invhouse"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_5" -> "main.fad58de7366495db4650cfefac2fcd61_8" ;
"main.fad58de7366495db4650cfefac2fcd61_6" [label="6: Prune (false branch, if) \n   n$0=*&o:AClass* [line 42, column 7]\n  PRUNE(!n$0, false); [line 42, column 7]\n " shape="invhouse"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_6" -> "main.fad58de7366495db4650cfefac2fcd61_4" ;
"main.fad58de7366495db4650cfefac2fcd61_7" [label="7:  BinaryOperatorStmt: Assign \n   n$2=*&o:AClass* [line 45, column 10]\n  n$1=*&x:int [line 45, column 16]\n  n$3=_fun_AClass_bar:(n$2:AClass*,n$1:int) virtual [line 45, column 9]\n  *&x:int=n$3 [line 45, column 5]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_7" -> "main.fad58de7366495db4650cfefac2fcd61_4" ;
"main.fad58de7366495db4650cfefac2fcd61_8" [label="8:  Message Call: foo: \n   n$5=*&o:AClass* [line 44, column 6]\n  n$4=*&x:int [line 44, column 12]\n  n$6=_fun_AClass_foo:(n$5:AClass*,n$4:int) virtual [line 44, column 5]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_8" -> "main.fad58de7366495db4650cfefac2fcd61_7" ;
"main.fad58de7366495db4650cfefac2fcd61_9" [label="9:  DeclStmt \n   n$9=_fun___objc_alloc_no_fail(sizeof(t=AClass):unsigned long) [line 40, column 15]\n  *&o:AClass*=n$9 [line 40, column 3]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_9" -> "main.fad58de7366495db4650cfefac2fcd61_5" ;
	 "main.fad58de7366495db4650cfefac2fcd61_9" -> "main.fad58de7366495db4650cfefac2fcd61_6" ;
"main.fad58de7366495db4650cfefac2fcd61_10" [label="10:  BinaryOperatorStmt: Assign \n   n$10=*&x:int [line 38, column 12]\n  n$11=_fun_bar1(n$10:int) [line 38, column 7]\n  *&x:int=n$11 [line 38, column 3]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_10" -> "main.fad58de7366495db4650cfefac2fcd61_9" ;
"main.fad58de7366495db4650cfefac2fcd61_11" [label="11:  Call _fun_foo1 \n   n$12=*&x:int [line 36, column 8]\n  n$13=_fun_foo1(n$12:int) [line 36, column 3]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_11" -> "main.fad58de7366495db4650cfefac2fcd61_10" ;
"main.fad58de7366495db4650cfefac2fcd61_12" [label="12:  DeclStmt \n   *&x:int=1 [line 35, column 3]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_12" -> "main.fad58de7366495db4650cfefac2fcd61_11" ;
"bar:#AClass#instance.c024d9849ec28286083491e7c46a4982_1" [label="1: Start AClass_bar:\nFormals:  self:AClass* a:int\nLocals:  \n   DECLARE_LOCALS(&return); [line 23, column 1]\n " color=yellow style=filled]
	

	 "bar:#AClass#instance.c024d9849ec28286083491e7c46a4982_1" -> "bar:#AClass#instance.c024d9849ec28286083491e7c46a4982_3" ;
"bar:#AClass#instance.c024d9849ec28286083491e7c46a4982_2" [label="2: Exit AClass_bar: \n  " color=yellow style=filled]
	

"bar:#AClass#instance.c024d9849ec28286083491e7c46a4982_3" [label="3:  Return Stmt \n   n$1=*&a:int [line 24, column 10]\n  *&a:int=(n$1 + 1) [line 24, column 10]\n  *&return:int=n$1 [line 24, column 3]\n " shape="box"]
	

	 "bar:#AClass#instance.c024d9849ec28286083491e7c46a4982_3" -> "bar:#AClass#instance.c024d9849ec28286083491e7c46a4982_2" ;
"foo:#AClass#instance.85442408d439a21334483f95effd3023_1" [label="1: Start AClass_foo:\nFormals:  self:AClass* a:int\nLocals:  \n   DECLARE_LOCALS(&return); [line 20, column 1]\n " color=yellow style=filled]
	

	 "foo:#AClass#instance.85442408d439a21334483f95effd3023_1" -> "foo:#AClass#instance.85442408d439a21334483f95effd3023_3" ;
"foo:#AClass#instance.85442408d439a21334483f95effd3023_2" [label="2: Exit AClass_foo: \n  " color=yellow style=filled]
	

"foo:#AClass#instance.85442408d439a21334483f95effd3023_3" [label="3:  UnaryOperator \n   n$0=*&a:int [line 21, column 3]\n  *&a:int=(n$0 + 1) [line 21, column 3]\n " shape="box"]
	

	 "foo:#AClass#instance.85442408d439a21334483f95effd3023_3" -> "foo:#AClass#instance.85442408d439a21334483f95effd3023_2" ;
}
