{"name": "__gcov_close", "code": "__int64 _gcov_close ( ) { FILE * @@v0@@ ; int @@v1@@ ; __int64 @@result@@ ; @@v0@@ = * ( FILE * * ) _gcov_var ; if ( * ( _QWORD * ) _gcov_var ) { @@v1@@ = _gcov_var [ Number ] ; if ( @@v1@@ && ( _gcov_var [ Number ] & Number ) != Number ) { gcov_write_block ( @@v1@@ ) ; @@v0@@ = * ( FILE * * ) _gcov_var ; } fclose ( @@v0@@ ) ; * ( _QWORD * ) _gcov_var = Number L ; _gcov_var [ Number ] = Number ; } @@result@@ = _gcov_var [ Number ] ; _gcov_var [ Number ] = Number ; return @@result@@ ; }", "source": [{"n": "v0", "t": {"T": 3, "t": "FILE"}, "location": "r56"}, {"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r72"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}
{"name": "gcov_write_block", "code": "size_t __fastcall gcov_write_block ( int @@a1@@ ) { size_t @@result@@ ; @@result@@ = fwrite ( ( char * ) & _gcov_var + Number , ( unsigned int ) ( Number * @@a1@@ ) , Number , _gcov_var ) ; if ( @@result@@ != Number ) * ( ( _DWORD * ) & _gcov_var + Number ) = Number ; * ( ( _DWORD * ) & _gcov_var + Number ) += @@a1@@ ; * ( ( _DWORD * ) & _gcov_var + Number ) -= @@a1@@ ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r8"}]}