{"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": "run_sort_test", "code": "const char * __fastcall run_sort_test ( unsigned int ( __fastcall * @@a1@@ ) ( _DWORD * , _QWORD ) , const char * @@a2@@ ) { int * v2 ; char * v3 ; const char * result ; int * v5 ; char * v6 ; int * v7 ; char * v8 ; _DWORD * @@v9@@ ; @@v9@@ = ( _DWORD * ) create_words ( ) ; if ( ( unsigned int ) is_sorted ( @@v9@@ ) ) { if ( * __errno_location ( ) ) { v2 = __errno_location ( ) ; v3 = strerror ( * v2 ) ; } else { v3 = String ; } fprintf ( stderr , String , String , Number L , String , v3 ) ; result = String ; } else { fprintf ( stderr , String , String , Number L , @@a2@@ ) ; if ( @@a1@@ ( @@v9@@ , testcmp ) ) { if ( * __errno_location ( ) ) { v5 = __errno_location ( ) ; v6 = strerror ( * v5 ) ; } else { v6 = String ; } fprintf ( stderr , String , String , Number L , String , v6 ) ; result = String ; } else if ( ( unsigned int ) is_sorted ( @@v9@@ ) ) { DArray_destroy ( @@v9@@ ) ; result = Number L ; } else { if ( * __errno_location ( ) ) { v7 = __errno_location ( ) ; v8 = strerror ( * v7 ) ; } else { v8 = String ; } fprintf ( stderr , String , String , Number L , String , v8 ) ; result = String ; } } return result ; }", "source": [{"n": "a1", "t": {"T": 9, "n": "unsigned int (__fastcall *)(_DWORD *, _QWORD)"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char"}, "location": "r64"}, {"n": "v9", "t": {"T": 3, "t": "_DWORD"}, "location": "s8"}]} {"name": "test_darray_sort_add_and_darray_find", "code": "const char * test_darray_sort_add_and_darray_find ( ) { int * v0 ; char * v1 ; const char * result ; int * v3 ; char * v4 ; int * v5 ; char * v6 ; int * v7 ; char * v8 ; int @@v9@@ ; int * @@v10@@ ; @@v10@@ = ( int * ) create_words ( ) ; @@v9@@ = * @@v10@@ ; if ( ( unsigned int ) DArray_sort_add ( @@v10@@ , testcmp , String ) ) { if ( * __errno_location ( ) ) { v0 = __errno_location ( ) ; v1 = strerror ( * v0 ) ; } else { v1 = String ; } fprintf ( stderr , String , String , Number L , String , v1 ) ; result = String ; } else if ( @@v9@@ + Number == * @@v10@@ ) { if ( ( unsigned int ) is_sorted ( @@v10@@ ) ) { if ( ( unsigned int ) DArray_find ( @@v10@@ , testcmp , String ) == * @@v10@@ - Number ) { DArray_destroy ( @@v10@@ ) ; result = Number L ; } else { if ( * __errno_location ( ) ) { v7 = __errno_location ( ) ; v8 = strerror ( * v7 ) ; } else { v8 = String ; } fprintf ( stderr , String , String , Number L , String , v8 ) ; result = String ; } } else { if ( * __errno_location ( ) ) { v5 = __errno_location ( ) ; v6 = strerror ( * v5 ) ; } else { v6 = String ; } fprintf ( stderr , String , String , Number L , String , v6 ) ; result = String ; } } else { if ( * __errno_location ( ) ) { v3 = __errno_location ( ) ; v4 = strerror ( * v3 ) ; } else { v4 = String ; } fprintf ( stderr , String , String , Number L , String , v4 ) ; result = String ; } return result ; }", "source": [{"n": "v9", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v10", "t": {"T": 3, "t": "int"}, "location": "s8"}]} {"name": "DArray_clear_destroy", "code": "void __fastcall DArray_clear_destroy ( void * * @@a1@@ ) { DArray_clear ( ( __int64 ) @@a1@@ ) ; DArray_destroy ( @@a1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "void *"}, "location": "r56"}]} {"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"}]}