; LLVM IR from aws/s2n-tls :: tests/unit (s2n_cleanup_test)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.foo = type { i32, i32 }

@s2n_use_color_in_output = external dso_local global i8, align 1
@foo_cleanup_calls = external dso_local global i32, align 4
@test_count = external dso_local global i32, align 4
@stdout = external global ptr, align 8
@.str = external hidden unnamed_addr constant [19 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [75 x i8], align 1
@stderr = external global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local void @foo_free(ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @check_cleanup_obj_on_fn_exit() #0

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: nounwind uwtable
declare dso_local i32 @check_cleanup_pointer_on_fn_exit() #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @check_dont_cleanup_null_on_fn_exit() #0

; Function Attrs: nounwind uwtable
define dso_local i32 @main() #0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca %struct.foo, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  store i32 0, ptr %1, align 4
  br label %20

20:                                               ; preds = %0
  br label %21

21:                                               ; preds = %20
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %22 = load ptr, ptr @stdout, align 8, !tbaa !9
  %23 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %22, ptr noundef @.str, ptr noundef @.str.1) #7
  %24 = load ptr, ptr @stdout, align 8, !tbaa !9
  %25 = call i32 @fflush(ptr noundef %24)
  br label %26

26:                                               ; preds = %21
  %27 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %28 = icmp eq i32 %27, -1
  br i1 %28, label %29, label %80

29:                                               ; preds = %26
  br label %30

30:                                               ; preds = %29
  br label %31

31:                                               ; preds = %30
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #7
  %32 = call ptr @__errno_location() #8
  %33 = load i32, ptr %32, align 4, !tbaa !5
  store i32 %33, ptr %2, align 4, !tbaa !5
  %34 = load ptr, ptr @stderr, align 8, !tbaa !9
  %35 = call i32 @s2n_print_stacktrace(ptr noundef %34)
  %36 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %37 = trunc i8 %36 to i1
  br i1 %37, label %38, label %60

38:                                               ; preds = %31
  %39 = load ptr, ptr @stderr, align 8, !tbaa !9
  %40 = call i32 @fileno(ptr noundef %39) #7
  %41 = call i32 @isatty(i32 noundef %40) #7
  %42 = icmp ne i32 %41, 0
  br i1 %42, label %43, label %60

43:                                               ; preds = %38
  %44 = load i32, ptr %2, align 4, !tbaa !5
  %45 = call ptr @__errno_location() #8
  store i32 %44, ptr %45, align 4, !tbaa !5
  %46 = load ptr, ptr @stderr, align 8, !tbaa !9
  %47 = load i32, ptr @test_count, align 4, !tbaa !5
  %48 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %49 = load i32, ptr %48, align 4, !tbaa !5
  %50 = call ptr @s2n_strerror(i32 noundef %49, ptr noundef @.str.4)
  %51 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %52 = load i32, ptr %51, align 4, !tbaa !5
  %53 = call ptr @s2n_strerror_debug(i32 noundef %52, ptr noundef @.str.4)
  %54 = call ptr @__errno_location() #8
  %55 = load i32, ptr %54, align 4, !tbaa !5
  %56 = call ptr @strerror(i32 noundef %55) #7
  %57 = call ptr @__errno_location() #8
  %58 = load i32, ptr %57, align 4, !tbaa !5
  %59 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %46, ptr noundef @.str.2, i32 noundef %47, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 70, ptr noundef %50, ptr noundef %53, ptr noundef %56, i32 noundef %58) #7
  br label %77

60:                                               ; preds = %38, %31
  %61 = load i32, ptr %2, align 4, !tbaa !5
  %62 = call ptr @__errno_location() #8
  store i32 %61, ptr %62, align 4, !tbaa !5
  %63 = load ptr, ptr @stderr, align 8, !tbaa !9
  %64 = load i32, ptr @test_count, align 4, !tbaa !5
  %65 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %66 = load i32, ptr %65, align 4, !tbaa !5
  %67 = call ptr @s2n_strerror(i32 noundef %66, ptr noundef @.str.4)
  %68 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %69 = load i32, ptr %68, align 4, !tbaa !5
  %70 = call ptr @s2n_strerror_debug(i32 noundef %69, ptr noundef @.str.4)
  %71 = call ptr @__errno_location() #8
  %72 = load i32, ptr %71, align 4, !tbaa !5
  %73 = call ptr @strerror(i32 noundef %72) #7
  %74 = call ptr @__errno_location() #8
  %75 = load i32, ptr %74, align 4, !tbaa !5
  %76 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %63, ptr noundef @.str.5, i32 noundef %64, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 70, ptr noundef %67, ptr noundef %70, ptr noundef %73, i32 noundef %75) #7
  br label %77

77:                                               ; preds = %60, %43
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #7
  br label %78

78:                                               ; preds = %77
  call void @exit(i32 noundef 1) #9
  unreachable

79:                                               ; No predecessors!
  br label %80

80:                                               ; preds = %79, %26
  br label %81

81:                                               ; preds = %80
  br label %82

82:                                               ; preds = %81
  %83 = load i32, ptr @test_count, align 4, !tbaa !5
  %84 = add nsw i32 %83, 1
  store i32 %84, ptr @test_count, align 4, !tbaa !5
  %85 = call i32 @s2n_enable_atexit()
  %86 = icmp eq i32 %85, -1
  br i1 %86, label %87, label %138

87:                                               ; preds = %82
  br label %88

88:                                               ; preds = %87
  br label %89

89:                                               ; preds = %88
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #7
  %90 = call ptr @__errno_location() #8
  %91 = load i32, ptr %90, align 4, !tbaa !5
  store i32 %91, ptr %3, align 4, !tbaa !5
  %92 = load ptr, ptr @stderr, align 8, !tbaa !9
  %93 = call i32 @s2n_print_stacktrace(ptr noundef %92)
  %94 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %95 = trunc i8 %94 to i1
  br i1 %95, label %96, label %118

96:                                               ; preds = %89
  %97 = load ptr, ptr @stderr, align 8, !tbaa !9
  %98 = call i32 @fileno(ptr noundef %97) #7
  %99 = call i32 @isatty(i32 noundef %98) #7
  %100 = icmp ne i32 %99, 0
  br i1 %100, label %101, label %118

101:                                              ; preds = %96
  %102 = load i32, ptr %3, align 4, !tbaa !5
  %103 = call ptr @__errno_location() #8
  store i32 %102, ptr %103, align 4, !tbaa !5
  %104 = load ptr, ptr @stderr, align 8, !tbaa !9
  %105 = load i32, ptr @test_count, align 4, !tbaa !5
  %106 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %107 = load i32, ptr %106, align 4, !tbaa !5
  %108 = call ptr @s2n_strerror(i32 noundef %107, ptr noundef @.str.4)
  %109 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %110 = load i32, ptr %109, align 4, !tbaa !5
  %111 = call ptr @s2n_strerror_debug(i32 noundef %110, ptr noundef @.str.4)
  %112 = call ptr @__errno_location() #8
  %113 = load i32, ptr %112, align 4, !tbaa !5
  %114 = call ptr @strerror(i32 noundef %113) #7
  %115 = call ptr @__errno_location() #8
  %116 = load i32, ptr %115, align 4, !tbaa !5
  %117 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %104, ptr noundef @.str.2, i32 noundef %105, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 70, ptr noundef %108, ptr noundef %111, ptr noundef %114, i32 noundef %116) #7
  br label %135

118:                                              ; preds = %96, %89
  %119 = load i32, ptr %3, align 4, !tbaa !5
  %120 = call ptr @__errno_location() #8
  store i32 %119, ptr %120, align 4, !tbaa !5
  %121 = load ptr, ptr @stderr, align 8, !tbaa !9
  %122 = load i32, ptr @test_count, align 4, !tbaa !5
  %123 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %124 = load i32, ptr %123, align 4, !tbaa !5
  %125 = call ptr @s2n_strerror(i32 noundef %124, ptr noundef @.str.4)
  %126 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %127 = load i32, ptr %126, align 4, !tbaa !5
  %128 = call ptr @s2n_strerror_debug(i32 noundef %127, ptr noundef @.str.4)
  %129 = call ptr @__errno_location() #8
  %130 = load i32, ptr %129, align 4, !tbaa !5
  %131 = call ptr @strerror(i32 noundef %130) #7
  %132 = call ptr @__errno_location() #8
  %133 = load i32, ptr %132, align 4, !tbaa !5
  %134 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %121, ptr noundef @.str.5, i32 noundef %122, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 70, ptr noundef %125, ptr noundef %128, ptr noundef %131, i32 noundef %133) #7
  br label %135

135:                                              ; preds = %118, %101
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #7
  br label %136

136:                                              ; preds = %135
  call void @exit(i32 noundef 1) #9
  unreachable

137:                                              ; No predecessors!
  br label %138

138:                                              ; preds = %137, %82
  br label %139

139:                                              ; preds = %138
  br label %140

140:                                              ; preds = %139
  br label %141

141:                                              ; preds = %140
  %142 = call i32 @s2n_init()
  %143 = icmp eq i32 %142, -1
  br i1 %143, label %144, label %195

144:                                              ; preds = %141
  br label %145

145:                                              ; preds = %144
  br label %146

146:                                              ; preds = %145
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #7
  %147 = call ptr @__errno_location() #8
  %148 = load i32, ptr %147, align 4, !tbaa !5
  store i32 %148, ptr %4, align 4, !tbaa !5
  %149 = load ptr, ptr @stderr, align 8, !tbaa !9
  %150 = call i32 @s2n_print_stacktrace(ptr noundef %149)
  %151 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %152 = trunc i8 %151 to i1
  br i1 %152, label %153, label %175

153:                                              ; preds = %146
  %154 = load ptr, ptr @stderr, align 8, !tbaa !9
  %155 = call i32 @fileno(ptr noundef %154) #7
  %156 = call i32 @isatty(i32 noundef %155) #7
  %157 = icmp ne i32 %156, 0
  br i1 %157, label %158, label %175

158:                                              ; preds = %153
  %159 = load i32, ptr %4, align 4, !tbaa !5
  %160 = call ptr @__errno_location() #8
  store i32 %159, ptr %160, align 4, !tbaa !5
  %161 = load ptr, ptr @stderr, align 8, !tbaa !9
  %162 = load i32, ptr @test_count, align 4, !tbaa !5
  %163 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %164 = load i32, ptr %163, align 4, !tbaa !5
  %165 = call ptr @s2n_strerror(i32 noundef %164, ptr noundef @.str.4)
  %166 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %167 = load i32, ptr %166, align 4, !tbaa !5
  %168 = call ptr @s2n_strerror_debug(i32 noundef %167, ptr noundef @.str.4)
  %169 = call ptr @__errno_location() #8
  %170 = load i32, ptr %169, align 4, !tbaa !5
  %171 = call ptr @strerror(i32 noundef %170) #7
  %172 = call ptr @__errno_location() #8
  %173 = load i32, ptr %172, align 4, !tbaa !5
  %174 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %161, ptr noundef @.str.2, i32 noundef %162, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 70, ptr noundef %165, ptr noundef %168, ptr noundef %171, i32 noundef %173) #7
  br label %192

175:                                              ; preds = %153, %146
  %176 = load i32, ptr %4, align 4, !tbaa !5
  %177 = call ptr @__errno_location() #8
  store i32 %176, ptr %177, align 4, !tbaa !5
  %178 = load ptr, ptr @stderr, align 8, !tbaa !9
  %179 = load i32, ptr @test_count, align 4, !tbaa !5
  %180 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %181 = load i32, ptr %180, align 4, !tbaa !5
  %182 = call ptr @s2n_strerror(i32 noundef %181, ptr noundef @.str.4)
  %183 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %184 = load i32, ptr %183, align 4, !tbaa !5
  %185 = call ptr @s2n_strerror_debug(i32 noundef %184, ptr noundef @.str.4)
  %186 = call ptr @__errno_location() #8
  %187 = load i32, ptr %186, align 4, !tbaa !5
  %188 = call ptr @strerror(i32 noundef %187) #7
  %189 = call ptr @__errno_location() #8
  %190 = load i32, ptr %189, align 4, !tbaa !5
  %191 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %178, ptr noundef @.str.5, i32 noundef %179, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 70, ptr noundef %182, ptr noundef %185, ptr noundef %188, i32 noundef %190) #7
  br label %192

192:                                              ; preds = %175, %158
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #7
  br label %193

193:                                              ; preds = %192
  call void @exit(i32 noundef 1) #9
  unreachable

194:                                              ; No predecessors!
  br label %195

195:                                              ; preds = %194, %141
  br label %196

196:                                              ; preds = %195
  br label %197

197:                                              ; preds = %196
  br label %198

198:                                              ; preds = %197
  %199 = load i32, ptr @test_count, align 4, !tbaa !5
  %200 = add nsw i32 %199, 1
  store i32 %200, ptr @test_count, align 4, !tbaa !5
  %201 = call i32 (...) @s2n_disable_tls13_in_test()
  %202 = icmp eq i32 %201, -1
  br i1 %202, label %203, label %254

203:                                              ; preds = %198
  br label %204

204:                                              ; preds = %203
  br label %205

205:                                              ; preds = %204
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #7
  %206 = call ptr @__errno_location() #8
  %207 = load i32, ptr %206, align 4, !tbaa !5
  store i32 %207, ptr %5, align 4, !tbaa !5
  %208 = load ptr, ptr @stderr, align 8, !tbaa !9
  %209 = call i32 @s2n_print_stacktrace(ptr noundef %208)
  %210 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %211 = trunc i8 %210 to i1
  br i1 %211, label %212, label %234

212:                                              ; preds = %205
  %213 = load ptr, ptr @stderr, align 8, !tbaa !9
  %214 = call i32 @fileno(ptr noundef %213) #7
  %215 = call i32 @isatty(i32 noundef %214) #7
  %216 = icmp ne i32 %215, 0
  br i1 %216, label %217, label %234

217:                                              ; preds = %212
  %218 = load i32, ptr %5, align 4, !tbaa !5
  %219 = call ptr @__errno_location() #8
  store i32 %218, ptr %219, align 4, !tbaa !5
  %220 = load ptr, ptr @stderr, align 8, !tbaa !9
  %221 = load i32, ptr @test_count, align 4, !tbaa !5
  %222 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %223 = load i32, ptr %222, align 4, !tbaa !5
  %224 = call ptr @s2n_strerror(i32 noundef %223, ptr noundef @.str.4)
  %225 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %226 = load i32, ptr %225, align 4, !tbaa !5
  %227 = call ptr @s2n_strerror_debug(i32 noundef %226, ptr noundef @.str.4)
  %228 = call ptr @__errno_location() #8
  %229 = load i32, ptr %228, align 4, !tbaa !5
  %230 = call ptr @strerror(i32 noundef %229) #7
  %231 = call ptr @__errno_location() #8
  %232 = load i32, ptr %231, align 4, !tbaa !5
  %233 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %220, ptr noundef @.str.2, i32 noundef %221, ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 71, ptr noundef %224, ptr noundef %227, ptr noundef %230, i32 noundef %232) #7
  br label %251

234:                                              ; preds = %212, %205
  %235 = load i32, ptr %5, align 4, !tbaa !5
  %236 = call ptr @__errno_location() #8
  store i32 %235, ptr %236, align 4, !tbaa !5
  %237 = load ptr, ptr @stderr, align 8, !tbaa !9
  %238 = load i32, ptr @test_count, align 4, !tbaa !5
  %239 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %240 = load i32, ptr %239, align 4, !tbaa !5
  %241 = call ptr @s2n_strerror(i32 noundef %240, ptr noundef @.str.4)
  %242 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %243 = load i32, ptr %242, align 4, !tbaa !5
  %244 = call ptr @s2n_strerror_debug(i32 noundef %243, ptr noundef @.str.4)
  %245 = call ptr @__errno_location() #8
  %246 = load i32, ptr %245, align 4, !tbaa !5
  %247 = call ptr @strerror(i32 noundef %246) #7
  %248 = call ptr @__errno_location() #8
  %249 = load i32, ptr %248, align 4, !tbaa !5
  %250 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %237, ptr noundef @.str.5, i32 noundef %238, ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 71, ptr noundef %241, ptr noundef %244, ptr noundef %247, i32 noundef %249) #7
  br label %251

251:                                              ; preds = %234, %217
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #7
  br label %252

252:                                              ; preds = %251
  call void @exit(i32 noundef 1) #9
  unreachable

253:                                              ; No predecessors!
  br label %254

254:                                              ; preds = %253, %198
  br label %255

255:                                              ; preds = %254
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #7
  store i32 0, ptr %6, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #7
  store i32 0, ptr %7, align 4, !tbaa !5
  br label %256

256:                                              ; preds = %331, %255
  %257 = load i32, ptr %7, align 4, !tbaa !5
  %258 = icmp slt i32 %257, 10
  br i1 %258, label %260, label %259

259:                                              ; preds = %256
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #7
  br label %334

260:                                              ; preds = %256
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #7
  %261 = getelementptr inbounds %struct.foo, ptr %8, i32 0, i32 0
  %262 = load i32, ptr %7, align 4, !tbaa !5
  store i32 %262, ptr %261, align 4, !tbaa !15
  %263 = getelementptr inbounds %struct.foo, ptr %8, i32 0, i32 1
  store i32 0, ptr %263, align 4, !tbaa !17
  br label %264

264:                                              ; preds = %260
  br label %265

265:                                              ; preds = %264
  br label %266

266:                                              ; preds = %265
  br label %267

267:                                              ; preds = %266
  %268 = load i32, ptr @test_count, align 4, !tbaa !5
  %269 = add nsw i32 %268, 1
  store i32 %269, ptr @test_count, align 4, !tbaa !5
  %270 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %271 = load i32, ptr %6, align 4, !tbaa !5
  %272 = icmp eq i32 %270, %271
  br i1 %272, label %326, label %273

273:                                              ; preds = %267
  br label %274

274:                                              ; preds = %273
  br label %275

275:                                              ; preds = %274
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #7
  %276 = call ptr @__errno_location() #8
  %277 = load i32, ptr %276, align 4, !tbaa !5
  store i32 %277, ptr %9, align 4, !tbaa !5
  %278 = load ptr, ptr @stderr, align 8, !tbaa !9
  %279 = call i32 @s2n_print_stacktrace(ptr noundef %278)
  %280 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %281 = trunc i8 %280 to i1
  br i1 %281, label %282, label %304

282:                                              ; preds = %275
  %283 = load ptr, ptr @stderr, align 8, !tbaa !9
  %284 = call i32 @fileno(ptr noundef %283) #7
  %285 = call i32 @isatty(i32 noundef %284) #7
  %286 = icmp ne i32 %285, 0
  br i1 %286, label %287, label %304

287:                                              ; preds = %282
  %288 = load i32, ptr %9, align 4, !tbaa !5
  %289 = call ptr @__errno_location() #8
  store i32 %288, ptr %289, align 4, !tbaa !5
  %290 = load ptr, ptr @stderr, align 8, !tbaa !9
  %291 = load i32, ptr @test_count, align 4, !tbaa !5
  %292 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %293 = load i32, ptr %292, align 4, !tbaa !5
  %294 = call ptr @s2n_strerror(i32 noundef %293, ptr noundef @.str.4)
  %295 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %296 = load i32, ptr %295, align 4, !tbaa !5
  %297 = call ptr @s2n_strerror_debug(i32 noundef %296, ptr noundef @.str.4)
  %298 = call ptr @__errno_location() #8
  %299 = load i32, ptr %298, align 4, !tbaa !5
  %300 = call ptr @strerror(i32 noundef %299) #7
  %301 = call ptr @__errno_location() #8
  %302 = load i32, ptr %301, align 4, !tbaa !5
  %303 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %290, ptr noundef @.str.2, i32 noundef %291, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 78, ptr noundef %294, ptr noundef %297, ptr noundef %300, i32 noundef %302) #7
  br label %321

304:                                              ; preds = %282, %275
  %305 = load i32, ptr %9, align 4, !tbaa !5
  %306 = call ptr @__errno_location() #8
  store i32 %305, ptr %306, align 4, !tbaa !5
  %307 = load ptr, ptr @stderr, align 8, !tbaa !9
  %308 = load i32, ptr @test_count, align 4, !tbaa !5
  %309 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %310 = load i32, ptr %309, align 4, !tbaa !5
  %311 = call ptr @s2n_strerror(i32 noundef %310, ptr noundef @.str.4)
  %312 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %313 = load i32, ptr %312, align 4, !tbaa !5
  %314 = call ptr @s2n_strerror_debug(i32 noundef %313, ptr noundef @.str.4)
  %315 = call ptr @__errno_location() #8
  %316 = load i32, ptr %315, align 4, !tbaa !5
  %317 = call ptr @strerror(i32 noundef %316) #7
  %318 = call ptr @__errno_location() #8
  %319 = load i32, ptr %318, align 4, !tbaa !5
  %320 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %307, ptr noundef @.str.5, i32 noundef %308, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 78, ptr noundef %311, ptr noundef %314, ptr noundef %317, i32 noundef %319) #7
  br label %321

321:                                              ; preds = %304, %287
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #7
  br label %322

322:                                              ; preds = %321
  br label %323

323:                                              ; preds = %322
  call void @exit(i32 noundef 1) #9
  unreachable

324:                                              ; No predecessors!
  br label %325

325:                                              ; preds = %324
  br label %326

326:                                              ; preds = %325, %267
  br label %327

327:                                              ; preds = %326
  br label %328

328:                                              ; preds = %327
  %329 = load i32, ptr %6, align 4, !tbaa !5
  %330 = add nsw i32 %329, 1
  store i32 %330, ptr %6, align 4, !tbaa !5
  call void @foo_free(ptr noundef %8)
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #7
  br label %331

331:                                              ; preds = %328
  %332 = load i32, ptr %7, align 4, !tbaa !5
  %333 = add nsw i32 %332, 1
  store i32 %333, ptr %7, align 4, !tbaa !5
  br label %256, !llvm.loop !18

334:                                              ; preds = %259
  br label %335

335:                                              ; preds = %334
  %336 = load i32, ptr @test_count, align 4, !tbaa !5
  %337 = add nsw i32 %336, 1
  store i32 %337, ptr @test_count, align 4, !tbaa !5
  %338 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %339 = load i32, ptr %6, align 4, !tbaa !5
  %340 = icmp eq i32 %338, %339
  br i1 %340, label %394, label %341

341:                                              ; preds = %335
  br label %342

342:                                              ; preds = %341
  br label %343

343:                                              ; preds = %342
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #7
  %344 = call ptr @__errno_location() #8
  %345 = load i32, ptr %344, align 4, !tbaa !5
  store i32 %345, ptr %10, align 4, !tbaa !5
  %346 = load ptr, ptr @stderr, align 8, !tbaa !9
  %347 = call i32 @s2n_print_stacktrace(ptr noundef %346)
  %348 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %349 = trunc i8 %348 to i1
  br i1 %349, label %350, label %372

350:                                              ; preds = %343
  %351 = load ptr, ptr @stderr, align 8, !tbaa !9
  %352 = call i32 @fileno(ptr noundef %351) #7
  %353 = call i32 @isatty(i32 noundef %352) #7
  %354 = icmp ne i32 %353, 0
  br i1 %354, label %355, label %372

355:                                              ; preds = %350
  %356 = load i32, ptr %10, align 4, !tbaa !5
  %357 = call ptr @__errno_location() #8
  store i32 %356, ptr %357, align 4, !tbaa !5
  %358 = load ptr, ptr @stderr, align 8, !tbaa !9
  %359 = load i32, ptr @test_count, align 4, !tbaa !5
  %360 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %361 = load i32, ptr %360, align 4, !tbaa !5
  %362 = call ptr @s2n_strerror(i32 noundef %361, ptr noundef @.str.4)
  %363 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %364 = load i32, ptr %363, align 4, !tbaa !5
  %365 = call ptr @s2n_strerror_debug(i32 noundef %364, ptr noundef @.str.4)
  %366 = call ptr @__errno_location() #8
  %367 = load i32, ptr %366, align 4, !tbaa !5
  %368 = call ptr @strerror(i32 noundef %367) #7
  %369 = call ptr @__errno_location() #8
  %370 = load i32, ptr %369, align 4, !tbaa !5
  %371 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %358, ptr noundef @.str.2, i32 noundef %359, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 82, ptr noundef %362, ptr noundef %365, ptr noundef %368, i32 noundef %370) #7
  br label %389

372:                                              ; preds = %350, %343
  %373 = load i32, ptr %10, align 4, !tbaa !5
  %374 = call ptr @__errno_location() #8
  store i32 %373, ptr %374, align 4, !tbaa !5
  %375 = load ptr, ptr @stderr, align 8, !tbaa !9
  %376 = load i32, ptr @test_count, align 4, !tbaa !5
  %377 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %378 = load i32, ptr %377, align 4, !tbaa !5
  %379 = call ptr @s2n_strerror(i32 noundef %378, ptr noundef @.str.4)
  %380 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %381 = load i32, ptr %380, align 4, !tbaa !5
  %382 = call ptr @s2n_strerror_debug(i32 noundef %381, ptr noundef @.str.4)
  %383 = call ptr @__errno_location() #8
  %384 = load i32, ptr %383, align 4, !tbaa !5
  %385 = call ptr @strerror(i32 noundef %384) #7
  %386 = call ptr @__errno_location() #8
  %387 = load i32, ptr %386, align 4, !tbaa !5
  %388 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %375, ptr noundef @.str.5, i32 noundef %376, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 82, ptr noundef %379, ptr noundef %382, ptr noundef %385, i32 noundef %387) #7
  br label %389

389:                                              ; preds = %372, %355
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #7
  br label %390

390:                                              ; preds = %389
  br label %391

391:                                              ; preds = %390
  call void @exit(i32 noundef 1) #9
  unreachable

392:                                              ; No predecessors!
  br label %393

393:                                              ; preds = %392
  br label %394

394:                                              ; preds = %393, %335
  br label %395

395:                                              ; preds = %394
  br label %396

396:                                              ; preds = %395
  br label %397

397:                                              ; preds = %396
  %398 = load i32, ptr @test_count, align 4, !tbaa !5
  %399 = add nsw i32 %398, 1
  store i32 %399, ptr @test_count, align 4, !tbaa !5
  %400 = call i32 @check_cleanup_obj_on_fn_exit()
  %401 = icmp eq i32 %400, -1
  br i1 %401, label %402, label %455

402:                                              ; preds = %397
  br label %403

403:                                              ; preds = %402
  br label %404

404:                                              ; preds = %403
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #7
  %405 = call ptr @__errno_location() #8
  %406 = load i32, ptr %405, align 4, !tbaa !5
  store i32 %406, ptr %11, align 4, !tbaa !5
  %407 = load ptr, ptr @stderr, align 8, !tbaa !9
  %408 = call i32 @s2n_print_stacktrace(ptr noundef %407)
  %409 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %410 = trunc i8 %409 to i1
  br i1 %410, label %411, label %433

411:                                              ; preds = %404
  %412 = load ptr, ptr @stderr, align 8, !tbaa !9
  %413 = call i32 @fileno(ptr noundef %412) #7
  %414 = call i32 @isatty(i32 noundef %413) #7
  %415 = icmp ne i32 %414, 0
  br i1 %415, label %416, label %433

416:                                              ; preds = %411
  %417 = load i32, ptr %11, align 4, !tbaa !5
  %418 = call ptr @__errno_location() #8
  store i32 %417, ptr %418, align 4, !tbaa !5
  %419 = load ptr, ptr @stderr, align 8, !tbaa !9
  %420 = load i32, ptr @test_count, align 4, !tbaa !5
  %421 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %422 = load i32, ptr %421, align 4, !tbaa !5
  %423 = call ptr @s2n_strerror(i32 noundef %422, ptr noundef @.str.4)
  %424 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %425 = load i32, ptr %424, align 4, !tbaa !5
  %426 = call ptr @s2n_strerror_debug(i32 noundef %425, ptr noundef @.str.4)
  %427 = call ptr @__errno_location() #8
  %428 = load i32, ptr %427, align 4, !tbaa !5
  %429 = call ptr @strerror(i32 noundef %428) #7
  %430 = call ptr @__errno_location() #8
  %431 = load i32, ptr %430, align 4, !tbaa !5
  %432 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %419, ptr noundef @.str.2, i32 noundef %420, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 84, ptr noundef %423, ptr noundef %426, ptr noundef %429, i32 noundef %431) #7
  br label %450

433:                                              ; preds = %411, %404
  %434 = load i32, ptr %11, align 4, !tbaa !5
  %435 = call ptr @__errno_location() #8
  store i32 %434, ptr %435, align 4, !tbaa !5
  %436 = load ptr, ptr @stderr, align 8, !tbaa !9
  %437 = load i32, ptr @test_count, align 4, !tbaa !5
  %438 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %439 = load i32, ptr %438, align 4, !tbaa !5
  %440 = call ptr @s2n_strerror(i32 noundef %439, ptr noundef @.str.4)
  %441 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %442 = load i32, ptr %441, align 4, !tbaa !5
  %443 = call ptr @s2n_strerror_debug(i32 noundef %442, ptr noundef @.str.4)
  %444 = call ptr @__errno_location() #8
  %445 = load i32, ptr %444, align 4, !tbaa !5
  %446 = call ptr @strerror(i32 noundef %445) #7
  %447 = call ptr @__errno_location() #8
  %448 = load i32, ptr %447, align 4, !tbaa !5
  %449 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %436, ptr noundef @.str.5, i32 noundef %437, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 84, ptr noundef %440, ptr noundef %443, ptr noundef %446, i32 noundef %448) #7
  br label %450

450:                                              ; preds = %433, %416
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #7
  br label %451

451:                                              ; preds = %450
  br label %452

452:                                              ; preds = %451
  call void @exit(i32 noundef 1) #9
  unreachable

453:                                              ; No predecessors!
  br label %454

454:                                              ; preds = %453
  br label %455

455:                                              ; preds = %454, %397
  br label %456

456:                                              ; preds = %455
  br label %457

457:                                              ; preds = %456
  %458 = load i32, ptr %6, align 4, !tbaa !5
  %459 = add nsw i32 %458, 1
  store i32 %459, ptr %6, align 4, !tbaa !5
  br label %460

460:                                              ; preds = %457
  %461 = load i32, ptr @test_count, align 4, !tbaa !5
  %462 = add nsw i32 %461, 1
  store i32 %462, ptr @test_count, align 4, !tbaa !5
  %463 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %464 = load i32, ptr %6, align 4, !tbaa !5
  %465 = icmp eq i32 %463, %464
  br i1 %465, label %519, label %466

466:                                              ; preds = %460
  br label %467

467:                                              ; preds = %466
  br label %468

468:                                              ; preds = %467
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #7
  %469 = call ptr @__errno_location() #8
  %470 = load i32, ptr %469, align 4, !tbaa !5
  store i32 %470, ptr %12, align 4, !tbaa !5
  %471 = load ptr, ptr @stderr, align 8, !tbaa !9
  %472 = call i32 @s2n_print_stacktrace(ptr noundef %471)
  %473 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %474 = trunc i8 %473 to i1
  br i1 %474, label %475, label %497

475:                                              ; preds = %468
  %476 = load ptr, ptr @stderr, align 8, !tbaa !9
  %477 = call i32 @fileno(ptr noundef %476) #7
  %478 = call i32 @isatty(i32 noundef %477) #7
  %479 = icmp ne i32 %478, 0
  br i1 %479, label %480, label %497

480:                                              ; preds = %475
  %481 = load i32, ptr %12, align 4, !tbaa !5
  %482 = call ptr @__errno_location() #8
  store i32 %481, ptr %482, align 4, !tbaa !5
  %483 = load ptr, ptr @stderr, align 8, !tbaa !9
  %484 = load i32, ptr @test_count, align 4, !tbaa !5
  %485 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %486 = load i32, ptr %485, align 4, !tbaa !5
  %487 = call ptr @s2n_strerror(i32 noundef %486, ptr noundef @.str.4)
  %488 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %489 = load i32, ptr %488, align 4, !tbaa !5
  %490 = call ptr @s2n_strerror_debug(i32 noundef %489, ptr noundef @.str.4)
  %491 = call ptr @__errno_location() #8
  %492 = load i32, ptr %491, align 4, !tbaa !5
  %493 = call ptr @strerror(i32 noundef %492) #7
  %494 = call ptr @__errno_location() #8
  %495 = load i32, ptr %494, align 4, !tbaa !5
  %496 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %483, ptr noundef @.str.2, i32 noundef %484, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 86, ptr noundef %487, ptr noundef %490, ptr noundef %493, i32 noundef %495) #7
  br label %514

497:                                              ; preds = %475, %468
  %498 = load i32, ptr %12, align 4, !tbaa !5
  %499 = call ptr @__errno_location() #8
  store i32 %498, ptr %499, align 4, !tbaa !5
  %500 = load ptr, ptr @stderr, align 8, !tbaa !9
  %501 = load i32, ptr @test_count, align 4, !tbaa !5
  %502 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %503 = load i32, ptr %502, align 4, !tbaa !5
  %504 = call ptr @s2n_strerror(i32 noundef %503, ptr noundef @.str.4)
  %505 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %506 = load i32, ptr %505, align 4, !tbaa !5
  %507 = call ptr @s2n_strerror_debug(i32 noundef %506, ptr noundef @.str.4)
  %508 = call ptr @__errno_location() #8
  %509 = load i32, ptr %508, align 4, !tbaa !5
  %510 = call ptr @strerror(i32 noundef %509) #7
  %511 = call ptr @__errno_location() #8
  %512 = load i32, ptr %511, align 4, !tbaa !5
  %513 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %500, ptr noundef @.str.5, i32 noundef %501, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 86, ptr noundef %504, ptr noundef %507, ptr noundef %510, i32 noundef %512) #7
  br label %514

514:                                              ; preds = %497, %480
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #7
  br label %515

515:                                              ; preds = %514
  br label %516

516:                                              ; preds = %515
  call void @exit(i32 noundef 1) #9
  unreachable

517:                                              ; No predecessors!
  br label %518

518:                                              ; preds = %517
  br label %519

519:                                              ; preds = %518, %460
  br label %520

520:                                              ; preds = %519
  br label %521

521:                                              ; preds = %520
  br label %522

522:                                              ; preds = %521
  %523 = load i32, ptr @test_count, align 4, !tbaa !5
  %524 = add nsw i32 %523, 1
  store i32 %524, ptr @test_count, align 4, !tbaa !5
  %525 = call i32 @check_cleanup_pointer_on_fn_exit()
  %526 = icmp eq i32 %525, -1
  br i1 %526, label %527, label %580

527:                                              ; preds = %522
  br label %528

528:                                              ; preds = %527
  br label %529

529:                                              ; preds = %528
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #7
  %530 = call ptr @__errno_location() #8
  %531 = load i32, ptr %530, align 4, !tbaa !5
  store i32 %531, ptr %13, align 4, !tbaa !5
  %532 = load ptr, ptr @stderr, align 8, !tbaa !9
  %533 = call i32 @s2n_print_stacktrace(ptr noundef %532)
  %534 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %535 = trunc i8 %534 to i1
  br i1 %535, label %536, label %558

536:                                              ; preds = %529
  %537 = load ptr, ptr @stderr, align 8, !tbaa !9
  %538 = call i32 @fileno(ptr noundef %537) #7
  %539 = call i32 @isatty(i32 noundef %538) #7
  %540 = icmp ne i32 %539, 0
  br i1 %540, label %541, label %558

541:                                              ; preds = %536
  %542 = load i32, ptr %13, align 4, !tbaa !5
  %543 = call ptr @__errno_location() #8
  store i32 %542, ptr %543, align 4, !tbaa !5
  %544 = load ptr, ptr @stderr, align 8, !tbaa !9
  %545 = load i32, ptr @test_count, align 4, !tbaa !5
  %546 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %547 = load i32, ptr %546, align 4, !tbaa !5
  %548 = call ptr @s2n_strerror(i32 noundef %547, ptr noundef @.str.4)
  %549 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %550 = load i32, ptr %549, align 4, !tbaa !5
  %551 = call ptr @s2n_strerror_debug(i32 noundef %550, ptr noundef @.str.4)
  %552 = call ptr @__errno_location() #8
  %553 = load i32, ptr %552, align 4, !tbaa !5
  %554 = call ptr @strerror(i32 noundef %553) #7
  %555 = call ptr @__errno_location() #8
  %556 = load i32, ptr %555, align 4, !tbaa !5
  %557 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %544, ptr noundef @.str.2, i32 noundef %545, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 88, ptr noundef %548, ptr noundef %551, ptr noundef %554, i32 noundef %556) #7
  br label %575

558:                                              ; preds = %536, %529
  %559 = load i32, ptr %13, align 4, !tbaa !5
  %560 = call ptr @__errno_location() #8
  store i32 %559, ptr %560, align 4, !tbaa !5
  %561 = load ptr, ptr @stderr, align 8, !tbaa !9
  %562 = load i32, ptr @test_count, align 4, !tbaa !5
  %563 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %564 = load i32, ptr %563, align 4, !tbaa !5
  %565 = call ptr @s2n_strerror(i32 noundef %564, ptr noundef @.str.4)
  %566 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %567 = load i32, ptr %566, align 4, !tbaa !5
  %568 = call ptr @s2n_strerror_debug(i32 noundef %567, ptr noundef @.str.4)
  %569 = call ptr @__errno_location() #8
  %570 = load i32, ptr %569, align 4, !tbaa !5
  %571 = call ptr @strerror(i32 noundef %570) #7
  %572 = call ptr @__errno_location() #8
  %573 = load i32, ptr %572, align 4, !tbaa !5
  %574 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %561, ptr noundef @.str.5, i32 noundef %562, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 88, ptr noundef %565, ptr noundef %568, ptr noundef %571, i32 noundef %573) #7
  br label %575

575:                                              ; preds = %558, %541
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #7
  br label %576

576:                                              ; preds = %575
  br label %577

577:                                              ; preds = %576
  call void @exit(i32 noundef 1) #9
  unreachable

578:                                              ; No predecessors!
  br label %579

579:                                              ; preds = %578
  br label %580

580:                                              ; preds = %579, %522
  br label %581

581:                                              ; preds = %580
  br label %582

582:                                              ; preds = %581
  %583 = load i32, ptr %6, align 4, !tbaa !5
  %584 = add nsw i32 %583, 1
  store i32 %584, ptr %6, align 4, !tbaa !5
  br label %585

585:                                              ; preds = %582
  %586 = load i32, ptr @test_count, align 4, !tbaa !5
  %587 = add nsw i32 %586, 1
  store i32 %587, ptr @test_count, align 4, !tbaa !5
  %588 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %589 = load i32, ptr %6, align 4, !tbaa !5
  %590 = icmp eq i32 %588, %589
  br i1 %590, label %644, label %591

591:                                              ; preds = %585
  br label %592

592:                                              ; preds = %591
  br label %593

593:                                              ; preds = %592
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #7
  %594 = call ptr @__errno_location() #8
  %595 = load i32, ptr %594, align 4, !tbaa !5
  store i32 %595, ptr %14, align 4, !tbaa !5
  %596 = load ptr, ptr @stderr, align 8, !tbaa !9
  %597 = call i32 @s2n_print_stacktrace(ptr noundef %596)
  %598 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %599 = trunc i8 %598 to i1
  br i1 %599, label %600, label %622

600:                                              ; preds = %593
  %601 = load ptr, ptr @stderr, align 8, !tbaa !9
  %602 = call i32 @fileno(ptr noundef %601) #7
  %603 = call i32 @isatty(i32 noundef %602) #7
  %604 = icmp ne i32 %603, 0
  br i1 %604, label %605, label %622

605:                                              ; preds = %600
  %606 = load i32, ptr %14, align 4, !tbaa !5
  %607 = call ptr @__errno_location() #8
  store i32 %606, ptr %607, align 4, !tbaa !5
  %608 = load ptr, ptr @stderr, align 8, !tbaa !9
  %609 = load i32, ptr @test_count, align 4, !tbaa !5
  %610 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %611 = load i32, ptr %610, align 4, !tbaa !5
  %612 = call ptr @s2n_strerror(i32 noundef %611, ptr noundef @.str.4)
  %613 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %614 = load i32, ptr %613, align 4, !tbaa !5
  %615 = call ptr @s2n_strerror_debug(i32 noundef %614, ptr noundef @.str.4)
  %616 = call ptr @__errno_location() #8
  %617 = load i32, ptr %616, align 4, !tbaa !5
  %618 = call ptr @strerror(i32 noundef %617) #7
  %619 = call ptr @__errno_location() #8
  %620 = load i32, ptr %619, align 4, !tbaa !5
  %621 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %608, ptr noundef @.str.2, i32 noundef %609, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 90, ptr noundef %612, ptr noundef %615, ptr noundef %618, i32 noundef %620) #7
  br label %639

622:                                              ; preds = %600, %593
  %623 = load i32, ptr %14, align 4, !tbaa !5
  %624 = call ptr @__errno_location() #8
  store i32 %623, ptr %624, align 4, !tbaa !5
  %625 = load ptr, ptr @stderr, align 8, !tbaa !9
  %626 = load i32, ptr @test_count, align 4, !tbaa !5
  %627 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %628 = load i32, ptr %627, align 4, !tbaa !5
  %629 = call ptr @s2n_strerror(i32 noundef %628, ptr noundef @.str.4)
  %630 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %631 = load i32, ptr %630, align 4, !tbaa !5
  %632 = call ptr @s2n_strerror_debug(i32 noundef %631, ptr noundef @.str.4)
  %633 = call ptr @__errno_location() #8
  %634 = load i32, ptr %633, align 4, !tbaa !5
  %635 = call ptr @strerror(i32 noundef %634) #7
  %636 = call ptr @__errno_location() #8
  %637 = load i32, ptr %636, align 4, !tbaa !5
  %638 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %625, ptr noundef @.str.5, i32 noundef %626, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 90, ptr noundef %629, ptr noundef %632, ptr noundef %635, i32 noundef %637) #7
  br label %639

639:                                              ; preds = %622, %605
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #7
  br label %640

640:                                              ; preds = %639
  br label %641

641:                                              ; preds = %640
  call void @exit(i32 noundef 1) #9
  unreachable

642:                                              ; No predecessors!
  br label %643

643:                                              ; preds = %642
  br label %644

644:                                              ; preds = %643, %585
  br label %645

645:                                              ; preds = %644
  br label %646

646:                                              ; preds = %645
  br label %647

647:                                              ; preds = %646
  %648 = load i32, ptr @test_count, align 4, !tbaa !5
  %649 = add nsw i32 %648, 1
  store i32 %649, ptr @test_count, align 4, !tbaa !5
  %650 = call i32 @check_dont_cleanup_null_on_fn_exit()
  %651 = icmp eq i32 %650, -1
  br i1 %651, label %652, label %705

652:                                              ; preds = %647
  br label %653

653:                                              ; preds = %652
  br label %654

654:                                              ; preds = %653
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #7
  %655 = call ptr @__errno_location() #8
  %656 = load i32, ptr %655, align 4, !tbaa !5
  store i32 %656, ptr %15, align 4, !tbaa !5
  %657 = load ptr, ptr @stderr, align 8, !tbaa !9
  %658 = call i32 @s2n_print_stacktrace(ptr noundef %657)
  %659 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %660 = trunc i8 %659 to i1
  br i1 %660, label %661, label %683

661:                                              ; preds = %654
  %662 = load ptr, ptr @stderr, align 8, !tbaa !9
  %663 = call i32 @fileno(ptr noundef %662) #7
  %664 = call i32 @isatty(i32 noundef %663) #7
  %665 = icmp ne i32 %664, 0
  br i1 %665, label %666, label %683

666:                                              ; preds = %661
  %667 = load i32, ptr %15, align 4, !tbaa !5
  %668 = call ptr @__errno_location() #8
  store i32 %667, ptr %668, align 4, !tbaa !5
  %669 = load ptr, ptr @stderr, align 8, !tbaa !9
  %670 = load i32, ptr @test_count, align 4, !tbaa !5
  %671 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %672 = load i32, ptr %671, align 4, !tbaa !5
  %673 = call ptr @s2n_strerror(i32 noundef %672, ptr noundef @.str.4)
  %674 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %675 = load i32, ptr %674, align 4, !tbaa !5
  %676 = call ptr @s2n_strerror_debug(i32 noundef %675, ptr noundef @.str.4)
  %677 = call ptr @__errno_location() #8
  %678 = load i32, ptr %677, align 4, !tbaa !5
  %679 = call ptr @strerror(i32 noundef %678) #7
  %680 = call ptr @__errno_location() #8
  %681 = load i32, ptr %680, align 4, !tbaa !5
  %682 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %669, ptr noundef @.str.2, i32 noundef %670, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 92, ptr noundef %673, ptr noundef %676, ptr noundef %679, i32 noundef %681) #7
  br label %700

683:                                              ; preds = %661, %654
  %684 = load i32, ptr %15, align 4, !tbaa !5
  %685 = call ptr @__errno_location() #8
  store i32 %684, ptr %685, align 4, !tbaa !5
  %686 = load ptr, ptr @stderr, align 8, !tbaa !9
  %687 = load i32, ptr @test_count, align 4, !tbaa !5
  %688 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %689 = load i32, ptr %688, align 4, !tbaa !5
  %690 = call ptr @s2n_strerror(i32 noundef %689, ptr noundef @.str.4)
  %691 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %692 = load i32, ptr %691, align 4, !tbaa !5
  %693 = call ptr @s2n_strerror_debug(i32 noundef %692, ptr noundef @.str.4)
  %694 = call ptr @__errno_location() #8
  %695 = load i32, ptr %694, align 4, !tbaa !5
  %696 = call ptr @strerror(i32 noundef %695) #7
  %697 = call ptr @__errno_location() #8
  %698 = load i32, ptr %697, align 4, !tbaa !5
  %699 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %686, ptr noundef @.str.5, i32 noundef %687, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 92, ptr noundef %690, ptr noundef %693, ptr noundef %696, i32 noundef %698) #7
  br label %700

700:                                              ; preds = %683, %666
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #7
  br label %701

701:                                              ; preds = %700
  br label %702

702:                                              ; preds = %701
  call void @exit(i32 noundef 1) #9
  unreachable

703:                                              ; No predecessors!
  br label %704

704:                                              ; preds = %703
  br label %705

705:                                              ; preds = %704, %647
  br label %706

706:                                              ; preds = %705
  br label %707

707:                                              ; preds = %706
  br label %708

708:                                              ; preds = %707
  %709 = load i32, ptr @test_count, align 4, !tbaa !5
  %710 = add nsw i32 %709, 1
  store i32 %710, ptr @test_count, align 4, !tbaa !5
  %711 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %712 = load i32, ptr %6, align 4, !tbaa !5
  %713 = icmp eq i32 %711, %712
  br i1 %713, label %767, label %714

714:                                              ; preds = %708
  br label %715

715:                                              ; preds = %714
  br label %716

716:                                              ; preds = %715
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #7
  %717 = call ptr @__errno_location() #8
  %718 = load i32, ptr %717, align 4, !tbaa !5
  store i32 %718, ptr %16, align 4, !tbaa !5
  %719 = load ptr, ptr @stderr, align 8, !tbaa !9
  %720 = call i32 @s2n_print_stacktrace(ptr noundef %719)
  %721 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %722 = trunc i8 %721 to i1
  br i1 %722, label %723, label %745

723:                                              ; preds = %716
  %724 = load ptr, ptr @stderr, align 8, !tbaa !9
  %725 = call i32 @fileno(ptr noundef %724) #7
  %726 = call i32 @isatty(i32 noundef %725) #7
  %727 = icmp ne i32 %726, 0
  br i1 %727, label %728, label %745

728:                                              ; preds = %723
  %729 = load i32, ptr %16, align 4, !tbaa !5
  %730 = call ptr @__errno_location() #8
  store i32 %729, ptr %730, align 4, !tbaa !5
  %731 = load ptr, ptr @stderr, align 8, !tbaa !9
  %732 = load i32, ptr @test_count, align 4, !tbaa !5
  %733 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %734 = load i32, ptr %733, align 4, !tbaa !5
  %735 = call ptr @s2n_strerror(i32 noundef %734, ptr noundef @.str.4)
  %736 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %737 = load i32, ptr %736, align 4, !tbaa !5
  %738 = call ptr @s2n_strerror_debug(i32 noundef %737, ptr noundef @.str.4)
  %739 = call ptr @__errno_location() #8
  %740 = load i32, ptr %739, align 4, !tbaa !5
  %741 = call ptr @strerror(i32 noundef %740) #7
  %742 = call ptr @__errno_location() #8
  %743 = load i32, ptr %742, align 4, !tbaa !5
  %744 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %731, ptr noundef @.str.2, i32 noundef %732, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 94, ptr noundef %735, ptr noundef %738, ptr noundef %741, i32 noundef %743) #7
  br label %762

745:                                              ; preds = %723, %716
  %746 = load i32, ptr %16, align 4, !tbaa !5
  %747 = call ptr @__errno_location() #8
  store i32 %746, ptr %747, align 4, !tbaa !5
  %748 = load ptr, ptr @stderr, align 8, !tbaa !9
  %749 = load i32, ptr @test_count, align 4, !tbaa !5
  %750 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %751 = load i32, ptr %750, align 4, !tbaa !5
  %752 = call ptr @s2n_strerror(i32 noundef %751, ptr noundef @.str.4)
  %753 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %754 = load i32, ptr %753, align 4, !tbaa !5
  %755 = call ptr @s2n_strerror_debug(i32 noundef %754, ptr noundef @.str.4)
  %756 = call ptr @__errno_location() #8
  %757 = load i32, ptr %756, align 4, !tbaa !5
  %758 = call ptr @strerror(i32 noundef %757) #7
  %759 = call ptr @__errno_location() #8
  %760 = load i32, ptr %759, align 4, !tbaa !5
  %761 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %748, ptr noundef @.str.5, i32 noundef %749, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 94, ptr noundef %752, ptr noundef %755, ptr noundef %758, i32 noundef %760) #7
  br label %762

762:                                              ; preds = %745, %728
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #7
  br label %763

763:                                              ; preds = %762
  br label %764

764:                                              ; preds = %763
  call void @exit(i32 noundef 1) #9
  unreachable

765:                                              ; No predecessors!
  br label %766

766:                                              ; preds = %765
  br label %767

767:                                              ; preds = %766, %708
  br label %768

768:                                              ; preds = %767
  br label %769

769:                                              ; preds = %768
  br label %770

770:                                              ; preds = %769
  br label %771

771:                                              ; preds = %770
  %772 = call i32 @s2n_cleanup()
  %773 = icmp eq i32 %772, -1
  br i1 %773, label %774, label %827

774:                                              ; preds = %771
  br label %775

775:                                              ; preds = %774
  br label %776

776:                                              ; preds = %775
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #7
  %777 = call ptr @__errno_location() #8
  %778 = load i32, ptr %777, align 4, !tbaa !5
  store i32 %778, ptr %17, align 4, !tbaa !5
  %779 = load ptr, ptr @stderr, align 8, !tbaa !9
  %780 = call i32 @s2n_print_stacktrace(ptr noundef %779)
  %781 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %782 = trunc i8 %781 to i1
  br i1 %782, label %783, label %805

783:                                              ; preds = %776
  %784 = load ptr, ptr @stderr, align 8, !tbaa !9
  %785 = call i32 @fileno(ptr noundef %784) #7
  %786 = call i32 @isatty(i32 noundef %785) #7
  %787 = icmp ne i32 %786, 0
  br i1 %787, label %788, label %805

788:                                              ; preds = %783
  %789 = load i32, ptr %17, align 4, !tbaa !5
  %790 = call ptr @__errno_location() #8
  store i32 %789, ptr %790, align 4, !tbaa !5
  %791 = load ptr, ptr @stderr, align 8, !tbaa !9
  %792 = load i32, ptr @test_count, align 4, !tbaa !5
  %793 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %794 = load i32, ptr %793, align 4, !tbaa !5
  %795 = call ptr @s2n_strerror(i32 noundef %794, ptr noundef @.str.4)
  %796 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %797 = load i32, ptr %796, align 4, !tbaa !5
  %798 = call ptr @s2n_strerror_debug(i32 noundef %797, ptr noundef @.str.4)
  %799 = call ptr @__errno_location() #8
  %800 = load i32, ptr %799, align 4, !tbaa !5
  %801 = call ptr @strerror(i32 noundef %800) #7
  %802 = call ptr @__errno_location() #8
  %803 = load i32, ptr %802, align 4, !tbaa !5
  %804 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %791, ptr noundef @.str.2, i32 noundef %792, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 96, ptr noundef %795, ptr noundef %798, ptr noundef %801, i32 noundef %803) #7
  br label %822

805:                                              ; preds = %783, %776
  %806 = load i32, ptr %17, align 4, !tbaa !5
  %807 = call ptr @__errno_location() #8
  store i32 %806, ptr %807, align 4, !tbaa !5
  %808 = load ptr, ptr @stderr, align 8, !tbaa !9
  %809 = load i32, ptr @test_count, align 4, !tbaa !5
  %810 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %811 = load i32, ptr %810, align 4, !tbaa !5
  %812 = call ptr @s2n_strerror(i32 noundef %811, ptr noundef @.str.4)
  %813 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %814 = load i32, ptr %813, align 4, !tbaa !5
  %815 = call ptr @s2n_strerror_debug(i32 noundef %814, ptr noundef @.str.4)
  %816 = call ptr @__errno_location() #8
  %817 = load i32, ptr %816, align 4, !tbaa !5
  %818 = call ptr @strerror(i32 noundef %817) #7
  %819 = call ptr @__errno_location() #8
  %820 = load i32, ptr %819, align 4, !tbaa !5
  %821 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %808, ptr noundef @.str.5, i32 noundef %809, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 96, ptr noundef %812, ptr noundef %815, ptr noundef %818, i32 noundef %820) #7
  br label %822

822:                                              ; preds = %805, %788
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  br label %823

823:                                              ; preds = %822
  br label %824

824:                                              ; preds = %823
  call void @exit(i32 noundef 1) #9
  unreachable

825:                                              ; No predecessors!
  br label %826

826:                                              ; preds = %825
  br label %827

827:                                              ; preds = %826, %771
  br label %828

828:                                              ; preds = %827
  br label %829

829:                                              ; preds = %828
  br label %830

830:                                              ; preds = %829
  br label %831

831:                                              ; preds = %830
  %832 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %833 = icmp eq i32 %832, -1
  br i1 %833, label %834, label %887

834:                                              ; preds = %831
  br label %835

835:                                              ; preds = %834
  br label %836

836:                                              ; preds = %835
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  %837 = call ptr @__errno_location() #8
  %838 = load i32, ptr %837, align 4, !tbaa !5
  store i32 %838, ptr %18, align 4, !tbaa !5
  %839 = load ptr, ptr @stderr, align 8, !tbaa !9
  %840 = call i32 @s2n_print_stacktrace(ptr noundef %839)
  %841 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %842 = trunc i8 %841 to i1
  br i1 %842, label %843, label %865

843:                                              ; preds = %836
  %844 = load ptr, ptr @stderr, align 8, !tbaa !9
  %845 = call i32 @fileno(ptr noundef %844) #7
  %846 = call i32 @isatty(i32 noundef %845) #7
  %847 = icmp ne i32 %846, 0
  br i1 %847, label %848, label %865

848:                                              ; preds = %843
  %849 = load i32, ptr %18, align 4, !tbaa !5
  %850 = call ptr @__errno_location() #8
  store i32 %849, ptr %850, align 4, !tbaa !5
  %851 = load ptr, ptr @stderr, align 8, !tbaa !9
  %852 = load i32, ptr @test_count, align 4, !tbaa !5
  %853 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %854 = load i32, ptr %853, align 4, !tbaa !5
  %855 = call ptr @s2n_strerror(i32 noundef %854, ptr noundef @.str.4)
  %856 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %857 = load i32, ptr %856, align 4, !tbaa !5
  %858 = call ptr @s2n_strerror_debug(i32 noundef %857, ptr noundef @.str.4)
  %859 = call ptr @__errno_location() #8
  %860 = load i32, ptr %859, align 4, !tbaa !5
  %861 = call ptr @strerror(i32 noundef %860) #7
  %862 = call ptr @__errno_location() #8
  %863 = load i32, ptr %862, align 4, !tbaa !5
  %864 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %851, ptr noundef @.str.2, i32 noundef %852, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 96, ptr noundef %855, ptr noundef %858, ptr noundef %861, i32 noundef %863) #7
  br label %882

865:                                              ; preds = %843, %836
  %866 = load i32, ptr %18, align 4, !tbaa !5
  %867 = call ptr @__errno_location() #8
  store i32 %866, ptr %867, align 4, !tbaa !5
  %868 = load ptr, ptr @stderr, align 8, !tbaa !9
  %869 = load i32, ptr @test_count, align 4, !tbaa !5
  %870 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %871 = load i32, ptr %870, align 4, !tbaa !5
  %872 = call ptr @s2n_strerror(i32 noundef %871, ptr noundef @.str.4)
  %873 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %874 = load i32, ptr %873, align 4, !tbaa !5
  %875 = call ptr @s2n_strerror_debug(i32 noundef %874, ptr noundef @.str.4)
  %876 = call ptr @__errno_location() #8
  %877 = load i32, ptr %876, align 4, !tbaa !5
  %878 = call ptr @strerror(i32 noundef %877) #7
  %879 = call ptr @__errno_location() #8
  %880 = load i32, ptr %879, align 4, !tbaa !5
  %881 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %868, ptr noundef @.str.5, i32 noundef %869, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 96, ptr noundef %872, ptr noundef %875, ptr noundef %878, i32 noundef %880) #7
  br label %882

882:                                              ; preds = %865, %848
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  br label %883

883:                                              ; preds = %882
  br label %884

884:                                              ; preds = %883
  call void @exit(i32 noundef 1) #9
  unreachable

885:                                              ; No predecessors!
  br label %886

886:                                              ; preds = %885
  br label %887

887:                                              ; preds = %886, %831
  br label %888

888:                                              ; preds = %887
  br label %889

889:                                              ; preds = %888
  %890 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %891 = trunc i8 %890 to i1
  br i1 %891, label %892, label %908

892:                                              ; preds = %889
  %893 = load ptr, ptr @stdout, align 8, !tbaa !9
  %894 = call i32 @fileno(ptr noundef %893) #7
  %895 = call i32 @isatty(i32 noundef %894) #7
  %896 = icmp ne i32 %895, 0
  br i1 %896, label %897, label %908

897:                                              ; preds = %892
  %898 = load i32, ptr @test_count, align 4, !tbaa !5
  %899 = icmp ne i32 %898, 0
  br i1 %899, label %900, label %904

900:                                              ; preds = %897
  %901 = load ptr, ptr @stdout, align 8, !tbaa !9
  %902 = load i32, ptr @test_count, align 4, !tbaa !5
  %903 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %901, ptr noundef @.str.15, i32 noundef %902) #7
  br label %907

904:                                              ; preds = %897
  %905 = load ptr, ptr @stdout, align 8, !tbaa !9
  %906 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %905, ptr noundef @.str.16) #7
  br label %907

907:                                              ; preds = %904, %900
  br label %919

908:                                              ; preds = %892, %889
  %909 = load i32, ptr @test_count, align 4, !tbaa !5
  %910 = icmp ne i32 %909, 0
  br i1 %910, label %911, label %915

911:                                              ; preds = %908
  %912 = load ptr, ptr @stdout, align 8, !tbaa !9
  %913 = load i32, ptr @test_count, align 4, !tbaa !5
  %914 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %912, ptr noundef @.str.17, i32 noundef %913) #7
  br label %918

915:                                              ; preds = %908
  %916 = load ptr, ptr @stdout, align 8, !tbaa !9
  %917 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %916, ptr noundef @.str.18) #7
  br label %918

918:                                              ; preds = %915, %911
  br label %919

919:                                              ; preds = %918, %907
  store i32 0, ptr %1, align 4
  store i32 1, ptr %19, align 4
  br label %924

920:                                              ; No predecessors!
  br label %921

921:                                              ; preds = %920
  br label %922

922:                                              ; preds = %921
  br label %923

923:                                              ; preds = %922
  store i32 0, ptr %19, align 4
  br label %924

924:                                              ; preds = %923, %919
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #7
  %925 = load i32, ptr %19, align 4
  switch i32 %925, label %928 [
    i32 0, label %926
    i32 1, label %926
  ]

926:                                              ; preds = %924, %924
  %927 = load i32, ptr %1, align 4
  ret i32 %927

928:                                              ; preds = %924
  unreachable
}

; Function Attrs: nounwind
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #2

declare i32 @fflush(ptr noundef) #3

declare i32 @s2n_in_unit_test_set(i1 noundef zeroext) #3

; Function Attrs: nounwind willreturn memory(none)
declare ptr @__errno_location() #4

declare i32 @s2n_print_stacktrace(ptr noundef) #3

; Function Attrs: nounwind
declare i32 @isatty(i32 noundef) #2

; Function Attrs: nounwind
declare i32 @fileno(ptr noundef) #2

declare ptr @s2n_strerror(i32 noundef, ptr noundef) #3

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull) #5

declare ptr @s2n_strerror_debug(i32 noundef, ptr noundef) #3

; Function Attrs: nounwind
declare ptr @strerror(i32 noundef) #2

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) #6

declare i32 @s2n_enable_atexit() #3

declare i32 @s2n_init() #3

declare i32 @s2n_disable_tls13_in_test(...) #3

declare i32 @s2n_cleanup() #3

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nounwind }
attributes #8 = { nounwind willreturn memory(none) }
attributes #9 = { noreturn nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_Bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !6, i64 0}
!16 = !{!"foo", !6, i64 0, !6, i64 4}
!17 = !{!16, !6, i64 4}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.foo = type { i32, i32 }

@s2n_use_color_in_output = external dso_local local_unnamed_addr global i8, align 1
@foo_cleanup_calls = external dso_local local_unnamed_addr global i32, align 4
@test_count = external dso_local local_unnamed_addr global i32, align 4
@stdout = external local_unnamed_addr global ptr, align 8
@.str = external hidden unnamed_addr constant [19 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [75 x i8], align 1
@stderr = external local_unnamed_addr global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local local_unnamed_addr global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local void @foo_free(ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @check_cleanup_obj_on_fn_exit() local_unnamed_addr #0

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: nounwind uwtable
declare dso_local i32 @check_cleanup_pointer_on_fn_exit() local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @check_dont_cleanup_null_on_fn_exit() local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @main() local_unnamed_addr #0 {
  %1 = alloca %struct.foo, align 4
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %2 = load ptr, ptr @stdout, align 8, !tbaa !9
  %3 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %2, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1) #8
  %4 = load ptr, ptr @stdout, align 8, !tbaa !9
  %5 = tail call i32 @fflush(ptr noundef %4)
  %6 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext true) #8
  %7 = icmp eq i32 %6, -1
  br i1 %7, label %8, label %32

8:                                                ; preds = %0
  %9 = tail call ptr @__errno_location() #9
  %10 = load i32, ptr %9, align 4, !tbaa !5
  %11 = load ptr, ptr @stderr, align 8, !tbaa !9
  %12 = tail call i32 @s2n_print_stacktrace(ptr noundef %11) #8
  %13 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %14 = trunc nuw i8 %13 to i1
  br i1 %14, label %15, label %19

15:                                               ; preds = %8
  %16 = load ptr, ptr @stderr, align 8, !tbaa !9
  %17 = tail call i32 @fileno(ptr noundef %16) #8
  %18 = tail call i32 @isatty(i32 noundef %17) #8
  %.not60 = icmp eq i32 %18, 0
  br i1 %.not60, label %19, label %20

19:                                               ; preds = %15, %8
  br label %20

20:                                               ; preds = %15, %19
  %.str.5.sink = phi ptr [ @.str.5, %19 ], [ @.str.2, %15 ]
  store i32 %10, ptr %9, align 4, !tbaa !5
  %21 = load ptr, ptr @stderr, align 8, !tbaa !9
  %22 = load i32, ptr @test_count, align 4, !tbaa !5
  %23 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %24 = load i32, ptr %23, align 4, !tbaa !5
  %25 = tail call ptr @s2n_strerror(i32 noundef %24, ptr noundef nonnull @.str.4) #8
  %26 = load i32, ptr %23, align 4, !tbaa !5
  %27 = tail call ptr @s2n_strerror_debug(i32 noundef %26, ptr noundef nonnull @.str.4) #8
  %28 = load i32, ptr %9, align 4, !tbaa !5
  %29 = tail call ptr @strerror(i32 noundef %28) #8
  %30 = load i32, ptr %9, align 4, !tbaa !5
  %31 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %21, ptr noundef nonnull %.str.5.sink, i32 noundef %22, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1, i32 noundef 70, ptr noundef %25, ptr noundef %27, ptr noundef %29, i32 noundef %30) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

32:                                               ; preds = %0
  %33 = load i32, ptr @test_count, align 4, !tbaa !5
  %34 = add nsw i32 %33, 1
  store i32 %34, ptr @test_count, align 4, !tbaa !5
  %35 = tail call i32 @s2n_enable_atexit() #8
  %36 = icmp eq i32 %35, -1
  br i1 %36, label %37, label %61

37:                                               ; preds = %32
  %38 = tail call ptr @__errno_location() #9
  %39 = load i32, ptr %38, align 4, !tbaa !5
  %40 = load ptr, ptr @stderr, align 8, !tbaa !9
  %41 = tail call i32 @s2n_print_stacktrace(ptr noundef %40) #8
  %42 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %43 = trunc nuw i8 %42 to i1
  br i1 %43, label %44, label %48

44:                                               ; preds = %37
  %45 = load ptr, ptr @stderr, align 8, !tbaa !9
  %46 = tail call i32 @fileno(ptr noundef %45) #8
  %47 = tail call i32 @isatty(i32 noundef %46) #8
  %.not59 = icmp eq i32 %47, 0
  br i1 %.not59, label %48, label %49

48:                                               ; preds = %44, %37
  br label %49

49:                                               ; preds = %44, %48
  %.str.5.sink75 = phi ptr [ @.str.5, %48 ], [ @.str.2, %44 ]
  store i32 %39, ptr %38, align 4, !tbaa !5
  %50 = load ptr, ptr @stderr, align 8, !tbaa !9
  %51 = load i32, ptr @test_count, align 4, !tbaa !5
  %52 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %53 = load i32, ptr %52, align 4, !tbaa !5
  %54 = tail call ptr @s2n_strerror(i32 noundef %53, ptr noundef nonnull @.str.4) #8
  %55 = load i32, ptr %52, align 4, !tbaa !5
  %56 = tail call ptr @s2n_strerror_debug(i32 noundef %55, ptr noundef nonnull @.str.4) #8
  %57 = load i32, ptr %38, align 4, !tbaa !5
  %58 = tail call ptr @strerror(i32 noundef %57) #8
  %59 = load i32, ptr %38, align 4, !tbaa !5
  %60 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %50, ptr noundef nonnull %.str.5.sink75, i32 noundef %51, ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 70, ptr noundef %54, ptr noundef %56, ptr noundef %58, i32 noundef %59) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

61:                                               ; preds = %32
  %62 = tail call i32 @s2n_init() #8
  %63 = icmp eq i32 %62, -1
  br i1 %63, label %64, label %88

64:                                               ; preds = %61
  %65 = tail call ptr @__errno_location() #9
  %66 = load i32, ptr %65, align 4, !tbaa !5
  %67 = load ptr, ptr @stderr, align 8, !tbaa !9
  %68 = tail call i32 @s2n_print_stacktrace(ptr noundef %67) #8
  %69 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %70 = trunc nuw i8 %69 to i1
  br i1 %70, label %71, label %75

71:                                               ; preds = %64
  %72 = load ptr, ptr @stderr, align 8, !tbaa !9
  %73 = tail call i32 @fileno(ptr noundef %72) #8
  %74 = tail call i32 @isatty(i32 noundef %73) #8
  %.not58 = icmp eq i32 %74, 0
  br i1 %.not58, label %75, label %76

75:                                               ; preds = %71, %64
  br label %76

76:                                               ; preds = %71, %75
  %.str.5.sink86 = phi ptr [ @.str.5, %75 ], [ @.str.2, %71 ]
  store i32 %66, ptr %65, align 4, !tbaa !5
  %77 = load ptr, ptr @stderr, align 8, !tbaa !9
  %78 = load i32, ptr @test_count, align 4, !tbaa !5
  %79 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %80 = load i32, ptr %79, align 4, !tbaa !5
  %81 = tail call ptr @s2n_strerror(i32 noundef %80, ptr noundef nonnull @.str.4) #8
  %82 = load i32, ptr %79, align 4, !tbaa !5
  %83 = tail call ptr @s2n_strerror_debug(i32 noundef %82, ptr noundef nonnull @.str.4) #8
  %84 = load i32, ptr %65, align 4, !tbaa !5
  %85 = tail call ptr @strerror(i32 noundef %84) #8
  %86 = load i32, ptr %65, align 4, !tbaa !5
  %87 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %77, ptr noundef nonnull %.str.5.sink86, i32 noundef %78, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 70, ptr noundef %81, ptr noundef %83, ptr noundef %85, i32 noundef %86) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

88:                                               ; preds = %61
  %89 = load i32, ptr @test_count, align 4, !tbaa !5
  %90 = add nsw i32 %89, 1
  store i32 %90, ptr @test_count, align 4, !tbaa !5
  %91 = tail call i32 (...) @s2n_disable_tls13_in_test() #8
  %92 = icmp eq i32 %91, -1
  br i1 %92, label %98, label %.preheader

.preheader:                                       ; preds = %88
  %93 = getelementptr inbounds i8, ptr %1, i64 4
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 0, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %94 = load i32, ptr @test_count, align 4, !tbaa !5
  %95 = add nsw i32 %94, 1
  store i32 %95, ptr @test_count, align 4, !tbaa !5
  %96 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %97 = icmp eq i32 %96, 0
  br i1 %97, label %146, label %122

98:                                               ; preds = %88
  %99 = tail call ptr @__errno_location() #9
  %100 = load i32, ptr %99, align 4, !tbaa !5
  %101 = load ptr, ptr @stderr, align 8, !tbaa !9
  %102 = tail call i32 @s2n_print_stacktrace(ptr noundef %101) #8
  %103 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %104 = trunc nuw i8 %103 to i1
  br i1 %104, label %105, label %109

105:                                              ; preds = %98
  %106 = load ptr, ptr @stderr, align 8, !tbaa !9
  %107 = tail call i32 @fileno(ptr noundef %106) #8
  %108 = tail call i32 @isatty(i32 noundef %107) #8
  %.not57 = icmp eq i32 %108, 0
  br i1 %.not57, label %109, label %110

109:                                              ; preds = %105, %98
  br label %110

110:                                              ; preds = %105, %109
  %.str.5.sink97 = phi ptr [ @.str.5, %109 ], [ @.str.2, %105 ]
  store i32 %100, ptr %99, align 4, !tbaa !5
  %111 = load ptr, ptr @stderr, align 8, !tbaa !9
  %112 = load i32, ptr @test_count, align 4, !tbaa !5
  %113 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %114 = load i32, ptr %113, align 4, !tbaa !5
  %115 = tail call ptr @s2n_strerror(i32 noundef %114, ptr noundef nonnull @.str.4) #8
  %116 = load i32, ptr %113, align 4, !tbaa !5
  %117 = tail call ptr @s2n_strerror_debug(i32 noundef %116, ptr noundef nonnull @.str.4) #8
  %118 = load i32, ptr %99, align 4, !tbaa !5
  %119 = tail call ptr @strerror(i32 noundef %118) #8
  %120 = load i32, ptr %99, align 4, !tbaa !5
  %121 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %111, ptr noundef nonnull %.str.5.sink97, i32 noundef %112, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.1, i32 noundef 71, ptr noundef %115, ptr noundef %117, ptr noundef %119, i32 noundef %120) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

122:                                              ; preds = %186, %181, %176, %171, %166, %161, %156, %151, %146, %.preheader
  %123 = tail call ptr @__errno_location() #9
  %124 = load i32, ptr %123, align 4, !tbaa !5
  %125 = load ptr, ptr @stderr, align 8, !tbaa !9
  %126 = call i32 @s2n_print_stacktrace(ptr noundef %125) #8
  %127 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %128 = trunc nuw i8 %127 to i1
  br i1 %128, label %129, label %133

129:                                              ; preds = %122
  %130 = load ptr, ptr @stderr, align 8, !tbaa !9
  %131 = call i32 @fileno(ptr noundef %130) #8
  %132 = call i32 @isatty(i32 noundef %131) #8
  %.not56 = icmp eq i32 %132, 0
  br i1 %.not56, label %133, label %134

133:                                              ; preds = %129, %122
  br label %134

134:                                              ; preds = %129, %133
  %.str.5.sink108 = phi ptr [ @.str.5, %133 ], [ @.str.2, %129 ]
  store i32 %124, ptr %123, align 4, !tbaa !5
  %135 = load ptr, ptr @stderr, align 8, !tbaa !9
  %136 = load i32, ptr @test_count, align 4, !tbaa !5
  %137 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %138 = load i32, ptr %137, align 4, !tbaa !5
  %139 = call ptr @s2n_strerror(i32 noundef %138, ptr noundef nonnull @.str.4) #8
  %140 = load i32, ptr %137, align 4, !tbaa !5
  %141 = call ptr @s2n_strerror_debug(i32 noundef %140, ptr noundef nonnull @.str.4) #8
  %142 = load i32, ptr %123, align 4, !tbaa !5
  %143 = call ptr @strerror(i32 noundef %142) #8
  %144 = load i32, ptr %123, align 4, !tbaa !5
  %145 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %135, ptr noundef nonnull %.str.5.sink108, i32 noundef %136, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 78, ptr noundef %139, ptr noundef %141, ptr noundef %143, i32 noundef %144) #10
  call void @exit(i32 noundef 1) #11
  unreachable

146:                                              ; preds = %.preheader
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 1, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %147 = load i32, ptr @test_count, align 4, !tbaa !5
  %148 = add nsw i32 %147, 1
  store i32 %148, ptr @test_count, align 4, !tbaa !5
  %149 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %150 = icmp eq i32 %149, 1
  br i1 %150, label %151, label %122

151:                                              ; preds = %146
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 2, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %152 = load i32, ptr @test_count, align 4, !tbaa !5
  %153 = add nsw i32 %152, 1
  store i32 %153, ptr @test_count, align 4, !tbaa !5
  %154 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %155 = icmp eq i32 %154, 2
  br i1 %155, label %156, label %122

156:                                              ; preds = %151
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 3, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %157 = load i32, ptr @test_count, align 4, !tbaa !5
  %158 = add nsw i32 %157, 1
  store i32 %158, ptr @test_count, align 4, !tbaa !5
  %159 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %160 = icmp eq i32 %159, 3
  br i1 %160, label %161, label %122

161:                                              ; preds = %156
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 4, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %162 = load i32, ptr @test_count, align 4, !tbaa !5
  %163 = add nsw i32 %162, 1
  store i32 %163, ptr @test_count, align 4, !tbaa !5
  %164 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %165 = icmp eq i32 %164, 4
  br i1 %165, label %166, label %122

166:                                              ; preds = %161
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 5, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %167 = load i32, ptr @test_count, align 4, !tbaa !5
  %168 = add nsw i32 %167, 1
  store i32 %168, ptr @test_count, align 4, !tbaa !5
  %169 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %170 = icmp eq i32 %169, 5
  br i1 %170, label %171, label %122

171:                                              ; preds = %166
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 6, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %172 = load i32, ptr @test_count, align 4, !tbaa !5
  %173 = add nsw i32 %172, 1
  store i32 %173, ptr @test_count, align 4, !tbaa !5
  %174 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %175 = icmp eq i32 %174, 6
  br i1 %175, label %176, label %122

176:                                              ; preds = %171
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 7, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %177 = load i32, ptr @test_count, align 4, !tbaa !5
  %178 = add nsw i32 %177, 1
  store i32 %178, ptr @test_count, align 4, !tbaa !5
  %179 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %180 = icmp eq i32 %179, 7
  br i1 %180, label %181, label %122

181:                                              ; preds = %176
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 8, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %182 = load i32, ptr @test_count, align 4, !tbaa !5
  %183 = add nsw i32 %182, 1
  store i32 %183, ptr @test_count, align 4, !tbaa !5
  %184 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %185 = icmp eq i32 %184, 8
  br i1 %185, label %186, label %122

186:                                              ; preds = %181
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #8
  store i32 9, ptr %1, align 4, !tbaa !15
  store i32 0, ptr %93, align 4, !tbaa !17
  %187 = load i32, ptr @test_count, align 4, !tbaa !5
  %188 = add nsw i32 %187, 1
  store i32 %188, ptr @test_count, align 4, !tbaa !5
  %189 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %190 = icmp eq i32 %189, 9
  br i1 %190, label %191, label %122

191:                                              ; preds = %186
  call void @foo_free(ptr noundef nonnull %1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #8
  %192 = load i32, ptr @test_count, align 4, !tbaa !5
  %193 = add nsw i32 %192, 1
  store i32 %193, ptr @test_count, align 4, !tbaa !5
  %194 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %195 = icmp eq i32 %194, 10
  br i1 %195, label %220, label %196

196:                                              ; preds = %191
  %197 = tail call ptr @__errno_location() #9
  %198 = load i32, ptr %197, align 4, !tbaa !5
  %199 = load ptr, ptr @stderr, align 8, !tbaa !9
  %200 = call i32 @s2n_print_stacktrace(ptr noundef %199) #8
  %201 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %202 = trunc nuw i8 %201 to i1
  br i1 %202, label %203, label %207

203:                                              ; preds = %196
  %204 = load ptr, ptr @stderr, align 8, !tbaa !9
  %205 = call i32 @fileno(ptr noundef %204) #8
  %206 = call i32 @isatty(i32 noundef %205) #8
  %.not = icmp eq i32 %206, 0
  br i1 %.not, label %207, label %208

207:                                              ; preds = %203, %196
  br label %208

208:                                              ; preds = %203, %207
  %.str.5.sink119 = phi ptr [ @.str.5, %207 ], [ @.str.2, %203 ]
  store i32 %198, ptr %197, align 4, !tbaa !5
  %209 = load ptr, ptr @stderr, align 8, !tbaa !9
  %210 = load i32, ptr @test_count, align 4, !tbaa !5
  %211 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %212 = load i32, ptr %211, align 4, !tbaa !5
  %213 = call ptr @s2n_strerror(i32 noundef %212, ptr noundef nonnull @.str.4) #8
  %214 = load i32, ptr %211, align 4, !tbaa !5
  %215 = call ptr @s2n_strerror_debug(i32 noundef %214, ptr noundef nonnull @.str.4) #8
  %216 = load i32, ptr %197, align 4, !tbaa !5
  %217 = call ptr @strerror(i32 noundef %216) #8
  %218 = load i32, ptr %197, align 4, !tbaa !5
  %219 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %209, ptr noundef nonnull %.str.5.sink119, i32 noundef %210, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 82, ptr noundef %213, ptr noundef %215, ptr noundef %217, i32 noundef %218) #10
  call void @exit(i32 noundef 1) #11
  unreachable

220:                                              ; preds = %191
  %221 = add nsw i32 %192, 2
  store i32 %221, ptr @test_count, align 4, !tbaa !5
  %222 = call i32 @check_cleanup_obj_on_fn_exit()
  %223 = icmp eq i32 %222, -1
  br i1 %223, label %224, label %248

224:                                              ; preds = %220
  %225 = tail call ptr @__errno_location() #9
  %226 = load i32, ptr %225, align 4, !tbaa !5
  %227 = load ptr, ptr @stderr, align 8, !tbaa !9
  %228 = call i32 @s2n_print_stacktrace(ptr noundef %227) #8
  %229 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %230 = trunc nuw i8 %229 to i1
  br i1 %230, label %231, label %235

231:                                              ; preds = %224
  %232 = load ptr, ptr @stderr, align 8, !tbaa !9
  %233 = call i32 @fileno(ptr noundef %232) #8
  %234 = call i32 @isatty(i32 noundef %233) #8
  %.not55 = icmp eq i32 %234, 0
  br i1 %.not55, label %235, label %236

235:                                              ; preds = %231, %224
  br label %236

236:                                              ; preds = %231, %235
  %.str.5.sink130 = phi ptr [ @.str.5, %235 ], [ @.str.2, %231 ]
  store i32 %226, ptr %225, align 4, !tbaa !5
  %237 = load ptr, ptr @stderr, align 8, !tbaa !9
  %238 = load i32, ptr @test_count, align 4, !tbaa !5
  %239 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %240 = load i32, ptr %239, align 4, !tbaa !5
  %241 = call ptr @s2n_strerror(i32 noundef %240, ptr noundef nonnull @.str.4) #8
  %242 = load i32, ptr %239, align 4, !tbaa !5
  %243 = call ptr @s2n_strerror_debug(i32 noundef %242, ptr noundef nonnull @.str.4) #8
  %244 = load i32, ptr %225, align 4, !tbaa !5
  %245 = call ptr @strerror(i32 noundef %244) #8
  %246 = load i32, ptr %225, align 4, !tbaa !5
  %247 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %237, ptr noundef nonnull %.str.5.sink130, i32 noundef %238, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 84, ptr noundef %241, ptr noundef %243, ptr noundef %245, i32 noundef %246) #10
  call void @exit(i32 noundef 1) #11
  unreachable

248:                                              ; preds = %220
  %249 = load i32, ptr @test_count, align 4, !tbaa !5
  %250 = add nsw i32 %249, 1
  store i32 %250, ptr @test_count, align 4, !tbaa !5
  %251 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %252 = icmp eq i32 %251, 11
  br i1 %252, label %277, label %253

253:                                              ; preds = %248
  %254 = tail call ptr @__errno_location() #9
  %255 = load i32, ptr %254, align 4, !tbaa !5
  %256 = load ptr, ptr @stderr, align 8, !tbaa !9
  %257 = call i32 @s2n_print_stacktrace(ptr noundef %256) #8
  %258 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %259 = trunc nuw i8 %258 to i1
  br i1 %259, label %260, label %264

260:                                              ; preds = %253
  %261 = load ptr, ptr @stderr, align 8, !tbaa !9
  %262 = call i32 @fileno(ptr noundef %261) #8
  %263 = call i32 @isatty(i32 noundef %262) #8
  %.not45 = icmp eq i32 %263, 0
  br i1 %.not45, label %264, label %265

264:                                              ; preds = %260, %253
  br label %265

265:                                              ; preds = %260, %264
  %.str.5.sink141 = phi ptr [ @.str.5, %264 ], [ @.str.2, %260 ]
  store i32 %255, ptr %254, align 4, !tbaa !5
  %266 = load ptr, ptr @stderr, align 8, !tbaa !9
  %267 = load i32, ptr @test_count, align 4, !tbaa !5
  %268 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %269 = load i32, ptr %268, align 4, !tbaa !5
  %270 = call ptr @s2n_strerror(i32 noundef %269, ptr noundef nonnull @.str.4) #8
  %271 = load i32, ptr %268, align 4, !tbaa !5
  %272 = call ptr @s2n_strerror_debug(i32 noundef %271, ptr noundef nonnull @.str.4) #8
  %273 = load i32, ptr %254, align 4, !tbaa !5
  %274 = call ptr @strerror(i32 noundef %273) #8
  %275 = load i32, ptr %254, align 4, !tbaa !5
  %276 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %266, ptr noundef nonnull %.str.5.sink141, i32 noundef %267, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 86, ptr noundef %270, ptr noundef %272, ptr noundef %274, i32 noundef %275) #10
  call void @exit(i32 noundef 1) #11
  unreachable

277:                                              ; preds = %248
  %278 = add nsw i32 %249, 2
  store i32 %278, ptr @test_count, align 4, !tbaa !5
  %279 = call i32 @check_cleanup_pointer_on_fn_exit()
  %280 = icmp eq i32 %279, -1
  br i1 %280, label %281, label %305

281:                                              ; preds = %277
  %282 = tail call ptr @__errno_location() #9
  %283 = load i32, ptr %282, align 4, !tbaa !5
  %284 = load ptr, ptr @stderr, align 8, !tbaa !9
  %285 = call i32 @s2n_print_stacktrace(ptr noundef %284) #8
  %286 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %287 = trunc nuw i8 %286 to i1
  br i1 %287, label %288, label %292

288:                                              ; preds = %281
  %289 = load ptr, ptr @stderr, align 8, !tbaa !9
  %290 = call i32 @fileno(ptr noundef %289) #8
  %291 = call i32 @isatty(i32 noundef %290) #8
  %.not54 = icmp eq i32 %291, 0
  br i1 %.not54, label %292, label %293

292:                                              ; preds = %288, %281
  br label %293

293:                                              ; preds = %288, %292
  %.str.5.sink152 = phi ptr [ @.str.5, %292 ], [ @.str.2, %288 ]
  store i32 %283, ptr %282, align 4, !tbaa !5
  %294 = load ptr, ptr @stderr, align 8, !tbaa !9
  %295 = load i32, ptr @test_count, align 4, !tbaa !5
  %296 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %297 = load i32, ptr %296, align 4, !tbaa !5
  %298 = call ptr @s2n_strerror(i32 noundef %297, ptr noundef nonnull @.str.4) #8
  %299 = load i32, ptr %296, align 4, !tbaa !5
  %300 = call ptr @s2n_strerror_debug(i32 noundef %299, ptr noundef nonnull @.str.4) #8
  %301 = load i32, ptr %282, align 4, !tbaa !5
  %302 = call ptr @strerror(i32 noundef %301) #8
  %303 = load i32, ptr %282, align 4, !tbaa !5
  %304 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %294, ptr noundef nonnull %.str.5.sink152, i32 noundef %295, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 88, ptr noundef %298, ptr noundef %300, ptr noundef %302, i32 noundef %303) #10
  call void @exit(i32 noundef 1) #11
  unreachable

305:                                              ; preds = %277
  %306 = load i32, ptr @test_count, align 4, !tbaa !5
  %307 = add nsw i32 %306, 1
  store i32 %307, ptr @test_count, align 4, !tbaa !5
  %308 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %309 = icmp eq i32 %308, 12
  br i1 %309, label %334, label %310

310:                                              ; preds = %305
  %311 = tail call ptr @__errno_location() #9
  %312 = load i32, ptr %311, align 4, !tbaa !5
  %313 = load ptr, ptr @stderr, align 8, !tbaa !9
  %314 = call i32 @s2n_print_stacktrace(ptr noundef %313) #8
  %315 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %316 = trunc nuw i8 %315 to i1
  br i1 %316, label %317, label %321

317:                                              ; preds = %310
  %318 = load ptr, ptr @stderr, align 8, !tbaa !9
  %319 = call i32 @fileno(ptr noundef %318) #8
  %320 = call i32 @isatty(i32 noundef %319) #8
  %.not46 = icmp eq i32 %320, 0
  br i1 %.not46, label %321, label %322

321:                                              ; preds = %317, %310
  br label %322

322:                                              ; preds = %317, %321
  %.str.5.sink163 = phi ptr [ @.str.5, %321 ], [ @.str.2, %317 ]
  store i32 %312, ptr %311, align 4, !tbaa !5
  %323 = load ptr, ptr @stderr, align 8, !tbaa !9
  %324 = load i32, ptr @test_count, align 4, !tbaa !5
  %325 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %326 = load i32, ptr %325, align 4, !tbaa !5
  %327 = call ptr @s2n_strerror(i32 noundef %326, ptr noundef nonnull @.str.4) #8
  %328 = load i32, ptr %325, align 4, !tbaa !5
  %329 = call ptr @s2n_strerror_debug(i32 noundef %328, ptr noundef nonnull @.str.4) #8
  %330 = load i32, ptr %311, align 4, !tbaa !5
  %331 = call ptr @strerror(i32 noundef %330) #8
  %332 = load i32, ptr %311, align 4, !tbaa !5
  %333 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %323, ptr noundef nonnull %.str.5.sink163, i32 noundef %324, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 90, ptr noundef %327, ptr noundef %329, ptr noundef %331, i32 noundef %332) #10
  call void @exit(i32 noundef 1) #11
  unreachable

334:                                              ; preds = %305
  %335 = add nsw i32 %306, 2
  store i32 %335, ptr @test_count, align 4, !tbaa !5
  %336 = call i32 @check_dont_cleanup_null_on_fn_exit()
  %337 = icmp eq i32 %336, -1
  br i1 %337, label %338, label %362

338:                                              ; preds = %334
  %339 = tail call ptr @__errno_location() #9
  %340 = load i32, ptr %339, align 4, !tbaa !5
  %341 = load ptr, ptr @stderr, align 8, !tbaa !9
  %342 = call i32 @s2n_print_stacktrace(ptr noundef %341) #8
  %343 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %344 = trunc nuw i8 %343 to i1
  br i1 %344, label %345, label %349

345:                                              ; preds = %338
  %346 = load ptr, ptr @stderr, align 8, !tbaa !9
  %347 = call i32 @fileno(ptr noundef %346) #8
  %348 = call i32 @isatty(i32 noundef %347) #8
  %.not53 = icmp eq i32 %348, 0
  br i1 %.not53, label %349, label %350

349:                                              ; preds = %345, %338
  br label %350

350:                                              ; preds = %345, %349
  %.str.5.sink174 = phi ptr [ @.str.5, %349 ], [ @.str.2, %345 ]
  store i32 %340, ptr %339, align 4, !tbaa !5
  %351 = load ptr, ptr @stderr, align 8, !tbaa !9
  %352 = load i32, ptr @test_count, align 4, !tbaa !5
  %353 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %354 = load i32, ptr %353, align 4, !tbaa !5
  %355 = call ptr @s2n_strerror(i32 noundef %354, ptr noundef nonnull @.str.4) #8
  %356 = load i32, ptr %353, align 4, !tbaa !5
  %357 = call ptr @s2n_strerror_debug(i32 noundef %356, ptr noundef nonnull @.str.4) #8
  %358 = load i32, ptr %339, align 4, !tbaa !5
  %359 = call ptr @strerror(i32 noundef %358) #8
  %360 = load i32, ptr %339, align 4, !tbaa !5
  %361 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %351, ptr noundef nonnull %.str.5.sink174, i32 noundef %352, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i32 noundef 92, ptr noundef %355, ptr noundef %357, ptr noundef %359, i32 noundef %360) #10
  call void @exit(i32 noundef 1) #11
  unreachable

362:                                              ; preds = %334
  %363 = load i32, ptr @test_count, align 4, !tbaa !5
  %364 = add nsw i32 %363, 1
  store i32 %364, ptr @test_count, align 4, !tbaa !5
  %365 = load i32, ptr @foo_cleanup_calls, align 4, !tbaa !5
  %366 = icmp eq i32 %365, 12
  br i1 %366, label %391, label %367

367:                                              ; preds = %362
  %368 = tail call ptr @__errno_location() #9
  %369 = load i32, ptr %368, align 4, !tbaa !5
  %370 = load ptr, ptr @stderr, align 8, !tbaa !9
  %371 = call i32 @s2n_print_stacktrace(ptr noundef %370) #8
  %372 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %373 = trunc nuw i8 %372 to i1
  br i1 %373, label %374, label %378

374:                                              ; preds = %367
  %375 = load ptr, ptr @stderr, align 8, !tbaa !9
  %376 = call i32 @fileno(ptr noundef %375) #8
  %377 = call i32 @isatty(i32 noundef %376) #8
  %.not47 = icmp eq i32 %377, 0
  br i1 %.not47, label %378, label %379

378:                                              ; preds = %374, %367
  br label %379

379:                                              ; preds = %374, %378
  %.str.5.sink185 = phi ptr [ @.str.5, %378 ], [ @.str.2, %374 ]
  store i32 %369, ptr %368, align 4, !tbaa !5
  %380 = load ptr, ptr @stderr, align 8, !tbaa !9
  %381 = load i32, ptr @test_count, align 4, !tbaa !5
  %382 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %383 = load i32, ptr %382, align 4, !tbaa !5
  %384 = call ptr @s2n_strerror(i32 noundef %383, ptr noundef nonnull @.str.4) #8
  %385 = load i32, ptr %382, align 4, !tbaa !5
  %386 = call ptr @s2n_strerror_debug(i32 noundef %385, ptr noundef nonnull @.str.4) #8
  %387 = load i32, ptr %368, align 4, !tbaa !5
  %388 = call ptr @strerror(i32 noundef %387) #8
  %389 = load i32, ptr %368, align 4, !tbaa !5
  %390 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %380, ptr noundef nonnull %.str.5.sink185, i32 noundef %381, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 94, ptr noundef %384, ptr noundef %386, ptr noundef %388, i32 noundef %389) #10
  call void @exit(i32 noundef 1) #11
  unreachable

391:                                              ; preds = %362
  %392 = call i32 @s2n_cleanup() #8
  %393 = icmp eq i32 %392, -1
  br i1 %393, label %394, label %418

394:                                              ; preds = %391
  %395 = tail call ptr @__errno_location() #9
  %396 = load i32, ptr %395, align 4, !tbaa !5
  %397 = load ptr, ptr @stderr, align 8, !tbaa !9
  %398 = call i32 @s2n_print_stacktrace(ptr noundef %397) #8
  %399 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %400 = trunc nuw i8 %399 to i1
  br i1 %400, label %401, label %405

401:                                              ; preds = %394
  %402 = load ptr, ptr @stderr, align 8, !tbaa !9
  %403 = call i32 @fileno(ptr noundef %402) #8
  %404 = call i32 @isatty(i32 noundef %403) #8
  %.not52 = icmp eq i32 %404, 0
  br i1 %.not52, label %405, label %406

405:                                              ; preds = %401, %394
  br label %406

406:                                              ; preds = %401, %405
  %.str.5.sink196 = phi ptr [ @.str.5, %405 ], [ @.str.2, %401 ]
  store i32 %396, ptr %395, align 4, !tbaa !5
  %407 = load ptr, ptr @stderr, align 8, !tbaa !9
  %408 = load i32, ptr @test_count, align 4, !tbaa !5
  %409 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %410 = load i32, ptr %409, align 4, !tbaa !5
  %411 = call ptr @s2n_strerror(i32 noundef %410, ptr noundef nonnull @.str.4) #8
  %412 = load i32, ptr %409, align 4, !tbaa !5
  %413 = call ptr @s2n_strerror_debug(i32 noundef %412, ptr noundef nonnull @.str.4) #8
  %414 = load i32, ptr %395, align 4, !tbaa !5
  %415 = call ptr @strerror(i32 noundef %414) #8
  %416 = load i32, ptr %395, align 4, !tbaa !5
  %417 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %407, ptr noundef nonnull %.str.5.sink196, i32 noundef %408, ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.1, i32 noundef 96, ptr noundef %411, ptr noundef %413, ptr noundef %415, i32 noundef %416) #10
  call void @exit(i32 noundef 1) #11
  unreachable

418:                                              ; preds = %391
  %419 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #8
  %420 = icmp eq i32 %419, -1
  br i1 %420, label %421, label %445

421:                                              ; preds = %418
  %422 = tail call ptr @__errno_location() #9
  %423 = load i32, ptr %422, align 4, !tbaa !5
  %424 = load ptr, ptr @stderr, align 8, !tbaa !9
  %425 = call i32 @s2n_print_stacktrace(ptr noundef %424) #8
  %426 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %427 = trunc nuw i8 %426 to i1
  br i1 %427, label %428, label %432

428:                                              ; preds = %421
  %429 = load ptr, ptr @stderr, align 8, !tbaa !9
  %430 = call i32 @fileno(ptr noundef %429) #8
  %431 = call i32 @isatty(i32 noundef %430) #8
  %.not51 = icmp eq i32 %431, 0
  br i1 %.not51, label %432, label %433

432:                                              ; preds = %428, %421
  br label %433

433:                                              ; preds = %428, %432
  %.str.5.sink207 = phi ptr [ @.str.5, %432 ], [ @.str.2, %428 ]
  store i32 %423, ptr %422, align 4, !tbaa !5
  %434 = load ptr, ptr @stderr, align 8, !tbaa !9
  %435 = load i32, ptr @test_count, align 4, !tbaa !5
  %436 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %437 = load i32, ptr %436, align 4, !tbaa !5
  %438 = call ptr @s2n_strerror(i32 noundef %437, ptr noundef nonnull @.str.4) #8
  %439 = load i32, ptr %436, align 4, !tbaa !5
  %440 = call ptr @s2n_strerror_debug(i32 noundef %439, ptr noundef nonnull @.str.4) #8
  %441 = load i32, ptr %422, align 4, !tbaa !5
  %442 = call ptr @strerror(i32 noundef %441) #8
  %443 = load i32, ptr %422, align 4, !tbaa !5
  %444 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %434, ptr noundef nonnull %.str.5.sink207, i32 noundef %435, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 96, ptr noundef %438, ptr noundef %440, ptr noundef %442, i32 noundef %443) #10
  call void @exit(i32 noundef 1) #11
  unreachable

445:                                              ; preds = %418
  %446 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %447 = trunc nuw i8 %446 to i1
  br i1 %447, label %448, label %459

448:                                              ; preds = %445
  %449 = load ptr, ptr @stdout, align 8, !tbaa !9
  %450 = call i32 @fileno(ptr noundef %449) #8
  %451 = call i32 @isatty(i32 noundef %450) #8
  %.not48 = icmp eq i32 %451, 0
  br i1 %.not48, label %459, label %452

452:                                              ; preds = %448
  %453 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not50 = icmp eq i32 %453, 0
  %454 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not50, label %457, label %455

455:                                              ; preds = %452
  %456 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %454, ptr noundef nonnull @.str.15, i32 noundef %453) #8
  br label %466

457:                                              ; preds = %452
  %458 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %454, ptr noundef nonnull @.str.16) #8
  br label %466

459:                                              ; preds = %448, %445
  %460 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not49 = icmp eq i32 %460, 0
  %461 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not49, label %464, label %462

462:                                              ; preds = %459
  %463 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %461, ptr noundef nonnull @.str.17, i32 noundef %460) #8
  br label %466

464:                                              ; preds = %459
  %465 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %461, ptr noundef nonnull @.str.18) #8
  br label %466

466:                                              ; preds = %462, %464, %455, %457
  ret i32 0
}

; Function Attrs: nofree nounwind
declare noundef i32 @fprintf(ptr nocapture noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #2

; Function Attrs: nofree nounwind
declare noundef i32 @fflush(ptr nocapture noundef) local_unnamed_addr #2

declare i32 @s2n_in_unit_test_set(i1 noundef zeroext) local_unnamed_addr #3

; Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
declare ptr @__errno_location() local_unnamed_addr #4

declare i32 @s2n_print_stacktrace(ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind
declare i32 @isatty(i32 noundef) local_unnamed_addr #5

; Function Attrs: nofree nounwind
declare noundef i32 @fileno(ptr nocapture noundef) local_unnamed_addr #2

declare ptr @s2n_strerror(i32 noundef, ptr noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull) #6

declare ptr @s2n_strerror_debug(i32 noundef, ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind
declare ptr @strerror(i32 noundef) local_unnamed_addr #5

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) local_unnamed_addr #7

declare i32 @s2n_enable_atexit() local_unnamed_addr #3

declare i32 @s2n_init() local_unnamed_addr #3

declare i32 @s2n_disable_tls13_in_test(...) local_unnamed_addr #3

declare i32 @s2n_cleanup() local_unnamed_addr #3

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nofree nosync nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nounwind }
attributes #9 = { nounwind willreturn memory(none) }
attributes #10 = { cold nounwind }
attributes #11 = { noreturn nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_Bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !6, i64 0}
!16 = !{!"foo", !6, i64 0, !6, i64 4}
!17 = !{!16, !6, i64 4}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass