; LLVM IR from aws/s2n-tls :: tests/unit (s2n_mem_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.s2n_blob = type { ptr, i32, i32, i8 }
%struct.s2n_result = type { i32 }

@s2n_use_color_in_output = external dso_local global i8, align 1
@s2n_errno = external thread_local global i32, align 4
@test_count = external dso_local global i32, align 4
@stdout = external global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [71 x i8], align 1
@stderr = external global ptr, align 8
@.str.4 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [114 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [126 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [115 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local i32 @s2n_strict_mem_free_cb(ptr noundef, i32 noundef) #0

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

; Function Attrs: nounwind uwtable
define dso_local i32 @main(i32 noundef %0, ptr noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca %struct.s2n_blob, align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca %struct.s2n_blob, align 8
  %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
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca %struct.s2n_result, align 4
  %33 = alloca i32, align 4
  %34 = alloca %struct.s2n_result, align 4
  %35 = alloca i32, align 4
  %36 = alloca %struct.s2n_blob, align 8
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca %struct.s2n_result, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  store i32 0, ptr %3, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !9
  br label %44

44:                                               ; preds = %2
  br label %45

45:                                               ; preds = %44
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %46 = load ptr, ptr @stdout, align 8, !tbaa !9
  %47 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %46, ptr noundef @.str.2, ptr noundef @.str.3) #9
  %48 = load ptr, ptr @stdout, align 8, !tbaa !9
  %49 = call i32 @fflush(ptr noundef %48)
  br label %50

50:                                               ; preds = %45
  %51 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %52 = icmp eq i32 %51, -1
  br i1 %52, label %53, label %104

53:                                               ; preds = %50
  br label %54

54:                                               ; preds = %53
  br label %55

55:                                               ; preds = %54
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #9
  %56 = call ptr @__errno_location() #10
  %57 = load i32, ptr %56, align 4, !tbaa !5
  store i32 %57, ptr %6, align 4, !tbaa !5
  %58 = load ptr, ptr @stderr, align 8, !tbaa !9
  %59 = call i32 @s2n_print_stacktrace(ptr noundef %58)
  %60 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %61 = trunc i8 %60 to i1
  br i1 %61, label %62, label %84

62:                                               ; preds = %55
  %63 = load ptr, ptr @stderr, align 8, !tbaa !9
  %64 = call i32 @fileno(ptr noundef %63) #9
  %65 = call i32 @isatty(i32 noundef %64) #9
  %66 = icmp ne i32 %65, 0
  br i1 %66, label %67, label %84

67:                                               ; preds = %62
  %68 = load i32, ptr %6, align 4, !tbaa !5
  %69 = call ptr @__errno_location() #10
  store i32 %68, ptr %69, align 4, !tbaa !5
  %70 = load ptr, ptr @stderr, align 8, !tbaa !9
  %71 = load i32, ptr @test_count, align 4, !tbaa !5
  %72 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %73 = load i32, ptr %72, align 4, !tbaa !5
  %74 = call ptr @s2n_strerror(i32 noundef %73, ptr noundef @.str.6)
  %75 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %76 = load i32, ptr %75, align 4, !tbaa !5
  %77 = call ptr @s2n_strerror_debug(i32 noundef %76, ptr noundef @.str.6)
  %78 = call ptr @__errno_location() #10
  %79 = load i32, ptr %78, align 4, !tbaa !5
  %80 = call ptr @strerror(i32 noundef %79) #9
  %81 = call ptr @__errno_location() #10
  %82 = load i32, ptr %81, align 4, !tbaa !5
  %83 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %70, ptr noundef @.str.4, i32 noundef %71, ptr noundef @.str.5, ptr noundef @.str.3, i32 noundef 30, ptr noundef %74, ptr noundef %77, ptr noundef %80, i32 noundef %82) #9
  br label %101

84:                                               ; preds = %62, %55
  %85 = load i32, ptr %6, align 4, !tbaa !5
  %86 = call ptr @__errno_location() #10
  store i32 %85, ptr %86, align 4, !tbaa !5
  %87 = load ptr, ptr @stderr, align 8, !tbaa !9
  %88 = load i32, ptr @test_count, align 4, !tbaa !5
  %89 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %90 = load i32, ptr %89, align 4, !tbaa !5
  %91 = call ptr @s2n_strerror(i32 noundef %90, ptr noundef @.str.6)
  %92 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %93 = load i32, ptr %92, align 4, !tbaa !5
  %94 = call ptr @s2n_strerror_debug(i32 noundef %93, ptr noundef @.str.6)
  %95 = call ptr @__errno_location() #10
  %96 = load i32, ptr %95, align 4, !tbaa !5
  %97 = call ptr @strerror(i32 noundef %96) #9
  %98 = call ptr @__errno_location() #10
  %99 = load i32, ptr %98, align 4, !tbaa !5
  %100 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %87, ptr noundef @.str.7, i32 noundef %88, ptr noundef @.str.5, ptr noundef @.str.3, i32 noundef 30, ptr noundef %91, ptr noundef %94, ptr noundef %97, i32 noundef %99) #9
  br label %101

101:                                              ; preds = %84, %67
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #9
  br label %102

102:                                              ; preds = %101
  call void @exit(i32 noundef 1) #11
  unreachable

103:                                              ; No predecessors!
  br label %104

104:                                              ; preds = %103, %50
  br label %105

105:                                              ; preds = %104
  br label %106

106:                                              ; preds = %105
  %107 = load i32, ptr @test_count, align 4, !tbaa !5
  %108 = add nsw i32 %107, 1
  store i32 %108, ptr @test_count, align 4, !tbaa !5
  %109 = call i32 @s2n_enable_atexit()
  %110 = icmp eq i32 %109, -1
  br i1 %110, label %111, label %162

111:                                              ; preds = %106
  br label %112

112:                                              ; preds = %111
  br label %113

113:                                              ; preds = %112
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #9
  %114 = call ptr @__errno_location() #10
  %115 = load i32, ptr %114, align 4, !tbaa !5
  store i32 %115, ptr %7, align 4, !tbaa !5
  %116 = load ptr, ptr @stderr, align 8, !tbaa !9
  %117 = call i32 @s2n_print_stacktrace(ptr noundef %116)
  %118 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %119 = trunc i8 %118 to i1
  br i1 %119, label %120, label %142

120:                                              ; preds = %113
  %121 = load ptr, ptr @stderr, align 8, !tbaa !9
  %122 = call i32 @fileno(ptr noundef %121) #9
  %123 = call i32 @isatty(i32 noundef %122) #9
  %124 = icmp ne i32 %123, 0
  br i1 %124, label %125, label %142

125:                                              ; preds = %120
  %126 = load i32, ptr %7, align 4, !tbaa !5
  %127 = call ptr @__errno_location() #10
  store i32 %126, ptr %127, align 4, !tbaa !5
  %128 = load ptr, ptr @stderr, align 8, !tbaa !9
  %129 = load i32, ptr @test_count, align 4, !tbaa !5
  %130 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %131 = load i32, ptr %130, align 4, !tbaa !5
  %132 = call ptr @s2n_strerror(i32 noundef %131, ptr noundef @.str.6)
  %133 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %134 = load i32, ptr %133, align 4, !tbaa !5
  %135 = call ptr @s2n_strerror_debug(i32 noundef %134, ptr noundef @.str.6)
  %136 = call ptr @__errno_location() #10
  %137 = load i32, ptr %136, align 4, !tbaa !5
  %138 = call ptr @strerror(i32 noundef %137) #9
  %139 = call ptr @__errno_location() #10
  %140 = load i32, ptr %139, align 4, !tbaa !5
  %141 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %128, ptr noundef @.str.4, i32 noundef %129, ptr noundef @.str.8, ptr noundef @.str.3, i32 noundef 30, ptr noundef %132, ptr noundef %135, ptr noundef %138, i32 noundef %140) #9
  br label %159

142:                                              ; preds = %120, %113
  %143 = load i32, ptr %7, align 4, !tbaa !5
  %144 = call ptr @__errno_location() #10
  store i32 %143, ptr %144, align 4, !tbaa !5
  %145 = load ptr, ptr @stderr, align 8, !tbaa !9
  %146 = load i32, ptr @test_count, align 4, !tbaa !5
  %147 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %148 = load i32, ptr %147, align 4, !tbaa !5
  %149 = call ptr @s2n_strerror(i32 noundef %148, ptr noundef @.str.6)
  %150 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %151 = load i32, ptr %150, align 4, !tbaa !5
  %152 = call ptr @s2n_strerror_debug(i32 noundef %151, ptr noundef @.str.6)
  %153 = call ptr @__errno_location() #10
  %154 = load i32, ptr %153, align 4, !tbaa !5
  %155 = call ptr @strerror(i32 noundef %154) #9
  %156 = call ptr @__errno_location() #10
  %157 = load i32, ptr %156, align 4, !tbaa !5
  %158 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %145, ptr noundef @.str.7, i32 noundef %146, ptr noundef @.str.8, ptr noundef @.str.3, i32 noundef 30, ptr noundef %149, ptr noundef %152, ptr noundef %155, i32 noundef %157) #9
  br label %159

159:                                              ; preds = %142, %125
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #9
  br label %160

160:                                              ; preds = %159
  call void @exit(i32 noundef 1) #11
  unreachable

161:                                              ; No predecessors!
  br label %162

162:                                              ; preds = %161, %106
  br label %163

163:                                              ; preds = %162
  br label %164

164:                                              ; preds = %163
  br label %165

165:                                              ; preds = %164
  %166 = call i32 @s2n_init()
  %167 = icmp eq i32 %166, -1
  br i1 %167, label %168, label %219

168:                                              ; preds = %165
  br label %169

169:                                              ; preds = %168
  br label %170

170:                                              ; preds = %169
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #9
  %171 = call ptr @__errno_location() #10
  %172 = load i32, ptr %171, align 4, !tbaa !5
  store i32 %172, ptr %8, align 4, !tbaa !5
  %173 = load ptr, ptr @stderr, align 8, !tbaa !9
  %174 = call i32 @s2n_print_stacktrace(ptr noundef %173)
  %175 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %176 = trunc i8 %175 to i1
  br i1 %176, label %177, label %199

177:                                              ; preds = %170
  %178 = load ptr, ptr @stderr, align 8, !tbaa !9
  %179 = call i32 @fileno(ptr noundef %178) #9
  %180 = call i32 @isatty(i32 noundef %179) #9
  %181 = icmp ne i32 %180, 0
  br i1 %181, label %182, label %199

182:                                              ; preds = %177
  %183 = load i32, ptr %8, align 4, !tbaa !5
  %184 = call ptr @__errno_location() #10
  store i32 %183, ptr %184, align 4, !tbaa !5
  %185 = load ptr, ptr @stderr, align 8, !tbaa !9
  %186 = load i32, ptr @test_count, align 4, !tbaa !5
  %187 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %188 = load i32, ptr %187, align 4, !tbaa !5
  %189 = call ptr @s2n_strerror(i32 noundef %188, ptr noundef @.str.6)
  %190 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %191 = load i32, ptr %190, align 4, !tbaa !5
  %192 = call ptr @s2n_strerror_debug(i32 noundef %191, ptr noundef @.str.6)
  %193 = call ptr @__errno_location() #10
  %194 = load i32, ptr %193, align 4, !tbaa !5
  %195 = call ptr @strerror(i32 noundef %194) #9
  %196 = call ptr @__errno_location() #10
  %197 = load i32, ptr %196, align 4, !tbaa !5
  %198 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %185, ptr noundef @.str.4, i32 noundef %186, ptr noundef @.str.9, ptr noundef @.str.3, i32 noundef 30, ptr noundef %189, ptr noundef %192, ptr noundef %195, i32 noundef %197) #9
  br label %216

199:                                              ; preds = %177, %170
  %200 = load i32, ptr %8, align 4, !tbaa !5
  %201 = call ptr @__errno_location() #10
  store i32 %200, ptr %201, align 4, !tbaa !5
  %202 = load ptr, ptr @stderr, align 8, !tbaa !9
  %203 = load i32, ptr @test_count, align 4, !tbaa !5
  %204 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %205 = load i32, ptr %204, align 4, !tbaa !5
  %206 = call ptr @s2n_strerror(i32 noundef %205, ptr noundef @.str.6)
  %207 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %208 = load i32, ptr %207, align 4, !tbaa !5
  %209 = call ptr @s2n_strerror_debug(i32 noundef %208, ptr noundef @.str.6)
  %210 = call ptr @__errno_location() #10
  %211 = load i32, ptr %210, align 4, !tbaa !5
  %212 = call ptr @strerror(i32 noundef %211) #9
  %213 = call ptr @__errno_location() #10
  %214 = load i32, ptr %213, align 4, !tbaa !5
  %215 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %202, ptr noundef @.str.7, i32 noundef %203, ptr noundef @.str.9, ptr noundef @.str.3, i32 noundef 30, ptr noundef %206, ptr noundef %209, ptr noundef %212, i32 noundef %214) #9
  br label %216

216:                                              ; preds = %199, %182
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #9
  br label %217

217:                                              ; preds = %216
  call void @exit(i32 noundef 1) #11
  unreachable

218:                                              ; No predecessors!
  br label %219

219:                                              ; preds = %218, %165
  br label %220

220:                                              ; preds = %219
  br label %221

221:                                              ; preds = %220
  call void @llvm.lifetime.start.p0(i64 24, ptr %9) #9
  call void @llvm.memset.p0.i64(ptr align 8 %9, i8 0, i64 24, i1 false)
  br label %222

222:                                              ; preds = %221
  %223 = load i32, ptr @test_count, align 4, !tbaa !5
  %224 = add nsw i32 %223, 1
  store i32 %224, ptr @test_count, align 4, !tbaa !5
  %225 = call i32 @s2n_free(ptr noundef %9)
  %226 = icmp eq i32 %225, -1
  br i1 %226, label %227, label %280

227:                                              ; preds = %222
  br label %228

228:                                              ; preds = %227
  br label %229

229:                                              ; preds = %228
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #9
  %230 = call ptr @__errno_location() #10
  %231 = load i32, ptr %230, align 4, !tbaa !5
  store i32 %231, ptr %10, align 4, !tbaa !5
  %232 = load ptr, ptr @stderr, align 8, !tbaa !9
  %233 = call i32 @s2n_print_stacktrace(ptr noundef %232)
  %234 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %235 = trunc i8 %234 to i1
  br i1 %235, label %236, label %258

236:                                              ; preds = %229
  %237 = load ptr, ptr @stderr, align 8, !tbaa !9
  %238 = call i32 @fileno(ptr noundef %237) #9
  %239 = call i32 @isatty(i32 noundef %238) #9
  %240 = icmp ne i32 %239, 0
  br i1 %240, label %241, label %258

241:                                              ; preds = %236
  %242 = load i32, ptr %10, align 4, !tbaa !5
  %243 = call ptr @__errno_location() #10
  store i32 %242, ptr %243, align 4, !tbaa !5
  %244 = load ptr, ptr @stderr, align 8, !tbaa !9
  %245 = load i32, ptr @test_count, align 4, !tbaa !5
  %246 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %247 = load i32, ptr %246, align 4, !tbaa !5
  %248 = call ptr @s2n_strerror(i32 noundef %247, ptr noundef @.str.6)
  %249 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %250 = load i32, ptr %249, align 4, !tbaa !5
  %251 = call ptr @s2n_strerror_debug(i32 noundef %250, ptr noundef @.str.6)
  %252 = call ptr @__errno_location() #10
  %253 = load i32, ptr %252, align 4, !tbaa !5
  %254 = call ptr @strerror(i32 noundef %253) #9
  %255 = call ptr @__errno_location() #10
  %256 = load i32, ptr %255, align 4, !tbaa !5
  %257 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %244, ptr noundef @.str.4, i32 noundef %245, ptr noundef @.str.10, ptr noundef @.str.3, i32 noundef 37, ptr noundef %248, ptr noundef %251, ptr noundef %254, i32 noundef %256) #9
  br label %275

258:                                              ; preds = %236, %229
  %259 = load i32, ptr %10, align 4, !tbaa !5
  %260 = call ptr @__errno_location() #10
  store i32 %259, ptr %260, align 4, !tbaa !5
  %261 = load ptr, ptr @stderr, align 8, !tbaa !9
  %262 = load i32, ptr @test_count, align 4, !tbaa !5
  %263 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %264 = load i32, ptr %263, align 4, !tbaa !5
  %265 = call ptr @s2n_strerror(i32 noundef %264, ptr noundef @.str.6)
  %266 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %267 = load i32, ptr %266, align 4, !tbaa !5
  %268 = call ptr @s2n_strerror_debug(i32 noundef %267, ptr noundef @.str.6)
  %269 = call ptr @__errno_location() #10
  %270 = load i32, ptr %269, align 4, !tbaa !5
  %271 = call ptr @strerror(i32 noundef %270) #9
  %272 = call ptr @__errno_location() #10
  %273 = load i32, ptr %272, align 4, !tbaa !5
  %274 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %261, ptr noundef @.str.7, i32 noundef %262, ptr noundef @.str.10, ptr noundef @.str.3, i32 noundef 37, ptr noundef %265, ptr noundef %268, ptr noundef %271, i32 noundef %273) #9
  br label %275

275:                                              ; preds = %258, %241
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #9
  br label %276

276:                                              ; preds = %275
  br label %277

277:                                              ; preds = %276
  call void @exit(i32 noundef 1) #11
  unreachable

278:                                              ; No predecessors!
  br label %279

279:                                              ; preds = %278
  br label %280

280:                                              ; preds = %279, %222
  br label %281

281:                                              ; preds = %280
  br label %282

282:                                              ; preds = %281
  br label %283

283:                                              ; preds = %282
  %284 = load i32, ptr @test_count, align 4, !tbaa !5
  %285 = add nsw i32 %284, 1
  store i32 %285, ptr @test_count, align 4, !tbaa !5
  %286 = call i32 @s2n_free_without_wipe(ptr noundef %9)
  %287 = icmp eq i32 %286, -1
  br i1 %287, label %288, label %341

288:                                              ; preds = %283
  br label %289

289:                                              ; preds = %288
  br label %290

290:                                              ; preds = %289
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #9
  %291 = call ptr @__errno_location() #10
  %292 = load i32, ptr %291, align 4, !tbaa !5
  store i32 %292, ptr %11, align 4, !tbaa !5
  %293 = load ptr, ptr @stderr, align 8, !tbaa !9
  %294 = call i32 @s2n_print_stacktrace(ptr noundef %293)
  %295 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %296 = trunc i8 %295 to i1
  br i1 %296, label %297, label %319

297:                                              ; preds = %290
  %298 = load ptr, ptr @stderr, align 8, !tbaa !9
  %299 = call i32 @fileno(ptr noundef %298) #9
  %300 = call i32 @isatty(i32 noundef %299) #9
  %301 = icmp ne i32 %300, 0
  br i1 %301, label %302, label %319

302:                                              ; preds = %297
  %303 = load i32, ptr %11, align 4, !tbaa !5
  %304 = call ptr @__errno_location() #10
  store i32 %303, ptr %304, align 4, !tbaa !5
  %305 = load ptr, ptr @stderr, align 8, !tbaa !9
  %306 = load i32, ptr @test_count, align 4, !tbaa !5
  %307 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %308 = load i32, ptr %307, align 4, !tbaa !5
  %309 = call ptr @s2n_strerror(i32 noundef %308, ptr noundef @.str.6)
  %310 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %311 = load i32, ptr %310, align 4, !tbaa !5
  %312 = call ptr @s2n_strerror_debug(i32 noundef %311, ptr noundef @.str.6)
  %313 = call ptr @__errno_location() #10
  %314 = load i32, ptr %313, align 4, !tbaa !5
  %315 = call ptr @strerror(i32 noundef %314) #9
  %316 = call ptr @__errno_location() #10
  %317 = load i32, ptr %316, align 4, !tbaa !5
  %318 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %305, ptr noundef @.str.4, i32 noundef %306, ptr noundef @.str.11, ptr noundef @.str.3, i32 noundef 38, ptr noundef %309, ptr noundef %312, ptr noundef %315, i32 noundef %317) #9
  br label %336

319:                                              ; preds = %297, %290
  %320 = load i32, ptr %11, align 4, !tbaa !5
  %321 = call ptr @__errno_location() #10
  store i32 %320, ptr %321, align 4, !tbaa !5
  %322 = load ptr, ptr @stderr, align 8, !tbaa !9
  %323 = load i32, ptr @test_count, align 4, !tbaa !5
  %324 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %325 = load i32, ptr %324, align 4, !tbaa !5
  %326 = call ptr @s2n_strerror(i32 noundef %325, ptr noundef @.str.6)
  %327 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %328 = load i32, ptr %327, align 4, !tbaa !5
  %329 = call ptr @s2n_strerror_debug(i32 noundef %328, ptr noundef @.str.6)
  %330 = call ptr @__errno_location() #10
  %331 = load i32, ptr %330, align 4, !tbaa !5
  %332 = call ptr @strerror(i32 noundef %331) #9
  %333 = call ptr @__errno_location() #10
  %334 = load i32, ptr %333, align 4, !tbaa !5
  %335 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %322, ptr noundef @.str.7, i32 noundef %323, ptr noundef @.str.11, ptr noundef @.str.3, i32 noundef 38, ptr noundef %326, ptr noundef %329, ptr noundef %332, i32 noundef %334) #9
  br label %336

336:                                              ; preds = %319, %302
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #9
  br label %337

337:                                              ; preds = %336
  br label %338

338:                                              ; preds = %337
  call void @exit(i32 noundef 1) #11
  unreachable

339:                                              ; No predecessors!
  br label %340

340:                                              ; preds = %339
  br label %341

341:                                              ; preds = %340, %283
  br label %342

342:                                              ; preds = %341
  br label %343

343:                                              ; preds = %342
  br label %344

344:                                              ; preds = %343
  %345 = load i32, ptr @test_count, align 4, !tbaa !5
  %346 = add nsw i32 %345, 1
  store i32 %346, ptr @test_count, align 4, !tbaa !5
  %347 = call i32 @s2n_free_or_wipe(ptr noundef %9)
  %348 = icmp eq i32 %347, -1
  br i1 %348, label %349, label %402

349:                                              ; preds = %344
  br label %350

350:                                              ; preds = %349
  br label %351

351:                                              ; preds = %350
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #9
  %352 = call ptr @__errno_location() #10
  %353 = load i32, ptr %352, align 4, !tbaa !5
  store i32 %353, ptr %12, align 4, !tbaa !5
  %354 = load ptr, ptr @stderr, align 8, !tbaa !9
  %355 = call i32 @s2n_print_stacktrace(ptr noundef %354)
  %356 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %357 = trunc i8 %356 to i1
  br i1 %357, label %358, label %380

358:                                              ; preds = %351
  %359 = load ptr, ptr @stderr, align 8, !tbaa !9
  %360 = call i32 @fileno(ptr noundef %359) #9
  %361 = call i32 @isatty(i32 noundef %360) #9
  %362 = icmp ne i32 %361, 0
  br i1 %362, label %363, label %380

363:                                              ; preds = %358
  %364 = load i32, ptr %12, align 4, !tbaa !5
  %365 = call ptr @__errno_location() #10
  store i32 %364, ptr %365, align 4, !tbaa !5
  %366 = load ptr, ptr @stderr, align 8, !tbaa !9
  %367 = load i32, ptr @test_count, align 4, !tbaa !5
  %368 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %369 = load i32, ptr %368, align 4, !tbaa !5
  %370 = call ptr @s2n_strerror(i32 noundef %369, ptr noundef @.str.6)
  %371 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %372 = load i32, ptr %371, align 4, !tbaa !5
  %373 = call ptr @s2n_strerror_debug(i32 noundef %372, ptr noundef @.str.6)
  %374 = call ptr @__errno_location() #10
  %375 = load i32, ptr %374, align 4, !tbaa !5
  %376 = call ptr @strerror(i32 noundef %375) #9
  %377 = call ptr @__errno_location() #10
  %378 = load i32, ptr %377, align 4, !tbaa !5
  %379 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %366, ptr noundef @.str.4, i32 noundef %367, ptr noundef @.str.12, ptr noundef @.str.3, i32 noundef 39, ptr noundef %370, ptr noundef %373, ptr noundef %376, i32 noundef %378) #9
  br label %397

380:                                              ; preds = %358, %351
  %381 = load i32, ptr %12, align 4, !tbaa !5
  %382 = call ptr @__errno_location() #10
  store i32 %381, ptr %382, align 4, !tbaa !5
  %383 = load ptr, ptr @stderr, align 8, !tbaa !9
  %384 = load i32, ptr @test_count, align 4, !tbaa !5
  %385 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %386 = load i32, ptr %385, align 4, !tbaa !5
  %387 = call ptr @s2n_strerror(i32 noundef %386, ptr noundef @.str.6)
  %388 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %389 = load i32, ptr %388, align 4, !tbaa !5
  %390 = call ptr @s2n_strerror_debug(i32 noundef %389, ptr noundef @.str.6)
  %391 = call ptr @__errno_location() #10
  %392 = load i32, ptr %391, align 4, !tbaa !5
  %393 = call ptr @strerror(i32 noundef %392) #9
  %394 = call ptr @__errno_location() #10
  %395 = load i32, ptr %394, align 4, !tbaa !5
  %396 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %383, ptr noundef @.str.7, i32 noundef %384, ptr noundef @.str.12, ptr noundef @.str.3, i32 noundef 39, ptr noundef %387, ptr noundef %390, ptr noundef %393, i32 noundef %395) #9
  br label %397

397:                                              ; preds = %380, %363
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #9
  br label %398

398:                                              ; preds = %397
  br label %399

399:                                              ; preds = %398
  call void @exit(i32 noundef 1) #11
  unreachable

400:                                              ; No predecessors!
  br label %401

401:                                              ; preds = %400
  br label %402

402:                                              ; preds = %401, %344
  br label %403

403:                                              ; preds = %402
  br label %404

404:                                              ; preds = %403
  call void @llvm.lifetime.end.p0(i64 24, ptr %9) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr %13) #9
  call void @llvm.memset.p0.i64(ptr align 8 %13, i8 0, i64 24, i1 false)
  br label %405

405:                                              ; preds = %404
  %406 = load i32, ptr @test_count, align 4, !tbaa !5
  %407 = add nsw i32 %406, 1
  store i32 %407, ptr @test_count, align 4, !tbaa !5
  %408 = call i32 @s2n_alloc(ptr noundef %13, i32 noundef 10)
  %409 = icmp eq i32 %408, -1
  br i1 %409, label %410, label %463

410:                                              ; preds = %405
  br label %411

411:                                              ; preds = %410
  br label %412

412:                                              ; preds = %411
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #9
  %413 = call ptr @__errno_location() #10
  %414 = load i32, ptr %413, align 4, !tbaa !5
  store i32 %414, ptr %14, align 4, !tbaa !5
  %415 = load ptr, ptr @stderr, align 8, !tbaa !9
  %416 = call i32 @s2n_print_stacktrace(ptr noundef %415)
  %417 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %418 = trunc i8 %417 to i1
  br i1 %418, label %419, label %441

419:                                              ; preds = %412
  %420 = load ptr, ptr @stderr, align 8, !tbaa !9
  %421 = call i32 @fileno(ptr noundef %420) #9
  %422 = call i32 @isatty(i32 noundef %421) #9
  %423 = icmp ne i32 %422, 0
  br i1 %423, label %424, label %441

424:                                              ; preds = %419
  %425 = load i32, ptr %14, align 4, !tbaa !5
  %426 = call ptr @__errno_location() #10
  store i32 %425, ptr %426, align 4, !tbaa !5
  %427 = load ptr, ptr @stderr, align 8, !tbaa !9
  %428 = load i32, ptr @test_count, align 4, !tbaa !5
  %429 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %430 = load i32, ptr %429, align 4, !tbaa !5
  %431 = call ptr @s2n_strerror(i32 noundef %430, ptr noundef @.str.6)
  %432 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %433 = load i32, ptr %432, align 4, !tbaa !5
  %434 = call ptr @s2n_strerror_debug(i32 noundef %433, ptr noundef @.str.6)
  %435 = call ptr @__errno_location() #10
  %436 = load i32, ptr %435, align 4, !tbaa !5
  %437 = call ptr @strerror(i32 noundef %436) #9
  %438 = call ptr @__errno_location() #10
  %439 = load i32, ptr %438, align 4, !tbaa !5
  %440 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %427, ptr noundef @.str.4, i32 noundef %428, ptr noundef @.str.13, ptr noundef @.str.3, i32 noundef 45, ptr noundef %431, ptr noundef %434, ptr noundef %437, i32 noundef %439) #9
  br label %458

441:                                              ; preds = %419, %412
  %442 = load i32, ptr %14, align 4, !tbaa !5
  %443 = call ptr @__errno_location() #10
  store i32 %442, ptr %443, align 4, !tbaa !5
  %444 = load ptr, ptr @stderr, align 8, !tbaa !9
  %445 = load i32, ptr @test_count, align 4, !tbaa !5
  %446 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %447 = load i32, ptr %446, align 4, !tbaa !5
  %448 = call ptr @s2n_strerror(i32 noundef %447, ptr noundef @.str.6)
  %449 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %450 = load i32, ptr %449, align 4, !tbaa !5
  %451 = call ptr @s2n_strerror_debug(i32 noundef %450, ptr noundef @.str.6)
  %452 = call ptr @__errno_location() #10
  %453 = load i32, ptr %452, align 4, !tbaa !5
  %454 = call ptr @strerror(i32 noundef %453) #9
  %455 = call ptr @__errno_location() #10
  %456 = load i32, ptr %455, align 4, !tbaa !5
  %457 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %444, ptr noundef @.str.7, i32 noundef %445, ptr noundef @.str.13, ptr noundef @.str.3, i32 noundef 45, ptr noundef %448, ptr noundef %451, ptr noundef %454, i32 noundef %456) #9
  br label %458

458:                                              ; preds = %441, %424
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #9
  br label %459

459:                                              ; preds = %458
  br label %460

460:                                              ; preds = %459
  call void @exit(i32 noundef 1) #11
  unreachable

461:                                              ; No predecessors!
  br label %462

462:                                              ; preds = %461
  br label %463

463:                                              ; preds = %462, %405
  br label %464

464:                                              ; preds = %463
  br label %465

465:                                              ; preds = %464
  br label %466

466:                                              ; preds = %465
  %467 = load i32, ptr @test_count, align 4, !tbaa !5
  %468 = add nsw i32 %467, 1
  store i32 %468, ptr @test_count, align 4, !tbaa !5
  %469 = call i32 @s2n_free(ptr noundef %13)
  %470 = icmp eq i32 %469, -1
  br i1 %470, label %471, label %524

471:                                              ; preds = %466
  br label %472

472:                                              ; preds = %471
  br label %473

473:                                              ; preds = %472
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #9
  %474 = call ptr @__errno_location() #10
  %475 = load i32, ptr %474, align 4, !tbaa !5
  store i32 %475, ptr %15, align 4, !tbaa !5
  %476 = load ptr, ptr @stderr, align 8, !tbaa !9
  %477 = call i32 @s2n_print_stacktrace(ptr noundef %476)
  %478 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %479 = trunc i8 %478 to i1
  br i1 %479, label %480, label %502

480:                                              ; preds = %473
  %481 = load ptr, ptr @stderr, align 8, !tbaa !9
  %482 = call i32 @fileno(ptr noundef %481) #9
  %483 = call i32 @isatty(i32 noundef %482) #9
  %484 = icmp ne i32 %483, 0
  br i1 %484, label %485, label %502

485:                                              ; preds = %480
  %486 = load i32, ptr %15, align 4, !tbaa !5
  %487 = call ptr @__errno_location() #10
  store i32 %486, ptr %487, align 4, !tbaa !5
  %488 = load ptr, ptr @stderr, align 8, !tbaa !9
  %489 = load i32, ptr @test_count, align 4, !tbaa !5
  %490 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %491 = load i32, ptr %490, align 4, !tbaa !5
  %492 = call ptr @s2n_strerror(i32 noundef %491, ptr noundef @.str.6)
  %493 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %494 = load i32, ptr %493, align 4, !tbaa !5
  %495 = call ptr @s2n_strerror_debug(i32 noundef %494, ptr noundef @.str.6)
  %496 = call ptr @__errno_location() #10
  %497 = load i32, ptr %496, align 4, !tbaa !5
  %498 = call ptr @strerror(i32 noundef %497) #9
  %499 = call ptr @__errno_location() #10
  %500 = load i32, ptr %499, align 4, !tbaa !5
  %501 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %488, ptr noundef @.str.4, i32 noundef %489, ptr noundef @.str.10, ptr noundef @.str.3, i32 noundef 46, ptr noundef %492, ptr noundef %495, ptr noundef %498, i32 noundef %500) #9
  br label %519

502:                                              ; preds = %480, %473
  %503 = load i32, ptr %15, align 4, !tbaa !5
  %504 = call ptr @__errno_location() #10
  store i32 %503, ptr %504, align 4, !tbaa !5
  %505 = load ptr, ptr @stderr, align 8, !tbaa !9
  %506 = load i32, ptr @test_count, align 4, !tbaa !5
  %507 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %508 = load i32, ptr %507, align 4, !tbaa !5
  %509 = call ptr @s2n_strerror(i32 noundef %508, ptr noundef @.str.6)
  %510 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %511 = load i32, ptr %510, align 4, !tbaa !5
  %512 = call ptr @s2n_strerror_debug(i32 noundef %511, ptr noundef @.str.6)
  %513 = call ptr @__errno_location() #10
  %514 = load i32, ptr %513, align 4, !tbaa !5
  %515 = call ptr @strerror(i32 noundef %514) #9
  %516 = call ptr @__errno_location() #10
  %517 = load i32, ptr %516, align 4, !tbaa !5
  %518 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %505, ptr noundef @.str.7, i32 noundef %506, ptr noundef @.str.10, ptr noundef @.str.3, i32 noundef 46, ptr noundef %509, ptr noundef %512, ptr noundef %515, i32 noundef %517) #9
  br label %519

519:                                              ; preds = %502, %485
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #9
  br label %520

520:                                              ; preds = %519
  br label %521

521:                                              ; preds = %520
  call void @exit(i32 noundef 1) #11
  unreachable

522:                                              ; No predecessors!
  br label %523

523:                                              ; preds = %522
  br label %524

524:                                              ; preds = %523, %466
  br label %525

525:                                              ; preds = %524
  br label %526

526:                                              ; preds = %525
  br label %527

527:                                              ; preds = %526
  %528 = load i32, ptr @test_count, align 4, !tbaa !5
  %529 = add nsw i32 %528, 1
  store i32 %529, ptr @test_count, align 4, !tbaa !5
  %530 = call i32 @s2n_free(ptr noundef %13)
  %531 = icmp eq i32 %530, -1
  br i1 %531, label %532, label %585

532:                                              ; preds = %527
  br label %533

533:                                              ; preds = %532
  br label %534

534:                                              ; preds = %533
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #9
  %535 = call ptr @__errno_location() #10
  %536 = load i32, ptr %535, align 4, !tbaa !5
  store i32 %536, ptr %16, align 4, !tbaa !5
  %537 = load ptr, ptr @stderr, align 8, !tbaa !9
  %538 = call i32 @s2n_print_stacktrace(ptr noundef %537)
  %539 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %540 = trunc i8 %539 to i1
  br i1 %540, label %541, label %563

541:                                              ; preds = %534
  %542 = load ptr, ptr @stderr, align 8, !tbaa !9
  %543 = call i32 @fileno(ptr noundef %542) #9
  %544 = call i32 @isatty(i32 noundef %543) #9
  %545 = icmp ne i32 %544, 0
  br i1 %545, label %546, label %563

546:                                              ; preds = %541
  %547 = load i32, ptr %16, align 4, !tbaa !5
  %548 = call ptr @__errno_location() #10
  store i32 %547, ptr %548, align 4, !tbaa !5
  %549 = load ptr, ptr @stderr, align 8, !tbaa !9
  %550 = load i32, ptr @test_count, align 4, !tbaa !5
  %551 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %552 = load i32, ptr %551, align 4, !tbaa !5
  %553 = call ptr @s2n_strerror(i32 noundef %552, ptr noundef @.str.6)
  %554 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %555 = load i32, ptr %554, align 4, !tbaa !5
  %556 = call ptr @s2n_strerror_debug(i32 noundef %555, ptr noundef @.str.6)
  %557 = call ptr @__errno_location() #10
  %558 = load i32, ptr %557, align 4, !tbaa !5
  %559 = call ptr @strerror(i32 noundef %558) #9
  %560 = call ptr @__errno_location() #10
  %561 = load i32, ptr %560, align 4, !tbaa !5
  %562 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %549, ptr noundef @.str.4, i32 noundef %550, ptr noundef @.str.10, ptr noundef @.str.3, i32 noundef 48, ptr noundef %553, ptr noundef %556, ptr noundef %559, i32 noundef %561) #9
  br label %580

563:                                              ; preds = %541, %534
  %564 = load i32, ptr %16, align 4, !tbaa !5
  %565 = call ptr @__errno_location() #10
  store i32 %564, ptr %565, align 4, !tbaa !5
  %566 = load ptr, ptr @stderr, align 8, !tbaa !9
  %567 = load i32, ptr @test_count, align 4, !tbaa !5
  %568 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %569 = load i32, ptr %568, align 4, !tbaa !5
  %570 = call ptr @s2n_strerror(i32 noundef %569, ptr noundef @.str.6)
  %571 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %572 = load i32, ptr %571, align 4, !tbaa !5
  %573 = call ptr @s2n_strerror_debug(i32 noundef %572, ptr noundef @.str.6)
  %574 = call ptr @__errno_location() #10
  %575 = load i32, ptr %574, align 4, !tbaa !5
  %576 = call ptr @strerror(i32 noundef %575) #9
  %577 = call ptr @__errno_location() #10
  %578 = load i32, ptr %577, align 4, !tbaa !5
  %579 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %566, ptr noundef @.str.7, i32 noundef %567, ptr noundef @.str.10, ptr noundef @.str.3, i32 noundef 48, ptr noundef %570, ptr noundef %573, ptr noundef %576, i32 noundef %578) #9
  br label %580

580:                                              ; preds = %563, %546
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #9
  br label %581

581:                                              ; preds = %580
  br label %582

582:                                              ; preds = %581
  call void @exit(i32 noundef 1) #11
  unreachable

583:                                              ; No predecessors!
  br label %584

584:                                              ; preds = %583
  br label %585

585:                                              ; preds = %584, %527
  br label %586

586:                                              ; preds = %585
  br label %587

587:                                              ; preds = %586
  br label %588

588:                                              ; preds = %587
  %589 = load i32, ptr @test_count, align 4, !tbaa !5
  %590 = add nsw i32 %589, 1
  store i32 %590, ptr @test_count, align 4, !tbaa !5
  %591 = call i32 @s2n_free_without_wipe(ptr noundef %13)
  %592 = icmp eq i32 %591, -1
  br i1 %592, label %593, label %646

593:                                              ; preds = %588
  br label %594

594:                                              ; preds = %593
  br label %595

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

602:                                              ; preds = %595
  %603 = load ptr, ptr @stderr, align 8, !tbaa !9
  %604 = call i32 @fileno(ptr noundef %603) #9
  %605 = call i32 @isatty(i32 noundef %604) #9
  %606 = icmp ne i32 %605, 0
  br i1 %606, label %607, label %624

607:                                              ; preds = %602
  %608 = load i32, ptr %17, align 4, !tbaa !5
  %609 = call ptr @__errno_location() #10
  store i32 %608, ptr %609, align 4, !tbaa !5
  %610 = load ptr, ptr @stderr, align 8, !tbaa !9
  %611 = load i32, ptr @test_count, align 4, !tbaa !5
  %612 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %613 = load i32, ptr %612, align 4, !tbaa !5
  %614 = call ptr @s2n_strerror(i32 noundef %613, ptr noundef @.str.6)
  %615 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %616 = load i32, ptr %615, align 4, !tbaa !5
  %617 = call ptr @s2n_strerror_debug(i32 noundef %616, ptr noundef @.str.6)
  %618 = call ptr @__errno_location() #10
  %619 = load i32, ptr %618, align 4, !tbaa !5
  %620 = call ptr @strerror(i32 noundef %619) #9
  %621 = call ptr @__errno_location() #10
  %622 = load i32, ptr %621, align 4, !tbaa !5
  %623 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %610, ptr noundef @.str.4, i32 noundef %611, ptr noundef @.str.11, ptr noundef @.str.3, i32 noundef 49, ptr noundef %614, ptr noundef %617, ptr noundef %620, i32 noundef %622) #9
  br label %641

624:                                              ; preds = %602, %595
  %625 = load i32, ptr %17, align 4, !tbaa !5
  %626 = call ptr @__errno_location() #10
  store i32 %625, ptr %626, align 4, !tbaa !5
  %627 = load ptr, ptr @stderr, align 8, !tbaa !9
  %628 = load i32, ptr @test_count, align 4, !tbaa !5
  %629 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %630 = load i32, ptr %629, align 4, !tbaa !5
  %631 = call ptr @s2n_strerror(i32 noundef %630, ptr noundef @.str.6)
  %632 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %633 = load i32, ptr %632, align 4, !tbaa !5
  %634 = call ptr @s2n_strerror_debug(i32 noundef %633, ptr noundef @.str.6)
  %635 = call ptr @__errno_location() #10
  %636 = load i32, ptr %635, align 4, !tbaa !5
  %637 = call ptr @strerror(i32 noundef %636) #9
  %638 = call ptr @__errno_location() #10
  %639 = load i32, ptr %638, align 4, !tbaa !5
  %640 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %627, ptr noundef @.str.7, i32 noundef %628, ptr noundef @.str.11, ptr noundef @.str.3, i32 noundef 49, ptr noundef %631, ptr noundef %634, ptr noundef %637, i32 noundef %639) #9
  br label %641

641:                                              ; preds = %624, %607
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #9
  br label %642

642:                                              ; preds = %641
  br label %643

643:                                              ; preds = %642
  call void @exit(i32 noundef 1) #11
  unreachable

644:                                              ; No predecessors!
  br label %645

645:                                              ; preds = %644
  br label %646

646:                                              ; preds = %645, %588
  br label %647

647:                                              ; preds = %646
  br label %648

648:                                              ; preds = %647
  br label %649

649:                                              ; preds = %648
  %650 = load i32, ptr @test_count, align 4, !tbaa !5
  %651 = add nsw i32 %650, 1
  store i32 %651, ptr @test_count, align 4, !tbaa !5
  %652 = call i32 @s2n_free_or_wipe(ptr noundef %13)
  %653 = icmp eq i32 %652, -1
  br i1 %653, label %654, label %707

654:                                              ; preds = %649
  br label %655

655:                                              ; preds = %654
  br label %656

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

663:                                              ; preds = %656
  %664 = load ptr, ptr @stderr, align 8, !tbaa !9
  %665 = call i32 @fileno(ptr noundef %664) #9
  %666 = call i32 @isatty(i32 noundef %665) #9
  %667 = icmp ne i32 %666, 0
  br i1 %667, label %668, label %685

668:                                              ; preds = %663
  %669 = load i32, ptr %18, align 4, !tbaa !5
  %670 = call ptr @__errno_location() #10
  store i32 %669, ptr %670, align 4, !tbaa !5
  %671 = load ptr, ptr @stderr, align 8, !tbaa !9
  %672 = load i32, ptr @test_count, align 4, !tbaa !5
  %673 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %674 = load i32, ptr %673, align 4, !tbaa !5
  %675 = call ptr @s2n_strerror(i32 noundef %674, ptr noundef @.str.6)
  %676 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %677 = load i32, ptr %676, align 4, !tbaa !5
  %678 = call ptr @s2n_strerror_debug(i32 noundef %677, ptr noundef @.str.6)
  %679 = call ptr @__errno_location() #10
  %680 = load i32, ptr %679, align 4, !tbaa !5
  %681 = call ptr @strerror(i32 noundef %680) #9
  %682 = call ptr @__errno_location() #10
  %683 = load i32, ptr %682, align 4, !tbaa !5
  %684 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %671, ptr noundef @.str.4, i32 noundef %672, ptr noundef @.str.12, ptr noundef @.str.3, i32 noundef 50, ptr noundef %675, ptr noundef %678, ptr noundef %681, i32 noundef %683) #9
  br label %702

685:                                              ; preds = %663, %656
  %686 = load i32, ptr %18, align 4, !tbaa !5
  %687 = call ptr @__errno_location() #10
  store i32 %686, ptr %687, align 4, !tbaa !5
  %688 = load ptr, ptr @stderr, align 8, !tbaa !9
  %689 = load i32, ptr @test_count, align 4, !tbaa !5
  %690 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %691 = load i32, ptr %690, align 4, !tbaa !5
  %692 = call ptr @s2n_strerror(i32 noundef %691, ptr noundef @.str.6)
  %693 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %694 = load i32, ptr %693, align 4, !tbaa !5
  %695 = call ptr @s2n_strerror_debug(i32 noundef %694, ptr noundef @.str.6)
  %696 = call ptr @__errno_location() #10
  %697 = load i32, ptr %696, align 4, !tbaa !5
  %698 = call ptr @strerror(i32 noundef %697) #9
  %699 = call ptr @__errno_location() #10
  %700 = load i32, ptr %699, align 4, !tbaa !5
  %701 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %688, ptr noundef @.str.7, i32 noundef %689, ptr noundef @.str.12, ptr noundef @.str.3, i32 noundef 50, ptr noundef %692, ptr noundef %695, ptr noundef %698, i32 noundef %700) #9
  br label %702

702:                                              ; preds = %685, %668
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #9
  br label %703

703:                                              ; preds = %702
  br label %704

704:                                              ; preds = %703
  call void @exit(i32 noundef 1) #11
  unreachable

705:                                              ; No predecessors!
  br label %706

706:                                              ; preds = %705
  br label %707

707:                                              ; preds = %706, %649
  br label %708

708:                                              ; preds = %707
  br label %709

709:                                              ; preds = %708
  call void @llvm.lifetime.end.p0(i64 24, ptr %13) #9
  br label %710

710:                                              ; preds = %709
  br label %711

711:                                              ; preds = %710
  br label %712

712:                                              ; preds = %711
  %713 = load i32, ptr @test_count, align 4, !tbaa !5
  %714 = add nsw i32 %713, 1
  store i32 %714, ptr @test_count, align 4, !tbaa !5
  %715 = call i32 @s2n_free(ptr noundef null)
  %716 = icmp eq i32 %715, -1
  br i1 %716, label %768, label %717

717:                                              ; preds = %712
  br label %718

718:                                              ; preds = %717
  br label %719

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

726:                                              ; preds = %719
  %727 = load ptr, ptr @stderr, align 8, !tbaa !9
  %728 = call i32 @fileno(ptr noundef %727) #9
  %729 = call i32 @isatty(i32 noundef %728) #9
  %730 = icmp ne i32 %729, 0
  br i1 %730, label %731, label %748

731:                                              ; preds = %726
  %732 = load i32, ptr %19, align 4, !tbaa !5
  %733 = call ptr @__errno_location() #10
  store i32 %732, ptr %733, align 4, !tbaa !5
  %734 = load ptr, ptr @stderr, align 8, !tbaa !9
  %735 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %737, ptr noundef @.str.6)
  %739 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %740 = load i32, ptr %739, align 4, !tbaa !5
  %741 = call ptr @s2n_strerror_debug(i32 noundef %740, ptr noundef @.str.6)
  %742 = call ptr @__errno_location() #10
  %743 = load i32, ptr %742, align 4, !tbaa !5
  %744 = call ptr @strerror(i32 noundef %743) #9
  %745 = call ptr @__errno_location() #10
  %746 = load i32, ptr %745, align 4, !tbaa !5
  %747 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %734, ptr noundef @.str.4, i32 noundef %735, ptr noundef @.str.14, ptr noundef @.str.3, i32 noundef 55, ptr noundef %738, ptr noundef %741, ptr noundef %744, i32 noundef %746) #9
  br label %765

748:                                              ; preds = %726, %719
  %749 = load i32, ptr %19, align 4, !tbaa !5
  %750 = call ptr @__errno_location() #10
  store i32 %749, ptr %750, align 4, !tbaa !5
  %751 = load ptr, ptr @stderr, align 8, !tbaa !9
  %752 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %754, ptr noundef @.str.6)
  %756 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %757 = load i32, ptr %756, align 4, !tbaa !5
  %758 = call ptr @s2n_strerror_debug(i32 noundef %757, ptr noundef @.str.6)
  %759 = call ptr @__errno_location() #10
  %760 = load i32, ptr %759, align 4, !tbaa !5
  %761 = call ptr @strerror(i32 noundef %760) #9
  %762 = call ptr @__errno_location() #10
  %763 = load i32, ptr %762, align 4, !tbaa !5
  %764 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %751, ptr noundef @.str.7, i32 noundef %752, ptr noundef @.str.14, ptr noundef @.str.3, i32 noundef 55, ptr noundef %755, ptr noundef %758, ptr noundef %761, i32 noundef %763) #9
  br label %765

765:                                              ; preds = %748, %731
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #9
  br label %766

766:                                              ; preds = %765
  call void @exit(i32 noundef 1) #11
  unreachable

767:                                              ; No predecessors!
  br label %768

768:                                              ; preds = %767, %712
  br label %769

769:                                              ; preds = %768
  br label %770

770:                                              ; preds = %769
  %771 = load i32, ptr @test_count, align 4, !tbaa !5
  %772 = add nsw i32 %771, 1
  store i32 %772, ptr @test_count, align 4, !tbaa !5
  %773 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %774 = load i32, ptr %773, align 4, !tbaa !5
  %775 = icmp eq i32 %774, 402653193
  br i1 %775, label %827, label %776

776:                                              ; preds = %770
  br label %777

777:                                              ; preds = %776
  br label %778

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

785:                                              ; preds = %778
  %786 = load ptr, ptr @stderr, align 8, !tbaa !9
  %787 = call i32 @fileno(ptr noundef %786) #9
  %788 = call i32 @isatty(i32 noundef %787) #9
  %789 = icmp ne i32 %788, 0
  br i1 %789, label %790, label %807

790:                                              ; preds = %785
  %791 = load i32, ptr %20, align 4, !tbaa !5
  %792 = call ptr @__errno_location() #10
  store i32 %791, ptr %792, align 4, !tbaa !5
  %793 = load ptr, ptr @stderr, align 8, !tbaa !9
  %794 = load i32, ptr @test_count, align 4, !tbaa !5
  %795 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %796 = load i32, ptr %795, align 4, !tbaa !5
  %797 = call ptr @s2n_strerror(i32 noundef %796, ptr noundef @.str.6)
  %798 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %799 = load i32, ptr %798, align 4, !tbaa !5
  %800 = call ptr @s2n_strerror_debug(i32 noundef %799, ptr noundef @.str.6)
  %801 = call ptr @__errno_location() #10
  %802 = load i32, ptr %801, align 4, !tbaa !5
  %803 = call ptr @strerror(i32 noundef %802) #9
  %804 = call ptr @__errno_location() #10
  %805 = load i32, ptr %804, align 4, !tbaa !5
  %806 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %793, ptr noundef @.str.4, i32 noundef %794, ptr noundef @.str.15, ptr noundef @.str.3, i32 noundef 55, ptr noundef %797, ptr noundef %800, ptr noundef %803, i32 noundef %805) #9
  br label %824

807:                                              ; preds = %785, %778
  %808 = load i32, ptr %20, align 4, !tbaa !5
  %809 = call ptr @__errno_location() #10
  store i32 %808, ptr %809, align 4, !tbaa !5
  %810 = load ptr, ptr @stderr, align 8, !tbaa !9
  %811 = load i32, ptr @test_count, align 4, !tbaa !5
  %812 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %813 = load i32, ptr %812, align 4, !tbaa !5
  %814 = call ptr @s2n_strerror(i32 noundef %813, ptr noundef @.str.6)
  %815 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %816 = load i32, ptr %815, align 4, !tbaa !5
  %817 = call ptr @s2n_strerror_debug(i32 noundef %816, ptr noundef @.str.6)
  %818 = call ptr @__errno_location() #10
  %819 = load i32, ptr %818, align 4, !tbaa !5
  %820 = call ptr @strerror(i32 noundef %819) #9
  %821 = call ptr @__errno_location() #10
  %822 = load i32, ptr %821, align 4, !tbaa !5
  %823 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %810, ptr noundef @.str.7, i32 noundef %811, ptr noundef @.str.15, ptr noundef @.str.3, i32 noundef 55, ptr noundef %814, ptr noundef %817, ptr noundef %820, i32 noundef %822) #9
  br label %824

824:                                              ; preds = %807, %790
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #9
  br label %825

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

826:                                              ; No predecessors!
  br label %827

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

828:                                              ; preds = %827
  br label %829

829:                                              ; preds = %828
  %830 = load i32, ptr @test_count, align 4, !tbaa !5
  %831 = add nsw i32 %830, 1
  store i32 %831, ptr @test_count, align 4, !tbaa !5
  %832 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %833 = load i32, ptr %832, align 4, !tbaa !5
  %834 = call ptr @s2n_strerror_debug(i32 noundef %833, ptr noundef @.str.6)
  %835 = icmp eq ptr %834, null
  br i1 %835, label %836, label %887

836:                                              ; preds = %829
  br label %837

837:                                              ; preds = %836
  br label %838

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

845:                                              ; preds = %838
  %846 = load ptr, ptr @stderr, align 8, !tbaa !9
  %847 = call i32 @fileno(ptr noundef %846) #9
  %848 = call i32 @isatty(i32 noundef %847) #9
  %849 = icmp ne i32 %848, 0
  br i1 %849, label %850, label %867

850:                                              ; preds = %845
  %851 = load i32, ptr %21, align 4, !tbaa !5
  %852 = call ptr @__errno_location() #10
  store i32 %851, ptr %852, align 4, !tbaa !5
  %853 = load ptr, ptr @stderr, align 8, !tbaa !9
  %854 = load i32, ptr @test_count, align 4, !tbaa !5
  %855 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %856 = load i32, ptr %855, align 4, !tbaa !5
  %857 = call ptr @s2n_strerror(i32 noundef %856, ptr noundef @.str.6)
  %858 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %859 = load i32, ptr %858, align 4, !tbaa !5
  %860 = call ptr @s2n_strerror_debug(i32 noundef %859, ptr noundef @.str.6)
  %861 = call ptr @__errno_location() #10
  %862 = load i32, ptr %861, align 4, !tbaa !5
  %863 = call ptr @strerror(i32 noundef %862) #9
  %864 = call ptr @__errno_location() #10
  %865 = load i32, ptr %864, align 4, !tbaa !5
  %866 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %853, ptr noundef @.str.4, i32 noundef %854, ptr noundef @.str.16, ptr noundef @.str.3, i32 noundef 55, ptr noundef %857, ptr noundef %860, ptr noundef %863, i32 noundef %865) #9
  br label %884

867:                                              ; preds = %845, %838
  %868 = load i32, ptr %21, align 4, !tbaa !5
  %869 = call ptr @__errno_location() #10
  store i32 %868, ptr %869, align 4, !tbaa !5
  %870 = load ptr, ptr @stderr, align 8, !tbaa !9
  %871 = load i32, ptr @test_count, align 4, !tbaa !5
  %872 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %873 = load i32, ptr %872, align 4, !tbaa !5
  %874 = call ptr @s2n_strerror(i32 noundef %873, ptr noundef @.str.6)
  %875 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %876 = load i32, ptr %875, align 4, !tbaa !5
  %877 = call ptr @s2n_strerror_debug(i32 noundef %876, ptr noundef @.str.6)
  %878 = call ptr @__errno_location() #10
  %879 = load i32, ptr %878, align 4, !tbaa !5
  %880 = call ptr @strerror(i32 noundef %879) #9
  %881 = call ptr @__errno_location() #10
  %882 = load i32, ptr %881, align 4, !tbaa !5
  %883 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %870, ptr noundef @.str.7, i32 noundef %871, ptr noundef @.str.16, ptr noundef @.str.3, i32 noundef 55, ptr noundef %874, ptr noundef %877, ptr noundef %880, i32 noundef %882) #9
  br label %884

884:                                              ; preds = %867, %850
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #9
  br label %885

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

886:                                              ; No predecessors!
  br label %887

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

888:                                              ; preds = %887
  br label %889

889:                                              ; preds = %888
  br label %890

890:                                              ; preds = %889
  %891 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  store i32 0, ptr %891, align 4, !tbaa !5
  call void @s2n_debug_info_reset()
  %892 = call ptr @__errno_location() #10
  store i32 0, ptr %892, align 4, !tbaa !5
  br label %893

893:                                              ; preds = %890
  br label %894

894:                                              ; preds = %893
  br label %895

895:                                              ; preds = %894
  br label %896

896:                                              ; preds = %895
  br label %897

897:                                              ; preds = %896
  %898 = load i32, ptr @test_count, align 4, !tbaa !5
  %899 = add nsw i32 %898, 1
  store i32 %899, ptr @test_count, align 4, !tbaa !5
  %900 = call i32 @s2n_free_without_wipe(ptr noundef null)
  %901 = icmp eq i32 %900, -1
  br i1 %901, label %953, label %902

902:                                              ; preds = %897
  br label %903

903:                                              ; preds = %902
  br label %904

904:                                              ; preds = %903
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #9
  %905 = call ptr @__errno_location() #10
  %906 = load i32, ptr %905, align 4, !tbaa !5
  store i32 %906, ptr %22, align 4, !tbaa !5
  %907 = load ptr, ptr @stderr, align 8, !tbaa !9
  %908 = call i32 @s2n_print_stacktrace(ptr noundef %907)
  %909 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %910 = trunc i8 %909 to i1
  br i1 %910, label %911, label %933

911:                                              ; preds = %904
  %912 = load ptr, ptr @stderr, align 8, !tbaa !9
  %913 = call i32 @fileno(ptr noundef %912) #9
  %914 = call i32 @isatty(i32 noundef %913) #9
  %915 = icmp ne i32 %914, 0
  br i1 %915, label %916, label %933

916:                                              ; preds = %911
  %917 = load i32, ptr %22, align 4, !tbaa !5
  %918 = call ptr @__errno_location() #10
  store i32 %917, ptr %918, align 4, !tbaa !5
  %919 = load ptr, ptr @stderr, align 8, !tbaa !9
  %920 = load i32, ptr @test_count, align 4, !tbaa !5
  %921 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %922 = load i32, ptr %921, align 4, !tbaa !5
  %923 = call ptr @s2n_strerror(i32 noundef %922, ptr noundef @.str.6)
  %924 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %925 = load i32, ptr %924, align 4, !tbaa !5
  %926 = call ptr @s2n_strerror_debug(i32 noundef %925, ptr noundef @.str.6)
  %927 = call ptr @__errno_location() #10
  %928 = load i32, ptr %927, align 4, !tbaa !5
  %929 = call ptr @strerror(i32 noundef %928) #9
  %930 = call ptr @__errno_location() #10
  %931 = load i32, ptr %930, align 4, !tbaa !5
  %932 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %919, ptr noundef @.str.4, i32 noundef %920, ptr noundef @.str.17, ptr noundef @.str.3, i32 noundef 56, ptr noundef %923, ptr noundef %926, ptr noundef %929, i32 noundef %931) #9
  br label %950

933:                                              ; preds = %911, %904
  %934 = load i32, ptr %22, align 4, !tbaa !5
  %935 = call ptr @__errno_location() #10
  store i32 %934, ptr %935, align 4, !tbaa !5
  %936 = load ptr, ptr @stderr, align 8, !tbaa !9
  %937 = load i32, ptr @test_count, align 4, !tbaa !5
  %938 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %939 = load i32, ptr %938, align 4, !tbaa !5
  %940 = call ptr @s2n_strerror(i32 noundef %939, ptr noundef @.str.6)
  %941 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %942 = load i32, ptr %941, align 4, !tbaa !5
  %943 = call ptr @s2n_strerror_debug(i32 noundef %942, ptr noundef @.str.6)
  %944 = call ptr @__errno_location() #10
  %945 = load i32, ptr %944, align 4, !tbaa !5
  %946 = call ptr @strerror(i32 noundef %945) #9
  %947 = call ptr @__errno_location() #10
  %948 = load i32, ptr %947, align 4, !tbaa !5
  %949 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %936, ptr noundef @.str.7, i32 noundef %937, ptr noundef @.str.17, ptr noundef @.str.3, i32 noundef 56, ptr noundef %940, ptr noundef %943, ptr noundef %946, i32 noundef %948) #9
  br label %950

950:                                              ; preds = %933, %916
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #9
  br label %951

951:                                              ; preds = %950
  call void @exit(i32 noundef 1) #11
  unreachable

952:                                              ; No predecessors!
  br label %953

953:                                              ; preds = %952, %897
  br label %954

954:                                              ; preds = %953
  br label %955

955:                                              ; preds = %954
  %956 = load i32, ptr @test_count, align 4, !tbaa !5
  %957 = add nsw i32 %956, 1
  store i32 %957, ptr @test_count, align 4, !tbaa !5
  %958 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %959 = load i32, ptr %958, align 4, !tbaa !5
  %960 = icmp eq i32 %959, 402653193
  br i1 %960, label %1012, label %961

961:                                              ; preds = %955
  br label %962

962:                                              ; preds = %961
  br label %963

963:                                              ; preds = %962
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #9
  %964 = call ptr @__errno_location() #10
  %965 = load i32, ptr %964, align 4, !tbaa !5
  store i32 %965, ptr %23, align 4, !tbaa !5
  %966 = load ptr, ptr @stderr, align 8, !tbaa !9
  %967 = call i32 @s2n_print_stacktrace(ptr noundef %966)
  %968 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %969 = trunc i8 %968 to i1
  br i1 %969, label %970, label %992

970:                                              ; preds = %963
  %971 = load ptr, ptr @stderr, align 8, !tbaa !9
  %972 = call i32 @fileno(ptr noundef %971) #9
  %973 = call i32 @isatty(i32 noundef %972) #9
  %974 = icmp ne i32 %973, 0
  br i1 %974, label %975, label %992

975:                                              ; preds = %970
  %976 = load i32, ptr %23, align 4, !tbaa !5
  %977 = call ptr @__errno_location() #10
  store i32 %976, ptr %977, align 4, !tbaa !5
  %978 = load ptr, ptr @stderr, align 8, !tbaa !9
  %979 = load i32, ptr @test_count, align 4, !tbaa !5
  %980 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %981 = load i32, ptr %980, align 4, !tbaa !5
  %982 = call ptr @s2n_strerror(i32 noundef %981, ptr noundef @.str.6)
  %983 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %984 = load i32, ptr %983, align 4, !tbaa !5
  %985 = call ptr @s2n_strerror_debug(i32 noundef %984, ptr noundef @.str.6)
  %986 = call ptr @__errno_location() #10
  %987 = load i32, ptr %986, align 4, !tbaa !5
  %988 = call ptr @strerror(i32 noundef %987) #9
  %989 = call ptr @__errno_location() #10
  %990 = load i32, ptr %989, align 4, !tbaa !5
  %991 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %978, ptr noundef @.str.4, i32 noundef %979, ptr noundef @.str.15, ptr noundef @.str.3, i32 noundef 56, ptr noundef %982, ptr noundef %985, ptr noundef %988, i32 noundef %990) #9
  br label %1009

992:                                              ; preds = %970, %963
  %993 = load i32, ptr %23, align 4, !tbaa !5
  %994 = call ptr @__errno_location() #10
  store i32 %993, ptr %994, align 4, !tbaa !5
  %995 = load ptr, ptr @stderr, align 8, !tbaa !9
  %996 = load i32, ptr @test_count, align 4, !tbaa !5
  %997 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %998 = load i32, ptr %997, align 4, !tbaa !5
  %999 = call ptr @s2n_strerror(i32 noundef %998, ptr noundef @.str.6)
  %1000 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1001 = load i32, ptr %1000, align 4, !tbaa !5
  %1002 = call ptr @s2n_strerror_debug(i32 noundef %1001, ptr noundef @.str.6)
  %1003 = call ptr @__errno_location() #10
  %1004 = load i32, ptr %1003, align 4, !tbaa !5
  %1005 = call ptr @strerror(i32 noundef %1004) #9
  %1006 = call ptr @__errno_location() #10
  %1007 = load i32, ptr %1006, align 4, !tbaa !5
  %1008 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %995, ptr noundef @.str.7, i32 noundef %996, ptr noundef @.str.15, ptr noundef @.str.3, i32 noundef 56, ptr noundef %999, ptr noundef %1002, ptr noundef %1005, i32 noundef %1007) #9
  br label %1009

1009:                                             ; preds = %992, %975
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #9
  br label %1010

1010:                                             ; preds = %1009
  call void @exit(i32 noundef 1) #11
  unreachable

1011:                                             ; No predecessors!
  br label %1012

1012:                                             ; preds = %1011, %955
  br label %1013

1013:                                             ; preds = %1012
  br label %1014

1014:                                             ; preds = %1013
  %1015 = load i32, ptr @test_count, align 4, !tbaa !5
  %1016 = add nsw i32 %1015, 1
  store i32 %1016, ptr @test_count, align 4, !tbaa !5
  %1017 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1018 = load i32, ptr %1017, align 4, !tbaa !5
  %1019 = call ptr @s2n_strerror_debug(i32 noundef %1018, ptr noundef @.str.6)
  %1020 = icmp eq ptr %1019, null
  br i1 %1020, label %1021, label %1072

1021:                                             ; preds = %1014
  br label %1022

1022:                                             ; preds = %1021
  br label %1023

1023:                                             ; preds = %1022
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #9
  %1024 = call ptr @__errno_location() #10
  %1025 = load i32, ptr %1024, align 4, !tbaa !5
  store i32 %1025, ptr %24, align 4, !tbaa !5
  %1026 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1027 = call i32 @s2n_print_stacktrace(ptr noundef %1026)
  %1028 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1029 = trunc i8 %1028 to i1
  br i1 %1029, label %1030, label %1052

1030:                                             ; preds = %1023
  %1031 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1032 = call i32 @fileno(ptr noundef %1031) #9
  %1033 = call i32 @isatty(i32 noundef %1032) #9
  %1034 = icmp ne i32 %1033, 0
  br i1 %1034, label %1035, label %1052

1035:                                             ; preds = %1030
  %1036 = load i32, ptr %24, align 4, !tbaa !5
  %1037 = call ptr @__errno_location() #10
  store i32 %1036, ptr %1037, align 4, !tbaa !5
  %1038 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1039 = load i32, ptr @test_count, align 4, !tbaa !5
  %1040 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1041 = load i32, ptr %1040, align 4, !tbaa !5
  %1042 = call ptr @s2n_strerror(i32 noundef %1041, ptr noundef @.str.6)
  %1043 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1044 = load i32, ptr %1043, align 4, !tbaa !5
  %1045 = call ptr @s2n_strerror_debug(i32 noundef %1044, ptr noundef @.str.6)
  %1046 = call ptr @__errno_location() #10
  %1047 = load i32, ptr %1046, align 4, !tbaa !5
  %1048 = call ptr @strerror(i32 noundef %1047) #9
  %1049 = call ptr @__errno_location() #10
  %1050 = load i32, ptr %1049, align 4, !tbaa !5
  %1051 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1038, ptr noundef @.str.4, i32 noundef %1039, ptr noundef @.str.16, ptr noundef @.str.3, i32 noundef 56, ptr noundef %1042, ptr noundef %1045, ptr noundef %1048, i32 noundef %1050) #9
  br label %1069

1052:                                             ; preds = %1030, %1023
  %1053 = load i32, ptr %24, align 4, !tbaa !5
  %1054 = call ptr @__errno_location() #10
  store i32 %1053, ptr %1054, align 4, !tbaa !5
  %1055 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1056 = load i32, ptr @test_count, align 4, !tbaa !5
  %1057 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1058 = load i32, ptr %1057, align 4, !tbaa !5
  %1059 = call ptr @s2n_strerror(i32 noundef %1058, ptr noundef @.str.6)
  %1060 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1061 = load i32, ptr %1060, align 4, !tbaa !5
  %1062 = call ptr @s2n_strerror_debug(i32 noundef %1061, ptr noundef @.str.6)
  %1063 = call ptr @__errno_location() #10
  %1064 = load i32, ptr %1063, align 4, !tbaa !5
  %1065 = call ptr @strerror(i32 noundef %1064) #9
  %1066 = call ptr @__errno_location() #10
  %1067 = load i32, ptr %1066, align 4, !tbaa !5
  %1068 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1055, ptr noundef @.str.7, i32 noundef %1056, ptr noundef @.str.16, ptr noundef @.str.3, i32 noundef 56, ptr noundef %1059, ptr noundef %1062, ptr noundef %1065, i32 noundef %1067) #9
  br label %1069

1069:                                             ; preds = %1052, %1035
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #9
  br label %1070

1070:                                             ; preds = %1069
  call void @exit(i32 noundef 1) #11
  unreachable

1071:                                             ; No predecessors!
  br label %1072

1072:                                             ; preds = %1071, %1014
  br label %1073

1073:                                             ; preds = %1072
  br label %1074

1074:                                             ; preds = %1073
  br label %1075

1075:                                             ; preds = %1074
  %1076 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  store i32 0, ptr %1076, align 4, !tbaa !5
  call void @s2n_debug_info_reset()
  %1077 = call ptr @__errno_location() #10
  store i32 0, ptr %1077, align 4, !tbaa !5
  br label %1078

1078:                                             ; preds = %1075
  br label %1079

1079:                                             ; preds = %1078
  br label %1080

1080:                                             ; preds = %1079
  br label %1081

1081:                                             ; preds = %1080
  br label %1082

1082:                                             ; preds = %1081
  %1083 = load i32, ptr @test_count, align 4, !tbaa !5
  %1084 = add nsw i32 %1083, 1
  store i32 %1084, ptr @test_count, align 4, !tbaa !5
  %1085 = call i32 @s2n_free_or_wipe(ptr noundef null)
  %1086 = icmp eq i32 %1085, -1
  br i1 %1086, label %1138, label %1087

1087:                                             ; preds = %1082
  br label %1088

1088:                                             ; preds = %1087
  br label %1089

1089:                                             ; preds = %1088
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #9
  %1090 = call ptr @__errno_location() #10
  %1091 = load i32, ptr %1090, align 4, !tbaa !5
  store i32 %1091, ptr %25, align 4, !tbaa !5
  %1092 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1093 = call i32 @s2n_print_stacktrace(ptr noundef %1092)
  %1094 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1095 = trunc i8 %1094 to i1
  br i1 %1095, label %1096, label %1118

1096:                                             ; preds = %1089
  %1097 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1098 = call i32 @fileno(ptr noundef %1097) #9
  %1099 = call i32 @isatty(i32 noundef %1098) #9
  %1100 = icmp ne i32 %1099, 0
  br i1 %1100, label %1101, label %1118

1101:                                             ; preds = %1096
  %1102 = load i32, ptr %25, align 4, !tbaa !5
  %1103 = call ptr @__errno_location() #10
  store i32 %1102, ptr %1103, align 4, !tbaa !5
  %1104 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1105 = load i32, ptr @test_count, align 4, !tbaa !5
  %1106 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1107 = load i32, ptr %1106, align 4, !tbaa !5
  %1108 = call ptr @s2n_strerror(i32 noundef %1107, ptr noundef @.str.6)
  %1109 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1110 = load i32, ptr %1109, align 4, !tbaa !5
  %1111 = call ptr @s2n_strerror_debug(i32 noundef %1110, ptr noundef @.str.6)
  %1112 = call ptr @__errno_location() #10
  %1113 = load i32, ptr %1112, align 4, !tbaa !5
  %1114 = call ptr @strerror(i32 noundef %1113) #9
  %1115 = call ptr @__errno_location() #10
  %1116 = load i32, ptr %1115, align 4, !tbaa !5
  %1117 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1104, ptr noundef @.str.4, i32 noundef %1105, ptr noundef @.str.18, ptr noundef @.str.3, i32 noundef 57, ptr noundef %1108, ptr noundef %1111, ptr noundef %1114, i32 noundef %1116) #9
  br label %1135

1118:                                             ; preds = %1096, %1089
  %1119 = load i32, ptr %25, align 4, !tbaa !5
  %1120 = call ptr @__errno_location() #10
  store i32 %1119, ptr %1120, align 4, !tbaa !5
  %1121 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1122 = load i32, ptr @test_count, align 4, !tbaa !5
  %1123 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1124 = load i32, ptr %1123, align 4, !tbaa !5
  %1125 = call ptr @s2n_strerror(i32 noundef %1124, ptr noundef @.str.6)
  %1126 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1127 = load i32, ptr %1126, align 4, !tbaa !5
  %1128 = call ptr @s2n_strerror_debug(i32 noundef %1127, ptr noundef @.str.6)
  %1129 = call ptr @__errno_location() #10
  %1130 = load i32, ptr %1129, align 4, !tbaa !5
  %1131 = call ptr @strerror(i32 noundef %1130) #9
  %1132 = call ptr @__errno_location() #10
  %1133 = load i32, ptr %1132, align 4, !tbaa !5
  %1134 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1121, ptr noundef @.str.7, i32 noundef %1122, ptr noundef @.str.18, ptr noundef @.str.3, i32 noundef 57, ptr noundef %1125, ptr noundef %1128, ptr noundef %1131, i32 noundef %1133) #9
  br label %1135

1135:                                             ; preds = %1118, %1101
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #9
  br label %1136

1136:                                             ; preds = %1135
  call void @exit(i32 noundef 1) #11
  unreachable

1137:                                             ; No predecessors!
  br label %1138

1138:                                             ; preds = %1137, %1082
  br label %1139

1139:                                             ; preds = %1138
  br label %1140

1140:                                             ; preds = %1139
  %1141 = load i32, ptr @test_count, align 4, !tbaa !5
  %1142 = add nsw i32 %1141, 1
  store i32 %1142, ptr @test_count, align 4, !tbaa !5
  %1143 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1144 = load i32, ptr %1143, align 4, !tbaa !5
  %1145 = icmp eq i32 %1144, 402653193
  br i1 %1145, label %1197, label %1146

1146:                                             ; preds = %1140
  br label %1147

1147:                                             ; preds = %1146
  br label %1148

1148:                                             ; preds = %1147
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #9
  %1149 = call ptr @__errno_location() #10
  %1150 = load i32, ptr %1149, align 4, !tbaa !5
  store i32 %1150, ptr %26, align 4, !tbaa !5
  %1151 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1152 = call i32 @s2n_print_stacktrace(ptr noundef %1151)
  %1153 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1154 = trunc i8 %1153 to i1
  br i1 %1154, label %1155, label %1177

1155:                                             ; preds = %1148
  %1156 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1157 = call i32 @fileno(ptr noundef %1156) #9
  %1158 = call i32 @isatty(i32 noundef %1157) #9
  %1159 = icmp ne i32 %1158, 0
  br i1 %1159, label %1160, label %1177

1160:                                             ; preds = %1155
  %1161 = load i32, ptr %26, align 4, !tbaa !5
  %1162 = call ptr @__errno_location() #10
  store i32 %1161, ptr %1162, align 4, !tbaa !5
  %1163 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1164 = load i32, ptr @test_count, align 4, !tbaa !5
  %1165 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1166 = load i32, ptr %1165, align 4, !tbaa !5
  %1167 = call ptr @s2n_strerror(i32 noundef %1166, ptr noundef @.str.6)
  %1168 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1169 = load i32, ptr %1168, align 4, !tbaa !5
  %1170 = call ptr @s2n_strerror_debug(i32 noundef %1169, ptr noundef @.str.6)
  %1171 = call ptr @__errno_location() #10
  %1172 = load i32, ptr %1171, align 4, !tbaa !5
  %1173 = call ptr @strerror(i32 noundef %1172) #9
  %1174 = call ptr @__errno_location() #10
  %1175 = load i32, ptr %1174, align 4, !tbaa !5
  %1176 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1163, ptr noundef @.str.4, i32 noundef %1164, ptr noundef @.str.15, ptr noundef @.str.3, i32 noundef 57, ptr noundef %1167, ptr noundef %1170, ptr noundef %1173, i32 noundef %1175) #9
  br label %1194

1177:                                             ; preds = %1155, %1148
  %1178 = load i32, ptr %26, align 4, !tbaa !5
  %1179 = call ptr @__errno_location() #10
  store i32 %1178, ptr %1179, align 4, !tbaa !5
  %1180 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1181 = load i32, ptr @test_count, align 4, !tbaa !5
  %1182 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1183 = load i32, ptr %1182, align 4, !tbaa !5
  %1184 = call ptr @s2n_strerror(i32 noundef %1183, ptr noundef @.str.6)
  %1185 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1186 = load i32, ptr %1185, align 4, !tbaa !5
  %1187 = call ptr @s2n_strerror_debug(i32 noundef %1186, ptr noundef @.str.6)
  %1188 = call ptr @__errno_location() #10
  %1189 = load i32, ptr %1188, align 4, !tbaa !5
  %1190 = call ptr @strerror(i32 noundef %1189) #9
  %1191 = call ptr @__errno_location() #10
  %1192 = load i32, ptr %1191, align 4, !tbaa !5
  %1193 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1180, ptr noundef @.str.7, i32 noundef %1181, ptr noundef @.str.15, ptr noundef @.str.3, i32 noundef 57, ptr noundef %1184, ptr noundef %1187, ptr noundef %1190, i32 noundef %1192) #9
  br label %1194

1194:                                             ; preds = %1177, %1160
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #9
  br label %1195

1195:                                             ; preds = %1194
  call void @exit(i32 noundef 1) #11
  unreachable

1196:                                             ; No predecessors!
  br label %1197

1197:                                             ; preds = %1196, %1140
  br label %1198

1198:                                             ; preds = %1197
  br label %1199

1199:                                             ; preds = %1198
  %1200 = load i32, ptr @test_count, align 4, !tbaa !5
  %1201 = add nsw i32 %1200, 1
  store i32 %1201, ptr @test_count, align 4, !tbaa !5
  %1202 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1203 = load i32, ptr %1202, align 4, !tbaa !5
  %1204 = call ptr @s2n_strerror_debug(i32 noundef %1203, ptr noundef @.str.6)
  %1205 = icmp eq ptr %1204, null
  br i1 %1205, label %1206, label %1257

1206:                                             ; preds = %1199
  br label %1207

1207:                                             ; preds = %1206
  br label %1208

1208:                                             ; preds = %1207
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #9
  %1209 = call ptr @__errno_location() #10
  %1210 = load i32, ptr %1209, align 4, !tbaa !5
  store i32 %1210, ptr %27, align 4, !tbaa !5
  %1211 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1212 = call i32 @s2n_print_stacktrace(ptr noundef %1211)
  %1213 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1214 = trunc i8 %1213 to i1
  br i1 %1214, label %1215, label %1237

1215:                                             ; preds = %1208
  %1216 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1217 = call i32 @fileno(ptr noundef %1216) #9
  %1218 = call i32 @isatty(i32 noundef %1217) #9
  %1219 = icmp ne i32 %1218, 0
  br i1 %1219, label %1220, label %1237

1220:                                             ; preds = %1215
  %1221 = load i32, ptr %27, align 4, !tbaa !5
  %1222 = call ptr @__errno_location() #10
  store i32 %1221, ptr %1222, align 4, !tbaa !5
  %1223 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1224 = load i32, ptr @test_count, align 4, !tbaa !5
  %1225 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1226 = load i32, ptr %1225, align 4, !tbaa !5
  %1227 = call ptr @s2n_strerror(i32 noundef %1226, ptr noundef @.str.6)
  %1228 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1229 = load i32, ptr %1228, align 4, !tbaa !5
  %1230 = call ptr @s2n_strerror_debug(i32 noundef %1229, ptr noundef @.str.6)
  %1231 = call ptr @__errno_location() #10
  %1232 = load i32, ptr %1231, align 4, !tbaa !5
  %1233 = call ptr @strerror(i32 noundef %1232) #9
  %1234 = call ptr @__errno_location() #10
  %1235 = load i32, ptr %1234, align 4, !tbaa !5
  %1236 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1223, ptr noundef @.str.4, i32 noundef %1224, ptr noundef @.str.16, ptr noundef @.str.3, i32 noundef 57, ptr noundef %1227, ptr noundef %1230, ptr noundef %1233, i32 noundef %1235) #9
  br label %1254

1237:                                             ; preds = %1215, %1208
  %1238 = load i32, ptr %27, align 4, !tbaa !5
  %1239 = call ptr @__errno_location() #10
  store i32 %1238, ptr %1239, align 4, !tbaa !5
  %1240 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1241 = load i32, ptr @test_count, align 4, !tbaa !5
  %1242 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1243 = load i32, ptr %1242, align 4, !tbaa !5
  %1244 = call ptr @s2n_strerror(i32 noundef %1243, ptr noundef @.str.6)
  %1245 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1246 = load i32, ptr %1245, align 4, !tbaa !5
  %1247 = call ptr @s2n_strerror_debug(i32 noundef %1246, ptr noundef @.str.6)
  %1248 = call ptr @__errno_location() #10
  %1249 = load i32, ptr %1248, align 4, !tbaa !5
  %1250 = call ptr @strerror(i32 noundef %1249) #9
  %1251 = call ptr @__errno_location() #10
  %1252 = load i32, ptr %1251, align 4, !tbaa !5
  %1253 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1240, ptr noundef @.str.7, i32 noundef %1241, ptr noundef @.str.16, ptr noundef @.str.3, i32 noundef 57, ptr noundef %1244, ptr noundef %1247, ptr noundef %1250, i32 noundef %1252) #9
  br label %1254

1254:                                             ; preds = %1237, %1220
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #9
  br label %1255

1255:                                             ; preds = %1254
  call void @exit(i32 noundef 1) #11
  unreachable

1256:                                             ; No predecessors!
  br label %1257

1257:                                             ; preds = %1256, %1199
  br label %1258

1258:                                             ; preds = %1257
  br label %1259

1259:                                             ; preds = %1258
  br label %1260

1260:                                             ; preds = %1259
  %1261 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  store i32 0, ptr %1261, align 4, !tbaa !5
  call void @s2n_debug_info_reset()
  %1262 = call ptr @__errno_location() #10
  store i32 0, ptr %1262, align 4, !tbaa !5
  br label %1263

1263:                                             ; preds = %1260
  br label %1264

1264:                                             ; preds = %1263
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #9
  store ptr null, ptr %28, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #9
  store ptr null, ptr %29, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #9
  store ptr null, ptr %30, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #9
  store ptr null, ptr %31, align 8, !tbaa !9
  br label %1265

1265:                                             ; preds = %1264
  %1266 = load i32, ptr @test_count, align 4, !tbaa !5
  %1267 = add nsw i32 %1266, 1
  store i32 %1267, ptr @test_count, align 4, !tbaa !5
  %1268 = call i32 @s2n_mem_get_callbacks(ptr noundef %28, ptr noundef %29, ptr noundef %30, ptr noundef %31)
  %1269 = getelementptr inbounds %struct.s2n_result, ptr %32, i32 0, i32 0
  store i32 %1268, ptr %1269, align 4
  %1270 = getelementptr inbounds %struct.s2n_result, ptr %32, i32 0, i32 0
  %1271 = load i32, ptr %1270, align 4
  %1272 = call zeroext i1 @s2n_result_is_ok(i32 %1271)
  br i1 %1272, label %1326, label %1273

1273:                                             ; preds = %1265
  br label %1274

1274:                                             ; preds = %1273
  br label %1275

1275:                                             ; preds = %1274
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #9
  %1276 = call ptr @__errno_location() #10
  %1277 = load i32, ptr %1276, align 4, !tbaa !5
  store i32 %1277, ptr %33, align 4, !tbaa !5
  %1278 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1279 = call i32 @s2n_print_stacktrace(ptr noundef %1278)
  %1280 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1281 = trunc i8 %1280 to i1
  br i1 %1281, label %1282, label %1304

1282:                                             ; preds = %1275
  %1283 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1284 = call i32 @fileno(ptr noundef %1283) #9
  %1285 = call i32 @isatty(i32 noundef %1284) #9
  %1286 = icmp ne i32 %1285, 0
  br i1 %1286, label %1287, label %1304

1287:                                             ; preds = %1282
  %1288 = load i32, ptr %33, align 4, !tbaa !5
  %1289 = call ptr @__errno_location() #10
  store i32 %1288, ptr %1289, align 4, !tbaa !5
  %1290 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1291 = load i32, ptr @test_count, align 4, !tbaa !5
  %1292 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1293 = load i32, ptr %1292, align 4, !tbaa !5
  %1294 = call ptr @s2n_strerror(i32 noundef %1293, ptr noundef @.str.6)
  %1295 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1296 = load i32, ptr %1295, align 4, !tbaa !5
  %1297 = call ptr @s2n_strerror_debug(i32 noundef %1296, ptr noundef @.str.6)
  %1298 = call ptr @__errno_location() #10
  %1299 = load i32, ptr %1298, align 4, !tbaa !5
  %1300 = call ptr @strerror(i32 noundef %1299) #9
  %1301 = call ptr @__errno_location() #10
  %1302 = load i32, ptr %1301, align 4, !tbaa !5
  %1303 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1290, ptr noundef @.str.4, i32 noundef %1291, ptr noundef @.str.19, ptr noundef @.str.3, i32 noundef 75, ptr noundef %1294, ptr noundef %1297, ptr noundef %1300, i32 noundef %1302) #9
  br label %1321

1304:                                             ; preds = %1282, %1275
  %1305 = load i32, ptr %33, align 4, !tbaa !5
  %1306 = call ptr @__errno_location() #10
  store i32 %1305, ptr %1306, align 4, !tbaa !5
  %1307 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1308 = load i32, ptr @test_count, align 4, !tbaa !5
  %1309 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1310 = load i32, ptr %1309, align 4, !tbaa !5
  %1311 = call ptr @s2n_strerror(i32 noundef %1310, ptr noundef @.str.6)
  %1312 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1313 = load i32, ptr %1312, align 4, !tbaa !5
  %1314 = call ptr @s2n_strerror_debug(i32 noundef %1313, ptr noundef @.str.6)
  %1315 = call ptr @__errno_location() #10
  %1316 = load i32, ptr %1315, align 4, !tbaa !5
  %1317 = call ptr @strerror(i32 noundef %1316) #9
  %1318 = call ptr @__errno_location() #10
  %1319 = load i32, ptr %1318, align 4, !tbaa !5
  %1320 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1307, ptr noundef @.str.7, i32 noundef %1308, ptr noundef @.str.19, ptr noundef @.str.3, i32 noundef 75, ptr noundef %1311, ptr noundef %1314, ptr noundef %1317, i32 noundef %1319) #9
  br label %1321

1321:                                             ; preds = %1304, %1287
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #9
  br label %1322

1322:                                             ; preds = %1321
  br label %1323

1323:                                             ; preds = %1322
  call void @exit(i32 noundef 1) #11
  unreachable

1324:                                             ; No predecessors!
  br label %1325

1325:                                             ; preds = %1324
  br label %1326

1326:                                             ; preds = %1325, %1265
  br label %1327

1327:                                             ; preds = %1326
  br label %1328

1328:                                             ; preds = %1327
  br label %1329

1329:                                             ; preds = %1328
  %1330 = load i32, ptr @test_count, align 4, !tbaa !5
  %1331 = add nsw i32 %1330, 1
  store i32 %1331, ptr @test_count, align 4, !tbaa !5
  %1332 = load ptr, ptr %28, align 8, !tbaa !9
  %1333 = load ptr, ptr %29, align 8, !tbaa !9
  %1334 = load ptr, ptr %30, align 8, !tbaa !9
  %1335 = call i32 @s2n_mem_override_callbacks(ptr noundef %1332, ptr noundef %1333, ptr noundef %1334, ptr noundef @s2n_strict_mem_free_cb)
  %1336 = getelementptr inbounds %struct.s2n_result, ptr %34, i32 0, i32 0
  store i32 %1335, ptr %1336, align 4
  %1337 = getelementptr inbounds %struct.s2n_result, ptr %34, i32 0, i32 0
  %1338 = load i32, ptr %1337, align 4
  %1339 = call zeroext i1 @s2n_result_is_ok(i32 %1338)
  br i1 %1339, label %1393, label %1340

1340:                                             ; preds = %1329
  br label %1341

1341:                                             ; preds = %1340
  br label %1342

1342:                                             ; preds = %1341
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #9
  %1343 = call ptr @__errno_location() #10
  %1344 = load i32, ptr %1343, align 4, !tbaa !5
  store i32 %1344, ptr %35, align 4, !tbaa !5
  %1345 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1346 = call i32 @s2n_print_stacktrace(ptr noundef %1345)
  %1347 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1348 = trunc i8 %1347 to i1
  br i1 %1348, label %1349, label %1371

1349:                                             ; preds = %1342
  %1350 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1351 = call i32 @fileno(ptr noundef %1350) #9
  %1352 = call i32 @isatty(i32 noundef %1351) #9
  %1353 = icmp ne i32 %1352, 0
  br i1 %1353, label %1354, label %1371

1354:                                             ; preds = %1349
  %1355 = load i32, ptr %35, align 4, !tbaa !5
  %1356 = call ptr @__errno_location() #10
  store i32 %1355, ptr %1356, align 4, !tbaa !5
  %1357 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1358 = load i32, ptr @test_count, align 4, !tbaa !5
  %1359 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1360 = load i32, ptr %1359, align 4, !tbaa !5
  %1361 = call ptr @s2n_strerror(i32 noundef %1360, ptr noundef @.str.6)
  %1362 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1363 = load i32, ptr %1362, align 4, !tbaa !5
  %1364 = call ptr @s2n_strerror_debug(i32 noundef %1363, ptr noundef @.str.6)
  %1365 = call ptr @__errno_location() #10
  %1366 = load i32, ptr %1365, align 4, !tbaa !5
  %1367 = call ptr @strerror(i32 noundef %1366) #9
  %1368 = call ptr @__errno_location() #10
  %1369 = load i32, ptr %1368, align 4, !tbaa !5
  %1370 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1357, ptr noundef @.str.4, i32 noundef %1358, ptr noundef @.str.20, ptr noundef @.str.3, i32 noundef 78, ptr noundef %1361, ptr noundef %1364, ptr noundef %1367, i32 noundef %1369) #9
  br label %1388

1371:                                             ; preds = %1349, %1342
  %1372 = load i32, ptr %35, align 4, !tbaa !5
  %1373 = call ptr @__errno_location() #10
  store i32 %1372, ptr %1373, align 4, !tbaa !5
  %1374 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1375 = load i32, ptr @test_count, align 4, !tbaa !5
  %1376 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1377 = load i32, ptr %1376, align 4, !tbaa !5
  %1378 = call ptr @s2n_strerror(i32 noundef %1377, ptr noundef @.str.6)
  %1379 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1380 = load i32, ptr %1379, align 4, !tbaa !5
  %1381 = call ptr @s2n_strerror_debug(i32 noundef %1380, ptr noundef @.str.6)
  %1382 = call ptr @__errno_location() #10
  %1383 = load i32, ptr %1382, align 4, !tbaa !5
  %1384 = call ptr @strerror(i32 noundef %1383) #9
  %1385 = call ptr @__errno_location() #10
  %1386 = load i32, ptr %1385, align 4, !tbaa !5
  %1387 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1374, ptr noundef @.str.7, i32 noundef %1375, ptr noundef @.str.20, ptr noundef @.str.3, i32 noundef 78, ptr noundef %1378, ptr noundef %1381, ptr noundef %1384, i32 noundef %1386) #9
  br label %1388

1388:                                             ; preds = %1371, %1354
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #9
  br label %1389

1389:                                             ; preds = %1388
  br label %1390

1390:                                             ; preds = %1389
  call void @exit(i32 noundef 1) #11
  unreachable

1391:                                             ; No predecessors!
  br label %1392

1392:                                             ; preds = %1391
  br label %1393

1393:                                             ; preds = %1392, %1329
  br label %1394

1394:                                             ; preds = %1393
  br label %1395

1395:                                             ; preds = %1394
  call void @llvm.lifetime.start.p0(i64 24, ptr %36) #9
  call void @llvm.memset.p0.i64(ptr align 8 %36, i8 0, i64 24, i1 false)
  br label %1396

1396:                                             ; preds = %1395
  %1397 = load i32, ptr @test_count, align 4, !tbaa !5
  %1398 = add nsw i32 %1397, 1
  store i32 %1398, ptr @test_count, align 4, !tbaa !5
  %1399 = call i32 @s2n_free(ptr noundef %36)
  %1400 = icmp eq i32 %1399, -1
  br i1 %1400, label %1401, label %1454

1401:                                             ; preds = %1396
  br label %1402

1402:                                             ; preds = %1401
  br label %1403

1403:                                             ; preds = %1402
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #9
  %1404 = call ptr @__errno_location() #10
  %1405 = load i32, ptr %1404, align 4, !tbaa !5
  store i32 %1405, ptr %37, align 4, !tbaa !5
  %1406 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1407 = call i32 @s2n_print_stacktrace(ptr noundef %1406)
  %1408 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1409 = trunc i8 %1408 to i1
  br i1 %1409, label %1410, label %1432

1410:                                             ; preds = %1403
  %1411 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1412 = call i32 @fileno(ptr noundef %1411) #9
  %1413 = call i32 @isatty(i32 noundef %1412) #9
  %1414 = icmp ne i32 %1413, 0
  br i1 %1414, label %1415, label %1432

1415:                                             ; preds = %1410
  %1416 = load i32, ptr %37, align 4, !tbaa !5
  %1417 = call ptr @__errno_location() #10
  store i32 %1416, ptr %1417, align 4, !tbaa !5
  %1418 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1419 = load i32, ptr @test_count, align 4, !tbaa !5
  %1420 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1421 = load i32, ptr %1420, align 4, !tbaa !5
  %1422 = call ptr @s2n_strerror(i32 noundef %1421, ptr noundef @.str.6)
  %1423 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1424 = load i32, ptr %1423, align 4, !tbaa !5
  %1425 = call ptr @s2n_strerror_debug(i32 noundef %1424, ptr noundef @.str.6)
  %1426 = call ptr @__errno_location() #10
  %1427 = load i32, ptr %1426, align 4, !tbaa !5
  %1428 = call ptr @strerror(i32 noundef %1427) #9
  %1429 = call ptr @__errno_location() #10
  %1430 = load i32, ptr %1429, align 4, !tbaa !5
  %1431 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1418, ptr noundef @.str.4, i32 noundef %1419, ptr noundef @.str.10, ptr noundef @.str.3, i32 noundef 82, ptr noundef %1422, ptr noundef %1425, ptr noundef %1428, i32 noundef %1430) #9
  br label %1449

1432:                                             ; preds = %1410, %1403
  %1433 = load i32, ptr %37, align 4, !tbaa !5
  %1434 = call ptr @__errno_location() #10
  store i32 %1433, ptr %1434, align 4, !tbaa !5
  %1435 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1436 = load i32, ptr @test_count, align 4, !tbaa !5
  %1437 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1438 = load i32, ptr %1437, align 4, !tbaa !5
  %1439 = call ptr @s2n_strerror(i32 noundef %1438, ptr noundef @.str.6)
  %1440 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1441 = load i32, ptr %1440, align 4, !tbaa !5
  %1442 = call ptr @s2n_strerror_debug(i32 noundef %1441, ptr noundef @.str.6)
  %1443 = call ptr @__errno_location() #10
  %1444 = load i32, ptr %1443, align 4, !tbaa !5
  %1445 = call ptr @strerror(i32 noundef %1444) #9
  %1446 = call ptr @__errno_location() #10
  %1447 = load i32, ptr %1446, align 4, !tbaa !5
  %1448 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1435, ptr noundef @.str.7, i32 noundef %1436, ptr noundef @.str.10, ptr noundef @.str.3, i32 noundef 82, ptr noundef %1439, ptr noundef %1442, ptr noundef %1445, i32 noundef %1447) #9
  br label %1449

1449:                                             ; preds = %1432, %1415
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #9
  br label %1450

1450:                                             ; preds = %1449
  br label %1451

1451:                                             ; preds = %1450
  call void @exit(i32 noundef 1) #11
  unreachable

1452:                                             ; No predecessors!
  br label %1453

1453:                                             ; preds = %1452
  br label %1454

1454:                                             ; preds = %1453, %1396
  br label %1455

1455:                                             ; preds = %1454
  br label %1456

1456:                                             ; preds = %1455
  br label %1457

1457:                                             ; preds = %1456
  %1458 = load i32, ptr @test_count, align 4, !tbaa !5
  %1459 = add nsw i32 %1458, 1
  store i32 %1459, ptr @test_count, align 4, !tbaa !5
  %1460 = call i32 @s2n_free_without_wipe(ptr noundef %36)
  %1461 = icmp eq i32 %1460, -1
  br i1 %1461, label %1462, label %1515

1462:                                             ; preds = %1457
  br label %1463

1463:                                             ; preds = %1462
  br label %1464

1464:                                             ; preds = %1463
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #9
  %1465 = call ptr @__errno_location() #10
  %1466 = load i32, ptr %1465, align 4, !tbaa !5
  store i32 %1466, ptr %38, align 4, !tbaa !5
  %1467 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1468 = call i32 @s2n_print_stacktrace(ptr noundef %1467)
  %1469 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1470 = trunc i8 %1469 to i1
  br i1 %1470, label %1471, label %1493

1471:                                             ; preds = %1464
  %1472 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1473 = call i32 @fileno(ptr noundef %1472) #9
  %1474 = call i32 @isatty(i32 noundef %1473) #9
  %1475 = icmp ne i32 %1474, 0
  br i1 %1475, label %1476, label %1493

1476:                                             ; preds = %1471
  %1477 = load i32, ptr %38, align 4, !tbaa !5
  %1478 = call ptr @__errno_location() #10
  store i32 %1477, ptr %1478, align 4, !tbaa !5
  %1479 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1480 = load i32, ptr @test_count, align 4, !tbaa !5
  %1481 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1482 = load i32, ptr %1481, align 4, !tbaa !5
  %1483 = call ptr @s2n_strerror(i32 noundef %1482, ptr noundef @.str.6)
  %1484 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1485 = load i32, ptr %1484, align 4, !tbaa !5
  %1486 = call ptr @s2n_strerror_debug(i32 noundef %1485, ptr noundef @.str.6)
  %1487 = call ptr @__errno_location() #10
  %1488 = load i32, ptr %1487, align 4, !tbaa !5
  %1489 = call ptr @strerror(i32 noundef %1488) #9
  %1490 = call ptr @__errno_location() #10
  %1491 = load i32, ptr %1490, align 4, !tbaa !5
  %1492 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1479, ptr noundef @.str.4, i32 noundef %1480, ptr noundef @.str.11, ptr noundef @.str.3, i32 noundef 83, ptr noundef %1483, ptr noundef %1486, ptr noundef %1489, i32 noundef %1491) #9
  br label %1510

1493:                                             ; preds = %1471, %1464
  %1494 = load i32, ptr %38, align 4, !tbaa !5
  %1495 = call ptr @__errno_location() #10
  store i32 %1494, ptr %1495, align 4, !tbaa !5
  %1496 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1497 = load i32, ptr @test_count, align 4, !tbaa !5
  %1498 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1499 = load i32, ptr %1498, align 4, !tbaa !5
  %1500 = call ptr @s2n_strerror(i32 noundef %1499, ptr noundef @.str.6)
  %1501 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1502 = load i32, ptr %1501, align 4, !tbaa !5
  %1503 = call ptr @s2n_strerror_debug(i32 noundef %1502, ptr noundef @.str.6)
  %1504 = call ptr @__errno_location() #10
  %1505 = load i32, ptr %1504, align 4, !tbaa !5
  %1506 = call ptr @strerror(i32 noundef %1505) #9
  %1507 = call ptr @__errno_location() #10
  %1508 = load i32, ptr %1507, align 4, !tbaa !5
  %1509 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1496, ptr noundef @.str.7, i32 noundef %1497, ptr noundef @.str.11, ptr noundef @.str.3, i32 noundef 83, ptr noundef %1500, ptr noundef %1503, ptr noundef %1506, i32 noundef %1508) #9
  br label %1510

1510:                                             ; preds = %1493, %1476
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #9
  br label %1511

1511:                                             ; preds = %1510
  br label %1512

1512:                                             ; preds = %1511
  call void @exit(i32 noundef 1) #11
  unreachable

1513:                                             ; No predecessors!
  br label %1514

1514:                                             ; preds = %1513
  br label %1515

1515:                                             ; preds = %1514, %1457
  br label %1516

1516:                                             ; preds = %1515
  br label %1517

1517:                                             ; preds = %1516
  br label %1518

1518:                                             ; preds = %1517
  %1519 = load i32, ptr @test_count, align 4, !tbaa !5
  %1520 = add nsw i32 %1519, 1
  store i32 %1520, ptr @test_count, align 4, !tbaa !5
  %1521 = call i32 @s2n_free_or_wipe(ptr noundef %36)
  %1522 = icmp eq i32 %1521, -1
  br i1 %1522, label %1523, label %1576

1523:                                             ; preds = %1518
  br label %1524

1524:                                             ; preds = %1523
  br label %1525

1525:                                             ; preds = %1524
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #9
  %1526 = call ptr @__errno_location() #10
  %1527 = load i32, ptr %1526, align 4, !tbaa !5
  store i32 %1527, ptr %39, align 4, !tbaa !5
  %1528 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1529 = call i32 @s2n_print_stacktrace(ptr noundef %1528)
  %1530 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1531 = trunc i8 %1530 to i1
  br i1 %1531, label %1532, label %1554

1532:                                             ; preds = %1525
  %1533 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1534 = call i32 @fileno(ptr noundef %1533) #9
  %1535 = call i32 @isatty(i32 noundef %1534) #9
  %1536 = icmp ne i32 %1535, 0
  br i1 %1536, label %1537, label %1554

1537:                                             ; preds = %1532
  %1538 = load i32, ptr %39, align 4, !tbaa !5
  %1539 = call ptr @__errno_location() #10
  store i32 %1538, ptr %1539, align 4, !tbaa !5
  %1540 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1541 = load i32, ptr @test_count, align 4, !tbaa !5
  %1542 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1543 = load i32, ptr %1542, align 4, !tbaa !5
  %1544 = call ptr @s2n_strerror(i32 noundef %1543, ptr noundef @.str.6)
  %1545 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1546 = load i32, ptr %1545, align 4, !tbaa !5
  %1547 = call ptr @s2n_strerror_debug(i32 noundef %1546, ptr noundef @.str.6)
  %1548 = call ptr @__errno_location() #10
  %1549 = load i32, ptr %1548, align 4, !tbaa !5
  %1550 = call ptr @strerror(i32 noundef %1549) #9
  %1551 = call ptr @__errno_location() #10
  %1552 = load i32, ptr %1551, align 4, !tbaa !5
  %1553 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1540, ptr noundef @.str.4, i32 noundef %1541, ptr noundef @.str.12, ptr noundef @.str.3, i32 noundef 84, ptr noundef %1544, ptr noundef %1547, ptr noundef %1550, i32 noundef %1552) #9
  br label %1571

1554:                                             ; preds = %1532, %1525
  %1555 = load i32, ptr %39, align 4, !tbaa !5
  %1556 = call ptr @__errno_location() #10
  store i32 %1555, ptr %1556, align 4, !tbaa !5
  %1557 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1558 = load i32, ptr @test_count, align 4, !tbaa !5
  %1559 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1560 = load i32, ptr %1559, align 4, !tbaa !5
  %1561 = call ptr @s2n_strerror(i32 noundef %1560, ptr noundef @.str.6)
  %1562 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1563 = load i32, ptr %1562, align 4, !tbaa !5
  %1564 = call ptr @s2n_strerror_debug(i32 noundef %1563, ptr noundef @.str.6)
  %1565 = call ptr @__errno_location() #10
  %1566 = load i32, ptr %1565, align 4, !tbaa !5
  %1567 = call ptr @strerror(i32 noundef %1566) #9
  %1568 = call ptr @__errno_location() #10
  %1569 = load i32, ptr %1568, align 4, !tbaa !5
  %1570 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1557, ptr noundef @.str.7, i32 noundef %1558, ptr noundef @.str.12, ptr noundef @.str.3, i32 noundef 84, ptr noundef %1561, ptr noundef %1564, ptr noundef %1567, i32 noundef %1569) #9
  br label %1571

1571:                                             ; preds = %1554, %1537
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #9
  br label %1572

1572:                                             ; preds = %1571
  br label %1573

1573:                                             ; preds = %1572
  call void @exit(i32 noundef 1) #11
  unreachable

1574:                                             ; No predecessors!
  br label %1575

1575:                                             ; preds = %1574
  br label %1576

1576:                                             ; preds = %1575, %1518
  br label %1577

1577:                                             ; preds = %1576
  br label %1578

1578:                                             ; preds = %1577
  br label %1579

1579:                                             ; preds = %1578
  %1580 = load i32, ptr @test_count, align 4, !tbaa !5
  %1581 = add nsw i32 %1580, 1
  store i32 %1581, ptr @test_count, align 4, !tbaa !5
  %1582 = load ptr, ptr %28, align 8, !tbaa !9
  %1583 = load ptr, ptr %29, align 8, !tbaa !9
  %1584 = load ptr, ptr %30, align 8, !tbaa !9
  %1585 = load ptr, ptr %31, align 8, !tbaa !9
  %1586 = call i32 @s2n_mem_override_callbacks(ptr noundef %1582, ptr noundef %1583, ptr noundef %1584, ptr noundef %1585)
  %1587 = getelementptr inbounds %struct.s2n_result, ptr %40, i32 0, i32 0
  store i32 %1586, ptr %1587, align 4
  %1588 = getelementptr inbounds %struct.s2n_result, ptr %40, i32 0, i32 0
  %1589 = load i32, ptr %1588, align 4
  %1590 = call zeroext i1 @s2n_result_is_ok(i32 %1589)
  br i1 %1590, label %1644, label %1591

1591:                                             ; preds = %1579
  br label %1592

1592:                                             ; preds = %1591
  br label %1593

1593:                                             ; preds = %1592
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #9
  %1594 = call ptr @__errno_location() #10
  %1595 = load i32, ptr %1594, align 4, !tbaa !5
  store i32 %1595, ptr %41, align 4, !tbaa !5
  %1596 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1597 = call i32 @s2n_print_stacktrace(ptr noundef %1596)
  %1598 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1599 = trunc i8 %1598 to i1
  br i1 %1599, label %1600, label %1622

1600:                                             ; preds = %1593
  %1601 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1602 = call i32 @fileno(ptr noundef %1601) #9
  %1603 = call i32 @isatty(i32 noundef %1602) #9
  %1604 = icmp ne i32 %1603, 0
  br i1 %1604, label %1605, label %1622

1605:                                             ; preds = %1600
  %1606 = load i32, ptr %41, align 4, !tbaa !5
  %1607 = call ptr @__errno_location() #10
  store i32 %1606, ptr %1607, align 4, !tbaa !5
  %1608 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1609 = load i32, ptr @test_count, align 4, !tbaa !5
  %1610 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1611 = load i32, ptr %1610, align 4, !tbaa !5
  %1612 = call ptr @s2n_strerror(i32 noundef %1611, ptr noundef @.str.6)
  %1613 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1614 = load i32, ptr %1613, align 4, !tbaa !5
  %1615 = call ptr @s2n_strerror_debug(i32 noundef %1614, ptr noundef @.str.6)
  %1616 = call ptr @__errno_location() #10
  %1617 = load i32, ptr %1616, align 4, !tbaa !5
  %1618 = call ptr @strerror(i32 noundef %1617) #9
  %1619 = call ptr @__errno_location() #10
  %1620 = load i32, ptr %1619, align 4, !tbaa !5
  %1621 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1608, ptr noundef @.str.4, i32 noundef %1609, ptr noundef @.str.21, ptr noundef @.str.3, i32 noundef 87, ptr noundef %1612, ptr noundef %1615, ptr noundef %1618, i32 noundef %1620) #9
  br label %1639

1622:                                             ; preds = %1600, %1593
  %1623 = load i32, ptr %41, align 4, !tbaa !5
  %1624 = call ptr @__errno_location() #10
  store i32 %1623, ptr %1624, align 4, !tbaa !5
  %1625 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1626 = load i32, ptr @test_count, align 4, !tbaa !5
  %1627 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1628 = load i32, ptr %1627, align 4, !tbaa !5
  %1629 = call ptr @s2n_strerror(i32 noundef %1628, ptr noundef @.str.6)
  %1630 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1631 = load i32, ptr %1630, align 4, !tbaa !5
  %1632 = call ptr @s2n_strerror_debug(i32 noundef %1631, ptr noundef @.str.6)
  %1633 = call ptr @__errno_location() #10
  %1634 = load i32, ptr %1633, align 4, !tbaa !5
  %1635 = call ptr @strerror(i32 noundef %1634) #9
  %1636 = call ptr @__errno_location() #10
  %1637 = load i32, ptr %1636, align 4, !tbaa !5
  %1638 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1625, ptr noundef @.str.7, i32 noundef %1626, ptr noundef @.str.21, ptr noundef @.str.3, i32 noundef 87, ptr noundef %1629, ptr noundef %1632, ptr noundef %1635, i32 noundef %1637) #9
  br label %1639

1639:                                             ; preds = %1622, %1605
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #9
  br label %1640

1640:                                             ; preds = %1639
  br label %1641

1641:                                             ; preds = %1640
  call void @exit(i32 noundef 1) #11
  unreachable

1642:                                             ; No predecessors!
  br label %1643

1643:                                             ; preds = %1642
  br label %1644

1644:                                             ; preds = %1643, %1579
  br label %1645

1645:                                             ; preds = %1644
  br label %1646

1646:                                             ; preds = %1645
  call void @llvm.lifetime.end.p0(i64 24, ptr %36) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  br label %1647

1647:                                             ; preds = %1646
  br label %1648

1648:                                             ; preds = %1647
  %1649 = call i32 @s2n_cleanup()
  %1650 = icmp eq i32 %1649, -1
  br i1 %1650, label %1651, label %1702

1651:                                             ; preds = %1648
  br label %1652

1652:                                             ; preds = %1651
  br label %1653

1653:                                             ; preds = %1652
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #9
  %1654 = call ptr @__errno_location() #10
  %1655 = load i32, ptr %1654, align 4, !tbaa !5
  store i32 %1655, ptr %42, align 4, !tbaa !5
  %1656 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1657 = call i32 @s2n_print_stacktrace(ptr noundef %1656)
  %1658 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1659 = trunc i8 %1658 to i1
  br i1 %1659, label %1660, label %1682

1660:                                             ; preds = %1653
  %1661 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1662 = call i32 @fileno(ptr noundef %1661) #9
  %1663 = call i32 @isatty(i32 noundef %1662) #9
  %1664 = icmp ne i32 %1663, 0
  br i1 %1664, label %1665, label %1682

1665:                                             ; preds = %1660
  %1666 = load i32, ptr %42, align 4, !tbaa !5
  %1667 = call ptr @__errno_location() #10
  store i32 %1666, ptr %1667, align 4, !tbaa !5
  %1668 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1669 = load i32, ptr @test_count, align 4, !tbaa !5
  %1670 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1671 = load i32, ptr %1670, align 4, !tbaa !5
  %1672 = call ptr @s2n_strerror(i32 noundef %1671, ptr noundef @.str.6)
  %1673 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1674 = load i32, ptr %1673, align 4, !tbaa !5
  %1675 = call ptr @s2n_strerror_debug(i32 noundef %1674, ptr noundef @.str.6)
  %1676 = call ptr @__errno_location() #10
  %1677 = load i32, ptr %1676, align 4, !tbaa !5
  %1678 = call ptr @strerror(i32 noundef %1677) #9
  %1679 = call ptr @__errno_location() #10
  %1680 = load i32, ptr %1679, align 4, !tbaa !5
  %1681 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1668, ptr noundef @.str.4, i32 noundef %1669, ptr noundef @.str.22, ptr noundef @.str.3, i32 noundef 91, ptr noundef %1672, ptr noundef %1675, ptr noundef %1678, i32 noundef %1680) #9
  br label %1699

1682:                                             ; preds = %1660, %1653
  %1683 = load i32, ptr %42, align 4, !tbaa !5
  %1684 = call ptr @__errno_location() #10
  store i32 %1683, ptr %1684, align 4, !tbaa !5
  %1685 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1686 = load i32, ptr @test_count, align 4, !tbaa !5
  %1687 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1688 = load i32, ptr %1687, align 4, !tbaa !5
  %1689 = call ptr @s2n_strerror(i32 noundef %1688, ptr noundef @.str.6)
  %1690 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1691 = load i32, ptr %1690, align 4, !tbaa !5
  %1692 = call ptr @s2n_strerror_debug(i32 noundef %1691, ptr noundef @.str.6)
  %1693 = call ptr @__errno_location() #10
  %1694 = load i32, ptr %1693, align 4, !tbaa !5
  %1695 = call ptr @strerror(i32 noundef %1694) #9
  %1696 = call ptr @__errno_location() #10
  %1697 = load i32, ptr %1696, align 4, !tbaa !5
  %1698 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1685, ptr noundef @.str.7, i32 noundef %1686, ptr noundef @.str.22, ptr noundef @.str.3, i32 noundef 91, ptr noundef %1689, ptr noundef %1692, ptr noundef %1695, i32 noundef %1697) #9
  br label %1699

1699:                                             ; preds = %1682, %1665
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #9
  br label %1700

1700:                                             ; preds = %1699
  call void @exit(i32 noundef 1) #11
  unreachable

1701:                                             ; No predecessors!
  br label %1702

1702:                                             ; preds = %1701, %1648
  br label %1703

1703:                                             ; preds = %1702
  br label %1704

1704:                                             ; preds = %1703
  br label %1705

1705:                                             ; preds = %1704
  %1706 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %1707 = icmp eq i32 %1706, -1
  br i1 %1707, label %1708, label %1759

1708:                                             ; preds = %1705
  br label %1709

1709:                                             ; preds = %1708
  br label %1710

1710:                                             ; preds = %1709
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #9
  %1711 = call ptr @__errno_location() #10
  %1712 = load i32, ptr %1711, align 4, !tbaa !5
  store i32 %1712, ptr %43, align 4, !tbaa !5
  %1713 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1714 = call i32 @s2n_print_stacktrace(ptr noundef %1713)
  %1715 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1716 = trunc i8 %1715 to i1
  br i1 %1716, label %1717, label %1739

1717:                                             ; preds = %1710
  %1718 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1719 = call i32 @fileno(ptr noundef %1718) #9
  %1720 = call i32 @isatty(i32 noundef %1719) #9
  %1721 = icmp ne i32 %1720, 0
  br i1 %1721, label %1722, label %1739

1722:                                             ; preds = %1717
  %1723 = load i32, ptr %43, align 4, !tbaa !5
  %1724 = call ptr @__errno_location() #10
  store i32 %1723, ptr %1724, align 4, !tbaa !5
  %1725 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1726 = load i32, ptr @test_count, align 4, !tbaa !5
  %1727 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1728 = load i32, ptr %1727, align 4, !tbaa !5
  %1729 = call ptr @s2n_strerror(i32 noundef %1728, ptr noundef @.str.6)
  %1730 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1731 = load i32, ptr %1730, align 4, !tbaa !5
  %1732 = call ptr @s2n_strerror_debug(i32 noundef %1731, ptr noundef @.str.6)
  %1733 = call ptr @__errno_location() #10
  %1734 = load i32, ptr %1733, align 4, !tbaa !5
  %1735 = call ptr @strerror(i32 noundef %1734) #9
  %1736 = call ptr @__errno_location() #10
  %1737 = load i32, ptr %1736, align 4, !tbaa !5
  %1738 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1725, ptr noundef @.str.4, i32 noundef %1726, ptr noundef @.str.23, ptr noundef @.str.3, i32 noundef 91, ptr noundef %1729, ptr noundef %1732, ptr noundef %1735, i32 noundef %1737) #9
  br label %1756

1739:                                             ; preds = %1717, %1710
  %1740 = load i32, ptr %43, align 4, !tbaa !5
  %1741 = call ptr @__errno_location() #10
  store i32 %1740, ptr %1741, align 4, !tbaa !5
  %1742 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1743 = load i32, ptr @test_count, align 4, !tbaa !5
  %1744 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1745 = load i32, ptr %1744, align 4, !tbaa !5
  %1746 = call ptr @s2n_strerror(i32 noundef %1745, ptr noundef @.str.6)
  %1747 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1748 = load i32, ptr %1747, align 4, !tbaa !5
  %1749 = call ptr @s2n_strerror_debug(i32 noundef %1748, ptr noundef @.str.6)
  %1750 = call ptr @__errno_location() #10
  %1751 = load i32, ptr %1750, align 4, !tbaa !5
  %1752 = call ptr @strerror(i32 noundef %1751) #9
  %1753 = call ptr @__errno_location() #10
  %1754 = load i32, ptr %1753, align 4, !tbaa !5
  %1755 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1742, ptr noundef @.str.7, i32 noundef %1743, ptr noundef @.str.23, ptr noundef @.str.3, i32 noundef 91, ptr noundef %1746, ptr noundef %1749, ptr noundef %1752, i32 noundef %1754) #9
  br label %1756

1756:                                             ; preds = %1739, %1722
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #9
  br label %1757

1757:                                             ; preds = %1756
  call void @exit(i32 noundef 1) #11
  unreachable

1758:                                             ; No predecessors!
  br label %1759

1759:                                             ; preds = %1758, %1705
  br label %1760

1760:                                             ; preds = %1759
  %1761 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1762 = trunc i8 %1761 to i1
  br i1 %1762, label %1763, label %1779

1763:                                             ; preds = %1760
  %1764 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1765 = call i32 @fileno(ptr noundef %1764) #9
  %1766 = call i32 @isatty(i32 noundef %1765) #9
  %1767 = icmp ne i32 %1766, 0
  br i1 %1767, label %1768, label %1779

1768:                                             ; preds = %1763
  %1769 = load i32, ptr @test_count, align 4, !tbaa !5
  %1770 = icmp ne i32 %1769, 0
  br i1 %1770, label %1771, label %1775

1771:                                             ; preds = %1768
  %1772 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1773 = load i32, ptr @test_count, align 4, !tbaa !5
  %1774 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1772, ptr noundef @.str.24, i32 noundef %1773) #9
  br label %1778

1775:                                             ; preds = %1768
  %1776 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1777 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1776, ptr noundef @.str.25) #9
  br label %1778

1778:                                             ; preds = %1775, %1771
  br label %1790

1779:                                             ; preds = %1763, %1760
  %1780 = load i32, ptr @test_count, align 4, !tbaa !5
  %1781 = icmp ne i32 %1780, 0
  br i1 %1781, label %1782, label %1786

1782:                                             ; preds = %1779
  %1783 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1784 = load i32, ptr @test_count, align 4, !tbaa !5
  %1785 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1783, ptr noundef @.str.26, i32 noundef %1784) #9
  br label %1789

1786:                                             ; preds = %1779
  %1787 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1788 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1787, ptr noundef @.str.27) #9
  br label %1789

1789:                                             ; preds = %1786, %1782
  br label %1790

1790:                                             ; preds = %1789, %1778
  store i32 0, ptr %3, align 4
  br label %1792

1791:                                             ; No predecessors!
  br label %1792

1792:                                             ; preds = %1791, %1790
  %1793 = load i32, ptr %3, align 4
  ret i32 %1793
}

; 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: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #4

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

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

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

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

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

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

declare i32 @s2n_enable_atexit() #3

declare i32 @s2n_init() #3

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #7

declare i32 @s2n_free(ptr noundef) #3

declare i32 @s2n_free_without_wipe(ptr noundef) #3

declare i32 @s2n_free_or_wipe(ptr noundef) #3

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

declare void @s2n_debug_info_reset() #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i1 @s2n_result_is_ok(i32) #8

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

declare i32 @s2n_mem_override_callbacks(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #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 speculatable willreturn memory(none) }
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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { 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 #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 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #8 = { inlinehint 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 #9 = { nounwind }
attributes #10 = { nounwind willreturn memory(none) }
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 = !{}


; 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.s2n_blob = type { ptr, i32, i32, i8 }

@s2n_use_color_in_output = external dso_local local_unnamed_addr global i8, align 1
@s2n_errno = external thread_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.2 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [71 x i8], align 1
@stderr = external local_unnamed_addr global ptr, align 8
@.str.4 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [114 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [126 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [115 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local i32 @s2n_strict_mem_free_cb(ptr noundef, i32 noundef) #0

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

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

16:                                               ; preds = %2
  %17 = tail call ptr @__errno_location() #11
  %18 = load i32, ptr %17, align 4, !tbaa !5
  %19 = load ptr, ptr @stderr, align 8, !tbaa !9
  %20 = tail call i32 @s2n_print_stacktrace(ptr noundef %19) #10
  %21 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %22 = trunc nuw i8 %21 to i1
  br i1 %22, label %23, label %27

23:                                               ; preds = %16
  %24 = load ptr, ptr @stderr, align 8, !tbaa !9
  %25 = tail call i32 @fileno(ptr noundef %24) #10
  %26 = tail call i32 @isatty(i32 noundef %25) #10
  %.not89 = icmp eq i32 %26, 0
  br i1 %.not89, label %27, label %28

27:                                               ; preds = %23, %16
  br label %28

28:                                               ; preds = %23, %27
  %.str.7.sink = phi ptr [ @.str.7, %27 ], [ @.str.4, %23 ]
  store i32 %18, ptr %17, align 4, !tbaa !5
  %29 = load ptr, ptr @stderr, align 8, !tbaa !9
  %30 = load i32, ptr @test_count, align 4, !tbaa !5
  %31 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %32 = load i32, ptr %31, align 4, !tbaa !5
  %33 = tail call ptr @s2n_strerror(i32 noundef %32, ptr noundef nonnull @.str.6) #10
  %34 = load i32, ptr %31, align 4, !tbaa !5
  %35 = tail call ptr @s2n_strerror_debug(i32 noundef %34, ptr noundef nonnull @.str.6) #10
  %36 = load i32, ptr %17, align 4, !tbaa !5
  %37 = tail call ptr @strerror(i32 noundef %36) #10
  %38 = load i32, ptr %17, align 4, !tbaa !5
  %39 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %29, ptr noundef nonnull %.str.7.sink, i32 noundef %30, ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.3, i32 noundef 30, ptr noundef %33, ptr noundef %35, ptr noundef %37, i32 noundef %38) #12
  tail call void @exit(i32 noundef 1) #13
  unreachable

40:                                               ; preds = %2
  %41 = load i32, ptr @test_count, align 4, !tbaa !5
  %42 = add nsw i32 %41, 1
  store i32 %42, ptr @test_count, align 4, !tbaa !5
  %43 = tail call i32 @s2n_enable_atexit() #10
  %44 = icmp eq i32 %43, -1
  br i1 %44, label %45, label %69

45:                                               ; preds = %40
  %46 = tail call ptr @__errno_location() #11
  %47 = load i32, ptr %46, align 4, !tbaa !5
  %48 = load ptr, ptr @stderr, align 8, !tbaa !9
  %49 = tail call i32 @s2n_print_stacktrace(ptr noundef %48) #10
  %50 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %51 = trunc nuw i8 %50 to i1
  br i1 %51, label %52, label %56

52:                                               ; preds = %45
  %53 = load ptr, ptr @stderr, align 8, !tbaa !9
  %54 = tail call i32 @fileno(ptr noundef %53) #10
  %55 = tail call i32 @isatty(i32 noundef %54) #10
  %.not88 = icmp eq i32 %55, 0
  br i1 %.not88, label %56, label %57

56:                                               ; preds = %52, %45
  br label %57

57:                                               ; preds = %52, %56
  %.str.7.sink100 = phi ptr [ @.str.7, %56 ], [ @.str.4, %52 ]
  store i32 %47, ptr %46, align 4, !tbaa !5
  %58 = load ptr, ptr @stderr, align 8, !tbaa !9
  %59 = load i32, ptr @test_count, align 4, !tbaa !5
  %60 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %61 = load i32, ptr %60, align 4, !tbaa !5
  %62 = tail call ptr @s2n_strerror(i32 noundef %61, ptr noundef nonnull @.str.6) #10
  %63 = load i32, ptr %60, align 4, !tbaa !5
  %64 = tail call ptr @s2n_strerror_debug(i32 noundef %63, ptr noundef nonnull @.str.6) #10
  %65 = load i32, ptr %46, align 4, !tbaa !5
  %66 = tail call ptr @strerror(i32 noundef %65) #10
  %67 = load i32, ptr %46, align 4, !tbaa !5
  %68 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %58, ptr noundef nonnull %.str.7.sink100, i32 noundef %59, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.3, i32 noundef 30, ptr noundef %62, ptr noundef %64, ptr noundef %66, i32 noundef %67) #12
  tail call void @exit(i32 noundef 1) #13
  unreachable

69:                                               ; preds = %40
  %70 = tail call i32 @s2n_init() #10
  %71 = icmp eq i32 %70, -1
  br i1 %71, label %72, label %96

72:                                               ; preds = %69
  %73 = tail call ptr @__errno_location() #11
  %74 = load i32, ptr %73, align 4, !tbaa !5
  %75 = load ptr, ptr @stderr, align 8, !tbaa !9
  %76 = tail call i32 @s2n_print_stacktrace(ptr noundef %75) #10
  %77 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %78 = trunc nuw i8 %77 to i1
  br i1 %78, label %79, label %83

79:                                               ; preds = %72
  %80 = load ptr, ptr @stderr, align 8, !tbaa !9
  %81 = tail call i32 @fileno(ptr noundef %80) #10
  %82 = tail call i32 @isatty(i32 noundef %81) #10
  %.not87 = icmp eq i32 %82, 0
  br i1 %.not87, label %83, label %84

83:                                               ; preds = %79, %72
  br label %84

84:                                               ; preds = %79, %83
  %.str.7.sink111 = phi ptr [ @.str.7, %83 ], [ @.str.4, %79 ]
  store i32 %74, ptr %73, align 4, !tbaa !5
  %85 = load ptr, ptr @stderr, align 8, !tbaa !9
  %86 = load i32, ptr @test_count, align 4, !tbaa !5
  %87 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %88 = load i32, ptr %87, align 4, !tbaa !5
  %89 = tail call ptr @s2n_strerror(i32 noundef %88, ptr noundef nonnull @.str.6) #10
  %90 = load i32, ptr %87, align 4, !tbaa !5
  %91 = tail call ptr @s2n_strerror_debug(i32 noundef %90, ptr noundef nonnull @.str.6) #10
  %92 = load i32, ptr %73, align 4, !tbaa !5
  %93 = tail call ptr @strerror(i32 noundef %92) #10
  %94 = load i32, ptr %73, align 4, !tbaa !5
  %95 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %85, ptr noundef nonnull %.str.7.sink111, i32 noundef %86, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.3, i32 noundef 30, ptr noundef %89, ptr noundef %91, ptr noundef %93, i32 noundef %94) #12
  tail call void @exit(i32 noundef 1) #13
  unreachable

96:                                               ; preds = %69
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %3) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %3, i8 0, i64 24, i1 false)
  %97 = load i32, ptr @test_count, align 4, !tbaa !5
  %98 = add nsw i32 %97, 1
  store i32 %98, ptr @test_count, align 4, !tbaa !5
  %99 = call i32 @s2n_free(ptr noundef nonnull %3) #10
  %100 = icmp eq i32 %99, -1
  br i1 %100, label %101, label %125

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

108:                                              ; preds = %101
  %109 = load ptr, ptr @stderr, align 8, !tbaa !9
  %110 = call i32 @fileno(ptr noundef %109) #10
  %111 = call i32 @isatty(i32 noundef %110) #10
  %.not86 = icmp eq i32 %111, 0
  br i1 %.not86, label %112, label %113

112:                                              ; preds = %108, %101
  br label %113

113:                                              ; preds = %108, %112
  %.str.7.sink122 = phi ptr [ @.str.7, %112 ], [ @.str.4, %108 ]
  store i32 %103, ptr %102, align 4, !tbaa !5
  %114 = load ptr, ptr @stderr, align 8, !tbaa !9
  %115 = load i32, ptr @test_count, align 4, !tbaa !5
  %116 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %117 = load i32, ptr %116, align 4, !tbaa !5
  %118 = call ptr @s2n_strerror(i32 noundef %117, ptr noundef nonnull @.str.6) #10
  %119 = load i32, ptr %116, align 4, !tbaa !5
  %120 = call ptr @s2n_strerror_debug(i32 noundef %119, ptr noundef nonnull @.str.6) #10
  %121 = load i32, ptr %102, align 4, !tbaa !5
  %122 = call ptr @strerror(i32 noundef %121) #10
  %123 = load i32, ptr %102, align 4, !tbaa !5
  %124 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %114, ptr noundef nonnull %.str.7.sink122, i32 noundef %115, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.3, i32 noundef 37, ptr noundef %118, ptr noundef %120, ptr noundef %122, i32 noundef %123) #12
  call void @exit(i32 noundef 1) #13
  unreachable

125:                                              ; preds = %96
  %126 = load i32, ptr @test_count, align 4, !tbaa !5
  %127 = add nsw i32 %126, 1
  store i32 %127, ptr @test_count, align 4, !tbaa !5
  %128 = call i32 @s2n_free_without_wipe(ptr noundef nonnull %3) #10
  %129 = icmp eq i32 %128, -1
  br i1 %129, label %130, label %154

130:                                              ; preds = %125
  %131 = tail call ptr @__errno_location() #11
  %132 = load i32, ptr %131, align 4, !tbaa !5
  %133 = load ptr, ptr @stderr, align 8, !tbaa !9
  %134 = call i32 @s2n_print_stacktrace(ptr noundef %133) #10
  %135 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %136 = trunc nuw i8 %135 to i1
  br i1 %136, label %137, label %141

137:                                              ; preds = %130
  %138 = load ptr, ptr @stderr, align 8, !tbaa !9
  %139 = call i32 @fileno(ptr noundef %138) #10
  %140 = call i32 @isatty(i32 noundef %139) #10
  %.not85 = icmp eq i32 %140, 0
  br i1 %.not85, label %141, label %142

141:                                              ; preds = %137, %130
  br label %142

142:                                              ; preds = %137, %141
  %.str.7.sink133 = phi ptr [ @.str.7, %141 ], [ @.str.4, %137 ]
  store i32 %132, ptr %131, align 4, !tbaa !5
  %143 = load ptr, ptr @stderr, align 8, !tbaa !9
  %144 = load i32, ptr @test_count, align 4, !tbaa !5
  %145 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %146 = load i32, ptr %145, align 4, !tbaa !5
  %147 = call ptr @s2n_strerror(i32 noundef %146, ptr noundef nonnull @.str.6) #10
  %148 = load i32, ptr %145, align 4, !tbaa !5
  %149 = call ptr @s2n_strerror_debug(i32 noundef %148, ptr noundef nonnull @.str.6) #10
  %150 = load i32, ptr %131, align 4, !tbaa !5
  %151 = call ptr @strerror(i32 noundef %150) #10
  %152 = load i32, ptr %131, align 4, !tbaa !5
  %153 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %143, ptr noundef nonnull %.str.7.sink133, i32 noundef %144, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.3, i32 noundef 38, ptr noundef %147, ptr noundef %149, ptr noundef %151, i32 noundef %152) #12
  call void @exit(i32 noundef 1) #13
  unreachable

154:                                              ; preds = %125
  %155 = load i32, ptr @test_count, align 4, !tbaa !5
  %156 = add nsw i32 %155, 1
  store i32 %156, ptr @test_count, align 4, !tbaa !5
  %157 = call i32 @s2n_free_or_wipe(ptr noundef nonnull %3) #10
  %158 = icmp eq i32 %157, -1
  br i1 %158, label %159, label %183

159:                                              ; preds = %154
  %160 = tail call ptr @__errno_location() #11
  %161 = load i32, ptr %160, align 4, !tbaa !5
  %162 = load ptr, ptr @stderr, align 8, !tbaa !9
  %163 = call i32 @s2n_print_stacktrace(ptr noundef %162) #10
  %164 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %165 = trunc nuw i8 %164 to i1
  br i1 %165, label %166, label %170

166:                                              ; preds = %159
  %167 = load ptr, ptr @stderr, align 8, !tbaa !9
  %168 = call i32 @fileno(ptr noundef %167) #10
  %169 = call i32 @isatty(i32 noundef %168) #10
  %.not84 = icmp eq i32 %169, 0
  br i1 %.not84, label %170, label %171

170:                                              ; preds = %166, %159
  br label %171

171:                                              ; preds = %166, %170
  %.str.7.sink144 = phi ptr [ @.str.7, %170 ], [ @.str.4, %166 ]
  store i32 %161, ptr %160, align 4, !tbaa !5
  %172 = load ptr, ptr @stderr, align 8, !tbaa !9
  %173 = load i32, ptr @test_count, align 4, !tbaa !5
  %174 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %175 = load i32, ptr %174, align 4, !tbaa !5
  %176 = call ptr @s2n_strerror(i32 noundef %175, ptr noundef nonnull @.str.6) #10
  %177 = load i32, ptr %174, align 4, !tbaa !5
  %178 = call ptr @s2n_strerror_debug(i32 noundef %177, ptr noundef nonnull @.str.6) #10
  %179 = load i32, ptr %160, align 4, !tbaa !5
  %180 = call ptr @strerror(i32 noundef %179) #10
  %181 = load i32, ptr %160, align 4, !tbaa !5
  %182 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %172, ptr noundef nonnull %.str.7.sink144, i32 noundef %173, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.3, i32 noundef 39, ptr noundef %176, ptr noundef %178, ptr noundef %180, i32 noundef %181) #12
  call void @exit(i32 noundef 1) #13
  unreachable

183:                                              ; preds = %154
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %3) #10
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %4) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %4, i8 0, i64 24, i1 false)
  %184 = load i32, ptr @test_count, align 4, !tbaa !5
  %185 = add nsw i32 %184, 1
  store i32 %185, ptr @test_count, align 4, !tbaa !5
  %186 = call i32 @s2n_alloc(ptr noundef nonnull %4, i32 noundef 10) #10
  %187 = icmp eq i32 %186, -1
  br i1 %187, label %188, label %212

188:                                              ; preds = %183
  %189 = tail call ptr @__errno_location() #11
  %190 = load i32, ptr %189, align 4, !tbaa !5
  %191 = load ptr, ptr @stderr, align 8, !tbaa !9
  %192 = call i32 @s2n_print_stacktrace(ptr noundef %191) #10
  %193 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %194 = trunc nuw i8 %193 to i1
  br i1 %194, label %195, label %199

195:                                              ; preds = %188
  %196 = load ptr, ptr @stderr, align 8, !tbaa !9
  %197 = call i32 @fileno(ptr noundef %196) #10
  %198 = call i32 @isatty(i32 noundef %197) #10
  %.not83 = icmp eq i32 %198, 0
  br i1 %.not83, label %199, label %200

199:                                              ; preds = %195, %188
  br label %200

200:                                              ; preds = %195, %199
  %.str.7.sink155 = phi ptr [ @.str.7, %199 ], [ @.str.4, %195 ]
  store i32 %190, ptr %189, align 4, !tbaa !5
  %201 = load ptr, ptr @stderr, align 8, !tbaa !9
  %202 = load i32, ptr @test_count, align 4, !tbaa !5
  %203 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %204 = load i32, ptr %203, align 4, !tbaa !5
  %205 = call ptr @s2n_strerror(i32 noundef %204, ptr noundef nonnull @.str.6) #10
  %206 = load i32, ptr %203, align 4, !tbaa !5
  %207 = call ptr @s2n_strerror_debug(i32 noundef %206, ptr noundef nonnull @.str.6) #10
  %208 = load i32, ptr %189, align 4, !tbaa !5
  %209 = call ptr @strerror(i32 noundef %208) #10
  %210 = load i32, ptr %189, align 4, !tbaa !5
  %211 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %201, ptr noundef nonnull %.str.7.sink155, i32 noundef %202, ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.3, i32 noundef 45, ptr noundef %205, ptr noundef %207, ptr noundef %209, i32 noundef %210) #12
  call void @exit(i32 noundef 1) #13
  unreachable

212:                                              ; preds = %183
  %213 = load i32, ptr @test_count, align 4, !tbaa !5
  %214 = add nsw i32 %213, 1
  store i32 %214, ptr @test_count, align 4, !tbaa !5
  %215 = call i32 @s2n_free(ptr noundef nonnull %4) #10
  %216 = icmp eq i32 %215, -1
  br i1 %216, label %217, label %241

217:                                              ; preds = %212
  %218 = tail call ptr @__errno_location() #11
  %219 = load i32, ptr %218, align 4, !tbaa !5
  %220 = load ptr, ptr @stderr, align 8, !tbaa !9
  %221 = call i32 @s2n_print_stacktrace(ptr noundef %220) #10
  %222 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %223 = trunc nuw i8 %222 to i1
  br i1 %223, label %224, label %228

224:                                              ; preds = %217
  %225 = load ptr, ptr @stderr, align 8, !tbaa !9
  %226 = call i32 @fileno(ptr noundef %225) #10
  %227 = call i32 @isatty(i32 noundef %226) #10
  %.not82 = icmp eq i32 %227, 0
  br i1 %.not82, label %228, label %229

228:                                              ; preds = %224, %217
  br label %229

229:                                              ; preds = %224, %228
  %.str.7.sink166 = phi ptr [ @.str.7, %228 ], [ @.str.4, %224 ]
  store i32 %219, ptr %218, align 4, !tbaa !5
  %230 = load ptr, ptr @stderr, align 8, !tbaa !9
  %231 = load i32, ptr @test_count, align 4, !tbaa !5
  %232 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %233 = load i32, ptr %232, align 4, !tbaa !5
  %234 = call ptr @s2n_strerror(i32 noundef %233, ptr noundef nonnull @.str.6) #10
  %235 = load i32, ptr %232, align 4, !tbaa !5
  %236 = call ptr @s2n_strerror_debug(i32 noundef %235, ptr noundef nonnull @.str.6) #10
  %237 = load i32, ptr %218, align 4, !tbaa !5
  %238 = call ptr @strerror(i32 noundef %237) #10
  %239 = load i32, ptr %218, align 4, !tbaa !5
  %240 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %230, ptr noundef nonnull %.str.7.sink166, i32 noundef %231, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.3, i32 noundef 46, ptr noundef %234, ptr noundef %236, ptr noundef %238, i32 noundef %239) #12
  call void @exit(i32 noundef 1) #13
  unreachable

241:                                              ; preds = %212
  %242 = load i32, ptr @test_count, align 4, !tbaa !5
  %243 = add nsw i32 %242, 1
  store i32 %243, ptr @test_count, align 4, !tbaa !5
  %244 = call i32 @s2n_free(ptr noundef nonnull %4) #10
  %245 = icmp eq i32 %244, -1
  br i1 %245, label %246, label %270

246:                                              ; preds = %241
  %247 = tail call ptr @__errno_location() #11
  %248 = load i32, ptr %247, align 4, !tbaa !5
  %249 = load ptr, ptr @stderr, align 8, !tbaa !9
  %250 = call i32 @s2n_print_stacktrace(ptr noundef %249) #10
  %251 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %252 = trunc nuw i8 %251 to i1
  br i1 %252, label %253, label %257

253:                                              ; preds = %246
  %254 = load ptr, ptr @stderr, align 8, !tbaa !9
  %255 = call i32 @fileno(ptr noundef %254) #10
  %256 = call i32 @isatty(i32 noundef %255) #10
  %.not81 = icmp eq i32 %256, 0
  br i1 %.not81, label %257, label %258

257:                                              ; preds = %253, %246
  br label %258

258:                                              ; preds = %253, %257
  %.str.7.sink177 = phi ptr [ @.str.7, %257 ], [ @.str.4, %253 ]
  store i32 %248, ptr %247, align 4, !tbaa !5
  %259 = load ptr, ptr @stderr, align 8, !tbaa !9
  %260 = load i32, ptr @test_count, align 4, !tbaa !5
  %261 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %262 = load i32, ptr %261, align 4, !tbaa !5
  %263 = call ptr @s2n_strerror(i32 noundef %262, ptr noundef nonnull @.str.6) #10
  %264 = load i32, ptr %261, align 4, !tbaa !5
  %265 = call ptr @s2n_strerror_debug(i32 noundef %264, ptr noundef nonnull @.str.6) #10
  %266 = load i32, ptr %247, align 4, !tbaa !5
  %267 = call ptr @strerror(i32 noundef %266) #10
  %268 = load i32, ptr %247, align 4, !tbaa !5
  %269 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %259, ptr noundef nonnull %.str.7.sink177, i32 noundef %260, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.3, i32 noundef 48, ptr noundef %263, ptr noundef %265, ptr noundef %267, i32 noundef %268) #12
  call void @exit(i32 noundef 1) #13
  unreachable

270:                                              ; preds = %241
  %271 = load i32, ptr @test_count, align 4, !tbaa !5
  %272 = add nsw i32 %271, 1
  store i32 %272, ptr @test_count, align 4, !tbaa !5
  %273 = call i32 @s2n_free_without_wipe(ptr noundef nonnull %4) #10
  %274 = icmp eq i32 %273, -1
  br i1 %274, label %275, label %299

275:                                              ; preds = %270
  %276 = tail call ptr @__errno_location() #11
  %277 = load i32, ptr %276, align 4, !tbaa !5
  %278 = load ptr, ptr @stderr, align 8, !tbaa !9
  %279 = call i32 @s2n_print_stacktrace(ptr noundef %278) #10
  %280 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %281 = trunc nuw i8 %280 to i1
  br i1 %281, label %282, label %286

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

286:                                              ; preds = %282, %275
  br label %287

287:                                              ; preds = %282, %286
  %.str.7.sink188 = phi ptr [ @.str.7, %286 ], [ @.str.4, %282 ]
  store i32 %277, ptr %276, align 4, !tbaa !5
  %288 = load ptr, ptr @stderr, align 8, !tbaa !9
  %289 = load i32, ptr @test_count, align 4, !tbaa !5
  %290 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %291 = load i32, ptr %290, align 4, !tbaa !5
  %292 = call ptr @s2n_strerror(i32 noundef %291, ptr noundef nonnull @.str.6) #10
  %293 = load i32, ptr %290, align 4, !tbaa !5
  %294 = call ptr @s2n_strerror_debug(i32 noundef %293, ptr noundef nonnull @.str.6) #10
  %295 = load i32, ptr %276, align 4, !tbaa !5
  %296 = call ptr @strerror(i32 noundef %295) #10
  %297 = load i32, ptr %276, align 4, !tbaa !5
  %298 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %288, ptr noundef nonnull %.str.7.sink188, i32 noundef %289, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.3, i32 noundef 49, ptr noundef %292, ptr noundef %294, ptr noundef %296, i32 noundef %297) #12
  call void @exit(i32 noundef 1) #13
  unreachable

299:                                              ; preds = %270
  %300 = load i32, ptr @test_count, align 4, !tbaa !5
  %301 = add nsw i32 %300, 1
  store i32 %301, ptr @test_count, align 4, !tbaa !5
  %302 = call i32 @s2n_free_or_wipe(ptr noundef nonnull %4) #10
  %303 = icmp eq i32 %302, -1
  br i1 %303, label %304, label %328

304:                                              ; preds = %299
  %305 = tail call ptr @__errno_location() #11
  %306 = load i32, ptr %305, align 4, !tbaa !5
  %307 = load ptr, ptr @stderr, align 8, !tbaa !9
  %308 = call i32 @s2n_print_stacktrace(ptr noundef %307) #10
  %309 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %310 = trunc nuw i8 %309 to i1
  br i1 %310, label %311, label %315

311:                                              ; preds = %304
  %312 = load ptr, ptr @stderr, align 8, !tbaa !9
  %313 = call i32 @fileno(ptr noundef %312) #10
  %314 = call i32 @isatty(i32 noundef %313) #10
  %.not79 = icmp eq i32 %314, 0
  br i1 %.not79, label %315, label %316

315:                                              ; preds = %311, %304
  br label %316

316:                                              ; preds = %311, %315
  %.str.7.sink199 = phi ptr [ @.str.7, %315 ], [ @.str.4, %311 ]
  store i32 %306, ptr %305, align 4, !tbaa !5
  %317 = load ptr, ptr @stderr, align 8, !tbaa !9
  %318 = load i32, ptr @test_count, align 4, !tbaa !5
  %319 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %320 = load i32, ptr %319, align 4, !tbaa !5
  %321 = call ptr @s2n_strerror(i32 noundef %320, ptr noundef nonnull @.str.6) #10
  %322 = load i32, ptr %319, align 4, !tbaa !5
  %323 = call ptr @s2n_strerror_debug(i32 noundef %322, ptr noundef nonnull @.str.6) #10
  %324 = load i32, ptr %305, align 4, !tbaa !5
  %325 = call ptr @strerror(i32 noundef %324) #10
  %326 = load i32, ptr %305, align 4, !tbaa !5
  %327 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %317, ptr noundef nonnull %.str.7.sink199, i32 noundef %318, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.3, i32 noundef 50, ptr noundef %321, ptr noundef %323, ptr noundef %325, i32 noundef %326) #12
  call void @exit(i32 noundef 1) #13
  unreachable

328:                                              ; preds = %299
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %4) #10
  %329 = load i32, ptr @test_count, align 4, !tbaa !5
  %330 = add nsw i32 %329, 1
  store i32 %330, ptr @test_count, align 4, !tbaa !5
  %331 = call i32 @s2n_free(ptr noundef null) #10
  %332 = icmp eq i32 %331, -1
  br i1 %332, label %357, label %333

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

340:                                              ; preds = %333
  %341 = load ptr, ptr @stderr, align 8, !tbaa !9
  %342 = call i32 @fileno(ptr noundef %341) #10
  %343 = call i32 @isatty(i32 noundef %342) #10
  %.not = icmp eq i32 %343, 0
  br i1 %.not, label %344, label %345

344:                                              ; preds = %340, %333
  br label %345

345:                                              ; preds = %340, %344
  %.str.7.sink210 = phi ptr [ @.str.7, %344 ], [ @.str.4, %340 ]
  store i32 %335, ptr %334, align 4, !tbaa !5
  %346 = load ptr, ptr @stderr, align 8, !tbaa !9
  %347 = load i32, ptr @test_count, align 4, !tbaa !5
  %348 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %349 = load i32, ptr %348, align 4, !tbaa !5
  %350 = call ptr @s2n_strerror(i32 noundef %349, ptr noundef nonnull @.str.6) #10
  %351 = load i32, ptr %348, align 4, !tbaa !5
  %352 = call ptr @s2n_strerror_debug(i32 noundef %351, ptr noundef nonnull @.str.6) #10
  %353 = load i32, ptr %334, align 4, !tbaa !5
  %354 = call ptr @strerror(i32 noundef %353) #10
  %355 = load i32, ptr %334, align 4, !tbaa !5
  %356 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %346, ptr noundef nonnull %.str.7.sink210, i32 noundef %347, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.3, i32 noundef 55, ptr noundef %350, ptr noundef %352, ptr noundef %354, i32 noundef %355) #12
  call void @exit(i32 noundef 1) #13
  unreachable

357:                                              ; preds = %328
  %358 = load i32, ptr @test_count, align 4, !tbaa !5
  %359 = add nsw i32 %358, 1
  store i32 %359, 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 = icmp eq i32 %361, 402653193
  br i1 %362, label %386, label %363

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

370:                                              ; preds = %363
  %371 = load ptr, ptr @stderr, align 8, !tbaa !9
  %372 = call i32 @fileno(ptr noundef %371) #10
  %373 = call i32 @isatty(i32 noundef %372) #10
  %.not60 = icmp eq i32 %373, 0
  br i1 %.not60, label %374, label %375

374:                                              ; preds = %370, %363
  br label %375

375:                                              ; preds = %370, %374
  %.str.7.sink221 = phi ptr [ @.str.7, %374 ], [ @.str.4, %370 ]
  store i32 %365, ptr %364, align 4, !tbaa !5
  %376 = load ptr, ptr @stderr, align 8, !tbaa !9
  %377 = load i32, ptr @test_count, align 4, !tbaa !5
  %378 = load i32, ptr %360, align 4, !tbaa !5
  %379 = call ptr @s2n_strerror(i32 noundef %378, ptr noundef nonnull @.str.6) #10
  %380 = load i32, ptr %360, align 4, !tbaa !5
  %381 = call ptr @s2n_strerror_debug(i32 noundef %380, ptr noundef nonnull @.str.6) #10
  %382 = load i32, ptr %364, align 4, !tbaa !5
  %383 = call ptr @strerror(i32 noundef %382) #10
  %384 = load i32, ptr %364, align 4, !tbaa !5
  %385 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %376, ptr noundef nonnull %.str.7.sink221, i32 noundef %377, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.3, i32 noundef 55, ptr noundef %379, ptr noundef %381, ptr noundef %383, i32 noundef %384) #12
  call void @exit(i32 noundef 1) #13
  unreachable

386:                                              ; preds = %357
  %387 = add nsw i32 %358, 2
  store i32 %387, ptr @test_count, align 4, !tbaa !5
  %388 = call ptr @s2n_strerror_debug(i32 noundef 402653193, ptr noundef nonnull @.str.6) #10
  %389 = icmp eq ptr %388, null
  br i1 %389, label %390, label %413

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

397:                                              ; preds = %390
  %398 = load ptr, ptr @stderr, align 8, !tbaa !9
  %399 = call i32 @fileno(ptr noundef %398) #10
  %400 = call i32 @isatty(i32 noundef %399) #10
  %.not78 = icmp eq i32 %400, 0
  br i1 %.not78, label %401, label %402

401:                                              ; preds = %397, %390
  br label %402

402:                                              ; preds = %397, %401
  %.str.7.sink230 = phi ptr [ @.str.7, %401 ], [ @.str.4, %397 ]
  store i32 %392, ptr %391, align 4, !tbaa !5
  %403 = load ptr, ptr @stderr, align 8, !tbaa !9
  %404 = load i32, ptr @test_count, align 4, !tbaa !5
  %405 = load i32, ptr %360, align 4, !tbaa !5
  %406 = call ptr @s2n_strerror(i32 noundef %405, ptr noundef nonnull @.str.6) #10
  %407 = load i32, ptr %360, align 4, !tbaa !5
  %408 = call ptr @s2n_strerror_debug(i32 noundef %407, ptr noundef nonnull @.str.6) #10
  %409 = load i32, ptr %391, align 4, !tbaa !5
  %410 = call ptr @strerror(i32 noundef %409) #10
  %411 = load i32, ptr %391, align 4, !tbaa !5
  %412 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %403, ptr noundef nonnull %.str.7.sink230, i32 noundef %404, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.3, i32 noundef 55, ptr noundef %406, ptr noundef %408, ptr noundef %410, i32 noundef %411) #12
  call void @exit(i32 noundef 1) #13
  unreachable

413:                                              ; preds = %386
  store i32 0, ptr %360, align 4, !tbaa !5
  call void @s2n_debug_info_reset() #10
  %414 = tail call ptr @__errno_location() #11
  store i32 0, ptr %414, align 4, !tbaa !5
  %415 = load i32, ptr @test_count, align 4, !tbaa !5
  %416 = add nsw i32 %415, 1
  store i32 %416, ptr @test_count, align 4, !tbaa !5
  %417 = call i32 @s2n_free_without_wipe(ptr noundef null) #10
  %418 = icmp eq i32 %417, -1
  br i1 %418, label %441, label %419

419:                                              ; preds = %413
  %420 = load i32, ptr %414, align 4, !tbaa !5
  %421 = load ptr, ptr @stderr, align 8, !tbaa !9
  %422 = call i32 @s2n_print_stacktrace(ptr noundef %421) #10
  %423 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %424 = trunc nuw i8 %423 to i1
  br i1 %424, label %425, label %429

425:                                              ; preds = %419
  %426 = load ptr, ptr @stderr, align 8, !tbaa !9
  %427 = call i32 @fileno(ptr noundef %426) #10
  %428 = call i32 @isatty(i32 noundef %427) #10
  %.not61 = icmp eq i32 %428, 0
  br i1 %.not61, label %429, label %430

429:                                              ; preds = %425, %419
  br label %430

430:                                              ; preds = %425, %429
  %.str.7.sink239 = phi ptr [ @.str.7, %429 ], [ @.str.4, %425 ]
  store i32 %420, ptr %414, align 4, !tbaa !5
  %431 = load ptr, ptr @stderr, align 8, !tbaa !9
  %432 = load i32, ptr @test_count, align 4, !tbaa !5
  %433 = load i32, ptr %360, align 4, !tbaa !5
  %434 = call ptr @s2n_strerror(i32 noundef %433, ptr noundef nonnull @.str.6) #10
  %435 = load i32, ptr %360, align 4, !tbaa !5
  %436 = call ptr @s2n_strerror_debug(i32 noundef %435, ptr noundef nonnull @.str.6) #10
  %437 = load i32, ptr %414, align 4, !tbaa !5
  %438 = call ptr @strerror(i32 noundef %437) #10
  %439 = load i32, ptr %414, align 4, !tbaa !5
  %440 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %431, ptr noundef nonnull %.str.7.sink239, i32 noundef %432, ptr noundef nonnull @.str.17, ptr noundef nonnull @.str.3, i32 noundef 56, ptr noundef %434, ptr noundef %436, ptr noundef %438, i32 noundef %439) #12
  call void @exit(i32 noundef 1) #13
  unreachable

441:                                              ; preds = %413
  %442 = load i32, ptr @test_count, align 4, !tbaa !5
  %443 = add nsw i32 %442, 1
  store i32 %443, ptr @test_count, align 4, !tbaa !5
  %444 = load i32, ptr %360, align 4, !tbaa !5
  %445 = icmp eq i32 %444, 402653193
  br i1 %445, label %468, label %446

446:                                              ; preds = %441
  %447 = load i32, ptr %414, align 4, !tbaa !5
  %448 = load ptr, ptr @stderr, align 8, !tbaa !9
  %449 = call i32 @s2n_print_stacktrace(ptr noundef %448) #10
  %450 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %451 = trunc nuw i8 %450 to i1
  br i1 %451, label %452, label %456

452:                                              ; preds = %446
  %453 = load ptr, ptr @stderr, align 8, !tbaa !9
  %454 = call i32 @fileno(ptr noundef %453) #10
  %455 = call i32 @isatty(i32 noundef %454) #10
  %.not62 = icmp eq i32 %455, 0
  br i1 %.not62, label %456, label %457

456:                                              ; preds = %452, %446
  br label %457

457:                                              ; preds = %452, %456
  %.str.7.sink248 = phi ptr [ @.str.7, %456 ], [ @.str.4, %452 ]
  store i32 %447, ptr %414, align 4, !tbaa !5
  %458 = load ptr, ptr @stderr, align 8, !tbaa !9
  %459 = load i32, ptr @test_count, align 4, !tbaa !5
  %460 = load i32, ptr %360, align 4, !tbaa !5
  %461 = call ptr @s2n_strerror(i32 noundef %460, ptr noundef nonnull @.str.6) #10
  %462 = load i32, ptr %360, align 4, !tbaa !5
  %463 = call ptr @s2n_strerror_debug(i32 noundef %462, ptr noundef nonnull @.str.6) #10
  %464 = load i32, ptr %414, align 4, !tbaa !5
  %465 = call ptr @strerror(i32 noundef %464) #10
  %466 = load i32, ptr %414, align 4, !tbaa !5
  %467 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %458, ptr noundef nonnull %.str.7.sink248, i32 noundef %459, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.3, i32 noundef 56, ptr noundef %461, ptr noundef %463, ptr noundef %465, i32 noundef %466) #12
  call void @exit(i32 noundef 1) #13
  unreachable

468:                                              ; preds = %441
  %469 = add nsw i32 %442, 2
  store i32 %469, ptr @test_count, align 4, !tbaa !5
  %470 = call ptr @s2n_strerror_debug(i32 noundef 402653193, ptr noundef nonnull @.str.6) #10
  %471 = icmp eq ptr %470, null
  br i1 %471, label %472, label %494

472:                                              ; preds = %468
  %473 = load i32, ptr %414, align 4, !tbaa !5
  %474 = load ptr, ptr @stderr, align 8, !tbaa !9
  %475 = call i32 @s2n_print_stacktrace(ptr noundef %474) #10
  %476 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %477 = trunc nuw i8 %476 to i1
  br i1 %477, label %478, label %482

478:                                              ; preds = %472
  %479 = load ptr, ptr @stderr, align 8, !tbaa !9
  %480 = call i32 @fileno(ptr noundef %479) #10
  %481 = call i32 @isatty(i32 noundef %480) #10
  %.not77 = icmp eq i32 %481, 0
  br i1 %.not77, label %482, label %483

482:                                              ; preds = %478, %472
  br label %483

483:                                              ; preds = %478, %482
  %.str.7.sink257 = phi ptr [ @.str.7, %482 ], [ @.str.4, %478 ]
  store i32 %473, ptr %414, align 4, !tbaa !5
  %484 = load ptr, ptr @stderr, align 8, !tbaa !9
  %485 = load i32, ptr @test_count, align 4, !tbaa !5
  %486 = load i32, ptr %360, align 4, !tbaa !5
  %487 = call ptr @s2n_strerror(i32 noundef %486, ptr noundef nonnull @.str.6) #10
  %488 = load i32, ptr %360, align 4, !tbaa !5
  %489 = call ptr @s2n_strerror_debug(i32 noundef %488, ptr noundef nonnull @.str.6) #10
  %490 = load i32, ptr %414, align 4, !tbaa !5
  %491 = call ptr @strerror(i32 noundef %490) #10
  %492 = load i32, ptr %414, align 4, !tbaa !5
  %493 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %484, ptr noundef nonnull %.str.7.sink257, i32 noundef %485, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.3, i32 noundef 56, ptr noundef %487, ptr noundef %489, ptr noundef %491, i32 noundef %492) #12
  call void @exit(i32 noundef 1) #13
  unreachable

494:                                              ; preds = %468
  store i32 0, ptr %360, align 4, !tbaa !5
  call void @s2n_debug_info_reset() #10
  store i32 0, ptr %414, align 4, !tbaa !5
  %495 = load i32, ptr @test_count, align 4, !tbaa !5
  %496 = add nsw i32 %495, 1
  store i32 %496, ptr @test_count, align 4, !tbaa !5
  %497 = call i32 @s2n_free_or_wipe(ptr noundef null) #10
  %498 = icmp eq i32 %497, -1
  br i1 %498, label %521, label %499

499:                                              ; preds = %494
  %500 = load i32, ptr %414, align 4, !tbaa !5
  %501 = load ptr, ptr @stderr, align 8, !tbaa !9
  %502 = call i32 @s2n_print_stacktrace(ptr noundef %501) #10
  %503 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %504 = trunc nuw i8 %503 to i1
  br i1 %504, label %505, label %509

505:                                              ; preds = %499
  %506 = load ptr, ptr @stderr, align 8, !tbaa !9
  %507 = call i32 @fileno(ptr noundef %506) #10
  %508 = call i32 @isatty(i32 noundef %507) #10
  %.not63 = icmp eq i32 %508, 0
  br i1 %.not63, label %509, label %510

509:                                              ; preds = %505, %499
  br label %510

510:                                              ; preds = %505, %509
  %.str.7.sink266 = phi ptr [ @.str.7, %509 ], [ @.str.4, %505 ]
  store i32 %500, ptr %414, align 4, !tbaa !5
  %511 = load ptr, ptr @stderr, align 8, !tbaa !9
  %512 = load i32, ptr @test_count, align 4, !tbaa !5
  %513 = load i32, ptr %360, align 4, !tbaa !5
  %514 = call ptr @s2n_strerror(i32 noundef %513, ptr noundef nonnull @.str.6) #10
  %515 = load i32, ptr %360, align 4, !tbaa !5
  %516 = call ptr @s2n_strerror_debug(i32 noundef %515, ptr noundef nonnull @.str.6) #10
  %517 = load i32, ptr %414, align 4, !tbaa !5
  %518 = call ptr @strerror(i32 noundef %517) #10
  %519 = load i32, ptr %414, align 4, !tbaa !5
  %520 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %511, ptr noundef nonnull %.str.7.sink266, i32 noundef %512, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.3, i32 noundef 57, ptr noundef %514, ptr noundef %516, ptr noundef %518, i32 noundef %519) #12
  call void @exit(i32 noundef 1) #13
  unreachable

521:                                              ; preds = %494
  %522 = load i32, ptr @test_count, align 4, !tbaa !5
  %523 = add nsw i32 %522, 1
  store i32 %523, ptr @test_count, align 4, !tbaa !5
  %524 = load i32, ptr %360, align 4, !tbaa !5
  %525 = icmp eq i32 %524, 402653193
  br i1 %525, label %548, label %526

526:                                              ; preds = %521
  %527 = load i32, ptr %414, align 4, !tbaa !5
  %528 = load ptr, ptr @stderr, align 8, !tbaa !9
  %529 = call i32 @s2n_print_stacktrace(ptr noundef %528) #10
  %530 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %531 = trunc nuw i8 %530 to i1
  br i1 %531, label %532, label %536

532:                                              ; preds = %526
  %533 = load ptr, ptr @stderr, align 8, !tbaa !9
  %534 = call i32 @fileno(ptr noundef %533) #10
  %535 = call i32 @isatty(i32 noundef %534) #10
  %.not64 = icmp eq i32 %535, 0
  br i1 %.not64, label %536, label %537

536:                                              ; preds = %532, %526
  br label %537

537:                                              ; preds = %532, %536
  %.str.7.sink275 = phi ptr [ @.str.7, %536 ], [ @.str.4, %532 ]
  store i32 %527, ptr %414, align 4, !tbaa !5
  %538 = load ptr, ptr @stderr, align 8, !tbaa !9
  %539 = load i32, ptr @test_count, align 4, !tbaa !5
  %540 = load i32, ptr %360, align 4, !tbaa !5
  %541 = call ptr @s2n_strerror(i32 noundef %540, ptr noundef nonnull @.str.6) #10
  %542 = load i32, ptr %360, align 4, !tbaa !5
  %543 = call ptr @s2n_strerror_debug(i32 noundef %542, ptr noundef nonnull @.str.6) #10
  %544 = load i32, ptr %414, align 4, !tbaa !5
  %545 = call ptr @strerror(i32 noundef %544) #10
  %546 = load i32, ptr %414, align 4, !tbaa !5
  %547 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %538, ptr noundef nonnull %.str.7.sink275, i32 noundef %539, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.3, i32 noundef 57, ptr noundef %541, ptr noundef %543, ptr noundef %545, i32 noundef %546) #12
  call void @exit(i32 noundef 1) #13
  unreachable

548:                                              ; preds = %521
  %549 = add nsw i32 %522, 2
  store i32 %549, ptr @test_count, align 4, !tbaa !5
  %550 = call ptr @s2n_strerror_debug(i32 noundef 402653193, ptr noundef nonnull @.str.6) #10
  %551 = icmp eq ptr %550, null
  br i1 %551, label %552, label %574

552:                                              ; preds = %548
  %553 = load i32, ptr %414, align 4, !tbaa !5
  %554 = load ptr, ptr @stderr, align 8, !tbaa !9
  %555 = call i32 @s2n_print_stacktrace(ptr noundef %554) #10
  %556 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %557 = trunc nuw i8 %556 to i1
  br i1 %557, label %558, label %562

558:                                              ; preds = %552
  %559 = load ptr, ptr @stderr, align 8, !tbaa !9
  %560 = call i32 @fileno(ptr noundef %559) #10
  %561 = call i32 @isatty(i32 noundef %560) #10
  %.not76 = icmp eq i32 %561, 0
  br i1 %.not76, label %562, label %563

562:                                              ; preds = %558, %552
  br label %563

563:                                              ; preds = %558, %562
  %.str.7.sink284 = phi ptr [ @.str.7, %562 ], [ @.str.4, %558 ]
  store i32 %553, ptr %414, align 4, !tbaa !5
  %564 = load ptr, ptr @stderr, align 8, !tbaa !9
  %565 = load i32, ptr @test_count, align 4, !tbaa !5
  %566 = load i32, ptr %360, align 4, !tbaa !5
  %567 = call ptr @s2n_strerror(i32 noundef %566, ptr noundef nonnull @.str.6) #10
  %568 = load i32, ptr %360, align 4, !tbaa !5
  %569 = call ptr @s2n_strerror_debug(i32 noundef %568, ptr noundef nonnull @.str.6) #10
  %570 = load i32, ptr %414, align 4, !tbaa !5
  %571 = call ptr @strerror(i32 noundef %570) #10
  %572 = load i32, ptr %414, align 4, !tbaa !5
  %573 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %564, ptr noundef nonnull %.str.7.sink284, i32 noundef %565, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.3, i32 noundef 57, ptr noundef %567, ptr noundef %569, ptr noundef %571, i32 noundef %572) #12
  call void @exit(i32 noundef 1) #13
  unreachable

574:                                              ; preds = %548
  store i32 0, ptr %360, align 4, !tbaa !5
  call void @s2n_debug_info_reset() #10
  store i32 0, ptr %414, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #10
  store ptr null, ptr %5, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #10
  store ptr null, ptr %6, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #10
  store ptr null, ptr %7, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #10
  store ptr null, ptr %8, align 8, !tbaa !9
  %575 = load i32, ptr @test_count, align 4, !tbaa !5
  %576 = add nsw i32 %575, 1
  store i32 %576, ptr @test_count, align 4, !tbaa !5
  %577 = call i32 @s2n_mem_get_callbacks(ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8) #10
  %578 = call zeroext i1 @s2n_result_is_ok(i32 %577)
  br i1 %578, label %601, label %579

579:                                              ; preds = %574
  %580 = load i32, ptr %414, align 4, !tbaa !5
  %581 = load ptr, ptr @stderr, align 8, !tbaa !9
  %582 = call i32 @s2n_print_stacktrace(ptr noundef %581) #10
  %583 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %584 = trunc nuw i8 %583 to i1
  br i1 %584, label %585, label %589

585:                                              ; preds = %579
  %586 = load ptr, ptr @stderr, align 8, !tbaa !9
  %587 = call i32 @fileno(ptr noundef %586) #10
  %588 = call i32 @isatty(i32 noundef %587) #10
  %.not65 = icmp eq i32 %588, 0
  br i1 %.not65, label %589, label %590

589:                                              ; preds = %585, %579
  br label %590

590:                                              ; preds = %585, %589
  %.str.7.sink293 = phi ptr [ @.str.7, %589 ], [ @.str.4, %585 ]
  store i32 %580, ptr %414, align 4, !tbaa !5
  %591 = load ptr, ptr @stderr, align 8, !tbaa !9
  %592 = load i32, ptr @test_count, align 4, !tbaa !5
  %593 = load i32, ptr %360, align 4, !tbaa !5
  %594 = call ptr @s2n_strerror(i32 noundef %593, ptr noundef nonnull @.str.6) #10
  %595 = load i32, ptr %360, align 4, !tbaa !5
  %596 = call ptr @s2n_strerror_debug(i32 noundef %595, ptr noundef nonnull @.str.6) #10
  %597 = load i32, ptr %414, align 4, !tbaa !5
  %598 = call ptr @strerror(i32 noundef %597) #10
  %599 = load i32, ptr %414, align 4, !tbaa !5
  %600 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %591, ptr noundef nonnull %.str.7.sink293, i32 noundef %592, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.3, i32 noundef 75, ptr noundef %594, ptr noundef %596, ptr noundef %598, i32 noundef %599) #12
  call void @exit(i32 noundef 1) #13
  unreachable

601:                                              ; preds = %574
  %602 = load i32, ptr @test_count, align 4, !tbaa !5
  %603 = add nsw i32 %602, 1
  store i32 %603, ptr @test_count, align 4, !tbaa !5
  %604 = load ptr, ptr %5, align 8, !tbaa !9
  %605 = load ptr, ptr %6, align 8, !tbaa !9
  %606 = load ptr, ptr %7, align 8, !tbaa !9
  %607 = call i32 @s2n_mem_override_callbacks(ptr noundef %604, ptr noundef %605, ptr noundef %606, ptr noundef nonnull @s2n_strict_mem_free_cb) #10
  %608 = call zeroext i1 @s2n_result_is_ok(i32 %607)
  br i1 %608, label %631, label %609

609:                                              ; preds = %601
  %610 = load i32, ptr %414, align 4, !tbaa !5
  %611 = load ptr, ptr @stderr, align 8, !tbaa !9
  %612 = call i32 @s2n_print_stacktrace(ptr noundef %611) #10
  %613 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %614 = trunc nuw i8 %613 to i1
  br i1 %614, label %615, label %619

615:                                              ; preds = %609
  %616 = load ptr, ptr @stderr, align 8, !tbaa !9
  %617 = call i32 @fileno(ptr noundef %616) #10
  %618 = call i32 @isatty(i32 noundef %617) #10
  %.not66 = icmp eq i32 %618, 0
  br i1 %.not66, label %619, label %620

619:                                              ; preds = %615, %609
  br label %620

620:                                              ; preds = %615, %619
  %.str.7.sink302 = phi ptr [ @.str.7, %619 ], [ @.str.4, %615 ]
  store i32 %610, ptr %414, align 4, !tbaa !5
  %621 = load ptr, ptr @stderr, align 8, !tbaa !9
  %622 = load i32, ptr @test_count, align 4, !tbaa !5
  %623 = load i32, ptr %360, align 4, !tbaa !5
  %624 = call ptr @s2n_strerror(i32 noundef %623, ptr noundef nonnull @.str.6) #10
  %625 = load i32, ptr %360, align 4, !tbaa !5
  %626 = call ptr @s2n_strerror_debug(i32 noundef %625, ptr noundef nonnull @.str.6) #10
  %627 = load i32, ptr %414, align 4, !tbaa !5
  %628 = call ptr @strerror(i32 noundef %627) #10
  %629 = load i32, ptr %414, align 4, !tbaa !5
  %630 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %621, ptr noundef nonnull %.str.7.sink302, i32 noundef %622, ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.3, i32 noundef 78, ptr noundef %624, ptr noundef %626, ptr noundef %628, i32 noundef %629) #12
  call void @exit(i32 noundef 1) #13
  unreachable

631:                                              ; preds = %601
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %9) #10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %9, i8 0, i64 24, i1 false)
  %632 = load i32, ptr @test_count, align 4, !tbaa !5
  %633 = add nsw i32 %632, 1
  store i32 %633, ptr @test_count, align 4, !tbaa !5
  %634 = call i32 @s2n_free(ptr noundef nonnull %9) #10
  %635 = icmp eq i32 %634, -1
  br i1 %635, label %636, label %658

636:                                              ; preds = %631
  %637 = load i32, ptr %414, align 4, !tbaa !5
  %638 = load ptr, ptr @stderr, align 8, !tbaa !9
  %639 = call i32 @s2n_print_stacktrace(ptr noundef %638) #10
  %640 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %641 = trunc nuw i8 %640 to i1
  br i1 %641, label %642, label %646

642:                                              ; preds = %636
  %643 = load ptr, ptr @stderr, align 8, !tbaa !9
  %644 = call i32 @fileno(ptr noundef %643) #10
  %645 = call i32 @isatty(i32 noundef %644) #10
  %.not75 = icmp eq i32 %645, 0
  br i1 %.not75, label %646, label %647

646:                                              ; preds = %642, %636
  br label %647

647:                                              ; preds = %642, %646
  %.str.7.sink311 = phi ptr [ @.str.7, %646 ], [ @.str.4, %642 ]
  store i32 %637, ptr %414, align 4, !tbaa !5
  %648 = load ptr, ptr @stderr, align 8, !tbaa !9
  %649 = load i32, ptr @test_count, align 4, !tbaa !5
  %650 = load i32, ptr %360, align 4, !tbaa !5
  %651 = call ptr @s2n_strerror(i32 noundef %650, ptr noundef nonnull @.str.6) #10
  %652 = load i32, ptr %360, align 4, !tbaa !5
  %653 = call ptr @s2n_strerror_debug(i32 noundef %652, ptr noundef nonnull @.str.6) #10
  %654 = load i32, ptr %414, align 4, !tbaa !5
  %655 = call ptr @strerror(i32 noundef %654) #10
  %656 = load i32, ptr %414, align 4, !tbaa !5
  %657 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %648, ptr noundef nonnull %.str.7.sink311, i32 noundef %649, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.3, i32 noundef 82, ptr noundef %651, ptr noundef %653, ptr noundef %655, i32 noundef %656) #12
  call void @exit(i32 noundef 1) #13
  unreachable

658:                                              ; preds = %631
  %659 = load i32, ptr @test_count, align 4, !tbaa !5
  %660 = add nsw i32 %659, 1
  store i32 %660, ptr @test_count, align 4, !tbaa !5
  %661 = call i32 @s2n_free_without_wipe(ptr noundef nonnull %9) #10
  %662 = icmp eq i32 %661, -1
  br i1 %662, label %663, label %685

663:                                              ; preds = %658
  %664 = load i32, ptr %414, align 4, !tbaa !5
  %665 = load ptr, ptr @stderr, align 8, !tbaa !9
  %666 = call i32 @s2n_print_stacktrace(ptr noundef %665) #10
  %667 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %668 = trunc nuw i8 %667 to i1
  br i1 %668, label %669, label %673

669:                                              ; preds = %663
  %670 = load ptr, ptr @stderr, align 8, !tbaa !9
  %671 = call i32 @fileno(ptr noundef %670) #10
  %672 = call i32 @isatty(i32 noundef %671) #10
  %.not74 = icmp eq i32 %672, 0
  br i1 %.not74, label %673, label %674

673:                                              ; preds = %669, %663
  br label %674

674:                                              ; preds = %669, %673
  %.str.7.sink320 = phi ptr [ @.str.7, %673 ], [ @.str.4, %669 ]
  store i32 %664, ptr %414, align 4, !tbaa !5
  %675 = load ptr, ptr @stderr, align 8, !tbaa !9
  %676 = load i32, ptr @test_count, align 4, !tbaa !5
  %677 = load i32, ptr %360, align 4, !tbaa !5
  %678 = call ptr @s2n_strerror(i32 noundef %677, ptr noundef nonnull @.str.6) #10
  %679 = load i32, ptr %360, align 4, !tbaa !5
  %680 = call ptr @s2n_strerror_debug(i32 noundef %679, ptr noundef nonnull @.str.6) #10
  %681 = load i32, ptr %414, align 4, !tbaa !5
  %682 = call ptr @strerror(i32 noundef %681) #10
  %683 = load i32, ptr %414, align 4, !tbaa !5
  %684 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %675, ptr noundef nonnull %.str.7.sink320, i32 noundef %676, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.3, i32 noundef 83, ptr noundef %678, ptr noundef %680, ptr noundef %682, i32 noundef %683) #12
  call void @exit(i32 noundef 1) #13
  unreachable

685:                                              ; preds = %658
  %686 = load i32, ptr @test_count, align 4, !tbaa !5
  %687 = add nsw i32 %686, 1
  store i32 %687, ptr @test_count, align 4, !tbaa !5
  %688 = call i32 @s2n_free_or_wipe(ptr noundef nonnull %9) #10
  %689 = icmp eq i32 %688, -1
  br i1 %689, label %690, label %712

690:                                              ; preds = %685
  %691 = load i32, ptr %414, align 4, !tbaa !5
  %692 = load ptr, ptr @stderr, align 8, !tbaa !9
  %693 = call i32 @s2n_print_stacktrace(ptr noundef %692) #10
  %694 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %695 = trunc nuw i8 %694 to i1
  br i1 %695, label %696, label %700

696:                                              ; preds = %690
  %697 = load ptr, ptr @stderr, align 8, !tbaa !9
  %698 = call i32 @fileno(ptr noundef %697) #10
  %699 = call i32 @isatty(i32 noundef %698) #10
  %.not73 = icmp eq i32 %699, 0
  br i1 %.not73, label %700, label %701

700:                                              ; preds = %696, %690
  br label %701

701:                                              ; preds = %696, %700
  %.str.7.sink329 = phi ptr [ @.str.7, %700 ], [ @.str.4, %696 ]
  store i32 %691, ptr %414, align 4, !tbaa !5
  %702 = load ptr, ptr @stderr, align 8, !tbaa !9
  %703 = load i32, ptr @test_count, align 4, !tbaa !5
  %704 = load i32, ptr %360, align 4, !tbaa !5
  %705 = call ptr @s2n_strerror(i32 noundef %704, ptr noundef nonnull @.str.6) #10
  %706 = load i32, ptr %360, align 4, !tbaa !5
  %707 = call ptr @s2n_strerror_debug(i32 noundef %706, ptr noundef nonnull @.str.6) #10
  %708 = load i32, ptr %414, align 4, !tbaa !5
  %709 = call ptr @strerror(i32 noundef %708) #10
  %710 = load i32, ptr %414, align 4, !tbaa !5
  %711 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %702, ptr noundef nonnull %.str.7.sink329, i32 noundef %703, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.3, i32 noundef 84, ptr noundef %705, ptr noundef %707, ptr noundef %709, i32 noundef %710) #12
  call void @exit(i32 noundef 1) #13
  unreachable

712:                                              ; preds = %685
  %713 = load i32, ptr @test_count, align 4, !tbaa !5
  %714 = add nsw i32 %713, 1
  store i32 %714, ptr @test_count, align 4, !tbaa !5
  %715 = load ptr, ptr %5, align 8, !tbaa !9
  %716 = load ptr, ptr %6, align 8, !tbaa !9
  %717 = load ptr, ptr %7, align 8, !tbaa !9
  %718 = load ptr, ptr %8, align 8, !tbaa !9
  %719 = call i32 @s2n_mem_override_callbacks(ptr noundef %715, ptr noundef %716, ptr noundef %717, ptr noundef %718) #10
  %720 = call zeroext i1 @s2n_result_is_ok(i32 %719)
  br i1 %720, label %743, label %721

721:                                              ; preds = %712
  %722 = load i32, ptr %414, align 4, !tbaa !5
  %723 = load ptr, ptr @stderr, align 8, !tbaa !9
  %724 = call i32 @s2n_print_stacktrace(ptr noundef %723) #10
  %725 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %726 = trunc nuw i8 %725 to i1
  br i1 %726, label %727, label %731

727:                                              ; preds = %721
  %728 = load ptr, ptr @stderr, align 8, !tbaa !9
  %729 = call i32 @fileno(ptr noundef %728) #10
  %730 = call i32 @isatty(i32 noundef %729) #10
  %.not67 = icmp eq i32 %730, 0
  br i1 %.not67, label %731, label %732

731:                                              ; preds = %727, %721
  br label %732

732:                                              ; preds = %727, %731
  %.str.7.sink338 = phi ptr [ @.str.7, %731 ], [ @.str.4, %727 ]
  store i32 %722, ptr %414, align 4, !tbaa !5
  %733 = load ptr, ptr @stderr, align 8, !tbaa !9
  %734 = load i32, ptr @test_count, align 4, !tbaa !5
  %735 = load i32, ptr %360, align 4, !tbaa !5
  %736 = call ptr @s2n_strerror(i32 noundef %735, ptr noundef nonnull @.str.6) #10
  %737 = load i32, ptr %360, align 4, !tbaa !5
  %738 = call ptr @s2n_strerror_debug(i32 noundef %737, ptr noundef nonnull @.str.6) #10
  %739 = load i32, ptr %414, align 4, !tbaa !5
  %740 = call ptr @strerror(i32 noundef %739) #10
  %741 = load i32, ptr %414, align 4, !tbaa !5
  %742 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %733, ptr noundef nonnull %.str.7.sink338, i32 noundef %734, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.3, i32 noundef 87, ptr noundef %736, ptr noundef %738, ptr noundef %740, i32 noundef %741) #12
  call void @exit(i32 noundef 1) #13
  unreachable

743:                                              ; preds = %712
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %9) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #10
  %744 = call i32 @s2n_cleanup() #10
  %745 = icmp eq i32 %744, -1
  br i1 %745, label %746, label %768

746:                                              ; preds = %743
  %747 = load i32, ptr %414, align 4, !tbaa !5
  %748 = load ptr, ptr @stderr, align 8, !tbaa !9
  %749 = call i32 @s2n_print_stacktrace(ptr noundef %748) #10
  %750 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %751 = trunc nuw i8 %750 to i1
  br i1 %751, label %752, label %756

752:                                              ; preds = %746
  %753 = load ptr, ptr @stderr, align 8, !tbaa !9
  %754 = call i32 @fileno(ptr noundef %753) #10
  %755 = call i32 @isatty(i32 noundef %754) #10
  %.not72 = icmp eq i32 %755, 0
  br i1 %.not72, label %756, label %757

756:                                              ; preds = %752, %746
  br label %757

757:                                              ; preds = %752, %756
  %.str.7.sink347 = phi ptr [ @.str.7, %756 ], [ @.str.4, %752 ]
  store i32 %747, ptr %414, align 4, !tbaa !5
  %758 = load ptr, ptr @stderr, align 8, !tbaa !9
  %759 = load i32, ptr @test_count, align 4, !tbaa !5
  %760 = load i32, ptr %360, align 4, !tbaa !5
  %761 = call ptr @s2n_strerror(i32 noundef %760, ptr noundef nonnull @.str.6) #10
  %762 = load i32, ptr %360, align 4, !tbaa !5
  %763 = call ptr @s2n_strerror_debug(i32 noundef %762, ptr noundef nonnull @.str.6) #10
  %764 = load i32, ptr %414, align 4, !tbaa !5
  %765 = call ptr @strerror(i32 noundef %764) #10
  %766 = load i32, ptr %414, align 4, !tbaa !5
  %767 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %758, ptr noundef nonnull %.str.7.sink347, i32 noundef %759, ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.3, i32 noundef 91, ptr noundef %761, ptr noundef %763, ptr noundef %765, i32 noundef %766) #12
  call void @exit(i32 noundef 1) #13
  unreachable

768:                                              ; preds = %743
  %769 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #10
  %770 = icmp eq i32 %769, -1
  br i1 %770, label %771, label %793

771:                                              ; preds = %768
  %772 = load i32, ptr %414, align 4, !tbaa !5
  %773 = load ptr, ptr @stderr, align 8, !tbaa !9
  %774 = call i32 @s2n_print_stacktrace(ptr noundef %773) #10
  %775 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %776 = trunc nuw i8 %775 to i1
  br i1 %776, label %777, label %781

777:                                              ; preds = %771
  %778 = load ptr, ptr @stderr, align 8, !tbaa !9
  %779 = call i32 @fileno(ptr noundef %778) #10
  %780 = call i32 @isatty(i32 noundef %779) #10
  %.not71 = icmp eq i32 %780, 0
  br i1 %.not71, label %781, label %782

781:                                              ; preds = %777, %771
  br label %782

782:                                              ; preds = %777, %781
  %.str.7.sink356 = phi ptr [ @.str.7, %781 ], [ @.str.4, %777 ]
  store i32 %772, ptr %414, align 4, !tbaa !5
  %783 = load ptr, ptr @stderr, align 8, !tbaa !9
  %784 = load i32, ptr @test_count, align 4, !tbaa !5
  %785 = load i32, ptr %360, align 4, !tbaa !5
  %786 = call ptr @s2n_strerror(i32 noundef %785, ptr noundef nonnull @.str.6) #10
  %787 = load i32, ptr %360, align 4, !tbaa !5
  %788 = call ptr @s2n_strerror_debug(i32 noundef %787, ptr noundef nonnull @.str.6) #10
  %789 = load i32, ptr %414, align 4, !tbaa !5
  %790 = call ptr @strerror(i32 noundef %789) #10
  %791 = load i32, ptr %414, align 4, !tbaa !5
  %792 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %783, ptr noundef nonnull %.str.7.sink356, i32 noundef %784, ptr noundef nonnull @.str.23, ptr noundef nonnull @.str.3, i32 noundef 91, ptr noundef %786, ptr noundef %788, ptr noundef %790, i32 noundef %791) #12
  call void @exit(i32 noundef 1) #13
  unreachable

793:                                              ; preds = %768
  %794 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %795 = trunc nuw i8 %794 to i1
  br i1 %795, label %796, label %807

796:                                              ; preds = %793
  %797 = load ptr, ptr @stdout, align 8, !tbaa !9
  %798 = call i32 @fileno(ptr noundef %797) #10
  %799 = call i32 @isatty(i32 noundef %798) #10
  %.not68 = icmp eq i32 %799, 0
  br i1 %.not68, label %807, label %800

800:                                              ; preds = %796
  %801 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not70 = icmp eq i32 %801, 0
  %802 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not70, label %805, label %803

803:                                              ; preds = %800
  %804 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %802, ptr noundef nonnull @.str.24, i32 noundef %801) #10
  br label %814

805:                                              ; preds = %800
  %806 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %802, ptr noundef nonnull @.str.25) #10
  br label %814

807:                                              ; preds = %796, %793
  %808 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not69 = icmp eq i32 %808, 0
  %809 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not69, label %812, label %810

810:                                              ; preds = %807
  %811 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %809, ptr noundef nonnull @.str.26, i32 noundef %808) #10
  br label %814

812:                                              ; preds = %807
  %813 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %809, ptr noundef nonnull @.str.27) #10
  br label %814

814:                                              ; preds = %810, %812, %803, %805
  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 nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #4

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

declare i32 @s2n_print_stacktrace(ptr noundef) local_unnamed_addr #3

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

; 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

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

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

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

; 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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #8

declare i32 @s2n_free(ptr noundef) local_unnamed_addr #3

declare i32 @s2n_free_without_wipe(ptr noundef) local_unnamed_addr #3

declare i32 @s2n_free_or_wipe(ptr noundef) local_unnamed_addr #3

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

declare void @s2n_debug_info_reset() local_unnamed_addr #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i1 @s2n_result_is_ok(i32) local_unnamed_addr #9

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

declare i32 @s2n_mem_override_callbacks(ptr noundef, ptr noundef, ptr noundef, ptr noundef) 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 speculatable willreturn memory(none) }
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 nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { 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 #6 = { 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 = { 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 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { inlinehint 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 #10 = { nounwind }
attributes #11 = { nounwind willreturn memory(none) }
attributes #12 = { cold nounwind }
attributes #13 = { 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 = !{}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass