{"name": "DArray_find", "code": "__int64 __fastcall DArray_find ( __int64 @@a1@@ , __int64 ( __fastcall * @@a2@@ ) ( __int64 * , const void * * ) , __int64 @@a3@@ ) { int * v3 ; char * v4 ; int * v5 ; char * v6 ; __int64 @@v8@@ ; __int64 ( __fastcall * @@v9@@ ) ( __int64 * , const void * * ) ; __int64 @@v10@@ ; const void * @@v11@@ ; unsigned int @@v12@@ ; int @@v13@@ ; int @@v14@@ ; int @@v15@@ ; @@v10@@ = @@a1@@ ; @@v9@@ = @@a2@@ ; @@v8@@ = @@a3@@ ; if ( ! @@a1@@ ) { 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 ; } if ( ! @@v9@@ ) { if ( * __errno_location ( ) ) { v5 = __errno_location ( ) ; v6 = strerror ( * v5 ) ; } else { v6 = String ; } fprintf ( stderr , String , String , Number L , String , v6 ) ; * __errno_location ( ) = Number ; return Number ; } @@v15@@ = Number ; @@v14@@ = * ( _DWORD * ) @@v10@@ ; @@v13@@ = Number ; while ( @@v15@@ <= @@v14@@ ) { @@v12@@ = ( @@v14@@ - @@v15@@ ) / Number + @@v15@@ ; @@v11@@ = * ( const void * * ) ( Number L * ( int ) @@v12@@ + * ( _QWORD * ) ( @@v10@@ + Number ) ) ; fprintf ( stderr , String , String , Number L , @@v11@@ ) ; @@v13@@ = @@v9@@ ( & @@v8@@ , & @@v11@@ ) ; if ( @@v13@@ >= Number ) { if ( @@v13@@ <= Number ) return @@v12@@ ; @@v15@@ = @@v12@@ + Number ; } else { @@v14@@ = @@v12@@ - Number ; } } return Number ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 9, "n": "__int64 (__fastcall *)(__int64 *, const void **)"}, "location": "r64"}, {"n": "v13", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v12", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s16"}, {"n": "v11", "t": {"T": 3, "t": "const void"}, "location": "s24"}, {"n": "v15", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v10", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v9", "t": {"T": 9, "n": "__int64 (__fastcall *)(__int64 *, const void **)"}, "location": "s48"}, {"n": "v8", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s56"}, {"n": "v14", "t": {"T": 1, "n": "int", "s": 4}, "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"}]}