{"name": "test_no_overflow_long_body", "code": "__int64 __fastcall test_no_overflow_long_body ( int @@a1@@ , unsigned __int64 @@a2@@ ) { const char * v2 ; __int64 @@result@@ ; const char * v4 ; char @@v6@@ ; char @@s@@ [ Number ] ; char @@v8@@ [ Number ] ; __int64 @@v9@@ ; __int64 @@v10@@ ; unsigned __int64 @@i@@ ; http_parser_init ( @@v8@@ , @@a1@@ == Number ) ; if ( @@a1@@ ) v2 = String ; else v2 = String ; @@v10@@ = sprintf ( @@s@@ , String , v2 , @@a2@@ ) ; @@v9@@ = http_parser_execute ( @@v8@@ , & settings_null , @@s@@ , @@v10@@ ) ; if ( @@v9@@ != @@v10@@ ) goto LABEL_10 ; for ( @@i@@ = Number L ; @@i@@ < @@a2@@ ; ++ @@i@@ ) { @@v6@@ = Number ; @@v9@@ = http_parser_execute ( @@v8@@ , & settings_null , & @@v6@@ , Number L ) ; if ( @@v9@@ != Number ) goto LABEL_10 ; } @@result@@ = http_parser_execute ( @@v8@@ , & settings_null , @@s@@ , @@v10@@ ) ; @@v9@@ = @@result@@ ; if ( @@result@@ != @@v10@@ ) { LABEL_10 : if ( @@a1@@ ) v4 = String ; else v4 = String ; fprintf ( stderr , String , v4 , @@a2@@ ) ; abort ( ) ; } return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v10", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v9", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "s", "t": {"T": 2, "n": 3008, "s": 1, "t": "char"}, "location": "s3072"}, {"n": "v6", "t": {"T": 1, "n": "char", "s": 1}, "location": "s3073"}, {"n": "v8", "t": {"T": 2, "n": 40, "s": 1, "t": "char"}, "location": "s64"}, {"n": "i", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}