/* @generated */
digraph iCFG {
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals:  x:X 0$?%__sil_tmpSIL_materialize_temp__n$0:int const [5*4] const  \n   DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$0); [line 24]\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   *&0$?%__sil_tmpSIL_materialize_temp__n$0[0]:int const =1 [line 24]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$0[1]:int const =2 [line 24]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$0[2]:int const =3 [line 24]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$0[3]:int const =4 [line 24]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$0[4]:int const =5 [line 24]\n  n$1=_fun___infer_skip_function(&0$?%__sil_tmpSIL_materialize_temp__n$0:int const [5*4] const ) [line 24]\n  _fun_X_X(&x:X*,n$1:std::initializer_list<int>) [line 24]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_1" [label="1: Start X_X\nFormals:  this:X* list:std::initializer_list<int>&\nLocals:  i:int const * \n   DECLARE_LOCALS(&return,&i); [line 14]\n " color=yellow style=filled]
	

	 "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_1" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_4" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_2" [label="2: Exit X_X \n  " color=yellow style=filled]
	

"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_3" [label="3: + \n  " ]
	

	 "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_3" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_6" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_4" [label="4:  DeclStmt \n   n$0=*&list:std::initializer_list<int>& [line 15]\n  _=*n$0:std::initializer_list<int> [line 15]\n  n$2=_fun_std::initializer_list<int>_begin(n$0:std::initializer_list<int>&) [line 15]\n  *&i:int const *=n$2 [line 15]\n " shape="box"]
	

	 "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_4" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_3" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_5" [label="5:  UnaryOperator \n   n$3=*&i:int const * [line 15]\n  *&i:int const *=(n$3 + 1) [line 15]\n " shape="box"]
	

	 "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_5" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_3" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_6" [label="6:  BinaryOperatorStmt: NE \n   n$4=*&i:int const * [line 15]\n  n$5=*&list:std::initializer_list<int>& [line 15]\n  _=*n$5:std::initializer_list<int> [line 15]\n  n$7=_fun_std::initializer_list<int>_end(n$5:std::initializer_list<int>&) [line 15]\n " shape="box"]
	

	 "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_6" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_7" ;
	 "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_6" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_8" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_7" [label="7: Prune (true branch) \n   PRUNE(((n$4 != n$7) != 0), true); [line 15]\n " shape="invhouse"]
	

	 "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_7" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_9" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_8" [label="8: Prune (false branch) \n   PRUNE(((n$4 != n$7) == 0), false); [line 15]\n " shape="invhouse"]
	

	 "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_8" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_2" ;
"X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_9" [label="9:  BinaryOperatorStmt: Assign \n   n$8=*&this:X* [line 16]\n  n$9=*&this:X* [line 16]\n  n$10=*n$9.sum:int [line 16]\n  n$11=*&i:int const * [line 16]\n  n$12=*n$11:int [line 16]\n  *n$8.sum:int=(n$10 + n$12) [line 16]\n " shape="box"]
	

	 "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_9" -> "X#X#{_ZN1XC1ESt16initializer_listIiE}.778d0439d25462bdf7ed466490fcf946_5" ;
"begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_1" [label="1: Start std::initializer_list<int>_begin\nFormals:  this:std::initializer_list<int>*\nLocals:  \n   DECLARE_LOCALS(&return); [line 87]\n " color=yellow style=filled]
	

	 "begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_1" -> "begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_3" ;
"begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_2" [label="2: Exit std::initializer_list<int>_begin \n  " color=yellow style=filled]
	

"begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_3" [label="3:  Return Stmt \n   n$0=*&this:std::initializer_list<int> const * [line 89]\n  n$1=*n$0.__begin_:int const * [line 89]\n  *&return:int const *=n$1 [line 89]\n " shape="box"]
	

	 "begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_3" -> "begin#initializer_list<int>#std#(_ZNKSt16initializer_listIiE5beginEv).5ff41b6cf79ad5bdc7996750c14585b5_2" ;
"end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_1" [label="1: Start std::initializer_list<int>_end\nFormals:  this:std::initializer_list<int>*\nLocals:  \n   DECLARE_LOCALS(&return); [line 91]\n " color=yellow style=filled]
	

	 "end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_1" -> "end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_3" ;
"end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_2" [label="2: Exit std::initializer_list<int>_end \n  " color=yellow style=filled]
	

"end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_3" [label="3:  Return Stmt \n   n$0=*&this:std::initializer_list<int> const * [line 93]\n  n$1=*n$0.__begin_:int const * [line 93]\n  n$2=*&this:std::initializer_list<int> const * [line 93]\n  n$3=*n$2.__size_:unsigned long [line 93]\n  *&return:int const *=(n$1 + n$3) [line 93]\n " shape="box"]
	

	 "end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_3" -> "end#initializer_list<int>#std#(_ZNKSt16initializer_listIiE3endEv).53453a602b1a192493a671bcc1295ad6_2" ;
}
