/* @generated */
digraph iCFG {
18 [label="18:  BinaryOperatorStmt: Assign \n   *&imageDrawRect.origin.x.a:int =0 [line 58]\n  *&imageDrawRect.origin.x.b:int =0 [line 58]\n  *&imageDrawRect.origin.y:int =0 [line 58]\n  *&imageDrawRect.z:int =0 [line 58]\n  *&imageDrawRect.size:int =5 [line 58]\n  n$1=*&imageDrawRect:struct rect  [line 58]\n " shape="box"]
	

	 18 -> 17 ;
17 [label="17:  Return Stmt \n   n$0=*&imageDrawRect.origin.x.a:int  [line 59]\n  *&return:int =(1 / n$0) [line 59]\n " shape="box"]
	

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

15 [label="15: Start implicit_expr_set_correctly\nFormals: \nLocals:  imageDrawRect:struct rect  \n   DECLARE_LOCALS(&return,&imageDrawRect); [line 56]\n " color=yellow style=filled]
	

	 15 -> 18 ;
14 [label="14:  DeclStmt \n   *&e.ssn:int =12 [line 35]\n  *&e.salary:float =3000.500000 [line 35]\n  *&e.doj.date:int =12 [line 35]\n  *&e.doj.month:int =12 [line 35]\n  *&e.doj.year:int =2010 [line 35]\n " shape="box"]
	

	 14 -> 13 ;
13 [label="13:  Return Stmt \n   n$0=*&e.ssn:int  [line 36]\n  *&return:int =(1 / (n$0 - 12)) [line 36]\n " shape="box"]
	

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

11 [label="11: Start field_set_correctly\nFormals: \nLocals:  e:struct Employee  \n   DECLARE_LOCALS(&return,&e); [line 34]\n " color=yellow style=filled]
	

	 11 -> 14 ;
10 [label="10:  BinaryOperatorStmt: Assign \n   n$2=*&p:struct Point * [line 20]\n  *n$2.x:int =4 [line 20]\n  *n$2.y:int =5 [line 20]\n  n$3=*n$2:struct Point  [line 20]\n " shape="box"]
	

	 10 -> 9 ;
9 [label="9:  Return Stmt \n   n$0=*&p:struct Point * [line 21]\n  n$1=*n$0.x:int  [line 21]\n  *&return:int =(1 / (n$1 - 4)) [line 21]\n " shape="box"]
	

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

7 [label="7: Start point_coords_set_correctly\nFormals:  p:struct Point *\nLocals:  \n   DECLARE_LOCALS(&return); [line 19]\n " color=yellow style=filled]
	

	 7 -> 10 ;
6 [label="6:  DeclStmt \n   n$0=_fun_foo() [line 17]\n  *&p.x:int =1 [line 17]\n  *&p.y:int =(n$0 + 3) [line 17]\n " shape="box"]
	

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

4 [label="4: Start main\nFormals: \nLocals:  p:struct Point  \n   DECLARE_LOCALS(&return,&p); [line 17]\n " color=yellow style=filled]
	

	 4 -> 6 ;
3 [label="3:  Return Stmt \n   *&return:int =5 [line 15]\n " shape="box"]
	

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

1 [label="1: Start foo\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 15]\n " color=yellow style=filled]
	

	 1 -> 3 ;
}
