{"name": "DArray_pop", "code": "__int64 __fastcall DArray_pop ( int * @@a1@@ ) { int * v1 ; char * v2 ; int * v3 ; char * v4 ; __int64 @@v6@@ ; if ( ! @@a1@@ ) { if ( * __errno_location ( ) ) { v1 = __errno_location ( ) ; v2 = strerror ( * v1 ) ; } else { v2 = String ; } fprintf ( stderr , String , String , Number L , String , v2 ) ; * __errno_location ( ) = Number ; return Number L ; } if ( * @@a1@@ <= Number ) { if ( * __errno_location ( ) ) { v3 = __errno_location ( ) ; v4 = strerror ( * v3 ) ; } else { v4 = String ; } fprintf ( stderr , String , String , Number L , String , v4 ) ; * __errno_location ( ) = Number ; return Number L ; } @@v6@@ = DArray_remove ( ( __int64 ) @@a1@@ , * @@a1@@ - Number ) ; if ( -- * @@a1@@ > ( int ) * ( ( _QWORD * ) @@a1@@ + Number ) && ( unsigned __int64 ) * @@a1@@ % * ( ( _QWORD * ) @@a1@@ + Number ) ) DArray_contract ( ( __int64 ) @@a1@@ ) ; return @@v6@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "int"}, "location": "r56"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s8"}]}
{"name": "DArray_remove", "code": "__int64 __fastcall DArray_remove ( __int64 @@a1@@ , int @@a2@@ ) { __int64 @@v3@@ ; @@v3@@ = * ( _QWORD * ) ( Number L * @@a2@@ + * ( _QWORD * ) ( @@a1@@ + Number ) ) ; * ( _QWORD * ) ( Number L * @@a2@@ + * ( _QWORD * ) ( @@a1@@ + Number ) ) = Number L ; return @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s8"}]} {"name": "DArray_contract", "code": "__int64 __fastcall DArray_contract ( __int64 @@a1@@ ) { int * v1 ; char * v2 ; __int64 result ; int v4 ; if ( @@a1@@ ) { v4 = * ( _DWORD * ) @@a1@@ ; if ( * ( _DWORD * ) @@a1@@ < ( int ) * ( _QWORD * ) ( @@a1@@ + Number ) ) v4 = * ( _QWORD * ) ( @@a1@@ + Number ) ; result = DArray_resize ( @@a1@@ , v4 + Number ) ; } else { if ( * __errno_location ( ) ) { v1 = __errno_location ( ) ; v2 = strerror ( * v1 ) ; } else { v2 = String ; } fprintf ( stderr , String , String , Number L , String , v2 ) ; * __errno_location ( ) = Number ; result = Number ; } return result ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}]}