{"name": "DArray_mergesort", "code": "__int64 __fastcall DArray_mergesort ( __int64 @@a1@@ , __int64 @@a2@@ ) { int * v2 ; char * v3 ; int * v4 ; char * v5 ; void * * @@v7@@ ; if ( ! @@a1@@ ) { if ( * __errno_location ( ) ) { v2 = __errno_location ( ) ; v3 = strerror ( * v2 ) ; } else { v3 = String ; } fprintf ( stderr , String , String , Number L , String , v3 ) ; * __errno_location ( ) = Number ; return Number L ; } if ( ! @@a2@@ ) { if ( * __errno_location ( ) ) { v4 = __errno_location ( ) ; v5 = strerror ( * v4 ) ; } else { v5 = String ; } fprintf ( stderr , String , String , Number L , String , v5 ) ; * __errno_location ( ) = Number ; return Number L ; } if ( * ( _DWORD * ) @@a1@@ != Number ) { @@v7@@ = ( void * * ) DArray_create ( * ( _QWORD * ) ( @@a1@@ + Number ) , * ( int * ) ( @@a1@@ + Number ) ) ; DArray_copy ( ( unsigned int * ) @@a1@@ , ( __int64 ) @@v7@@ ) ; _DArray_bottom_up_mergesort ( @@a1@@ , @@v7@@ , @@a2@@ ) ; DArray_destroy ( @@v7@@ ) ; } return Number L ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v7", "t": {"T": 3, "t": "void *"}, "location": "s8"}]}
{"name": "DArray_create", "code": "_DWORD * __fastcall DArray_create ( __int64 @@a1@@ , size_t @@a2@@ ) { int * v2 ; char * v3 ; int * v4 ; char * v5 ; int * v6 ; char * v7 ; _DWORD * @@ptr@@ ; @@ptr@@ = malloc ( Number ) ; if ( @@ptr@@ ) { @@ptr@@ [ Number ] = @@a2@@ ; if ( ( int ) @@ptr@@ [ Number ] > Number ) { * ( ( _QWORD * ) @@ptr@@ + Number ) = calloc ( @@a2@@ , Number ) ; if ( * ( ( _QWORD * ) @@ptr@@ + Number ) ) { * @@ptr@@ = Number ; * ( ( _QWORD * ) @@ptr@@ + Number ) = @@a1@@ ; * ( ( _QWORD * ) @@ptr@@ + Number ) = Number L ; return @@ptr@@ ; } if ( * __errno_location ( ) ) { v6 = __errno_location ( ) ; v7 = strerror ( * v6 ) ; } else { v7 = String ; } fprintf ( stderr , String , String , Number L , String , v7 ) ; * __errno_location ( ) = Number ; } else { if ( * __errno_location ( ) ) { v4 = __errno_location ( ) ; v5 = strerror ( * v4 ) ; } else { v5 = String ; } fprintf ( stderr , String , String , Number L , String , v5 ) ; * __errno_location ( ) = Number ; } } else { if ( * __errno_location ( ) ) { v2 = __errno_location ( ) ; v3 = strerror ( * v2 ) ; } else { v3 = String ; } fprintf ( stderr , String , String , Number L , String , v3 ) ; * __errno_location ( ) = Number ; } if ( @@ptr@@ ) free ( @@ptr@@ ) ; return Number L ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r64"}, {"n": "ptr", "t": {"T": 3, "t": "_DWORD"}, "location": "s8"}]} {"name": "DArray_destroy", "code": "void __fastcall DArray_destroy ( void * * @@a1@@ ) { int * v1 ; char * v2 ; if ( @@a1@@ ) { if ( @@a1@@ [ Number ] ) free ( @@a1@@ [ Number ] ) ; free ( @@a1@@ ) ; } else { if ( * __errno_location ( ) ) { v1 = __errno_location ( ) ; v2 = strerror ( * v1 ) ; } else { v2 = String ; } fprintf ( stderr , String , String , Number L , String , v2 ) ; * __errno_location ( ) = Number ; } }", "source": [{"n": "a1", "t": {"T": 3, "t": "void *"}, "location": "r56"}]} {"name": "DArray_copy", "code": "__int64 __fastcall DArray_copy ( unsigned int * @@a1@@ , __int64 @@a2@@ ) { __int64 @@result@@ ; int @@i@@ ; for ( @@i@@ = Number ; ; ++ @@i@@ ) { @@result@@ = * @@a1@@ ; if ( @@i@@ >= ( int ) @@result@@ ) break ; if ( @@i@@ >= * ( _DWORD * ) @@a2@@ ) DArray_push ( @@a2@@ , * ( _QWORD * ) ( Number L * @@i@@ + * ( ( _QWORD * ) @@a1@@ + Number ) ) ) ; else * ( _QWORD * ) ( * ( _QWORD * ) ( @@a2@@ + Number ) + Number L * @@i@@ ) = * ( _QWORD * ) ( * ( ( _QWORD * ) @@a1@@ + Number ) + Number L * @@i@@ ) ; } return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "unsigned int"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]}