/* @generated */
digraph iCFG {
"test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_1" [label="1: Start test\nFormals:  a:A*\nLocals:  x:X 0$?%__sil_tmpSIL_materialize_temp__n$1:X \n   DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 21]\n " color=yellow style=filled]
	

	 "test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_1" -> "test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_4" ;
"test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_2" [label="2: Exit test \n  " color=yellow style=filled]
	

"test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_3" [label="3:  Return Stmt \n   n$0=*&x.f:int [line 23]\n  *&return:int=(1 / n$0) [line 23]\n " shape="box"]
	

	 "test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_3" -> "test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_2" ;
"test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_4" [label="4:  DeclStmt \n   n$2=*&a:A* [line 22]\n  _=*n$2:A [line 22]\n  _fun_A_get(n$2:A*,1:int,&0$?%__sil_tmpSIL_materialize_temp__n$1:X*) [line 22]\n  _fun_X_X(&x:X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:X&) [line 22]\n " shape="box"]
	

	 "test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_4" -> "test#_Z4testP1A.52540e09537d17a69592d2cebe79aa07_3" ;
"get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_1" [label="1: Start A_get\nFormals:  this:A* p:int __return_param:X*\nLocals:  x:X \n   DECLARE_LOCALS(&return,&x); [line 15]\n " color=yellow style=filled]
	

	 "get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_1" -> "get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_4" ;
"get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_2" [label="2: Exit A_get \n  " color=yellow style=filled]
	

"get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_3" [label="3:  Return Stmt \n   n$0=*&__return_param:X* [line 17]\n  _fun_X_X(n$0:X*,&x:X&) [line 17]\n " shape="box"]
	

	 "get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_3" -> "get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_2" ;
"get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_4" [label="4:  DeclStmt \n   _fun_X_X(&x:X*) [line 16]\n " shape="box"]
	

	 "get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_4" -> "get#A#(_ZN1A3getEi).25cca7303a0478349d0e34df20281799_3" ;
"X#X#{_ZN1XC1Ev}.de3838d93566ad3a73011188ff48af20_1" [label="1: Start X_X\nFormals:  this:X*\nLocals:  \n   DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
	

	 "X#X#{_ZN1XC1Ev}.de3838d93566ad3a73011188ff48af20_1" -> "X#X#{_ZN1XC1Ev}.de3838d93566ad3a73011188ff48af20_2" ;
"X#X#{_ZN1XC1Ev}.de3838d93566ad3a73011188ff48af20_2" [label="2: Exit X_X \n  " color=yellow style=filled]
	

"X#X#{_ZN1XC1EOS_|constexpr}.7618fc6d48101a2ab5af87a16e6b961b_1" [label="1: Start X_X\nFormals:  this:X* __param_0:X&\nLocals:  \n   DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
	

	 "X#X#{_ZN1XC1EOS_|constexpr}.7618fc6d48101a2ab5af87a16e6b961b_1" -> "X#X#{_ZN1XC1EOS_|constexpr}.7618fc6d48101a2ab5af87a16e6b961b_3" ;
"X#X#{_ZN1XC1EOS_|constexpr}.7618fc6d48101a2ab5af87a16e6b961b_2" [label="2: Exit X_X \n  " color=yellow style=filled]
	

"X#X#{_ZN1XC1EOS_|constexpr}.7618fc6d48101a2ab5af87a16e6b961b_3" [label="3:  Constructor Init \n   n$0=*&this:X* [line 10]\n  n$1=*&__param_0:X& [line 10]\n  n$2=*n$1.f:int [line 10]\n  *n$0.f:int=n$2 [line 10]\n " shape="box"]
	

	 "X#X#{_ZN1XC1EOS_|constexpr}.7618fc6d48101a2ab5af87a16e6b961b_3" -> "X#X#{_ZN1XC1EOS_|constexpr}.7618fc6d48101a2ab5af87a16e6b961b_2" ;
}
