/* @generated */
digraph iCFG {
"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_1" [label="1: Start simple_init\nFormals: \nLocals:  i:int x:int result:int \n   DECLARE_LOCALS(&return,&i,&x,&result); [line 10]\n " color=yellow style=filled]
	

	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_1" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_10" ;
"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_2" [label="2: Exit simple_init \n  " color=yellow style=filled]
	

"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_3" [label="3: + \n  " ]
	

	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_3" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_8" ;
"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_4" [label="4:  DeclStmt \n   *&i:int=0 [line 12]\n " shape="box"]
	

	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_4" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_3" ;
"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_5" [label="5:  UnaryOperator \n   n$0=*&i:int [line 12]\n  *&i:int=(n$0 + 1) [line 12]\n " shape="box"]
	

	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_5" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_3" ;
"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_6" [label="6: Prune (true branch) \n   n$1=*&x:int [line 12]\n  PRUNE((n$1 != 0), true); [line 12]\n " shape="invhouse"]
	

	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_6" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_9" ;
"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_7" [label="7: Prune (false branch) \n   n$1=*&x:int [line 12]\n  PRUNE((n$1 == 0), false); [line 12]\n " shape="invhouse"]
	

	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_7" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_2" ;
"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_8" [label="8:  DeclStmt \n   *&x:int=2 [line 12]\n " shape="box"]
	

	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_8" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_6" ;
	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_8" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_7" ;
"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_9" [label="9:  BinaryOperatorStmt: AddAssign \n   n$2=*&x:int [line 13]\n  n$3=*&result:int [line 13]\n  *&result:int=(n$3 + n$2) [line 13]\n " shape="box"]
	

	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_9" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_5" ;
"simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_10" [label="10:  DeclStmt \n   *&result:int=0 [line 11]\n " shape="box"]
	

	 "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_10" -> "simple_init#_Z11simple_initv.7176b81bfb31c9f0e80e4bf4b6e1e0c4_4" ;
"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_1" [label="1: Start init_with_scoped_var\nFormals: \nLocals:  i:int x:int result:int \n   DECLARE_LOCALS(&return,&i,&x,&result); [line 17]\n " color=yellow style=filled]
	

	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_1" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_10" ;
"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_2" [label="2: Exit init_with_scoped_var \n  " color=yellow style=filled]
	

"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_3" [label="3: + \n  " ]
	

	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_3" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_8" ;
"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_4" [label="4:  DeclStmt \n   *&i:int=10 [line 19]\n " shape="box"]
	

	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_4" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_3" ;
"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_5" [label="5:  UnaryOperator \n   n$0=*&i:int [line 19]\n  *&i:int=(n$0 - 1) [line 19]\n " shape="box"]
	

	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_5" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_3" ;
"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_6" [label="6: Prune (true branch) \n   n$1=*&x:int [line 19]\n  PRUNE((n$1 != 0), true); [line 19]\n " shape="invhouse"]
	

	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_6" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_9" ;
"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_7" [label="7: Prune (false branch) \n   n$1=*&x:int [line 19]\n  PRUNE((n$1 == 0), false); [line 19]\n " shape="invhouse"]
	

	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_7" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_2" ;
"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_8" [label="8:  DeclStmt \n   n$2=*&i:int [line 19]\n  *&x:int=n$2 [line 19]\n " shape="box"]
	

	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_8" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_6" ;
	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_8" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_7" ;
"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_9" [label="9:  BinaryOperatorStmt: AddAssign \n   n$3=*&x:int [line 20]\n  n$4=*&result:int [line 20]\n  *&result:int=(n$4 + n$3) [line 20]\n " shape="box"]
	

	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_9" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_5" ;
"init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_10" [label="10:  DeclStmt \n   *&result:int=0 [line 18]\n " shape="box"]
	

	 "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_10" -> "init_with_scoped_var#_Z20init_with_scoped_varv.d05db806da6f4e0759a7798d55b80e49_4" ;
}
