/* @generated */
digraph cfg {
"field_set_correctly.b8d9a4294a85d24818c312a099420dce_1" [label="1: Start field_set_correctly\nFormals: \nLocals:  e:Employee \n  " color=yellow style=filled]
	

	 "field_set_correctly.b8d9a4294a85d24818c312a099420dce_1" -> "field_set_correctly.b8d9a4294a85d24818c312a099420dce_5" ;
"field_set_correctly.b8d9a4294a85d24818c312a099420dce_2" [label="2: Exit field_set_correctly \n  " color=yellow style=filled]
	

"field_set_correctly.b8d9a4294a85d24818c312a099420dce_3" [label="3:  Return Stmt \n   n$0=*&e.ssn:int [line 34, column 15]\n " shape="box"]
	

	 "field_set_correctly.b8d9a4294a85d24818c312a099420dce_3" -> "field_set_correctly.b8d9a4294a85d24818c312a099420dce_4" ;
"field_set_correctly.b8d9a4294a85d24818c312a099420dce_4" [label="4:  Return Stmt \n   *&return:int=(1 / (n$0 - 12)) [line 34, column 3]\n " shape="box"]
	

	 "field_set_correctly.b8d9a4294a85d24818c312a099420dce_4" -> "field_set_correctly.b8d9a4294a85d24818c312a099420dce_2" ;
"field_set_correctly.b8d9a4294a85d24818c312a099420dce_5" [label="5:  DeclStmt \n   VARIABLE_DECLARED(e:Employee); [line 33, column 3]\n  *&e.ssn:int=12 [line 33, column 23]\n  *&e.salary:float=3000.5 [line 33, column 23]\n  *&e.doj.date:int=12 [line 33, column 37]\n  *&e.doj.month:int=12 [line 33, column 37]\n  *&e.doj.year:int=2010 [line 33, column 37]\n " shape="box"]
	

	 "field_set_correctly.b8d9a4294a85d24818c312a099420dce_5" -> "field_set_correctly.b8d9a4294a85d24818c312a099420dce_3" ;
"foo.acbd18db4cc2f85cedef654fccc4a4d8_1" [label="1: Start foo\nFormals: \nLocals:  \n  " color=yellow style=filled]
	

	 "foo.acbd18db4cc2f85cedef654fccc4a4d8_1" -> "foo.acbd18db4cc2f85cedef654fccc4a4d8_3" ;
"foo.acbd18db4cc2f85cedef654fccc4a4d8_2" [label="2: Exit foo \n  " color=yellow style=filled]
	

"foo.acbd18db4cc2f85cedef654fccc4a4d8_3" [label="3:  Return Stmt \n   *&return:int=5 [line 13, column 13]\n " shape="box"]
	

	 "foo.acbd18db4cc2f85cedef654fccc4a4d8_3" -> "foo.acbd18db4cc2f85cedef654fccc4a4d8_2" ;
"implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_1" [label="1: Start implicit_expr_set_correctly\nFormals: \nLocals:  0$?%__sil_tmpSIL_compound_literal__n$1:rect imageDrawRect:rect \n  " color=yellow style=filled]
	

	 "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_1" -> "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_5" ;
"implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_2" [label="2: Exit implicit_expr_set_correctly \n  " color=yellow style=filled]
	

"implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_3" [label="3:  Return Stmt \n   n$0=*&imageDrawRect.origin.x.a:int [line 57, column 14]\n " shape="box"]
	

	 "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_3" -> "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_4" ;
"implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_4" [label="4:  Return Stmt \n   *&return:int=(1 / n$0) [line 57, column 3]\n " shape="box"]
	

	 "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_4" -> "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_2" ;
"implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_5" [label="5:  BinaryOperatorStmt: Assign \n   *&0$?%__sil_tmpSIL_compound_literal__n$1.origin.x.a:int=0 [line 56, column 35]\n  *&0$?%__sil_tmpSIL_compound_literal__n$1.origin.x.b:int=0 [line 56, column 35]\n  *&0$?%__sil_tmpSIL_compound_literal__n$1.origin.y:int=0 [line 56, column 35]\n  *&0$?%__sil_tmpSIL_compound_literal__n$1.z:int=0 [line 56, column 35]\n  *&0$?%__sil_tmpSIL_compound_literal__n$1.size:int=5 [line 56, column 25]\n  n$2=*&0$?%__sil_tmpSIL_compound_literal__n$1.origin.x.a:int [line 56, column 3]\n  *&imageDrawRect.origin.x.a:int=n$2 [line 56, column 3]\n  n$3=*&0$?%__sil_tmpSIL_compound_literal__n$1.origin.x.b:int [line 56, column 3]\n  *&imageDrawRect.origin.x.b:int=n$3 [line 56, column 3]\n  n$4=*&0$?%__sil_tmpSIL_compound_literal__n$1.origin.y:int [line 56, column 3]\n  *&imageDrawRect.origin.y:int=n$4 [line 56, column 3]\n  n$5=*&0$?%__sil_tmpSIL_compound_literal__n$1.z:int [line 56, column 3]\n  *&imageDrawRect.z:int=n$5 [line 56, column 3]\n  n$6=*&0$?%__sil_tmpSIL_compound_literal__n$1.size:int [line 56, column 3]\n  *&imageDrawRect.size:int=n$6 [line 56, column 3]\n " shape="box"]
	

	 "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_5" -> "implicit_expr_set_correctly.dcfe49f71ad24e86323cbad97b1a70fe_3" ;
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals:  p:Point \n  " color=yellow style=filled]
	

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

"main.fad58de7366495db4650cfefac2fcd61_3" [label="3:  DeclStmt \n   VARIABLE_DECLARED(p:Point); [line 15, column 14]\n  *&p.x:int=1 [line 15, column 31]\n  n$0=_fun_foo() [line 15, column 35]\n  *&p.y:int=(n$0 + 3) [line 15, column 31]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
"point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_1" [label="1: Start point_coords_set_correctly\nFormals:  p:Point*\nLocals:  0$?%__sil_tmpSIL_compound_literal__n$2:Point \n  " color=yellow style=filled]
	

	 "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_1" -> "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_5" ;
"point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_2" [label="2: Exit point_coords_set_correctly \n  " color=yellow style=filled]
	

"point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_3" [label="3:  Return Stmt \n   n$0=*&p:Point* [line 19, column 15]\n  n$1=*n$0.x:int [line 19, column 15]\n " shape="box"]
	

	 "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_3" -> "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_4" ;
"point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_4" [label="4:  Return Stmt \n   *&return:int=(1 / (n$1 - 4)) [line 19, column 3]\n " shape="box"]
	

	 "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_4" -> "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_2" ;
"point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_5" [label="5:  BinaryOperatorStmt: Assign \n   n$3=*&p:Point* [line 18, column 4]\n  *&0$?%__sil_tmpSIL_compound_literal__n$2.x:int=4 [line 18, column 15]\n  *&0$?%__sil_tmpSIL_compound_literal__n$2.y:int=5 [line 18, column 15]\n  n$4=*&0$?%__sil_tmpSIL_compound_literal__n$2.x:int [line 18, column 3]\n  *n$3.x:int=n$4 [line 18, column 3]\n  n$5=*&0$?%__sil_tmpSIL_compound_literal__n$2.y:int [line 18, column 3]\n  *n$3.y:int=n$5 [line 18, column 3]\n " shape="box"]
	

	 "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_5" -> "point_coords_set_correctly.3abf7d8dcf379339f0fa9b69df909b28_3" ;
}
