/* @generated */
digraph cfg {
"main.fad58de7366495db4650cfefac2fcd61_1" [label="1: Start main\nFormals: \nLocals:  x:X 0$?%__sil_tmpSIL_materialize_temp__n$0:int const [5*4] const  \n  " color=yellow style=filled]
	

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

"main.fad58de7366495db4650cfefac2fcd61_3" [label="3:  DeclStmt \n   VARIABLE_DECLARED(0$?%__sil_tmpSIL_materialize_temp__n$0:int const [5*4] const ); [line 22, column 20]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$0[0]:int=1 [line 22, column 20]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$0[1]:int=2 [line 22, column 20]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$0[2]:int=3 [line 22, column 20]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$0[3]:int=4 [line 22, column 20]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$0[4]:int=5 [line 22, column 20]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_3" -> "main.fad58de7366495db4650cfefac2fcd61_5" ;
"main.fad58de7366495db4650cfefac2fcd61_4" [label="4:  DeclStmt \n   VARIABLE_DECLARED(x:X); [line 22, column 14]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_4" -> "main.fad58de7366495db4650cfefac2fcd61_3" ;
"main.fad58de7366495db4650cfefac2fcd61_5" [label="5:  DeclStmt \n   n$1=_fun___infer_initializer_list(&0$?%__sil_tmpSIL_materialize_temp__n$0:int const [5*4] const ) [line 22, column 20]\n  n$2=_fun_X::X(&x:X*,n$1:std::initializer_list<int>) [line 22, column 20]\n " shape="box"]
	

	 "main.fad58de7366495db4650cfefac2fcd61_5" -> "main.fad58de7366495db4650cfefac2fcd61_2" ;
"X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_1" [label="1: Start X::X\nFormals:  this:X* list:std::initializer_list<int>&\nLocals:  i:int const * \n  " color=yellow style=filled]
	

	 "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_1" -> "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_4" ;
"X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_2" [label="2: Exit X::X \n  " color=yellow style=filled]
	

"X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_3" [label="3: + \n  " ]
	

	 "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_3" -> "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_6" ;
"X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_4" [label="4:  DeclStmt \n   VARIABLE_DECLARED(i:int const *); [line 13, column 10]\n  n$0=*&list:std::initializer_list<int>& [line 13, column 19]\n  _=*n$0:std::initializer_list<int> [line 13, column 19]\n  n$2=_fun_std::initializer_list<int>::begin(n$0:std::initializer_list<int>&) [line 13, column 19]\n  *&i:int const *=n$2 [line 13, column 10]\n " shape="box"]
	

	 "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_4" -> "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_3" ;
"X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_5" [label="5:  UnaryOperator \n   n$3=*&i:int const * [line 13, column 50]\n  *&i:int const *=(n$3 + 1) [line 13, column 50]\n " shape="box"]
	

	 "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_5" -> "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_3" ;
"X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_6" [label="6:  BinaryOperatorStmt: NE \n   n$4=*&i:int const * [line 13, column 33]\n  n$5=*&list:std::initializer_list<int>& [line 13, column 38]\n  _=*n$5:std::initializer_list<int> [line 13, column 38]\n  n$7=_fun_std::initializer_list<int>::end(n$5:std::initializer_list<int>&) [line 13, column 38]\n " shape="box"]
	

	 "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_6" -> "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_7" ;
	 "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_6" -> "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_8" ;
"X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_7" [label="7: Prune (true branch, for loop) \n   PRUNE((n$4 != n$7), true); [line 13, column 33]\n " shape="invhouse"]
	

	 "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_7" -> "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_9" ;
"X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_8" [label="8: Prune (false branch, for loop) \n   PRUNE(!(n$4 != n$7), false); [line 13, column 33]\n " shape="invhouse"]
	

	 "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_8" -> "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_2" ;
"X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_9" [label="9:  BinaryOperatorStmt: Assign \n   n$8=*&this:X* [line 14, column 7]\n  n$9=*&this:X* [line 14, column 13]\n  n$10=*n$9.sum:int [line 14, column 13]\n  n$11=*&i:int const * [line 14, column 20]\n  n$12=*n$11:int [line 14, column 19]\n  *n$8.sum:int=(n$10 + n$12) [line 14, column 7]\n " shape="box"]
	

	 "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_9" -> "X#X#{1065863404316007821}.20931c4c04f455f4d98a49d14148be28_5" ;
}
