/* @generated */
digraph cfg {
"__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_1" [label="1: Start __infer_globals_initializer_global\nFormals: \nLocals:  \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   VARIABLE_DECLARED(#GB<codetoanalyze/cpp/shared/reference/member_access_from_return.cpp>$global:X); [line 13, column 1]\n  n$0=_fun_X::X(&#GB<codetoanalyze/cpp/shared/reference/member_access_from_return.cpp>$global:X*) [line 13, column 3]\n  EXIT_SCOPE(n$0); [line 13, column 3]\n  APPLY_ABSTRACTION; [line 13, column 3]\n " shape="box"]
	

	 "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_3" -> "__infer_globals_initializer_global.bdc08c089842ce08b974b22a75daf78e_2" ;
"get_ptr#548333400578323912.5cb5eba6c7605ca7fd66bf5755cb7ce3_1" [label="1: Start get_ptr\nFormals: \nLocals:  \n  " color=yellow style=filled]
	

	 "get_ptr#548333400578323912.5cb5eba6c7605ca7fd66bf5755cb7ce3_1" -> "get_ptr#548333400578323912.5cb5eba6c7605ca7fd66bf5755cb7ce3_3" ;
"get_ptr#548333400578323912.5cb5eba6c7605ca7fd66bf5755cb7ce3_2" [label="2: Exit get_ptr \n  " color=yellow style=filled]
	

"get_ptr#548333400578323912.5cb5eba6c7605ca7fd66bf5755cb7ce3_3" [label="3:  Return Stmt \n   *&return:X*=&#GB<codetoanalyze/cpp/shared/reference/member_access_from_return.cpp>$global [line 14, column 16]\n  APPLY_ABSTRACTION; [line 14, column 16]\n " shape="box"]
	

	 "get_ptr#548333400578323912.5cb5eba6c7605ca7fd66bf5755cb7ce3_3" -> "get_ptr#548333400578323912.5cb5eba6c7605ca7fd66bf5755cb7ce3_2" ;
"get_ref#3760753509995480941.1a9482316aa67c38d5004ec1f3cb74db_1" [label="1: Start get_ref\nFormals: \nLocals:  \n  " color=yellow style=filled]
	

	 "get_ref#3760753509995480941.1a9482316aa67c38d5004ec1f3cb74db_1" -> "get_ref#3760753509995480941.1a9482316aa67c38d5004ec1f3cb74db_3" ;
"get_ref#3760753509995480941.1a9482316aa67c38d5004ec1f3cb74db_2" [label="2: Exit get_ref \n  " color=yellow style=filled]
	

"get_ref#3760753509995480941.1a9482316aa67c38d5004ec1f3cb74db_3" [label="3:  Return Stmt \n   *&return:X&=&#GB<codetoanalyze/cpp/shared/reference/member_access_from_return.cpp>$global [line 15, column 16]\n  APPLY_ABSTRACTION; [line 15, column 16]\n " shape="box"]
	

	 "get_ref#3760753509995480941.1a9482316aa67c38d5004ec1f3cb74db_3" -> "get_ref#3760753509995480941.1a9482316aa67c38d5004ec1f3cb74db_2" ;
"test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_1" [label="1: Start test_ptr\nFormals: \nLocals:  c:int f:int \n  " color=yellow style=filled]
	

	 "test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_1" -> "test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_4" ;
"test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_2" [label="2: Exit test_ptr \n  " color=yellow style=filled]
	

"test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_3" [label="3:  DeclStmt \n   VARIABLE_DECLARED(c:int); [line 24, column 3]\n  n$1=_fun_get_ptr() [line 24, column 11]\n  _=*n$1:X [line 24, column 11]\n  n$3=_fun_X::call(n$1:X*) [line 24, column 11]\n  *&c:int=n$3 [line 24, column 3]\n  NULLIFY(&c); [line 24, column 3]\n  EXIT_SCOPE(_,n$1,n$3,c); [line 24, column 3]\n  APPLY_ABSTRACTION; [line 24, column 3]\n " shape="box"]
	

	 "test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_3" -> "test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_2" ;
"test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_4" [label="4:  DeclStmt \n   VARIABLE_DECLARED(f:int); [line 23, column 3]\n  n$4=_fun_get_ptr() [line 23, column 11]\n  n$5=*n$4.f:int [line 23, column 11]\n  *&f:int=n$5 [line 23, column 3]\n  NULLIFY(&f); [line 23, column 3]\n  EXIT_SCOPE(n$4,n$5,f); [line 23, column 3]\n " shape="box"]
	

	 "test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_4" -> "test_ptr#11416786403465510397.fe356f46dccde5545eadf0c661f4974d_3" ;
"test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_1" [label="1: Start test_ref\nFormals: \nLocals:  c:int f:int \n  " color=yellow style=filled]
	

	 "test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_1" -> "test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_4" ;
"test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_2" [label="2: Exit test_ref \n  " color=yellow style=filled]
	

"test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_3" [label="3:  DeclStmt \n   VARIABLE_DECLARED(c:int); [line 19, column 3]\n  n$1=_fun_get_ref() [line 19, column 11]\n  _=*n$1:X [line 19, column 11]\n  n$3=_fun_X::call(n$1:X&) [line 19, column 11]\n  *&c:int=n$3 [line 19, column 3]\n  NULLIFY(&c); [line 19, column 3]\n  EXIT_SCOPE(_,n$1,n$3,c); [line 19, column 3]\n  APPLY_ABSTRACTION; [line 19, column 3]\n " shape="box"]
	

	 "test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_3" -> "test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_2" ;
"test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_4" [label="4:  DeclStmt \n   VARIABLE_DECLARED(f:int); [line 18, column 3]\n  n$4=_fun_get_ref() [line 18, column 11]\n  n$5=*n$4.f:int [line 18, column 11]\n  *&f:int=n$5 [line 18, column 3]\n  NULLIFY(&f); [line 18, column 3]\n  EXIT_SCOPE(n$4,n$5,f); [line 18, column 3]\n " shape="box"]
	

	 "test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_4" -> "test_ref#7021555814503032268.9c735d5eedd26e3009ec35c4af427db4_3" ;
"call#X#(5770224879682844394).d055b894c8e89eaff4b8d412706da082_1" [label="1: Start X::call\nFormals:  this:X*\nLocals:  \n  " color=yellow style=filled]
	

	 "call#X#(5770224879682844394).d055b894c8e89eaff4b8d412706da082_1" -> "call#X#(5770224879682844394).d055b894c8e89eaff4b8d412706da082_3" ;
"call#X#(5770224879682844394).d055b894c8e89eaff4b8d412706da082_2" [label="2: Exit X::call \n  " color=yellow style=filled]
	

"call#X#(5770224879682844394).d055b894c8e89eaff4b8d412706da082_3" [label="3:  Return Stmt \n   n$0=*&this:X* [line 10, column 23]\n  n$1=*n$0.f:int [line 10, column 23]\n  *&return:int=n$1 [line 10, column 16]\n  NULLIFY(&this); [line 10, column 16]\n  EXIT_SCOPE(n$0,n$1,this); [line 10, column 16]\n  APPLY_ABSTRACTION; [line 10, column 16]\n " shape="box"]
	

	 "call#X#(5770224879682844394).d055b894c8e89eaff4b8d412706da082_3" -> "call#X#(5770224879682844394).d055b894c8e89eaff4b8d412706da082_2" ;
"X#X#{4951618003533511344}.a6c75b361b5e04dddb518f7e116a9ca2_1" [label="1: Start X::X\nFormals:  this:X*\nLocals:  \n  " color=yellow style=filled]
	

	 "X#X#{4951618003533511344}.a6c75b361b5e04dddb518f7e116a9ca2_1" -> "X#X#{4951618003533511344}.a6c75b361b5e04dddb518f7e116a9ca2_2" ;
"X#X#{4951618003533511344}.a6c75b361b5e04dddb518f7e116a9ca2_2" [label="2: Exit X::X \n  " color=yellow style=filled]
	

}
