/* @generated */
digraph iCFG {
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" [label="1: Start __infer_globals_initializer_global\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 15]\n " color=yellow style=filled]
	

	 "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" ;
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_2" [label="2: Exit __infer_globals_initializer_global \n  " color=yellow style=filled]
	

"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" [label="3:  DeclStmt \n   _fun_X_X(&#GB<codetoanalyze/cpp/shared/reference/member_access_from_return.cpp>$global:X*) [line 15]\n " shape="box"]
	

	 "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_2" ;
"get_ptr#_Z7get_ptrv.c666d84ceda5774e37973f9b5eb5f9dc_1" [label="1: Start get_ptr\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 16]\n " color=yellow style=filled]
	

	 "get_ptr#_Z7get_ptrv.c666d84ceda5774e37973f9b5eb5f9dc_1" -> "get_ptr#_Z7get_ptrv.c666d84ceda5774e37973f9b5eb5f9dc_3" ;
"get_ptr#_Z7get_ptrv.c666d84ceda5774e37973f9b5eb5f9dc_2" [label="2: Exit get_ptr \n  " color=yellow style=filled]
	

"get_ptr#_Z7get_ptrv.c666d84ceda5774e37973f9b5eb5f9dc_3" [label="3:  Return Stmt \n   *&return:X*=&#GB<codetoanalyze/cpp/shared/reference/member_access_from_return.cpp>$global [line 16]\n " shape="box"]
	

	 "get_ptr#_Z7get_ptrv.c666d84ceda5774e37973f9b5eb5f9dc_3" -> "get_ptr#_Z7get_ptrv.c666d84ceda5774e37973f9b5eb5f9dc_2" ;
"get_ref#_Z7get_refv.18a1c6f6ff8f44de514adaebcdd993e3_1" [label="1: Start get_ref\nFormals: \nLocals:  \n   DECLARE_LOCALS(&return); [line 17]\n " color=yellow style=filled]
	

	 "get_ref#_Z7get_refv.18a1c6f6ff8f44de514adaebcdd993e3_1" -> "get_ref#_Z7get_refv.18a1c6f6ff8f44de514adaebcdd993e3_3" ;
"get_ref#_Z7get_refv.18a1c6f6ff8f44de514adaebcdd993e3_2" [label="2: Exit get_ref \n  " color=yellow style=filled]
	

"get_ref#_Z7get_refv.18a1c6f6ff8f44de514adaebcdd993e3_3" [label="3:  Return Stmt \n   *&return:X&=&#GB<codetoanalyze/cpp/shared/reference/member_access_from_return.cpp>$global [line 17]\n " shape="box"]
	

	 "get_ref#_Z7get_refv.18a1c6f6ff8f44de514adaebcdd993e3_3" -> "get_ref#_Z7get_refv.18a1c6f6ff8f44de514adaebcdd993e3_2" ;
"test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_1" [label="1: Start test_ref\nFormals: \nLocals:  c:int f:int \n   DECLARE_LOCALS(&return,&c,&f); [line 19]\n " color=yellow style=filled]
	

	 "test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_1" -> "test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_4" ;
"test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_2" [label="2: Exit test_ref \n  " color=yellow style=filled]
	

"test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_3" [label="3:  DeclStmt \n   n$0=_fun_get_ref() [line 21]\n  _=*n$0:X [line 21]\n  n$2=_fun_X_call(n$0:X&) [line 21]\n  *&c:int=n$2 [line 21]\n " shape="box"]
	

	 "test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_3" -> "test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_2" ;
"test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_4" [label="4:  DeclStmt \n   n$3=_fun_get_ref() [line 20]\n  n$4=*n$3.f:int [line 20]\n  *&f:int=n$4 [line 20]\n " shape="box"]
	

	 "test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_4" -> "test_ref#_Z8test_refv.1afc11e036fdb103a653a26b25d469d6_3" ;
"test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_1" [label="1: Start test_ptr\nFormals: \nLocals:  c:int f:int \n   DECLARE_LOCALS(&return,&c,&f); [line 24]\n " color=yellow style=filled]
	

	 "test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_1" -> "test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_4" ;
"test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_2" [label="2: Exit test_ptr \n  " color=yellow style=filled]
	

"test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_3" [label="3:  DeclStmt \n   n$0=_fun_get_ptr() [line 26]\n  _=*n$0:X [line 26]\n  n$2=_fun_X_call(n$0:X*) [line 26]\n  *&c:int=n$2 [line 26]\n " shape="box"]
	

	 "test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_3" -> "test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_2" ;
"test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_4" [label="4:  DeclStmt \n   n$3=_fun_get_ptr() [line 25]\n  n$4=*n$3.f:int [line 25]\n  *&f:int=n$4 [line 25]\n " shape="box"]
	

	 "test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_4" -> "test_ptr#_Z8test_ptrv.febb3878182101927d1f4015691bf435_3" ;
"call#X#(_ZN1X4callEv).6850f213fac2fabbb652507f2d371b31_1" [label="1: Start X_call\nFormals:  this:X*\nLocals:  \n   DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled]
	

	 "call#X#(_ZN1X4callEv).6850f213fac2fabbb652507f2d371b31_1" -> "call#X#(_ZN1X4callEv).6850f213fac2fabbb652507f2d371b31_3" ;
"call#X#(_ZN1X4callEv).6850f213fac2fabbb652507f2d371b31_2" [label="2: Exit X_call \n  " color=yellow style=filled]
	

"call#X#(_ZN1X4callEv).6850f213fac2fabbb652507f2d371b31_3" [label="3:  Return Stmt \n   n$0=*&this:X* [line 12]\n  n$1=*n$0.f:int [line 12]\n  *&return:int=n$1 [line 12]\n " shape="box"]
	

	 "call#X#(_ZN1X4callEv).6850f213fac2fabbb652507f2d371b31_3" -> "call#X#(_ZN1X4callEv).6850f213fac2fabbb652507f2d371b31_2" ;
"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]
	

}
