/* @generated */
digraph iCFG {
"__infer_globals_initializer_test.19c6153ea70b713d8d2a1a0fd4ae91e3_1" [label="1: Start __infer_globals_initializer_test\nFormals: \nLocals:  0$?%__sil_tmpSIL_materialize_temp__n$0:int 0$?%__sil_tmpSIL_materialize_temp__n$1:int 0$?%__sil_tmpSIL_materialize_temp__n$2:int \n   DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_materialize_temp__n$0,&0$?%__sil_tmpSIL_materialize_temp__n$1,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 23]\n " color=yellow style=filled]
	

	 "__infer_globals_initializer_test.19c6153ea70b713d8d2a1a0fd4ae91e3_1" -> "__infer_globals_initializer_test.19c6153ea70b713d8d2a1a0fd4ae91e3_3" ;
"__infer_globals_initializer_test.19c6153ea70b713d8d2a1a0fd4ae91e3_2" [label="2: Exit __infer_globals_initializer_test \n  " color=yellow style=filled]
	

"__infer_globals_initializer_test.19c6153ea70b713d8d2a1a0fd4ae91e3_3" [label="3:  DeclStmt \n   *&0$?%__sil_tmpSIL_materialize_temp__n$0:int=0 [line 23]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$1:int=0 [line 23]\n  *&0$?%__sil_tmpSIL_materialize_temp__n$2:int=0 [line 23]\n  n$3=_fun_hash_combine_generic<MyHasher,_int,_int,_int>(&0$?%__sil_tmpSIL_materialize_temp__n$0:int&,&0$?%__sil_tmpSIL_materialize_temp__n$1:int&,&0$?%__sil_tmpSIL_materialize_temp__n$2:int&) [line 23]\n  *&#GB<codetoanalyze/cpp/shared/templates/sizeof_pack.cpp>$test:int=n$3 [line 23]\n " shape="box"]
	

	 "__infer_globals_initializer_test.19c6153ea70b713d8d2a1a0fd4ae91e3_3" -> "__infer_globals_initializer_test.19c6153ea70b713d8d2a1a0fd4ae91e3_2" ;
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_1" [label="1: Start hash_combine_generic<MyHasher,_int,_int,_int>\nFormals:  t:int const & ts:int const & ts:int const &\nLocals:  seed:int \n   DECLARE_LOCALS(&return,&seed); [line 15]\n " color=yellow style=filled]
	

	 "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_1" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_8" ;
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_2" [label="2: Exit hash_combine_generic<MyHasher,_int,_int,_int> \n  " color=yellow style=filled]
	

"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_3" [label="3:  Return Stmt \n   *&return:int=0 [line 20]\n " shape="box"]
	

	 "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_3" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_2" ;
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_4" [label="4: + \n  " ]
	

	 "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_4" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_3" ;
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_5" [label="5: Prune (true branch) \n   PRUNE(((_t$0 == 0) != 0), true); [line 17]\n " shape="invhouse"]
	

	 "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_5" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_7" ;
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_6" [label="6: Prune (false branch) \n   PRUNE(((_t$0 == 0) == 0), false); [line 17]\n " shape="invhouse"]
	

	 "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_6" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_4" ;
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_7" [label="7:  Return Stmt \n   n$0=*&seed:int [line 18]\n  *&return:int=n$0 [line 18]\n " shape="box"]
	

	 "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_7" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_2" ;
"hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_8" [label="8:  DeclStmt \n   n$1=*&t:int const & [line 16]\n  n$2=*n$1:int [line 16]\n  n$3=_fun_MyHasher_hash(n$2:int) [line 16]\n  *&seed:int=n$3 [line 16]\n " shape="box"]
	

	 "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_8" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_5" ;
	 "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_8" -> "hash_combine_generic<MyHasher,_int,_int,_int>#_Z20hash_combine_genericI8MyHasheriJiiEEiRKT0_DpRKT1_.3a83fee393c73f136d3b23cd9979468e_6" ;
"hash#MyHasher#(_ZN8MyHasher4hashEi).1eea369da12a365223bc03beb7f7b901_1" [label="1: Start MyHasher_hash\nFormals:  t:int\nLocals:  \n   DECLARE_LOCALS(&return); [line 11]\n " color=yellow style=filled]
	

	 "hash#MyHasher#(_ZN8MyHasher4hashEi).1eea369da12a365223bc03beb7f7b901_1" -> "hash#MyHasher#(_ZN8MyHasher4hashEi).1eea369da12a365223bc03beb7f7b901_3" ;
"hash#MyHasher#(_ZN8MyHasher4hashEi).1eea369da12a365223bc03beb7f7b901_2" [label="2: Exit MyHasher_hash \n  " color=yellow style=filled]
	

"hash#MyHasher#(_ZN8MyHasher4hashEi).1eea369da12a365223bc03beb7f7b901_3" [label="3:  Return Stmt \n   *&return:int=1 [line 11]\n " shape="box"]
	

	 "hash#MyHasher#(_ZN8MyHasher4hashEi).1eea369da12a365223bc03beb7f7b901_3" -> "hash#MyHasher#(_ZN8MyHasher4hashEi).1eea369da12a365223bc03beb7f7b901_2" ;
}
