#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int /*<<< orphan*/ buffer;

/* Variables and functions */
int /*<<< orphan*/ Report(char *, int, char *, char *);
int /*<<< orphan*/ trio_equal_case(char *, char *);
int trio_snprintf(char *, int, char *, char *, int *);
int trio_sprintf(char *, char *, ...);
int VerifyReturnValues(void) {
  int nerrors = 0;
  int rc;
  int count;
  char *expected;
  char buffer[4096];
  char result[4096];
  rc = trio_sprintf(buffer, "%s%n", "0123456789", &count);
  trio_sprintf(result, "%d %d %s", rc, count, buffer);
  expected = "10 10 0123456789";
  if (!trio_equal_case(result, expected)) {
    nerrors++;
    Report("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
           "2022-01-22/02-19-57/repos/hypermail-project/hypermail/refs/heads/"
           "master/src/trio/regression.c",
           188, expected, result);
  }
  rc = trio_snprintf(buffer, sizeof(buffer), "%s%n", "0123456789", &count);
  trio_sprintf(result, "%d %d %s", rc, count, buffer);
  expected = "10 10 0123456789";
  if (!trio_equal_case(result, expected)) {
    nerrors++;
    Report("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
           "2022-01-22/02-19-57/repos/hypermail-project/hypermail/refs/heads/"
           "master/src/trio/regression.c",
           197, expected, result);
  }
  rc = trio_snprintf(buffer, 4, "%s%n", "0123456789", &count);
  trio_sprintf(result, "%d %d %s", rc, count, buffer);
  expected = "10 3 012";
  if (!trio_equal_case(result, expected)) {
    nerrors++;
    Report("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
           "2022-01-22/02-19-57/repos/hypermail-project/hypermail/refs/heads/"
           "master/src/trio/regression.c",
           206, expected, result);
  }
  rc = trio_snprintf(buffer, 1, "%s%n", "0123456789", &count);
  trio_sprintf(result, "%d %d %s", rc, count, buffer);
  expected = "10 0 ";
  if (!trio_equal_case(result, expected)) {
    nerrors++;
    Report("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
           "2022-01-22/02-19-57/repos/hypermail-project/hypermail/refs/heads/"
           "master/src/trio/regression.c",
           216, expected, result);
  }
  trio_sprintf(buffer, "DO NOT TOUCH");
  rc = trio_snprintf(buffer, 0, "%s%n", "0123456789", &count);
  trio_sprintf(result, "%d %d %s", rc, count, buffer);
  expected = "10 0 DO NOT TOUCH";
  if (!trio_equal_case(result, expected)) {
    nerrors++;
    Report("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
           "2022-01-22/02-19-57/repos/hypermail-project/hypermail/refs/heads/"
           "master/src/trio/regression.c",
           227, expected, result);
  }
  return nerrors;
}


x86 assembly (clang, -O0):
<VerifyReturnValues>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2020,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x1020(%rbp),%rdi
lea    0xea0(%rip),%rsi
lea    0xead(%rip),%rdx
lea    -0xc(%rbp),%rcx
mov    $0x0,%al
call   1060 <trio_sprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x8(%rbp),%edx
mov    -0xc(%rbp),%ecx
lea    -0x1020(%rbp),%r8
lea    0xe75(%rip),%rsi
mov    $0x0,%al
call   1060 <trio_sprintf@plt>
lea    0xe70(%rip),%rax
mov    %rax,-0x18(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <trio_equal_case@plt>
cmp    $0x0,%eax
jne    11e0 <VerifyReturnValues+0xa0>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x18(%rbp),%rdx
lea    -0x2020(%rbp),%rcx
lea    0xe49(%rip),%rdi
mov    $0xbc,%esi
call   1050 <Report@plt>
lea    -0x1020(%rbp),%rdi
mov    $0x1000,%esi
lea    0xe0d(%rip),%rdx
lea    0xe1a(%rip),%rcx
lea    -0xc(%rbp),%r8
call   1040 <trio_snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x8(%rbp),%edx
mov    -0xc(%rbp),%ecx
lea    -0x1020(%rbp),%r8
lea    0xde4(%rip),%rsi
mov    $0x0,%al
call   1060 <trio_sprintf@plt>
lea    0xddf(%rip),%rax
mov    %rax,-0x18(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <trio_equal_case@plt>
cmp    $0x0,%eax
jne    1271 <VerifyReturnValues+0x131>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x18(%rbp),%rdx
lea    -0x2020(%rbp),%rcx
lea    0xdb8(%rip),%rdi
mov    $0xc5,%esi
call   1050 <Report@plt>
lea    -0x1020(%rbp),%rdi
mov    $0x4,%esi
lea    0xd7c(%rip),%rdx
lea    0xd89(%rip),%rcx
lea    -0xc(%rbp),%r8
call   1040 <trio_snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x8(%rbp),%edx
mov    -0xc(%rbp),%ecx
lea    -0x1020(%rbp),%r8
lea    0xd53(%rip),%rsi
mov    $0x0,%al
call   1060 <trio_sprintf@plt>
lea    0xdfd(%rip),%rax
mov    %rax,-0x18(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <trio_equal_case@plt>
cmp    $0x0,%eax
jne    1302 <VerifyReturnValues+0x1c2>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x18(%rbp),%rdx
lea    -0x2020(%rbp),%rcx
lea    0xd27(%rip),%rdi
mov    $0xce,%esi
call   1050 <Report@plt>
lea    -0x1020(%rbp),%rdi
mov    $0x1,%esi
lea    0xceb(%rip),%rdx
lea    0xcf8(%rip),%rcx
lea    -0xc(%rbp),%r8
call   1040 <trio_snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x8(%rbp),%edx
mov    -0xc(%rbp),%ecx
lea    -0x1020(%rbp),%r8
lea    0xcc2(%rip),%rsi
mov    $0x0,%al
call   1060 <trio_sprintf@plt>
lea    0xd75(%rip),%rax
mov    %rax,-0x18(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <trio_equal_case@plt>
cmp    $0x0,%eax
jne    1393 <VerifyReturnValues+0x253>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x18(%rbp),%rdx
lea    -0x2020(%rbp),%rcx
lea    0xc96(%rip),%rdi
mov    $0xd8,%esi
call   1050 <Report@plt>
lea    -0x1020(%rbp),%rdi
lea    0xd30(%rip),%rsi
mov    $0x0,%al
call   1060 <trio_sprintf@plt>
lea    -0x1020(%rbp),%rdi
xor    %esi,%esi
lea    0xc48(%rip),%rdx
lea    0xc55(%rip),%rcx
lea    -0xc(%rbp),%r8
call   1040 <trio_snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x8(%rbp),%edx
mov    -0xc(%rbp),%ecx
lea    -0x1020(%rbp),%r8
lea    0xc1f(%rip),%rsi
mov    $0x0,%al
call   1060 <trio_sprintf@plt>
lea    0xcd8(%rip),%rax
mov    %rax,-0x18(%rbp)
lea    -0x2020(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <trio_equal_case@plt>
cmp    $0x0,%eax
jne    1436 <VerifyReturnValues+0x2f6>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x18(%rbp),%rdx
lea    -0x2020(%rbp),%rcx
lea    0xbf3(%rip),%rdi
mov    $0xe3,%esi
call   1050 <Report@plt>
mov    -0x4(%rbp),%eax
add    $0x2020,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<VerifyReturnValues>:
push   %rbp
push   %r14
push   %rbx
sub    $0x2010,%rsp
lea    0xeae(%rip),%rsi
lea    0xebb(%rip),%rdx
xor    %r14d,%r14d
lea    0x1010(%rsp),%rbx
lea    0xc(%rsp),%rcx
mov    %rbx,%rdi
xor    %eax,%eax
call   1060 <trio_sprintf@plt>
mov    0xc(%rsp),%ecx
lea    0xe87(%rip),%rsi
lea    0x10(%rsp),%rbp
mov    %rbp,%rdi
mov    %eax,%edx
mov    %rbx,%r8
xor    %eax,%eax
call   1060 <trio_sprintf@plt>
lea    0xe75(%rip),%rsi
mov    %rbp,%rdi
call   1030 <trio_equal_case@plt>
test   %eax,%eax
jne    11c8 <VerifyReturnValues+0x88>
lea    0xe73(%rip),%rdi
lea    0xe5b(%rip),%rdx
lea    0x10(%rsp),%rcx
mov    $0xbc,%esi
call   1050 <Report@plt>
mov    $0x1,%r14d
lea    0xe31(%rip),%rdx
lea    0xe3e(%rip),%rcx
lea    0x1010(%rsp),%rbx
lea    0xc(%rsp),%r8
mov    %rbx,%rdi
mov    $0x1000,%esi
call   1040 <trio_snprintf@plt>
mov    0xc(%rsp),%ecx
lea    0xe0a(%rip),%rsi
lea    0x10(%rsp),%rbp
mov    %rbp,%rdi
mov    %eax,%edx
mov    %rbx,%r8
xor    %eax,%eax
call   1060 <trio_sprintf@plt>
lea    0xdf8(%rip),%rsi
mov    %rbp,%rdi
call   1030 <trio_equal_case@plt>
test   %eax,%eax
jne    1243 <VerifyReturnValues+0x103>
add    $0x1,%r14d
lea    0xdf2(%rip),%rdi
lea    0xdda(%rip),%rdx
lea    0x10(%rsp),%rcx
mov    $0xc5,%esi
call   1050 <Report@plt>
lea    0xdb6(%rip),%rdx
lea    0xdc3(%rip),%rcx
lea    0x1010(%rsp),%rbx
lea    0xc(%rsp),%r8
mov    %rbx,%rdi
mov    $0x4,%esi
call   1040 <trio_snprintf@plt>
mov    0xc(%rsp),%ecx
lea    0xd8f(%rip),%rsi
lea    0x10(%rsp),%rbp
mov    %rbp,%rdi
mov    %eax,%edx
mov    %rbx,%r8
xor    %eax,%eax
call   1060 <trio_sprintf@plt>
lea    0xe2c(%rip),%rsi
mov    %rbp,%rdi
call   1030 <trio_equal_case@plt>
test   %eax,%eax
jne    12be <VerifyReturnValues+0x17e>
add    $0x1,%r14d
lea    0xd77(%rip),%rdi
lea    0xe0e(%rip),%rdx
lea    0x10(%rsp),%rcx
mov    $0xce,%esi
call   1050 <Report@plt>
lea    0xd3b(%rip),%rdx
lea    0xd48(%rip),%rcx
lea    0x1010(%rsp),%rbx
lea    0xc(%rsp),%r8
mov    %rbx,%rdi
mov    $0x1,%esi
call   1040 <trio_snprintf@plt>
mov    0xc(%rsp),%ecx
lea    0xd14(%rip),%rsi
lea    0x10(%rsp),%rbp
mov    %rbp,%rdi
mov    %eax,%edx
mov    %rbx,%r8
xor    %eax,%eax
call   1060 <trio_sprintf@plt>
lea    0xdba(%rip),%rsi
mov    %rbp,%rdi
call   1030 <trio_equal_case@plt>
test   %eax,%eax
jne    1339 <VerifyReturnValues+0x1f9>
add    $0x1,%r14d
lea    0xcfc(%rip),%rdi
lea    0xd9c(%rip),%rdx
lea    0x10(%rsp),%rcx
mov    $0xd8,%esi
call   1050 <Report@plt>
lea    0xd91(%rip),%rsi
lea    0x1010(%rsp),%rbx
mov    %rbx,%rdi
xor    %eax,%eax
call   1060 <trio_sprintf@plt>
lea    0xca7(%rip),%rdx
lea    0xcb4(%rip),%rcx
lea    0xc(%rsp),%r8
mov    %rbx,%rdi
xor    %esi,%esi
call   1040 <trio_snprintf@plt>
mov    0xc(%rsp),%ecx
lea    0xc8b(%rip),%rsi
lea    0x10(%rsp),%rbp
mov    %rbp,%rdi
mov    %eax,%edx
mov    %rbx,%r8
xor    %eax,%eax
call   1060 <trio_sprintf@plt>
lea    0xd37(%rip),%rsi
mov    %rbp,%rdi
call   1030 <trio_equal_case@plt>
test   %eax,%eax
jne    13c2 <VerifyReturnValues+0x282>
add    $0x1,%r14d
lea    0xc73(%rip),%rdi
lea    0xd19(%rip),%rdx
lea    0x10(%rsp),%rcx
mov    $0xe3,%esi
call   1050 <Report@plt>
mov    %r14d,%eax
add    $0x2010,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
@.str = [5 x i8] c"%s%n\00"
@.str.1 = [11 x i8] c"0123456789\00"
@.str.2 = [9 x i8] c"%d %d %s\00"
@.str.3 = [17 x i8] c"10 10 0123456789\00"
@.str.4 = [158 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/hypermail-project/hypermail/refs/heads/master/src/trio/regression.c\00"
@.str.5 = [9 x i8] c"10 3 012\00"
@.str.6 = [6 x i8] c"10 0 \00"
@.str.7 = [13 x i8] c"DO NOT TOUCH\00"
@.str.8 = [18 x i8] c"10 0 DO NOT TOUCH\00"
define i32 @VerifyReturnValues() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i8*
%5 = alloca [4096 x i8]
%6 = alloca [4096 x i8]
store i32 0, i32* %1
%7 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%8 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %7, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %3)
store i32 %8, i32* %2
%9 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%10 = load i32, i32* %2
%11 = load i32, i32* %3
%12 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%13 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %9, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %10, i32 %11, i8* %12)
store i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0), i8** %4
%14 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%15 = load i8*, i8** %4
%16 = call i32 @trio_equal_case(i8* %14, i8* %15)
%17 = icmp ne i32 %16, 0
br i1 %17, label %24, label %18
18: ; preds = %0
%19 = load i32, i32* %1
%20 = add nsw i32 %19, 1
store i32 %20, i32* %1
%21 = load i8*, i8** %4
%22 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%23 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 188, i8* %21, i8* %22)
br label %24
24: ; preds = %18, %0
%25 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%26 = call i32 @trio_snprintf(i8* %25, i32 4096, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %3)
store i32 %26, i32* %2
%27 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%28 = load i32, i32* %2
%29 = load i32, i32* %3
%30 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%31 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %27, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %28, i32 %29, i8* %30)
store i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0), i8** %4
%32 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%33 = load i8*, i8** %4
%34 = call i32 @trio_equal_case(i8* %32, i8* %33)
%35 = icmp ne i32 %34, 0
br i1 %35, label %42, label %36
36: ; preds = %24
%37 = load i32, i32* %1
%38 = add nsw i32 %37, 1
store i32 %38, i32* %1
%39 = load i8*, i8** %4
%40 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%41 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 197, i8* %39, i8* %40)
br label %42
42: ; preds = %36, %24
%43 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%44 = call i32 @trio_snprintf(i8* %43, i32 4, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %3)
store i32 %44, i32* %2
%45 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%46 = load i32, i32* %2
%47 = load i32, i32* %3
%48 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%49 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %45, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %46, i32 %47, i8* %48)
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.5, i64 0, i64 0), i8** %4
%50 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%51 = load i8*, i8** %4
%52 = call i32 @trio_equal_case(i8* %50, i8* %51)
%53 = icmp ne i32 %52, 0
br i1 %53, label %60, label %54
54: ; preds = %42
%55 = load i32, i32* %1
%56 = add nsw i32 %55, 1
store i32 %56, i32* %1
%57 = load i8*, i8** %4
%58 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%59 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 206, i8* %57, i8* %58)
br label %60
60: ; preds = %54, %42
%61 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%62 = call i32 @trio_snprintf(i8* %61, i32 1, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %3)
store i32 %62, i32* %2
%63 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%64 = load i32, i32* %2
%65 = load i32, i32* %3
%66 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%67 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %63, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %64, i32 %65, i8* %66)
store i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.6, i64 0, i64 0), i8** %4
%68 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%69 = load i8*, i8** %4
%70 = call i32 @trio_equal_case(i8* %68, i8* %69)
%71 = icmp ne i32 %70, 0
br i1 %71, label %78, label %72
72: ; preds = %60
%73 = load i32, i32* %1
%74 = add nsw i32 %73, 1
store i32 %74, i32* %1
%75 = load i8*, i8** %4
%76 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%77 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 216, i8* %75, i8* %76)
br label %78
78: ; preds = %72, %60
%79 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%80 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %79, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.7, i64 0, i64 0))
%81 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%82 = call i32 @trio_snprintf(i8* %81, i32 0, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %3)
store i32 %82, i32* %2
%83 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%84 = load i32, i32* %2
%85 = load i32, i32* %3
%86 = getelementptr inbounds [4096 x i8], [4096 x i8]* %5, i64 0, i64 0
%87 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %83, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %84, i32 %85, i8* %86)
store i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.8, i64 0, i64 0), i8** %4
%88 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%89 = load i8*, i8** %4
%90 = call i32 @trio_equal_case(i8* %88, i8* %89)
%91 = icmp ne i32 %90, 0
br i1 %91, label %98, label %92
92: ; preds = %78
%93 = load i32, i32* %1
%94 = add nsw i32 %93, 1
store i32 %94, i32* %1
%95 = load i8*, i8** %4
%96 = getelementptr inbounds [4096 x i8], [4096 x i8]* %6, i64 0, i64 0
%97 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 227, i8* %95, i8* %96)
br label %98
98: ; preds = %92, %78
%99 = load i32, i32* %1
ret i32 %99
}

LLVM IR (-O2):
@.str = [5 x i8] c"%s%n\00"
@.str.1 = [11 x i8] c"0123456789\00"
@.str.2 = [9 x i8] c"%d %d %s\00"
@.str.3 = [17 x i8] c"10 10 0123456789\00"
@.str.4 = [158 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/hypermail-project/hypermail/refs/heads/master/src/trio/regression.c\00"
@.str.5 = [9 x i8] c"10 3 012\00"
@.str.6 = [6 x i8] c"10 0 \00"
@.str.7 = [13 x i8] c"DO NOT TOUCH\00"
@.str.8 = [18 x i8] c"10 0 DO NOT TOUCH\00"
define i32 @VerifyReturnValues() {
%1 = alloca i32
%2 = alloca [4096 x i8]
%3 = alloca [4096 x i8]
%4 = bitcast i32* %1 to i8*
%5 = getelementptr inbounds [4096 x i8], [4096 x i8]* %2, i64 0, i64 0
%6 = getelementptr inbounds [4096 x i8], [4096 x i8]* %3, i64 0, i64 0
%7 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %5, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %1)
%8 = load i32, i32* %1
%9 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %6, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %7, i32 %8, i8* %5)
%10 = call i32 @trio_equal_case(i8* %6, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %14
12: ; preds = %0
%13 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 188, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0), i8* %6)
br label %14
14: ; preds = %12, %0
%15 = phi i32 [ 0, %0 ], [ 1, %12 ]
%16 = call i32 @trio_snprintf(i8* %5, i32 4096, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %1)
%17 = load i32, i32* %1
%18 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %6, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %16, i32 %17, i8* %5)
%19 = call i32 @trio_equal_case(i8* %6, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%20 = icmp eq i32 %19, 0
br i1 %20, label %21, label %24
21: ; preds = %14
%22 = add nuw nsw i32 %15, 1
%23 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 197, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0), i8* %6)
br label %24
24: ; preds = %21, %14
%25 = phi i32 [ %15, %14 ], [ %22, %21 ]
%26 = call i32 @trio_snprintf(i8* %5, i32 4, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %1)
%27 = load i32, i32* %1
%28 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %6, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %26, i32 %27, i8* %5)
%29 = call i32 @trio_equal_case(i8* %6, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.5, i64 0, i64 0))
%30 = icmp eq i32 %29, 0
br i1 %30, label %31, label %34
31: ; preds = %24
%32 = add nuw nsw i32 %25, 1
%33 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 206, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.5, i64 0, i64 0), i8* %6)
br label %34
34: ; preds = %31, %24
%35 = phi i32 [ %25, %24 ], [ %32, %31 ]
%36 = call i32 @trio_snprintf(i8* %5, i32 1, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %1)
%37 = load i32, i32* %1
%38 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %6, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %36, i32 %37, i8* %5)
%39 = call i32 @trio_equal_case(i8* %6, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.6, i64 0, i64 0))
%40 = icmp eq i32 %39, 0
br i1 %40, label %41, label %44
41: ; preds = %34
%42 = add nuw nsw i32 %35, 1
%43 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 216, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.6, i64 0, i64 0), i8* %6)
br label %44
44: ; preds = %41, %34
%45 = phi i32 [ %35, %34 ], [ %42, %41 ]
%46 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %5, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.7, i64 0, i64 0))
%47 = call i32 @trio_snprintf(i8* %5, i32 0, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i32* %1)
%48 = load i32, i32* %1
%49 = call i32 (i8*, i8*, ...) @trio_sprintf(i8* %6, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i32 %47, i32 %48, i8* %5)
%50 = call i32 @trio_equal_case(i8* %6, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.8, i64 0, i64 0))
%51 = icmp eq i32 %50, 0
br i1 %51, label %52, label %55
52: ; preds = %44
%53 = add nuw nsw i32 %45, 1
%54 = call i32 @Report(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str.4, i64 0, i64 0), i32 227, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.8, i64 0, i64 0), i8* %6)
br label %55
55: ; preds = %52, %44
%56 = phi i32 [ %45, %44 ], [ %53, %52 ]
ret i32 %56
}