; LLVM IR from aws/s2n-tls :: tests/unit (s2n_drain_alert_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_test_io_pair = type { i32, i32 }

@s2n_use_color_in_output = external dso_local global i8, align 1
@test_count = external dso_local global i32, align 4
@stdout = external global ptr, align 8
@.str = external hidden unnamed_addr constant [19 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [79 x i8], align 1
@stderr = external global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [56 x i8], align 1
@__const.main.client_hello_message = external hidden unnamed_addr constant [75 x i8], align 16
@__const.main.alert_record = external hidden unnamed_addr constant [7 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [68 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [67 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [89 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [128 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [58 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [127 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [100 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [82 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [102 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [105 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [123 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [99 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [71 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [25 x i8], align 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 i32, align 4
  %10 = alloca [75 x i8], align 16
  %11 = alloca i64, align 8
  %12 = alloca [4 x i8], align 1
  %13 = alloca i64, align 8
  %14 = alloca [5 x i8], align 1
  %15 = alloca [7 x i8], align 1
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca %struct.s2n_test_io_pair, 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 i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca i32, align 4
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca i32, align 4
  %45 = alloca i32, align 4
  %46 = alloca i32, align 4
  %47 = 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 %48

48:                                               ; preds = %2
  br label %49

49:                                               ; preds = %48
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %50 = load ptr, ptr @stdout, align 8, !tbaa !9
  %51 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %50, ptr noundef @.str, ptr noundef @.str.1) #9
  %52 = load ptr, ptr @stdout, align 8, !tbaa !9
  %53 = call i32 @fflush(ptr noundef %52)
  br label %54

54:                                               ; preds = %49
  %55 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %56 = icmp eq i32 %55, -1
  br i1 %56, label %57, label %108

57:                                               ; preds = %54
  br label %58

58:                                               ; preds = %57
  br label %59

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

66:                                               ; preds = %59
  %67 = load ptr, ptr @stderr, align 8, !tbaa !9
  %68 = call i32 @fileno(ptr noundef %67) #9
  %69 = call i32 @isatty(i32 noundef %68) #9
  %70 = icmp ne i32 %69, 0
  br i1 %70, label %71, label %88

71:                                               ; preds = %66
  %72 = load i32, ptr %6, align 4, !tbaa !5
  %73 = call ptr @__errno_location() #10
  store i32 %72, ptr %73, align 4, !tbaa !5
  %74 = load ptr, ptr @stderr, align 8, !tbaa !9
  %75 = load i32, ptr @test_count, align 4, !tbaa !5
  %76 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %77 = load i32, ptr %76, align 4, !tbaa !5
  %78 = call ptr @s2n_strerror(i32 noundef %77, ptr noundef @.str.4)
  %79 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %80 = load i32, ptr %79, align 4, !tbaa !5
  %81 = call ptr @s2n_strerror_debug(i32 noundef %80, ptr noundef @.str.4)
  %82 = call ptr @__errno_location() #10
  %83 = load i32, ptr %82, align 4, !tbaa !5
  %84 = call ptr @strerror(i32 noundef %83) #9
  %85 = call ptr @__errno_location() #10
  %86 = load i32, ptr %85, align 4, !tbaa !5
  %87 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %74, ptr noundef @.str.2, i32 noundef %75, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 35, ptr noundef %78, ptr noundef %81, ptr noundef %84, i32 noundef %86) #9
  br label %105

88:                                               ; preds = %66, %59
  %89 = load i32, ptr %6, align 4, !tbaa !5
  %90 = call ptr @__errno_location() #10
  store i32 %89, ptr %90, align 4, !tbaa !5
  %91 = load ptr, ptr @stderr, align 8, !tbaa !9
  %92 = load i32, ptr @test_count, align 4, !tbaa !5
  %93 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %94 = load i32, ptr %93, align 4, !tbaa !5
  %95 = call ptr @s2n_strerror(i32 noundef %94, ptr noundef @.str.4)
  %96 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %97 = load i32, ptr %96, align 4, !tbaa !5
  %98 = call ptr @s2n_strerror_debug(i32 noundef %97, ptr noundef @.str.4)
  %99 = call ptr @__errno_location() #10
  %100 = load i32, ptr %99, align 4, !tbaa !5
  %101 = call ptr @strerror(i32 noundef %100) #9
  %102 = call ptr @__errno_location() #10
  %103 = load i32, ptr %102, align 4, !tbaa !5
  %104 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %91, ptr noundef @.str.5, i32 noundef %92, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 35, ptr noundef %95, ptr noundef %98, ptr noundef %101, i32 noundef %103) #9
  br label %105

105:                                              ; preds = %88, %71
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #9
  br label %106

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

107:                                              ; No predecessors!
  br label %108

108:                                              ; preds = %107, %54
  br label %109

109:                                              ; preds = %108
  br label %110

110:                                              ; preds = %109
  %111 = load i32, ptr @test_count, align 4, !tbaa !5
  %112 = add nsw i32 %111, 1
  store i32 %112, ptr @test_count, align 4, !tbaa !5
  %113 = call i32 @s2n_enable_atexit()
  %114 = icmp eq i32 %113, -1
  br i1 %114, label %115, label %166

115:                                              ; preds = %110
  br label %116

116:                                              ; preds = %115
  br label %117

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

124:                                              ; preds = %117
  %125 = load ptr, ptr @stderr, align 8, !tbaa !9
  %126 = call i32 @fileno(ptr noundef %125) #9
  %127 = call i32 @isatty(i32 noundef %126) #9
  %128 = icmp ne i32 %127, 0
  br i1 %128, label %129, label %146

129:                                              ; preds = %124
  %130 = load i32, ptr %7, align 4, !tbaa !5
  %131 = call ptr @__errno_location() #10
  store i32 %130, ptr %131, align 4, !tbaa !5
  %132 = load ptr, ptr @stderr, align 8, !tbaa !9
  %133 = load i32, ptr @test_count, align 4, !tbaa !5
  %134 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %135 = load i32, ptr %134, align 4, !tbaa !5
  %136 = call ptr @s2n_strerror(i32 noundef %135, ptr noundef @.str.4)
  %137 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %138 = load i32, ptr %137, align 4, !tbaa !5
  %139 = call ptr @s2n_strerror_debug(i32 noundef %138, ptr noundef @.str.4)
  %140 = call ptr @__errno_location() #10
  %141 = load i32, ptr %140, align 4, !tbaa !5
  %142 = call ptr @strerror(i32 noundef %141) #9
  %143 = call ptr @__errno_location() #10
  %144 = load i32, ptr %143, align 4, !tbaa !5
  %145 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %132, ptr noundef @.str.2, i32 noundef %133, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 35, ptr noundef %136, ptr noundef %139, ptr noundef %142, i32 noundef %144) #9
  br label %163

146:                                              ; preds = %124, %117
  %147 = load i32, ptr %7, align 4, !tbaa !5
  %148 = call ptr @__errno_location() #10
  store i32 %147, ptr %148, align 4, !tbaa !5
  %149 = load ptr, ptr @stderr, align 8, !tbaa !9
  %150 = load i32, ptr @test_count, align 4, !tbaa !5
  %151 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %152 = load i32, ptr %151, align 4, !tbaa !5
  %153 = call ptr @s2n_strerror(i32 noundef %152, ptr noundef @.str.4)
  %154 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %155 = load i32, ptr %154, align 4, !tbaa !5
  %156 = call ptr @s2n_strerror_debug(i32 noundef %155, ptr noundef @.str.4)
  %157 = call ptr @__errno_location() #10
  %158 = load i32, ptr %157, align 4, !tbaa !5
  %159 = call ptr @strerror(i32 noundef %158) #9
  %160 = call ptr @__errno_location() #10
  %161 = load i32, ptr %160, align 4, !tbaa !5
  %162 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %149, ptr noundef @.str.5, i32 noundef %150, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 35, ptr noundef %153, ptr noundef %156, ptr noundef %159, i32 noundef %161) #9
  br label %163

163:                                              ; preds = %146, %129
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #9
  br label %164

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

165:                                              ; No predecessors!
  br label %166

166:                                              ; preds = %165, %110
  br label %167

167:                                              ; preds = %166
  br label %168

168:                                              ; preds = %167
  br label %169

169:                                              ; preds = %168
  %170 = call i32 @s2n_init()
  %171 = icmp eq i32 %170, -1
  br i1 %171, label %172, label %223

172:                                              ; preds = %169
  br label %173

173:                                              ; preds = %172
  br label %174

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

181:                                              ; preds = %174
  %182 = load ptr, ptr @stderr, align 8, !tbaa !9
  %183 = call i32 @fileno(ptr noundef %182) #9
  %184 = call i32 @isatty(i32 noundef %183) #9
  %185 = icmp ne i32 %184, 0
  br i1 %185, label %186, label %203

186:                                              ; preds = %181
  %187 = load i32, ptr %8, align 4, !tbaa !5
  %188 = call ptr @__errno_location() #10
  store i32 %187, ptr %188, align 4, !tbaa !5
  %189 = load ptr, ptr @stderr, align 8, !tbaa !9
  %190 = load i32, ptr @test_count, align 4, !tbaa !5
  %191 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %192 = load i32, ptr %191, align 4, !tbaa !5
  %193 = call ptr @s2n_strerror(i32 noundef %192, ptr noundef @.str.4)
  %194 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %195 = load i32, ptr %194, align 4, !tbaa !5
  %196 = call ptr @s2n_strerror_debug(i32 noundef %195, ptr noundef @.str.4)
  %197 = call ptr @__errno_location() #10
  %198 = load i32, ptr %197, align 4, !tbaa !5
  %199 = call ptr @strerror(i32 noundef %198) #9
  %200 = call ptr @__errno_location() #10
  %201 = load i32, ptr %200, align 4, !tbaa !5
  %202 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %189, ptr noundef @.str.2, i32 noundef %190, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 35, ptr noundef %193, ptr noundef %196, ptr noundef %199, i32 noundef %201) #9
  br label %220

203:                                              ; preds = %181, %174
  %204 = load i32, ptr %8, align 4, !tbaa !5
  %205 = call ptr @__errno_location() #10
  store i32 %204, ptr %205, align 4, !tbaa !5
  %206 = load ptr, ptr @stderr, align 8, !tbaa !9
  %207 = load i32, ptr @test_count, align 4, !tbaa !5
  %208 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %209 = load i32, ptr %208, align 4, !tbaa !5
  %210 = call ptr @s2n_strerror(i32 noundef %209, ptr noundef @.str.4)
  %211 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %212 = load i32, ptr %211, align 4, !tbaa !5
  %213 = call ptr @s2n_strerror_debug(i32 noundef %212, ptr noundef @.str.4)
  %214 = call ptr @__errno_location() #10
  %215 = load i32, ptr %214, align 4, !tbaa !5
  %216 = call ptr @strerror(i32 noundef %215) #9
  %217 = call ptr @__errno_location() #10
  %218 = load i32, ptr %217, align 4, !tbaa !5
  %219 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %206, ptr noundef @.str.5, i32 noundef %207, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 35, ptr noundef %210, ptr noundef %213, ptr noundef %216, i32 noundef %218) #9
  br label %220

220:                                              ; preds = %203, %186
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #9
  br label %221

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

222:                                              ; No predecessors!
  br label %223

223:                                              ; preds = %222, %169
  br label %224

224:                                              ; preds = %223
  br label %225

225:                                              ; preds = %224
  br label %226

226:                                              ; preds = %225
  %227 = load i32, ptr @test_count, align 4, !tbaa !5
  %228 = add nsw i32 %227, 1
  store i32 %228, ptr @test_count, align 4, !tbaa !5
  %229 = call i32 (...) @s2n_disable_tls13_in_test()
  %230 = icmp eq i32 %229, -1
  br i1 %230, label %231, label %282

231:                                              ; preds = %226
  br label %232

232:                                              ; preds = %231
  br label %233

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

240:                                              ; preds = %233
  %241 = load ptr, ptr @stderr, align 8, !tbaa !9
  %242 = call i32 @fileno(ptr noundef %241) #9
  %243 = call i32 @isatty(i32 noundef %242) #9
  %244 = icmp ne i32 %243, 0
  br i1 %244, label %245, label %262

245:                                              ; preds = %240
  %246 = load i32, ptr %9, align 4, !tbaa !5
  %247 = call ptr @__errno_location() #10
  store i32 %246, ptr %247, align 4, !tbaa !5
  %248 = load ptr, ptr @stderr, align 8, !tbaa !9
  %249 = load i32, ptr @test_count, align 4, !tbaa !5
  %250 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %251 = load i32, ptr %250, align 4, !tbaa !5
  %252 = call ptr @s2n_strerror(i32 noundef %251, ptr noundef @.str.4)
  %253 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %254 = load i32, ptr %253, align 4, !tbaa !5
  %255 = call ptr @s2n_strerror_debug(i32 noundef %254, ptr noundef @.str.4)
  %256 = call ptr @__errno_location() #10
  %257 = load i32, ptr %256, align 4, !tbaa !5
  %258 = call ptr @strerror(i32 noundef %257) #9
  %259 = call ptr @__errno_location() #10
  %260 = load i32, ptr %259, align 4, !tbaa !5
  %261 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %248, ptr noundef @.str.2, i32 noundef %249, ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 36, ptr noundef %252, ptr noundef %255, ptr noundef %258, i32 noundef %260) #9
  br label %279

262:                                              ; preds = %240, %233
  %263 = load i32, ptr %9, align 4, !tbaa !5
  %264 = call ptr @__errno_location() #10
  store i32 %263, ptr %264, align 4, !tbaa !5
  %265 = load ptr, ptr @stderr, align 8, !tbaa !9
  %266 = load i32, ptr @test_count, align 4, !tbaa !5
  %267 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %268 = load i32, ptr %267, align 4, !tbaa !5
  %269 = call ptr @s2n_strerror(i32 noundef %268, ptr noundef @.str.4)
  %270 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %271 = load i32, ptr %270, align 4, !tbaa !5
  %272 = call ptr @s2n_strerror_debug(i32 noundef %271, ptr noundef @.str.4)
  %273 = call ptr @__errno_location() #10
  %274 = load i32, ptr %273, align 4, !tbaa !5
  %275 = call ptr @strerror(i32 noundef %274) #9
  %276 = call ptr @__errno_location() #10
  %277 = load i32, ptr %276, align 4, !tbaa !5
  %278 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %265, ptr noundef @.str.5, i32 noundef %266, ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 36, ptr noundef %269, ptr noundef %272, ptr noundef %275, i32 noundef %277) #9
  br label %279

279:                                              ; preds = %262, %245
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #9
  br label %280

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

281:                                              ; No predecessors!
  br label %282

282:                                              ; preds = %281, %226
  br label %283

283:                                              ; preds = %282
  call void @llvm.lifetime.start.p0(i64 75, ptr %10) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %10, ptr align 16 @__const.main.client_hello_message, i64 75, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #9
  store i64 75, ptr %11, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #9
  store i8 1, ptr %12, align 1, !tbaa !17
  %284 = getelementptr inbounds i8, ptr %12, i64 1
  %285 = load i64, ptr %11, align 8, !tbaa !15
  %286 = lshr i64 %285, 16
  %287 = and i64 %286, 255
  %288 = trunc i64 %287 to i8
  store i8 %288, ptr %284, align 1, !tbaa !17
  %289 = getelementptr inbounds i8, ptr %12, i64 2
  %290 = load i64, ptr %11, align 8, !tbaa !15
  %291 = lshr i64 %290, 8
  %292 = and i64 %291, 255
  %293 = trunc i64 %292 to i8
  store i8 %293, ptr %289, align 1, !tbaa !17
  %294 = getelementptr inbounds i8, ptr %12, i64 3
  %295 = load i64, ptr %11, align 8, !tbaa !15
  %296 = and i64 %295, 255
  %297 = trunc i64 %296 to i8
  store i8 %297, ptr %294, align 1, !tbaa !17
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #9
  %298 = load i64, ptr %11, align 8, !tbaa !15
  %299 = add i64 4, %298
  store i64 %299, ptr %13, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 5, ptr %14) #9
  store i8 22, ptr %14, align 1, !tbaa !17
  %300 = getelementptr inbounds i8, ptr %14, i64 1
  store i8 3, ptr %300, align 1, !tbaa !17
  %301 = getelementptr inbounds i8, ptr %14, i64 2
  store i8 3, ptr %301, align 1, !tbaa !17
  %302 = getelementptr inbounds i8, ptr %14, i64 3
  %303 = load i64, ptr %13, align 8, !tbaa !15
  %304 = lshr i64 %303, 8
  %305 = and i64 %304, 255
  %306 = trunc i64 %305 to i8
  store i8 %306, ptr %302, align 1, !tbaa !17
  %307 = getelementptr inbounds i8, ptr %14, i64 4
  %308 = load i64, ptr %13, align 8, !tbaa !15
  %309 = and i64 %308, 255
  %310 = trunc i64 %309 to i8
  store i8 %310, ptr %307, align 1, !tbaa !17
  call void @llvm.lifetime.start.p0(i64 7, ptr %15) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %15, ptr align 1 @__const.main.alert_record, i64 7, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #9
  store ptr null, ptr %16, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #9
  store ptr null, ptr %17, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #9
  %311 = call noalias ptr @malloc(i64 noundef 12000) #12
  store ptr %311, ptr %19, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #9
  %312 = call noalias ptr @malloc(i64 noundef 12000) #12
  store ptr %312, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #9
  store ptr null, ptr %21, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #9
  br label %313

313:                                              ; preds = %283
  %314 = load i32, ptr @test_count, align 4, !tbaa !5
  %315 = add nsw i32 %314, 1
  store i32 %315, ptr @test_count, align 4, !tbaa !5
  %316 = call i32 @s2n_io_pair_init_non_blocking(ptr noundef %22)
  %317 = icmp eq i32 %316, -1
  br i1 %317, label %318, label %371

318:                                              ; preds = %313
  br label %319

319:                                              ; preds = %318
  br label %320

320:                                              ; preds = %319
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #9
  %321 = call ptr @__errno_location() #10
  %322 = load i32, ptr %321, align 4, !tbaa !5
  store i32 %322, ptr %23, align 4, !tbaa !5
  %323 = load ptr, ptr @stderr, align 8, !tbaa !9
  %324 = call i32 @s2n_print_stacktrace(ptr noundef %323)
  %325 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %326 = trunc i8 %325 to i1
  br i1 %326, label %327, label %349

327:                                              ; preds = %320
  %328 = load ptr, ptr @stderr, align 8, !tbaa !9
  %329 = call i32 @fileno(ptr noundef %328) #9
  %330 = call i32 @isatty(i32 noundef %329) #9
  %331 = icmp ne i32 %330, 0
  br i1 %331, label %332, label %349

332:                                              ; preds = %327
  %333 = load i32, ptr %23, align 4, !tbaa !5
  %334 = call ptr @__errno_location() #10
  store i32 %333, ptr %334, align 4, !tbaa !5
  %335 = load ptr, ptr @stderr, align 8, !tbaa !9
  %336 = load i32, ptr @test_count, align 4, !tbaa !5
  %337 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %338 = load i32, ptr %337, align 4, !tbaa !5
  %339 = call ptr @s2n_strerror(i32 noundef %338, ptr noundef @.str.4)
  %340 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %341 = load i32, ptr %340, align 4, !tbaa !5
  %342 = call ptr @s2n_strerror_debug(i32 noundef %341, ptr noundef @.str.4)
  %343 = call ptr @__errno_location() #10
  %344 = load i32, ptr %343, align 4, !tbaa !5
  %345 = call ptr @strerror(i32 noundef %344) #9
  %346 = call ptr @__errno_location() #10
  %347 = load i32, ptr %346, align 4, !tbaa !5
  %348 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %335, ptr noundef @.str.2, i32 noundef %336, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 100, ptr noundef %339, ptr noundef %342, ptr noundef %345, i32 noundef %347) #9
  br label %366

349:                                              ; preds = %327, %320
  %350 = load i32, ptr %23, align 4, !tbaa !5
  %351 = call ptr @__errno_location() #10
  store i32 %350, ptr %351, align 4, !tbaa !5
  %352 = load ptr, ptr @stderr, align 8, !tbaa !9
  %353 = load i32, ptr @test_count, align 4, !tbaa !5
  %354 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %355 = load i32, ptr %354, align 4, !tbaa !5
  %356 = call ptr @s2n_strerror(i32 noundef %355, ptr noundef @.str.4)
  %357 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %358 = load i32, ptr %357, align 4, !tbaa !5
  %359 = call ptr @s2n_strerror_debug(i32 noundef %358, ptr noundef @.str.4)
  %360 = call ptr @__errno_location() #10
  %361 = load i32, ptr %360, align 4, !tbaa !5
  %362 = call ptr @strerror(i32 noundef %361) #9
  %363 = call ptr @__errno_location() #10
  %364 = load i32, ptr %363, align 4, !tbaa !5
  %365 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %352, ptr noundef @.str.5, i32 noundef %353, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 100, ptr noundef %356, ptr noundef %359, ptr noundef %362, i32 noundef %364) #9
  br label %366

366:                                              ; preds = %349, %332
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #9
  br label %367

367:                                              ; preds = %366
  br label %368

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

369:                                              ; No predecessors!
  br label %370

370:                                              ; preds = %369
  br label %371

371:                                              ; preds = %370, %313
  br label %372

372:                                              ; preds = %371
  br label %373

373:                                              ; preds = %372
  br label %374

374:                                              ; preds = %373
  %375 = load i32, ptr @test_count, align 4, !tbaa !5
  %376 = add nsw i32 %375, 1
  store i32 %376, ptr @test_count, align 4, !tbaa !5
  %377 = call ptr @s2n_connection_new(i32 noundef 0)
  store ptr %377, ptr %16, align 8, !tbaa !9
  %378 = icmp eq ptr %377, null
  br i1 %378, label %379, label %432

379:                                              ; preds = %374
  br label %380

380:                                              ; preds = %379
  br label %381

381:                                              ; preds = %380
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #9
  %382 = call ptr @__errno_location() #10
  %383 = load i32, ptr %382, align 4, !tbaa !5
  store i32 %383, ptr %24, align 4, !tbaa !5
  %384 = load ptr, ptr @stderr, align 8, !tbaa !9
  %385 = call i32 @s2n_print_stacktrace(ptr noundef %384)
  %386 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %387 = trunc i8 %386 to i1
  br i1 %387, label %388, label %410

388:                                              ; preds = %381
  %389 = load ptr, ptr @stderr, align 8, !tbaa !9
  %390 = call i32 @fileno(ptr noundef %389) #9
  %391 = call i32 @isatty(i32 noundef %390) #9
  %392 = icmp ne i32 %391, 0
  br i1 %392, label %393, label %410

393:                                              ; preds = %388
  %394 = load i32, ptr %24, align 4, !tbaa !5
  %395 = call ptr @__errno_location() #10
  store i32 %394, ptr %395, align 4, !tbaa !5
  %396 = load ptr, ptr @stderr, align 8, !tbaa !9
  %397 = load i32, ptr @test_count, align 4, !tbaa !5
  %398 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %399 = load i32, ptr %398, align 4, !tbaa !5
  %400 = call ptr @s2n_strerror(i32 noundef %399, ptr noundef @.str.4)
  %401 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %402 = load i32, ptr %401, align 4, !tbaa !5
  %403 = call ptr @s2n_strerror_debug(i32 noundef %402, ptr noundef @.str.4)
  %404 = call ptr @__errno_location() #10
  %405 = load i32, ptr %404, align 4, !tbaa !5
  %406 = call ptr @strerror(i32 noundef %405) #9
  %407 = call ptr @__errno_location() #10
  %408 = load i32, ptr %407, align 4, !tbaa !5
  %409 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %396, ptr noundef @.str.2, i32 noundef %397, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 102, ptr noundef %400, ptr noundef %403, ptr noundef %406, i32 noundef %408) #9
  br label %427

410:                                              ; preds = %388, %381
  %411 = load i32, ptr %24, align 4, !tbaa !5
  %412 = call ptr @__errno_location() #10
  store i32 %411, ptr %412, align 4, !tbaa !5
  %413 = load ptr, ptr @stderr, align 8, !tbaa !9
  %414 = load i32, ptr @test_count, align 4, !tbaa !5
  %415 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %416 = load i32, ptr %415, align 4, !tbaa !5
  %417 = call ptr @s2n_strerror(i32 noundef %416, ptr noundef @.str.4)
  %418 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %419 = load i32, ptr %418, align 4, !tbaa !5
  %420 = call ptr @s2n_strerror_debug(i32 noundef %419, ptr noundef @.str.4)
  %421 = call ptr @__errno_location() #10
  %422 = load i32, ptr %421, align 4, !tbaa !5
  %423 = call ptr @strerror(i32 noundef %422) #9
  %424 = call ptr @__errno_location() #10
  %425 = load i32, ptr %424, align 4, !tbaa !5
  %426 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %413, ptr noundef @.str.5, i32 noundef %414, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 102, ptr noundef %417, ptr noundef %420, ptr noundef %423, i32 noundef %425) #9
  br label %427

427:                                              ; preds = %410, %393
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #9
  br label %428

428:                                              ; preds = %427
  br label %429

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

430:                                              ; No predecessors!
  br label %431

431:                                              ; preds = %430
  br label %432

432:                                              ; preds = %431, %374
  br label %433

433:                                              ; preds = %432
  br label %434

434:                                              ; preds = %433
  br label %435

435:                                              ; preds = %434
  %436 = load i32, ptr @test_count, align 4, !tbaa !5
  %437 = add nsw i32 %436, 1
  store i32 %437, ptr @test_count, align 4, !tbaa !5
  %438 = load ptr, ptr %16, align 8, !tbaa !9
  %439 = call i32 @s2n_connection_set_io_pair(ptr noundef %438, ptr noundef %22)
  %440 = icmp eq i32 %439, -1
  br i1 %440, label %441, label %494

441:                                              ; preds = %435
  br label %442

442:                                              ; preds = %441
  br label %443

443:                                              ; preds = %442
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #9
  %444 = call ptr @__errno_location() #10
  %445 = load i32, ptr %444, align 4, !tbaa !5
  store i32 %445, ptr %25, align 4, !tbaa !5
  %446 = load ptr, ptr @stderr, align 8, !tbaa !9
  %447 = call i32 @s2n_print_stacktrace(ptr noundef %446)
  %448 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %449 = trunc i8 %448 to i1
  br i1 %449, label %450, label %472

450:                                              ; preds = %443
  %451 = load ptr, ptr @stderr, align 8, !tbaa !9
  %452 = call i32 @fileno(ptr noundef %451) #9
  %453 = call i32 @isatty(i32 noundef %452) #9
  %454 = icmp ne i32 %453, 0
  br i1 %454, label %455, label %472

455:                                              ; preds = %450
  %456 = load i32, ptr %25, align 4, !tbaa !5
  %457 = call ptr @__errno_location() #10
  store i32 %456, ptr %457, align 4, !tbaa !5
  %458 = load ptr, ptr @stderr, align 8, !tbaa !9
  %459 = load i32, ptr @test_count, align 4, !tbaa !5
  %460 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %461 = load i32, ptr %460, align 4, !tbaa !5
  %462 = call ptr @s2n_strerror(i32 noundef %461, ptr noundef @.str.4)
  %463 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %464 = load i32, ptr %463, align 4, !tbaa !5
  %465 = call ptr @s2n_strerror_debug(i32 noundef %464, ptr noundef @.str.4)
  %466 = call ptr @__errno_location() #10
  %467 = load i32, ptr %466, align 4, !tbaa !5
  %468 = call ptr @strerror(i32 noundef %467) #9
  %469 = call ptr @__errno_location() #10
  %470 = load i32, ptr %469, align 4, !tbaa !5
  %471 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %458, ptr noundef @.str.2, i32 noundef %459, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 103, ptr noundef %462, ptr noundef %465, ptr noundef %468, i32 noundef %470) #9
  br label %489

472:                                              ; preds = %450, %443
  %473 = load i32, ptr %25, align 4, !tbaa !5
  %474 = call ptr @__errno_location() #10
  store i32 %473, ptr %474, align 4, !tbaa !5
  %475 = load ptr, ptr @stderr, align 8, !tbaa !9
  %476 = load i32, ptr @test_count, align 4, !tbaa !5
  %477 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %478 = load i32, ptr %477, align 4, !tbaa !5
  %479 = call ptr @s2n_strerror(i32 noundef %478, ptr noundef @.str.4)
  %480 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %481 = load i32, ptr %480, align 4, !tbaa !5
  %482 = call ptr @s2n_strerror_debug(i32 noundef %481, ptr noundef @.str.4)
  %483 = call ptr @__errno_location() #10
  %484 = load i32, ptr %483, align 4, !tbaa !5
  %485 = call ptr @strerror(i32 noundef %484) #9
  %486 = call ptr @__errno_location() #10
  %487 = load i32, ptr %486, align 4, !tbaa !5
  %488 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %475, ptr noundef @.str.5, i32 noundef %476, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 103, ptr noundef %479, ptr noundef %482, ptr noundef %485, i32 noundef %487) #9
  br label %489

489:                                              ; preds = %472, %455
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #9
  br label %490

490:                                              ; preds = %489
  br label %491

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

492:                                              ; No predecessors!
  br label %493

493:                                              ; preds = %492
  br label %494

494:                                              ; preds = %493, %435
  br label %495

495:                                              ; preds = %494
  br label %496

496:                                              ; preds = %495
  br label %497

497:                                              ; preds = %496
  %498 = load i32, ptr @test_count, align 4, !tbaa !5
  %499 = add nsw i32 %498, 1
  store i32 %499, ptr @test_count, align 4, !tbaa !5
  %500 = call ptr @s2n_config_new()
  store ptr %500, ptr %17, align 8, !tbaa !9
  %501 = icmp eq ptr %500, null
  br i1 %501, label %502, label %555

502:                                              ; preds = %497
  br label %503

503:                                              ; preds = %502
  br label %504

504:                                              ; preds = %503
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #9
  %505 = call ptr @__errno_location() #10
  %506 = load i32, ptr %505, align 4, !tbaa !5
  store i32 %506, ptr %26, align 4, !tbaa !5
  %507 = load ptr, ptr @stderr, align 8, !tbaa !9
  %508 = call i32 @s2n_print_stacktrace(ptr noundef %507)
  %509 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %510 = trunc i8 %509 to i1
  br i1 %510, label %511, label %533

511:                                              ; preds = %504
  %512 = load ptr, ptr @stderr, align 8, !tbaa !9
  %513 = call i32 @fileno(ptr noundef %512) #9
  %514 = call i32 @isatty(i32 noundef %513) #9
  %515 = icmp ne i32 %514, 0
  br i1 %515, label %516, label %533

516:                                              ; preds = %511
  %517 = load i32, ptr %26, align 4, !tbaa !5
  %518 = call ptr @__errno_location() #10
  store i32 %517, ptr %518, align 4, !tbaa !5
  %519 = load ptr, ptr @stderr, align 8, !tbaa !9
  %520 = load i32, ptr @test_count, align 4, !tbaa !5
  %521 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %522 = load i32, ptr %521, align 4, !tbaa !5
  %523 = call ptr @s2n_strerror(i32 noundef %522, ptr noundef @.str.4)
  %524 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %525 = load i32, ptr %524, align 4, !tbaa !5
  %526 = call ptr @s2n_strerror_debug(i32 noundef %525, ptr noundef @.str.4)
  %527 = call ptr @__errno_location() #10
  %528 = load i32, ptr %527, align 4, !tbaa !5
  %529 = call ptr @strerror(i32 noundef %528) #9
  %530 = call ptr @__errno_location() #10
  %531 = load i32, ptr %530, align 4, !tbaa !5
  %532 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %519, ptr noundef @.str.2, i32 noundef %520, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 105, ptr noundef %523, ptr noundef %526, ptr noundef %529, i32 noundef %531) #9
  br label %550

533:                                              ; preds = %511, %504
  %534 = load i32, ptr %26, align 4, !tbaa !5
  %535 = call ptr @__errno_location() #10
  store i32 %534, ptr %535, align 4, !tbaa !5
  %536 = load ptr, ptr @stderr, align 8, !tbaa !9
  %537 = load i32, ptr @test_count, align 4, !tbaa !5
  %538 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %539 = load i32, ptr %538, align 4, !tbaa !5
  %540 = call ptr @s2n_strerror(i32 noundef %539, ptr noundef @.str.4)
  %541 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %542 = load i32, ptr %541, align 4, !tbaa !5
  %543 = call ptr @s2n_strerror_debug(i32 noundef %542, ptr noundef @.str.4)
  %544 = call ptr @__errno_location() #10
  %545 = load i32, ptr %544, align 4, !tbaa !5
  %546 = call ptr @strerror(i32 noundef %545) #9
  %547 = call ptr @__errno_location() #10
  %548 = load i32, ptr %547, align 4, !tbaa !5
  %549 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %536, ptr noundef @.str.5, i32 noundef %537, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 105, ptr noundef %540, ptr noundef %543, ptr noundef %546, i32 noundef %548) #9
  br label %550

550:                                              ; preds = %533, %516
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #9
  br label %551

551:                                              ; preds = %550
  br label %552

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

553:                                              ; No predecessors!
  br label %554

554:                                              ; preds = %553
  br label %555

555:                                              ; preds = %554, %497
  br label %556

556:                                              ; preds = %555
  br label %557

557:                                              ; preds = %556
  br label %558

558:                                              ; preds = %557
  %559 = load i32, ptr @test_count, align 4, !tbaa !5
  %560 = add nsw i32 %559, 1
  store i32 %560, ptr @test_count, align 4, !tbaa !5
  %561 = load ptr, ptr %17, align 8, !tbaa !9
  %562 = call i32 @s2n_config_set_cipher_preferences(ptr noundef %561, ptr noundef @.str.13)
  %563 = icmp eq i32 %562, -1
  br i1 %563, label %564, label %617

564:                                              ; preds = %558
  br label %565

565:                                              ; preds = %564
  br label %566

566:                                              ; preds = %565
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #9
  %567 = call ptr @__errno_location() #10
  %568 = load i32, ptr %567, align 4, !tbaa !5
  store i32 %568, ptr %27, align 4, !tbaa !5
  %569 = load ptr, ptr @stderr, align 8, !tbaa !9
  %570 = call i32 @s2n_print_stacktrace(ptr noundef %569)
  %571 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %572 = trunc i8 %571 to i1
  br i1 %572, label %573, label %595

573:                                              ; preds = %566
  %574 = load ptr, ptr @stderr, align 8, !tbaa !9
  %575 = call i32 @fileno(ptr noundef %574) #9
  %576 = call i32 @isatty(i32 noundef %575) #9
  %577 = icmp ne i32 %576, 0
  br i1 %577, label %578, label %595

578:                                              ; preds = %573
  %579 = load i32, ptr %27, align 4, !tbaa !5
  %580 = call ptr @__errno_location() #10
  store i32 %579, ptr %580, align 4, !tbaa !5
  %581 = load ptr, ptr @stderr, align 8, !tbaa !9
  %582 = load i32, ptr @test_count, align 4, !tbaa !5
  %583 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %584 = load i32, ptr %583, align 4, !tbaa !5
  %585 = call ptr @s2n_strerror(i32 noundef %584, ptr noundef @.str.4)
  %586 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %587 = load i32, ptr %586, align 4, !tbaa !5
  %588 = call ptr @s2n_strerror_debug(i32 noundef %587, ptr noundef @.str.4)
  %589 = call ptr @__errno_location() #10
  %590 = load i32, ptr %589, align 4, !tbaa !5
  %591 = call ptr @strerror(i32 noundef %590) #9
  %592 = call ptr @__errno_location() #10
  %593 = load i32, ptr %592, align 4, !tbaa !5
  %594 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %581, ptr noundef @.str.2, i32 noundef %582, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 107, ptr noundef %585, ptr noundef %588, ptr noundef %591, i32 noundef %593) #9
  br label %612

595:                                              ; preds = %573, %566
  %596 = load i32, ptr %27, align 4, !tbaa !5
  %597 = call ptr @__errno_location() #10
  store i32 %596, ptr %597, align 4, !tbaa !5
  %598 = load ptr, ptr @stderr, align 8, !tbaa !9
  %599 = load i32, ptr @test_count, align 4, !tbaa !5
  %600 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %601 = load i32, ptr %600, align 4, !tbaa !5
  %602 = call ptr @s2n_strerror(i32 noundef %601, ptr noundef @.str.4)
  %603 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %604 = load i32, ptr %603, align 4, !tbaa !5
  %605 = call ptr @s2n_strerror_debug(i32 noundef %604, ptr noundef @.str.4)
  %606 = call ptr @__errno_location() #10
  %607 = load i32, ptr %606, align 4, !tbaa !5
  %608 = call ptr @strerror(i32 noundef %607) #9
  %609 = call ptr @__errno_location() #10
  %610 = load i32, ptr %609, align 4, !tbaa !5
  %611 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %598, ptr noundef @.str.5, i32 noundef %599, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 107, ptr noundef %602, ptr noundef %605, ptr noundef %608, i32 noundef %610) #9
  br label %612

612:                                              ; preds = %595, %578
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #9
  br label %613

613:                                              ; preds = %612
  br label %614

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

615:                                              ; No predecessors!
  br label %616

616:                                              ; preds = %615
  br label %617

617:                                              ; preds = %616, %558
  br label %618

618:                                              ; preds = %617
  br label %619

619:                                              ; preds = %618
  br label %620

620:                                              ; preds = %619
  %621 = load i32, ptr @test_count, align 4, !tbaa !5
  %622 = add nsw i32 %621, 1
  store i32 %622, ptr @test_count, align 4, !tbaa !5
  %623 = load ptr, ptr %19, align 8, !tbaa !9
  %624 = call i32 @s2n_read_test_pem(ptr noundef @.str.15, ptr noundef %623, i64 noundef 12000)
  %625 = icmp eq i32 %624, -1
  br i1 %625, label %626, label %679

626:                                              ; preds = %620
  br label %627

627:                                              ; preds = %626
  br label %628

628:                                              ; preds = %627
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #9
  %629 = call ptr @__errno_location() #10
  %630 = load i32, ptr %629, align 4, !tbaa !5
  store i32 %630, ptr %28, align 4, !tbaa !5
  %631 = load ptr, ptr @stderr, align 8, !tbaa !9
  %632 = call i32 @s2n_print_stacktrace(ptr noundef %631)
  %633 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %634 = trunc i8 %633 to i1
  br i1 %634, label %635, label %657

635:                                              ; preds = %628
  %636 = load ptr, ptr @stderr, align 8, !tbaa !9
  %637 = call i32 @fileno(ptr noundef %636) #9
  %638 = call i32 @isatty(i32 noundef %637) #9
  %639 = icmp ne i32 %638, 0
  br i1 %639, label %640, label %657

640:                                              ; preds = %635
  %641 = load i32, ptr %28, align 4, !tbaa !5
  %642 = call ptr @__errno_location() #10
  store i32 %641, ptr %642, align 4, !tbaa !5
  %643 = load ptr, ptr @stderr, align 8, !tbaa !9
  %644 = load i32, ptr @test_count, align 4, !tbaa !5
  %645 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %646 = load i32, ptr %645, align 4, !tbaa !5
  %647 = call ptr @s2n_strerror(i32 noundef %646, ptr noundef @.str.4)
  %648 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %649 = load i32, ptr %648, align 4, !tbaa !5
  %650 = call ptr @s2n_strerror_debug(i32 noundef %649, ptr noundef @.str.4)
  %651 = call ptr @__errno_location() #10
  %652 = load i32, ptr %651, align 4, !tbaa !5
  %653 = call ptr @strerror(i32 noundef %652) #9
  %654 = call ptr @__errno_location() #10
  %655 = load i32, ptr %654, align 4, !tbaa !5
  %656 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %643, ptr noundef @.str.2, i32 noundef %644, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 108, ptr noundef %647, ptr noundef %650, ptr noundef %653, i32 noundef %655) #9
  br label %674

657:                                              ; preds = %635, %628
  %658 = load i32, ptr %28, align 4, !tbaa !5
  %659 = call ptr @__errno_location() #10
  store i32 %658, ptr %659, align 4, !tbaa !5
  %660 = load ptr, ptr @stderr, align 8, !tbaa !9
  %661 = load i32, ptr @test_count, align 4, !tbaa !5
  %662 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %663 = load i32, ptr %662, align 4, !tbaa !5
  %664 = call ptr @s2n_strerror(i32 noundef %663, ptr noundef @.str.4)
  %665 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %666 = load i32, ptr %665, align 4, !tbaa !5
  %667 = call ptr @s2n_strerror_debug(i32 noundef %666, ptr noundef @.str.4)
  %668 = call ptr @__errno_location() #10
  %669 = load i32, ptr %668, align 4, !tbaa !5
  %670 = call ptr @strerror(i32 noundef %669) #9
  %671 = call ptr @__errno_location() #10
  %672 = load i32, ptr %671, align 4, !tbaa !5
  %673 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %660, ptr noundef @.str.5, i32 noundef %661, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 108, ptr noundef %664, ptr noundef %667, ptr noundef %670, i32 noundef %672) #9
  br label %674

674:                                              ; preds = %657, %640
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #9
  br label %675

675:                                              ; preds = %674
  br label %676

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

677:                                              ; No predecessors!
  br label %678

678:                                              ; preds = %677
  br label %679

679:                                              ; preds = %678, %620
  br label %680

680:                                              ; preds = %679
  br label %681

681:                                              ; preds = %680
  br label %682

682:                                              ; preds = %681
  %683 = load i32, ptr @test_count, align 4, !tbaa !5
  %684 = add nsw i32 %683, 1
  store i32 %684, ptr @test_count, align 4, !tbaa !5
  %685 = load ptr, ptr %20, align 8, !tbaa !9
  %686 = call i32 @s2n_read_test_pem(ptr noundef @.str.17, ptr noundef %685, i64 noundef 12000)
  %687 = icmp eq i32 %686, -1
  br i1 %687, label %688, label %741

688:                                              ; preds = %682
  br label %689

689:                                              ; preds = %688
  br label %690

690:                                              ; preds = %689
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #9
  %691 = call ptr @__errno_location() #10
  %692 = load i32, ptr %691, align 4, !tbaa !5
  store i32 %692, ptr %29, align 4, !tbaa !5
  %693 = load ptr, ptr @stderr, align 8, !tbaa !9
  %694 = call i32 @s2n_print_stacktrace(ptr noundef %693)
  %695 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %696 = trunc i8 %695 to i1
  br i1 %696, label %697, label %719

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

702:                                              ; preds = %697
  %703 = load i32, ptr %29, align 4, !tbaa !5
  %704 = call ptr @__errno_location() #10
  store i32 %703, ptr %704, align 4, !tbaa !5
  %705 = load ptr, ptr @stderr, align 8, !tbaa !9
  %706 = load i32, ptr @test_count, align 4, !tbaa !5
  %707 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %708 = load i32, ptr %707, align 4, !tbaa !5
  %709 = call ptr @s2n_strerror(i32 noundef %708, ptr noundef @.str.4)
  %710 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %711 = load i32, ptr %710, align 4, !tbaa !5
  %712 = call ptr @s2n_strerror_debug(i32 noundef %711, ptr noundef @.str.4)
  %713 = call ptr @__errno_location() #10
  %714 = load i32, ptr %713, align 4, !tbaa !5
  %715 = call ptr @strerror(i32 noundef %714) #9
  %716 = call ptr @__errno_location() #10
  %717 = load i32, ptr %716, align 4, !tbaa !5
  %718 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %705, ptr noundef @.str.2, i32 noundef %706, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 109, ptr noundef %709, ptr noundef %712, ptr noundef %715, i32 noundef %717) #9
  br label %736

719:                                              ; preds = %697, %690
  %720 = load i32, ptr %29, align 4, !tbaa !5
  %721 = call ptr @__errno_location() #10
  store i32 %720, ptr %721, align 4, !tbaa !5
  %722 = load ptr, ptr @stderr, align 8, !tbaa !9
  %723 = load i32, ptr @test_count, align 4, !tbaa !5
  %724 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %725 = load i32, ptr %724, align 4, !tbaa !5
  %726 = call ptr @s2n_strerror(i32 noundef %725, ptr noundef @.str.4)
  %727 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %728 = load i32, ptr %727, align 4, !tbaa !5
  %729 = call ptr @s2n_strerror_debug(i32 noundef %728, ptr noundef @.str.4)
  %730 = call ptr @__errno_location() #10
  %731 = load i32, ptr %730, align 4, !tbaa !5
  %732 = call ptr @strerror(i32 noundef %731) #9
  %733 = call ptr @__errno_location() #10
  %734 = load i32, ptr %733, align 4, !tbaa !5
  %735 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %722, ptr noundef @.str.5, i32 noundef %723, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 109, ptr noundef %726, ptr noundef %729, ptr noundef %732, i32 noundef %734) #9
  br label %736

736:                                              ; preds = %719, %702
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #9
  br label %737

737:                                              ; preds = %736
  br label %738

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

739:                                              ; No predecessors!
  br label %740

740:                                              ; preds = %739
  br label %741

741:                                              ; preds = %740, %682
  br label %742

742:                                              ; preds = %741
  br label %743

743:                                              ; preds = %742
  br label %744

744:                                              ; preds = %743
  %745 = load i32, ptr @test_count, align 4, !tbaa !5
  %746 = add nsw i32 %745, 1
  store i32 %746, ptr @test_count, align 4, !tbaa !5
  %747 = call ptr @s2n_cert_chain_and_key_new()
  store ptr %747, ptr %21, align 8, !tbaa !9
  %748 = icmp eq ptr %747, null
  br i1 %748, label %749, label %802

749:                                              ; preds = %744
  br label %750

750:                                              ; preds = %749
  br label %751

751:                                              ; preds = %750
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #9
  %752 = call ptr @__errno_location() #10
  %753 = load i32, ptr %752, align 4, !tbaa !5
  store i32 %753, ptr %30, align 4, !tbaa !5
  %754 = load ptr, ptr @stderr, align 8, !tbaa !9
  %755 = call i32 @s2n_print_stacktrace(ptr noundef %754)
  %756 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %757 = trunc i8 %756 to i1
  br i1 %757, label %758, label %780

758:                                              ; preds = %751
  %759 = load ptr, ptr @stderr, align 8, !tbaa !9
  %760 = call i32 @fileno(ptr noundef %759) #9
  %761 = call i32 @isatty(i32 noundef %760) #9
  %762 = icmp ne i32 %761, 0
  br i1 %762, label %763, label %780

763:                                              ; preds = %758
  %764 = load i32, ptr %30, align 4, !tbaa !5
  %765 = call ptr @__errno_location() #10
  store i32 %764, ptr %765, align 4, !tbaa !5
  %766 = load ptr, ptr @stderr, align 8, !tbaa !9
  %767 = load i32, ptr @test_count, align 4, !tbaa !5
  %768 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %769 = load i32, ptr %768, align 4, !tbaa !5
  %770 = call ptr @s2n_strerror(i32 noundef %769, ptr noundef @.str.4)
  %771 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %772 = load i32, ptr %771, align 4, !tbaa !5
  %773 = call ptr @s2n_strerror_debug(i32 noundef %772, ptr noundef @.str.4)
  %774 = call ptr @__errno_location() #10
  %775 = load i32, ptr %774, align 4, !tbaa !5
  %776 = call ptr @strerror(i32 noundef %775) #9
  %777 = call ptr @__errno_location() #10
  %778 = load i32, ptr %777, align 4, !tbaa !5
  %779 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %766, ptr noundef @.str.2, i32 noundef %767, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 110, ptr noundef %770, ptr noundef %773, ptr noundef %776, i32 noundef %778) #9
  br label %797

780:                                              ; preds = %758, %751
  %781 = load i32, ptr %30, align 4, !tbaa !5
  %782 = call ptr @__errno_location() #10
  store i32 %781, ptr %782, align 4, !tbaa !5
  %783 = load ptr, ptr @stderr, align 8, !tbaa !9
  %784 = load i32, ptr @test_count, align 4, !tbaa !5
  %785 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %786 = load i32, ptr %785, align 4, !tbaa !5
  %787 = call ptr @s2n_strerror(i32 noundef %786, ptr noundef @.str.4)
  %788 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %789 = load i32, ptr %788, align 4, !tbaa !5
  %790 = call ptr @s2n_strerror_debug(i32 noundef %789, ptr noundef @.str.4)
  %791 = call ptr @__errno_location() #10
  %792 = load i32, ptr %791, align 4, !tbaa !5
  %793 = call ptr @strerror(i32 noundef %792) #9
  %794 = call ptr @__errno_location() #10
  %795 = load i32, ptr %794, align 4, !tbaa !5
  %796 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %783, ptr noundef @.str.5, i32 noundef %784, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 110, ptr noundef %787, ptr noundef %790, ptr noundef %793, i32 noundef %795) #9
  br label %797

797:                                              ; preds = %780, %763
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #9
  br label %798

798:                                              ; preds = %797
  br label %799

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

800:                                              ; No predecessors!
  br label %801

801:                                              ; preds = %800
  br label %802

802:                                              ; preds = %801, %744
  br label %803

803:                                              ; preds = %802
  br label %804

804:                                              ; preds = %803
  br label %805

805:                                              ; preds = %804
  %806 = load i32, ptr @test_count, align 4, !tbaa !5
  %807 = add nsw i32 %806, 1
  store i32 %807, ptr @test_count, align 4, !tbaa !5
  %808 = load ptr, ptr %21, align 8, !tbaa !9
  %809 = load ptr, ptr %19, align 8, !tbaa !9
  %810 = load ptr, ptr %20, align 8, !tbaa !9
  %811 = call i32 @s2n_cert_chain_and_key_load_pem(ptr noundef %808, ptr noundef %809, ptr noundef %810)
  %812 = icmp eq i32 %811, -1
  br i1 %812, label %813, label %866

813:                                              ; preds = %805
  br label %814

814:                                              ; preds = %813
  br label %815

815:                                              ; preds = %814
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #9
  %816 = call ptr @__errno_location() #10
  %817 = load i32, ptr %816, align 4, !tbaa !5
  store i32 %817, ptr %31, align 4, !tbaa !5
  %818 = load ptr, ptr @stderr, align 8, !tbaa !9
  %819 = call i32 @s2n_print_stacktrace(ptr noundef %818)
  %820 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %821 = trunc i8 %820 to i1
  br i1 %821, label %822, label %844

822:                                              ; preds = %815
  %823 = load ptr, ptr @stderr, align 8, !tbaa !9
  %824 = call i32 @fileno(ptr noundef %823) #9
  %825 = call i32 @isatty(i32 noundef %824) #9
  %826 = icmp ne i32 %825, 0
  br i1 %826, label %827, label %844

827:                                              ; preds = %822
  %828 = load i32, ptr %31, align 4, !tbaa !5
  %829 = call ptr @__errno_location() #10
  store i32 %828, ptr %829, align 4, !tbaa !5
  %830 = load ptr, ptr @stderr, align 8, !tbaa !9
  %831 = load i32, 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(i32 noundef %833, ptr noundef @.str.4)
  %835 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %836 = load i32, ptr %835, align 4, !tbaa !5
  %837 = call ptr @s2n_strerror_debug(i32 noundef %836, ptr noundef @.str.4)
  %838 = call ptr @__errno_location() #10
  %839 = load i32, ptr %838, align 4, !tbaa !5
  %840 = call ptr @strerror(i32 noundef %839) #9
  %841 = call ptr @__errno_location() #10
  %842 = load i32, ptr %841, align 4, !tbaa !5
  %843 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %830, ptr noundef @.str.2, i32 noundef %831, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 111, ptr noundef %834, ptr noundef %837, ptr noundef %840, i32 noundef %842) #9
  br label %861

844:                                              ; preds = %822, %815
  %845 = load i32, ptr %31, align 4, !tbaa !5
  %846 = call ptr @__errno_location() #10
  store i32 %845, ptr %846, align 4, !tbaa !5
  %847 = load ptr, ptr @stderr, align 8, !tbaa !9
  %848 = load i32, ptr @test_count, align 4, !tbaa !5
  %849 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %850 = load i32, ptr %849, align 4, !tbaa !5
  %851 = call ptr @s2n_strerror(i32 noundef %850, ptr noundef @.str.4)
  %852 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %853 = load i32, ptr %852, align 4, !tbaa !5
  %854 = call ptr @s2n_strerror_debug(i32 noundef %853, ptr noundef @.str.4)
  %855 = call ptr @__errno_location() #10
  %856 = load i32, ptr %855, align 4, !tbaa !5
  %857 = call ptr @strerror(i32 noundef %856) #9
  %858 = call ptr @__errno_location() #10
  %859 = load i32, ptr %858, align 4, !tbaa !5
  %860 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %847, ptr noundef @.str.5, i32 noundef %848, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 111, ptr noundef %851, ptr noundef %854, ptr noundef %857, i32 noundef %859) #9
  br label %861

861:                                              ; preds = %844, %827
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #9
  br label %862

862:                                              ; preds = %861
  br label %863

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

864:                                              ; No predecessors!
  br label %865

865:                                              ; preds = %864
  br label %866

866:                                              ; preds = %865, %805
  br label %867

867:                                              ; preds = %866
  br label %868

868:                                              ; preds = %867
  br label %869

869:                                              ; preds = %868
  %870 = load i32, ptr @test_count, align 4, !tbaa !5
  %871 = add nsw i32 %870, 1
  store i32 %871, ptr @test_count, align 4, !tbaa !5
  %872 = load ptr, ptr %17, align 8, !tbaa !9
  %873 = load ptr, ptr %21, align 8, !tbaa !9
  %874 = call i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef %872, ptr noundef %873)
  %875 = icmp eq i32 %874, -1
  br i1 %875, label %876, label %929

876:                                              ; preds = %869
  br label %877

877:                                              ; preds = %876
  br label %878

878:                                              ; preds = %877
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #9
  %879 = call ptr @__errno_location() #10
  %880 = load i32, ptr %879, align 4, !tbaa !5
  store i32 %880, ptr %32, align 4, !tbaa !5
  %881 = load ptr, ptr @stderr, align 8, !tbaa !9
  %882 = call i32 @s2n_print_stacktrace(ptr noundef %881)
  %883 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %884 = trunc i8 %883 to i1
  br i1 %884, label %885, label %907

885:                                              ; preds = %878
  %886 = load ptr, ptr @stderr, align 8, !tbaa !9
  %887 = call i32 @fileno(ptr noundef %886) #9
  %888 = call i32 @isatty(i32 noundef %887) #9
  %889 = icmp ne i32 %888, 0
  br i1 %889, label %890, label %907

890:                                              ; preds = %885
  %891 = load i32, ptr %32, align 4, !tbaa !5
  %892 = call ptr @__errno_location() #10
  store i32 %891, ptr %892, align 4, !tbaa !5
  %893 = load ptr, ptr @stderr, align 8, !tbaa !9
  %894 = load i32, ptr @test_count, align 4, !tbaa !5
  %895 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %896 = load i32, ptr %895, align 4, !tbaa !5
  %897 = call ptr @s2n_strerror(i32 noundef %896, ptr noundef @.str.4)
  %898 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %899 = load i32, ptr %898, align 4, !tbaa !5
  %900 = call ptr @s2n_strerror_debug(i32 noundef %899, ptr noundef @.str.4)
  %901 = call ptr @__errno_location() #10
  %902 = load i32, ptr %901, align 4, !tbaa !5
  %903 = call ptr @strerror(i32 noundef %902) #9
  %904 = call ptr @__errno_location() #10
  %905 = load i32, ptr %904, align 4, !tbaa !5
  %906 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %893, ptr noundef @.str.2, i32 noundef %894, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 112, ptr noundef %897, ptr noundef %900, ptr noundef %903, i32 noundef %905) #9
  br label %924

907:                                              ; preds = %885, %878
  %908 = load i32, ptr %32, align 4, !tbaa !5
  %909 = call ptr @__errno_location() #10
  store i32 %908, ptr %909, align 4, !tbaa !5
  %910 = load ptr, ptr @stderr, align 8, !tbaa !9
  %911 = load i32, ptr @test_count, align 4, !tbaa !5
  %912 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %913 = load i32, ptr %912, align 4, !tbaa !5
  %914 = call ptr @s2n_strerror(i32 noundef %913, ptr noundef @.str.4)
  %915 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %916 = load i32, ptr %915, align 4, !tbaa !5
  %917 = call ptr @s2n_strerror_debug(i32 noundef %916, ptr noundef @.str.4)
  %918 = call ptr @__errno_location() #10
  %919 = load i32, ptr %918, align 4, !tbaa !5
  %920 = call ptr @strerror(i32 noundef %919) #9
  %921 = call ptr @__errno_location() #10
  %922 = load i32, ptr %921, align 4, !tbaa !5
  %923 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %910, ptr noundef @.str.5, i32 noundef %911, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 112, ptr noundef %914, ptr noundef %917, ptr noundef %920, i32 noundef %922) #9
  br label %924

924:                                              ; preds = %907, %890
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #9
  br label %925

925:                                              ; preds = %924
  br label %926

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

927:                                              ; No predecessors!
  br label %928

928:                                              ; preds = %927
  br label %929

929:                                              ; preds = %928, %869
  br label %930

930:                                              ; preds = %929
  br label %931

931:                                              ; preds = %930
  br label %932

932:                                              ; preds = %931
  %933 = load i32, ptr @test_count, align 4, !tbaa !5
  %934 = add nsw i32 %933, 1
  store i32 %934, ptr @test_count, align 4, !tbaa !5
  %935 = load ptr, ptr %16, align 8, !tbaa !9
  %936 = load ptr, ptr %17, align 8, !tbaa !9
  %937 = call i32 @s2n_connection_set_config(ptr noundef %935, ptr noundef %936)
  %938 = icmp eq i32 %937, -1
  br i1 %938, label %939, label %992

939:                                              ; preds = %932
  br label %940

940:                                              ; preds = %939
  br label %941

941:                                              ; preds = %940
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #9
  %942 = call ptr @__errno_location() #10
  %943 = load i32, ptr %942, align 4, !tbaa !5
  store i32 %943, ptr %33, align 4, !tbaa !5
  %944 = load ptr, ptr @stderr, align 8, !tbaa !9
  %945 = call i32 @s2n_print_stacktrace(ptr noundef %944)
  %946 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %947 = trunc i8 %946 to i1
  br i1 %947, label %948, label %970

948:                                              ; preds = %941
  %949 = load ptr, ptr @stderr, align 8, !tbaa !9
  %950 = call i32 @fileno(ptr noundef %949) #9
  %951 = call i32 @isatty(i32 noundef %950) #9
  %952 = icmp ne i32 %951, 0
  br i1 %952, label %953, label %970

953:                                              ; preds = %948
  %954 = load i32, ptr %33, align 4, !tbaa !5
  %955 = call ptr @__errno_location() #10
  store i32 %954, ptr %955, align 4, !tbaa !5
  %956 = load ptr, ptr @stderr, align 8, !tbaa !9
  %957 = load i32, 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 = call ptr @s2n_strerror(i32 noundef %959, ptr noundef @.str.4)
  %961 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %962 = load i32, ptr %961, align 4, !tbaa !5
  %963 = call ptr @s2n_strerror_debug(i32 noundef %962, ptr noundef @.str.4)
  %964 = call ptr @__errno_location() #10
  %965 = load i32, ptr %964, align 4, !tbaa !5
  %966 = call ptr @strerror(i32 noundef %965) #9
  %967 = call ptr @__errno_location() #10
  %968 = load i32, ptr %967, align 4, !tbaa !5
  %969 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %956, ptr noundef @.str.2, i32 noundef %957, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 113, ptr noundef %960, ptr noundef %963, ptr noundef %966, i32 noundef %968) #9
  br label %987

970:                                              ; preds = %948, %941
  %971 = load i32, ptr %33, align 4, !tbaa !5
  %972 = call ptr @__errno_location() #10
  store i32 %971, ptr %972, align 4, !tbaa !5
  %973 = load ptr, ptr @stderr, align 8, !tbaa !9
  %974 = load i32, ptr @test_count, align 4, !tbaa !5
  %975 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %976 = load i32, ptr %975, align 4, !tbaa !5
  %977 = call ptr @s2n_strerror(i32 noundef %976, ptr noundef @.str.4)
  %978 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %979 = load i32, ptr %978, align 4, !tbaa !5
  %980 = call ptr @s2n_strerror_debug(i32 noundef %979, ptr noundef @.str.4)
  %981 = call ptr @__errno_location() #10
  %982 = load i32, ptr %981, align 4, !tbaa !5
  %983 = call ptr @strerror(i32 noundef %982) #9
  %984 = call ptr @__errno_location() #10
  %985 = load i32, ptr %984, align 4, !tbaa !5
  %986 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %973, ptr noundef @.str.5, i32 noundef %974, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 113, ptr noundef %977, ptr noundef %980, ptr noundef %983, i32 noundef %985) #9
  br label %987

987:                                              ; preds = %970, %953
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #9
  br label %988

988:                                              ; preds = %987
  br label %989

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

990:                                              ; No predecessors!
  br label %991

991:                                              ; preds = %990
  br label %992

992:                                              ; preds = %991, %932
  br label %993

993:                                              ; preds = %992
  br label %994

994:                                              ; preds = %993
  br label %995

995:                                              ; preds = %994
  %996 = load i32, ptr @test_count, align 4, !tbaa !5
  %997 = add nsw i32 %996, 1
  store i32 %997, ptr @test_count, align 4, !tbaa !5
  %998 = getelementptr inbounds %struct.s2n_test_io_pair, ptr %22, i32 0, i32 0
  %999 = load i32, ptr %998, align 4, !tbaa !18
  %1000 = getelementptr inbounds [5 x i8], ptr %14, i64 0, i64 0
  %1001 = call i64 @write(i32 noundef %999, ptr noundef %1000, i64 noundef 5)
  %1002 = icmp eq i64 %1001, 5
  br i1 %1002, label %1056, label %1003

1003:                                             ; preds = %995
  br label %1004

1004:                                             ; preds = %1003
  br label %1005

1005:                                             ; preds = %1004
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #9
  %1006 = call ptr @__errno_location() #10
  %1007 = load i32, ptr %1006, align 4, !tbaa !5
  store i32 %1007, ptr %34, align 4, !tbaa !5
  %1008 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1009 = call i32 @s2n_print_stacktrace(ptr noundef %1008)
  %1010 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1011 = trunc i8 %1010 to i1
  br i1 %1011, label %1012, label %1034

1012:                                             ; preds = %1005
  %1013 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1014 = call i32 @fileno(ptr noundef %1013) #9
  %1015 = call i32 @isatty(i32 noundef %1014) #9
  %1016 = icmp ne i32 %1015, 0
  br i1 %1016, label %1017, label %1034

1017:                                             ; preds = %1012
  %1018 = load i32, ptr %34, align 4, !tbaa !5
  %1019 = call ptr @__errno_location() #10
  store i32 %1018, ptr %1019, align 4, !tbaa !5
  %1020 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1021 = load i32, ptr @test_count, align 4, !tbaa !5
  %1022 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1023 = load i32, ptr %1022, align 4, !tbaa !5
  %1024 = call ptr @s2n_strerror(i32 noundef %1023, ptr noundef @.str.4)
  %1025 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1026 = load i32, ptr %1025, align 4, !tbaa !5
  %1027 = call ptr @s2n_strerror_debug(i32 noundef %1026, ptr noundef @.str.4)
  %1028 = call ptr @__errno_location() #10
  %1029 = load i32, ptr %1028, align 4, !tbaa !5
  %1030 = call ptr @strerror(i32 noundef %1029) #9
  %1031 = call ptr @__errno_location() #10
  %1032 = load i32, ptr %1031, align 4, !tbaa !5
  %1033 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1020, ptr noundef @.str.2, i32 noundef %1021, ptr noundef @.str.23, ptr noundef @.str.1, i32 noundef 116, ptr noundef %1024, ptr noundef %1027, ptr noundef %1030, i32 noundef %1032) #9
  br label %1051

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

1051:                                             ; preds = %1034, %1017
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #9
  br label %1052

1052:                                             ; preds = %1051
  br label %1053

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

1054:                                             ; No predecessors!
  br label %1055

1055:                                             ; preds = %1054
  br label %1056

1056:                                             ; preds = %1055, %995
  br label %1057

1057:                                             ; preds = %1056
  br label %1058

1058:                                             ; preds = %1057
  br label %1059

1059:                                             ; preds = %1058
  %1060 = load i32, ptr @test_count, align 4, !tbaa !5
  %1061 = add nsw i32 %1060, 1
  store i32 %1061, ptr @test_count, align 4, !tbaa !5
  %1062 = getelementptr inbounds %struct.s2n_test_io_pair, ptr %22, i32 0, i32 0
  %1063 = load i32, ptr %1062, align 4, !tbaa !18
  %1064 = getelementptr inbounds [4 x i8], ptr %12, i64 0, i64 0
  %1065 = call i64 @write(i32 noundef %1063, ptr noundef %1064, i64 noundef 4)
  %1066 = icmp eq i64 %1065, 4
  br i1 %1066, label %1120, label %1067

1067:                                             ; preds = %1059
  br label %1068

1068:                                             ; preds = %1067
  br label %1069

1069:                                             ; preds = %1068
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #9
  %1070 = call ptr @__errno_location() #10
  %1071 = load i32, ptr %1070, align 4, !tbaa !5
  store i32 %1071, ptr %35, align 4, !tbaa !5
  %1072 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1073 = call i32 @s2n_print_stacktrace(ptr noundef %1072)
  %1074 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1075 = trunc i8 %1074 to i1
  br i1 %1075, label %1076, label %1098

1076:                                             ; preds = %1069
  %1077 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1078 = call i32 @fileno(ptr noundef %1077) #9
  %1079 = call i32 @isatty(i32 noundef %1078) #9
  %1080 = icmp ne i32 %1079, 0
  br i1 %1080, label %1081, label %1098

1081:                                             ; preds = %1076
  %1082 = load i32, ptr %35, align 4, !tbaa !5
  %1083 = call ptr @__errno_location() #10
  store i32 %1082, ptr %1083, align 4, !tbaa !5
  %1084 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1085 = load i32, ptr @test_count, align 4, !tbaa !5
  %1086 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1087 = load i32, ptr %1086, align 4, !tbaa !5
  %1088 = call ptr @s2n_strerror(i32 noundef %1087, ptr noundef @.str.4)
  %1089 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1090 = load i32, ptr %1089, align 4, !tbaa !5
  %1091 = call ptr @s2n_strerror_debug(i32 noundef %1090, ptr noundef @.str.4)
  %1092 = call ptr @__errno_location() #10
  %1093 = load i32, ptr %1092, align 4, !tbaa !5
  %1094 = call ptr @strerror(i32 noundef %1093) #9
  %1095 = call ptr @__errno_location() #10
  %1096 = load i32, ptr %1095, align 4, !tbaa !5
  %1097 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1084, ptr noundef @.str.2, i32 noundef %1085, ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 117, ptr noundef %1088, ptr noundef %1091, ptr noundef %1094, i32 noundef %1096) #9
  br label %1115

1098:                                             ; preds = %1076, %1069
  %1099 = load i32, ptr %35, align 4, !tbaa !5
  %1100 = call ptr @__errno_location() #10
  store i32 %1099, ptr %1100, align 4, !tbaa !5
  %1101 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1102 = load i32, ptr @test_count, align 4, !tbaa !5
  %1103 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1104 = load i32, ptr %1103, align 4, !tbaa !5
  %1105 = call ptr @s2n_strerror(i32 noundef %1104, ptr noundef @.str.4)
  %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_debug(i32 noundef %1107, ptr noundef @.str.4)
  %1109 = call ptr @__errno_location() #10
  %1110 = load i32, ptr %1109, align 4, !tbaa !5
  %1111 = call ptr @strerror(i32 noundef %1110) #9
  %1112 = call ptr @__errno_location() #10
  %1113 = load i32, ptr %1112, align 4, !tbaa !5
  %1114 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1101, ptr noundef @.str.5, i32 noundef %1102, ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 117, ptr noundef %1105, ptr noundef %1108, ptr noundef %1111, i32 noundef %1113) #9
  br label %1115

1115:                                             ; preds = %1098, %1081
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #9
  br label %1116

1116:                                             ; preds = %1115
  br label %1117

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

1118:                                             ; No predecessors!
  br label %1119

1119:                                             ; preds = %1118
  br label %1120

1120:                                             ; preds = %1119, %1059
  br label %1121

1121:                                             ; preds = %1120
  br label %1122

1122:                                             ; preds = %1121
  br label %1123

1123:                                             ; preds = %1122
  %1124 = load i32, ptr @test_count, align 4, !tbaa !5
  %1125 = add nsw i32 %1124, 1
  store i32 %1125, ptr @test_count, align 4, !tbaa !5
  %1126 = getelementptr inbounds %struct.s2n_test_io_pair, ptr %22, i32 0, i32 0
  %1127 = load i32, ptr %1126, align 4, !tbaa !18
  %1128 = getelementptr inbounds [75 x i8], ptr %10, i64 0, i64 0
  %1129 = call i64 @write(i32 noundef %1127, ptr noundef %1128, i64 noundef 75)
  %1130 = icmp eq i64 %1129, 75
  br i1 %1130, label %1184, label %1131

1131:                                             ; preds = %1123
  br label %1132

1132:                                             ; preds = %1131
  br label %1133

1133:                                             ; preds = %1132
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #9
  %1134 = call ptr @__errno_location() #10
  %1135 = load i32, ptr %1134, align 4, !tbaa !5
  store i32 %1135, ptr %36, align 4, !tbaa !5
  %1136 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1137 = call i32 @s2n_print_stacktrace(ptr noundef %1136)
  %1138 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1139 = trunc i8 %1138 to i1
  br i1 %1139, label %1140, label %1162

1140:                                             ; preds = %1133
  %1141 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1142 = call i32 @fileno(ptr noundef %1141) #9
  %1143 = call i32 @isatty(i32 noundef %1142) #9
  %1144 = icmp ne i32 %1143, 0
  br i1 %1144, label %1145, label %1162

1145:                                             ; preds = %1140
  %1146 = load i32, ptr %36, align 4, !tbaa !5
  %1147 = call ptr @__errno_location() #10
  store i32 %1146, ptr %1147, align 4, !tbaa !5
  %1148 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1149 = load i32, ptr @test_count, align 4, !tbaa !5
  %1150 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1151 = load i32, ptr %1150, align 4, !tbaa !5
  %1152 = call ptr @s2n_strerror(i32 noundef %1151, ptr noundef @.str.4)
  %1153 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1154 = load i32, ptr %1153, align 4, !tbaa !5
  %1155 = call ptr @s2n_strerror_debug(i32 noundef %1154, ptr noundef @.str.4)
  %1156 = call ptr @__errno_location() #10
  %1157 = load i32, ptr %1156, align 4, !tbaa !5
  %1158 = call ptr @strerror(i32 noundef %1157) #9
  %1159 = call ptr @__errno_location() #10
  %1160 = load i32, ptr %1159, align 4, !tbaa !5
  %1161 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1148, ptr noundef @.str.2, i32 noundef %1149, ptr noundef @.str.25, ptr noundef @.str.1, i32 noundef 118, ptr noundef %1152, ptr noundef %1155, ptr noundef %1158, i32 noundef %1160) #9
  br label %1179

1162:                                             ; preds = %1140, %1133
  %1163 = load i32, ptr %36, align 4, !tbaa !5
  %1164 = call ptr @__errno_location() #10
  store i32 %1163, ptr %1164, align 4, !tbaa !5
  %1165 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1166 = load i32, ptr @test_count, align 4, !tbaa !5
  %1167 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1168 = load i32, ptr %1167, align 4, !tbaa !5
  %1169 = call ptr @s2n_strerror(i32 noundef %1168, ptr noundef @.str.4)
  %1170 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1171 = load i32, ptr %1170, align 4, !tbaa !5
  %1172 = call ptr @s2n_strerror_debug(i32 noundef %1171, ptr noundef @.str.4)
  %1173 = call ptr @__errno_location() #10
  %1174 = load i32, ptr %1173, align 4, !tbaa !5
  %1175 = call ptr @strerror(i32 noundef %1174) #9
  %1176 = call ptr @__errno_location() #10
  %1177 = load i32, ptr %1176, align 4, !tbaa !5
  %1178 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1165, ptr noundef @.str.5, i32 noundef %1166, ptr noundef @.str.25, ptr noundef @.str.1, i32 noundef 118, ptr noundef %1169, ptr noundef %1172, ptr noundef %1175, i32 noundef %1177) #9
  br label %1179

1179:                                             ; preds = %1162, %1145
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #9
  br label %1180

1180:                                             ; preds = %1179
  br label %1181

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

1182:                                             ; No predecessors!
  br label %1183

1183:                                             ; preds = %1182
  br label %1184

1184:                                             ; preds = %1183, %1123
  br label %1185

1185:                                             ; preds = %1184
  br label %1186

1186:                                             ; preds = %1185
  br label %1187

1187:                                             ; preds = %1186
  %1188 = load i32, ptr @test_count, align 4, !tbaa !5
  %1189 = add nsw i32 %1188, 1
  store i32 %1189, ptr @test_count, align 4, !tbaa !5
  %1190 = getelementptr inbounds %struct.s2n_test_io_pair, ptr %22, i32 0, i32 0
  %1191 = load i32, ptr %1190, align 4, !tbaa !18
  %1192 = getelementptr inbounds [7 x i8], ptr %15, i64 0, i64 0
  %1193 = call i64 @write(i32 noundef %1191, ptr noundef %1192, i64 noundef 7)
  %1194 = icmp eq i64 %1193, 7
  br i1 %1194, label %1248, label %1195

1195:                                             ; preds = %1187
  br label %1196

1196:                                             ; preds = %1195
  br label %1197

1197:                                             ; preds = %1196
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #9
  %1198 = call ptr @__errno_location() #10
  %1199 = load i32, ptr %1198, align 4, !tbaa !5
  store i32 %1199, ptr %37, align 4, !tbaa !5
  %1200 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1201 = call i32 @s2n_print_stacktrace(ptr noundef %1200)
  %1202 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1203 = trunc i8 %1202 to i1
  br i1 %1203, label %1204, label %1226

1204:                                             ; preds = %1197
  %1205 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1206 = call i32 @fileno(ptr noundef %1205) #9
  %1207 = call i32 @isatty(i32 noundef %1206) #9
  %1208 = icmp ne i32 %1207, 0
  br i1 %1208, label %1209, label %1226

1209:                                             ; preds = %1204
  %1210 = load i32, ptr %37, align 4, !tbaa !5
  %1211 = call ptr @__errno_location() #10
  store i32 %1210, ptr %1211, align 4, !tbaa !5
  %1212 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1213 = load i32, ptr @test_count, align 4, !tbaa !5
  %1214 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1215 = load i32, ptr %1214, align 4, !tbaa !5
  %1216 = call ptr @s2n_strerror(i32 noundef %1215, ptr noundef @.str.4)
  %1217 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1218 = load i32, ptr %1217, align 4, !tbaa !5
  %1219 = call ptr @s2n_strerror_debug(i32 noundef %1218, ptr noundef @.str.4)
  %1220 = call ptr @__errno_location() #10
  %1221 = load i32, ptr %1220, align 4, !tbaa !5
  %1222 = call ptr @strerror(i32 noundef %1221) #9
  %1223 = call ptr @__errno_location() #10
  %1224 = load i32, ptr %1223, align 4, !tbaa !5
  %1225 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1212, ptr noundef @.str.2, i32 noundef %1213, ptr noundef @.str.26, ptr noundef @.str.1, i32 noundef 121, ptr noundef %1216, ptr noundef %1219, ptr noundef %1222, i32 noundef %1224) #9
  br label %1243

1226:                                             ; preds = %1204, %1197
  %1227 = load i32, ptr %37, align 4, !tbaa !5
  %1228 = call ptr @__errno_location() #10
  store i32 %1227, ptr %1228, align 4, !tbaa !5
  %1229 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1230 = load i32, ptr @test_count, align 4, !tbaa !5
  %1231 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1232 = load i32, ptr %1231, align 4, !tbaa !5
  %1233 = call ptr @s2n_strerror(i32 noundef %1232, ptr noundef @.str.4)
  %1234 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1235 = load i32, ptr %1234, align 4, !tbaa !5
  %1236 = call ptr @s2n_strerror_debug(i32 noundef %1235, ptr noundef @.str.4)
  %1237 = call ptr @__errno_location() #10
  %1238 = load i32, ptr %1237, align 4, !tbaa !5
  %1239 = call ptr @strerror(i32 noundef %1238) #9
  %1240 = call ptr @__errno_location() #10
  %1241 = load i32, ptr %1240, align 4, !tbaa !5
  %1242 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1229, ptr noundef @.str.5, i32 noundef %1230, ptr noundef @.str.26, ptr noundef @.str.1, i32 noundef 121, ptr noundef %1233, ptr noundef %1236, ptr noundef %1239, i32 noundef %1241) #9
  br label %1243

1243:                                             ; preds = %1226, %1209
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #9
  br label %1244

1244:                                             ; preds = %1243
  br label %1245

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

1246:                                             ; No predecessors!
  br label %1247

1247:                                             ; preds = %1246
  br label %1248

1248:                                             ; preds = %1247, %1187
  br label %1249

1249:                                             ; preds = %1248
  br label %1250

1250:                                             ; preds = %1249
  br label %1251

1251:                                             ; preds = %1250
  %1252 = load i32, ptr @test_count, align 4, !tbaa !5
  %1253 = add nsw i32 %1252, 1
  store i32 %1253, ptr @test_count, align 4, !tbaa !5
  %1254 = call i32 @s2n_io_pair_close_one_end(ptr noundef %22, i32 noundef 1)
  %1255 = icmp eq i32 %1254, -1
  br i1 %1255, label %1256, label %1309

1256:                                             ; preds = %1251
  br label %1257

1257:                                             ; preds = %1256
  br label %1258

1258:                                             ; preds = %1257
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #9
  %1259 = call ptr @__errno_location() #10
  %1260 = load i32, ptr %1259, align 4, !tbaa !5
  store i32 %1260, ptr %38, align 4, !tbaa !5
  %1261 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1262 = call i32 @s2n_print_stacktrace(ptr noundef %1261)
  %1263 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1264 = trunc i8 %1263 to i1
  br i1 %1264, label %1265, label %1287

1265:                                             ; preds = %1258
  %1266 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1267 = call i32 @fileno(ptr noundef %1266) #9
  %1268 = call i32 @isatty(i32 noundef %1267) #9
  %1269 = icmp ne i32 %1268, 0
  br i1 %1269, label %1270, label %1287

1270:                                             ; preds = %1265
  %1271 = load i32, ptr %38, align 4, !tbaa !5
  %1272 = call ptr @__errno_location() #10
  store i32 %1271, ptr %1272, align 4, !tbaa !5
  %1273 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1274 = load i32, ptr @test_count, align 4, !tbaa !5
  %1275 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1276 = load i32, ptr %1275, align 4, !tbaa !5
  %1277 = call ptr @s2n_strerror(i32 noundef %1276, ptr noundef @.str.4)
  %1278 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1279 = load i32, ptr %1278, align 4, !tbaa !5
  %1280 = call ptr @s2n_strerror_debug(i32 noundef %1279, ptr noundef @.str.4)
  %1281 = call ptr @__errno_location() #10
  %1282 = load i32, ptr %1281, align 4, !tbaa !5
  %1283 = call ptr @strerror(i32 noundef %1282) #9
  %1284 = call ptr @__errno_location() #10
  %1285 = load i32, ptr %1284, align 4, !tbaa !5
  %1286 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1273, ptr noundef @.str.2, i32 noundef %1274, ptr noundef @.str.27, ptr noundef @.str.1, i32 noundef 124, ptr noundef %1277, ptr noundef %1280, ptr noundef %1283, i32 noundef %1285) #9
  br label %1304

1287:                                             ; preds = %1265, %1258
  %1288 = load i32, ptr %38, 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.4)
  %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.4)
  %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.5, i32 noundef %1291, ptr noundef @.str.27, ptr noundef @.str.1, i32 noundef 124, ptr noundef %1294, ptr noundef %1297, ptr noundef %1300, i32 noundef %1302) #9
  br label %1304

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

1305:                                             ; preds = %1304
  br label %1306

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

1307:                                             ; No predecessors!
  br label %1308

1308:                                             ; preds = %1307
  br label %1309

1309:                                             ; preds = %1308, %1251
  br label %1310

1310:                                             ; preds = %1309
  br label %1311

1311:                                             ; preds = %1310
  %1312 = load ptr, ptr %16, align 8, !tbaa !9
  %1313 = call i32 @s2n_negotiate(ptr noundef %1312, ptr noundef %18)
  br label %1314

1314:                                             ; preds = %1311
  %1315 = load i32, ptr @test_count, align 4, !tbaa !5
  %1316 = add nsw i32 %1315, 1
  store i32 %1316, ptr @test_count, align 4, !tbaa !5
  %1317 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1318 = load i32, ptr %1317, align 4, !tbaa !5
  %1319 = call i32 @s2n_error_get_type(i32 noundef %1318)
  %1320 = icmp eq i32 %1319, 4
  br i1 %1320, label %1374, label %1321

1321:                                             ; preds = %1314
  br label %1322

1322:                                             ; preds = %1321
  br label %1323

1323:                                             ; preds = %1322
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #9
  %1324 = call ptr @__errno_location() #10
  %1325 = load i32, ptr %1324, align 4, !tbaa !5
  store i32 %1325, ptr %39, align 4, !tbaa !5
  %1326 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1327 = call i32 @s2n_print_stacktrace(ptr noundef %1326)
  %1328 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1329 = trunc i8 %1328 to i1
  br i1 %1329, label %1330, label %1352

1330:                                             ; preds = %1323
  %1331 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1332 = call i32 @fileno(ptr noundef %1331) #9
  %1333 = call i32 @isatty(i32 noundef %1332) #9
  %1334 = icmp ne i32 %1333, 0
  br i1 %1334, label %1335, label %1352

1335:                                             ; preds = %1330
  %1336 = load i32, ptr %39, align 4, !tbaa !5
  %1337 = call ptr @__errno_location() #10
  store i32 %1336, ptr %1337, align 4, !tbaa !5
  %1338 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1339 = load i32, ptr @test_count, align 4, !tbaa !5
  %1340 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1341 = load i32, ptr %1340, align 4, !tbaa !5
  %1342 = call ptr @s2n_strerror(i32 noundef %1341, ptr noundef @.str.4)
  %1343 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1344 = load i32, ptr %1343, align 4, !tbaa !5
  %1345 = call ptr @s2n_strerror_debug(i32 noundef %1344, ptr noundef @.str.4)
  %1346 = call ptr @__errno_location() #10
  %1347 = load i32, ptr %1346, align 4, !tbaa !5
  %1348 = call ptr @strerror(i32 noundef %1347) #9
  %1349 = call ptr @__errno_location() #10
  %1350 = load i32, ptr %1349, align 4, !tbaa !5
  %1351 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1338, ptr noundef @.str.2, i32 noundef %1339, ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 128, ptr noundef %1342, ptr noundef %1345, ptr noundef %1348, i32 noundef %1350) #9
  br label %1369

1352:                                             ; preds = %1330, %1323
  %1353 = load i32, ptr %39, align 4, !tbaa !5
  %1354 = call ptr @__errno_location() #10
  store i32 %1353, ptr %1354, align 4, !tbaa !5
  %1355 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1356 = load i32, ptr @test_count, align 4, !tbaa !5
  %1357 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1358 = load i32, ptr %1357, align 4, !tbaa !5
  %1359 = call ptr @s2n_strerror(i32 noundef %1358, ptr noundef @.str.4)
  %1360 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1361 = load i32, ptr %1360, align 4, !tbaa !5
  %1362 = call ptr @s2n_strerror_debug(i32 noundef %1361, ptr noundef @.str.4)
  %1363 = call ptr @__errno_location() #10
  %1364 = load i32, ptr %1363, align 4, !tbaa !5
  %1365 = call ptr @strerror(i32 noundef %1364) #9
  %1366 = call ptr @__errno_location() #10
  %1367 = load i32, ptr %1366, align 4, !tbaa !5
  %1368 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1355, ptr noundef @.str.5, i32 noundef %1356, ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 128, ptr noundef %1359, ptr noundef %1362, ptr noundef %1365, i32 noundef %1367) #9
  br label %1369

1369:                                             ; preds = %1352, %1335
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #9
  br label %1370

1370:                                             ; preds = %1369
  br label %1371

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

1372:                                             ; No predecessors!
  br label %1373

1373:                                             ; preds = %1372
  br label %1374

1374:                                             ; preds = %1373, %1314
  br label %1375

1375:                                             ; preds = %1374
  br label %1376

1376:                                             ; preds = %1375
  br label %1377

1377:                                             ; preds = %1376
  %1378 = load i32, ptr @test_count, align 4, !tbaa !5
  %1379 = add nsw i32 %1378, 1
  store i32 %1379, ptr @test_count, align 4, !tbaa !5
  %1380 = load ptr, ptr %16, align 8, !tbaa !9
  %1381 = call i32 @s2n_connection_get_alert(ptr noundef %1380)
  %1382 = icmp eq i32 %1381, 80
  br i1 %1382, label %1436, label %1383

1383:                                             ; preds = %1377
  br label %1384

1384:                                             ; preds = %1383
  br label %1385

1385:                                             ; preds = %1384
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #9
  %1386 = call ptr @__errno_location() #10
  %1387 = load i32, ptr %1386, align 4, !tbaa !5
  store i32 %1387, ptr %40, align 4, !tbaa !5
  %1388 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1389 = call i32 @s2n_print_stacktrace(ptr noundef %1388)
  %1390 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1391 = trunc i8 %1390 to i1
  br i1 %1391, label %1392, label %1414

1392:                                             ; preds = %1385
  %1393 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1394 = call i32 @fileno(ptr noundef %1393) #9
  %1395 = call i32 @isatty(i32 noundef %1394) #9
  %1396 = icmp ne i32 %1395, 0
  br i1 %1396, label %1397, label %1414

1397:                                             ; preds = %1392
  %1398 = load i32, ptr %40, align 4, !tbaa !5
  %1399 = call ptr @__errno_location() #10
  store i32 %1398, ptr %1399, align 4, !tbaa !5
  %1400 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1401 = load i32, ptr @test_count, align 4, !tbaa !5
  %1402 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1403 = load i32, ptr %1402, align 4, !tbaa !5
  %1404 = call ptr @s2n_strerror(i32 noundef %1403, ptr noundef @.str.4)
  %1405 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1406 = load i32, ptr %1405, align 4, !tbaa !5
  %1407 = call ptr @s2n_strerror_debug(i32 noundef %1406, ptr noundef @.str.4)
  %1408 = call ptr @__errno_location() #10
  %1409 = load i32, ptr %1408, align 4, !tbaa !5
  %1410 = call ptr @strerror(i32 noundef %1409) #9
  %1411 = call ptr @__errno_location() #10
  %1412 = load i32, ptr %1411, align 4, !tbaa !5
  %1413 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1400, ptr noundef @.str.2, i32 noundef %1401, ptr noundef @.str.29, ptr noundef @.str.1, i32 noundef 129, ptr noundef %1404, ptr noundef %1407, ptr noundef %1410, i32 noundef %1412) #9
  br label %1431

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

1431:                                             ; preds = %1414, %1397
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #9
  br label %1432

1432:                                             ; preds = %1431
  br label %1433

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

1434:                                             ; No predecessors!
  br label %1435

1435:                                             ; preds = %1434
  br label %1436

1436:                                             ; preds = %1435, %1377
  br label %1437

1437:                                             ; preds = %1436
  br label %1438

1438:                                             ; preds = %1437
  br label %1439

1439:                                             ; preds = %1438
  %1440 = load i32, ptr @test_count, align 4, !tbaa !5
  %1441 = add nsw i32 %1440, 1
  store i32 %1441, ptr @test_count, align 4, !tbaa !5
  %1442 = load ptr, ptr %16, align 8, !tbaa !9
  %1443 = call i32 @s2n_connection_free(ptr noundef %1442)
  %1444 = icmp eq i32 %1443, -1
  br i1 %1444, label %1445, label %1498

1445:                                             ; preds = %1439
  br label %1446

1446:                                             ; preds = %1445
  br label %1447

1447:                                             ; preds = %1446
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #9
  %1448 = call ptr @__errno_location() #10
  %1449 = load i32, ptr %1448, align 4, !tbaa !5
  store i32 %1449, ptr %41, align 4, !tbaa !5
  %1450 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1451 = call i32 @s2n_print_stacktrace(ptr noundef %1450)
  %1452 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1453 = trunc i8 %1452 to i1
  br i1 %1453, label %1454, label %1476

1454:                                             ; preds = %1447
  %1455 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1456 = call i32 @fileno(ptr noundef %1455) #9
  %1457 = call i32 @isatty(i32 noundef %1456) #9
  %1458 = icmp ne i32 %1457, 0
  br i1 %1458, label %1459, label %1476

1459:                                             ; preds = %1454
  %1460 = load i32, ptr %41, align 4, !tbaa !5
  %1461 = call ptr @__errno_location() #10
  store i32 %1460, ptr %1461, align 4, !tbaa !5
  %1462 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1463 = load i32, ptr @test_count, align 4, !tbaa !5
  %1464 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1465 = load i32, ptr %1464, align 4, !tbaa !5
  %1466 = call ptr @s2n_strerror(i32 noundef %1465, ptr noundef @.str.4)
  %1467 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1468 = load i32, ptr %1467, align 4, !tbaa !5
  %1469 = call ptr @s2n_strerror_debug(i32 noundef %1468, ptr noundef @.str.4)
  %1470 = call ptr @__errno_location() #10
  %1471 = load i32, ptr %1470, align 4, !tbaa !5
  %1472 = call ptr @strerror(i32 noundef %1471) #9
  %1473 = call ptr @__errno_location() #10
  %1474 = load i32, ptr %1473, align 4, !tbaa !5
  %1475 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1462, ptr noundef @.str.2, i32 noundef %1463, ptr noundef @.str.30, ptr noundef @.str.1, i32 noundef 131, ptr noundef %1466, ptr noundef %1469, ptr noundef %1472, i32 noundef %1474) #9
  br label %1493

1476:                                             ; preds = %1454, %1447
  %1477 = load i32, ptr %41, 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.4)
  %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.4)
  %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.5, i32 noundef %1480, ptr noundef @.str.30, ptr noundef @.str.1, i32 noundef 131, ptr noundef %1483, ptr noundef %1486, ptr noundef %1489, i32 noundef %1491) #9
  br label %1493

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

1494:                                             ; preds = %1493
  br label %1495

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

1496:                                             ; No predecessors!
  br label %1497

1497:                                             ; preds = %1496
  br label %1498

1498:                                             ; preds = %1497, %1439
  br label %1499

1499:                                             ; preds = %1498
  br label %1500

1500:                                             ; preds = %1499
  br label %1501

1501:                                             ; preds = %1500
  %1502 = load i32, ptr @test_count, align 4, !tbaa !5
  %1503 = add nsw i32 %1502, 1
  store i32 %1503, ptr @test_count, align 4, !tbaa !5
  %1504 = load ptr, ptr %21, align 8, !tbaa !9
  %1505 = call i32 @s2n_cert_chain_and_key_free(ptr noundef %1504)
  %1506 = icmp eq i32 %1505, -1
  br i1 %1506, label %1507, label %1560

1507:                                             ; preds = %1501
  br label %1508

1508:                                             ; preds = %1507
  br label %1509

1509:                                             ; preds = %1508
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #9
  %1510 = call ptr @__errno_location() #10
  %1511 = load i32, ptr %1510, align 4, !tbaa !5
  store i32 %1511, ptr %42, align 4, !tbaa !5
  %1512 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1513 = call i32 @s2n_print_stacktrace(ptr noundef %1512)
  %1514 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1515 = trunc i8 %1514 to i1
  br i1 %1515, label %1516, label %1538

1516:                                             ; preds = %1509
  %1517 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1518 = call i32 @fileno(ptr noundef %1517) #9
  %1519 = call i32 @isatty(i32 noundef %1518) #9
  %1520 = icmp ne i32 %1519, 0
  br i1 %1520, label %1521, label %1538

1521:                                             ; preds = %1516
  %1522 = load i32, ptr %42, align 4, !tbaa !5
  %1523 = call ptr @__errno_location() #10
  store i32 %1522, ptr %1523, align 4, !tbaa !5
  %1524 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1525 = load i32, ptr @test_count, align 4, !tbaa !5
  %1526 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1527 = load i32, ptr %1526, align 4, !tbaa !5
  %1528 = call ptr @s2n_strerror(i32 noundef %1527, ptr noundef @.str.4)
  %1529 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1530 = load i32, ptr %1529, align 4, !tbaa !5
  %1531 = call ptr @s2n_strerror_debug(i32 noundef %1530, ptr noundef @.str.4)
  %1532 = call ptr @__errno_location() #10
  %1533 = load i32, ptr %1532, align 4, !tbaa !5
  %1534 = call ptr @strerror(i32 noundef %1533) #9
  %1535 = call ptr @__errno_location() #10
  %1536 = load i32, ptr %1535, align 4, !tbaa !5
  %1537 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1524, ptr noundef @.str.2, i32 noundef %1525, ptr noundef @.str.31, ptr noundef @.str.1, i32 noundef 132, ptr noundef %1528, ptr noundef %1531, ptr noundef %1534, i32 noundef %1536) #9
  br label %1555

1538:                                             ; preds = %1516, %1509
  %1539 = load i32, ptr %42, align 4, !tbaa !5
  %1540 = call ptr @__errno_location() #10
  store i32 %1539, ptr %1540, align 4, !tbaa !5
  %1541 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1542 = load i32, ptr @test_count, align 4, !tbaa !5
  %1543 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1544 = load i32, ptr %1543, align 4, !tbaa !5
  %1545 = call ptr @s2n_strerror(i32 noundef %1544, ptr noundef @.str.4)
  %1546 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1547 = load i32, ptr %1546, align 4, !tbaa !5
  %1548 = call ptr @s2n_strerror_debug(i32 noundef %1547, ptr noundef @.str.4)
  %1549 = call ptr @__errno_location() #10
  %1550 = load i32, ptr %1549, align 4, !tbaa !5
  %1551 = call ptr @strerror(i32 noundef %1550) #9
  %1552 = call ptr @__errno_location() #10
  %1553 = load i32, ptr %1552, align 4, !tbaa !5
  %1554 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1541, ptr noundef @.str.5, i32 noundef %1542, ptr noundef @.str.31, ptr noundef @.str.1, i32 noundef 132, ptr noundef %1545, ptr noundef %1548, ptr noundef %1551, i32 noundef %1553) #9
  br label %1555

1555:                                             ; preds = %1538, %1521
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #9
  br label %1556

1556:                                             ; preds = %1555
  br label %1557

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

1558:                                             ; No predecessors!
  br label %1559

1559:                                             ; preds = %1558
  br label %1560

1560:                                             ; preds = %1559, %1501
  br label %1561

1561:                                             ; preds = %1560
  br label %1562

1562:                                             ; preds = %1561
  br label %1563

1563:                                             ; preds = %1562
  %1564 = load i32, ptr @test_count, align 4, !tbaa !5
  %1565 = add nsw i32 %1564, 1
  store i32 %1565, ptr @test_count, align 4, !tbaa !5
  %1566 = load ptr, ptr %17, align 8, !tbaa !9
  %1567 = call i32 @s2n_config_free(ptr noundef %1566)
  %1568 = icmp eq i32 %1567, -1
  br i1 %1568, label %1569, label %1622

1569:                                             ; preds = %1563
  br label %1570

1570:                                             ; preds = %1569
  br label %1571

1571:                                             ; preds = %1570
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #9
  %1572 = call ptr @__errno_location() #10
  %1573 = load i32, ptr %1572, align 4, !tbaa !5
  store i32 %1573, ptr %43, align 4, !tbaa !5
  %1574 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1575 = call i32 @s2n_print_stacktrace(ptr noundef %1574)
  %1576 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1577 = trunc i8 %1576 to i1
  br i1 %1577, label %1578, label %1600

1578:                                             ; preds = %1571
  %1579 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1580 = call i32 @fileno(ptr noundef %1579) #9
  %1581 = call i32 @isatty(i32 noundef %1580) #9
  %1582 = icmp ne i32 %1581, 0
  br i1 %1582, label %1583, label %1600

1583:                                             ; preds = %1578
  %1584 = load i32, ptr %43, align 4, !tbaa !5
  %1585 = call ptr @__errno_location() #10
  store i32 %1584, ptr %1585, align 4, !tbaa !5
  %1586 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1587 = load i32, ptr @test_count, align 4, !tbaa !5
  %1588 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1589 = load i32, ptr %1588, align 4, !tbaa !5
  %1590 = call ptr @s2n_strerror(i32 noundef %1589, ptr noundef @.str.4)
  %1591 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1592 = load i32, ptr %1591, align 4, !tbaa !5
  %1593 = call ptr @s2n_strerror_debug(i32 noundef %1592, ptr noundef @.str.4)
  %1594 = call ptr @__errno_location() #10
  %1595 = load i32, ptr %1594, align 4, !tbaa !5
  %1596 = call ptr @strerror(i32 noundef %1595) #9
  %1597 = call ptr @__errno_location() #10
  %1598 = load i32, ptr %1597, align 4, !tbaa !5
  %1599 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1586, ptr noundef @.str.2, i32 noundef %1587, ptr noundef @.str.32, ptr noundef @.str.1, i32 noundef 133, ptr noundef %1590, ptr noundef %1593, ptr noundef %1596, i32 noundef %1598) #9
  br label %1617

1600:                                             ; preds = %1578, %1571
  %1601 = load i32, ptr %43, align 4, !tbaa !5
  %1602 = call ptr @__errno_location() #10
  store i32 %1601, ptr %1602, align 4, !tbaa !5
  %1603 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1604 = load i32, ptr @test_count, align 4, !tbaa !5
  %1605 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1606 = load i32, ptr %1605, align 4, !tbaa !5
  %1607 = call ptr @s2n_strerror(i32 noundef %1606, ptr noundef @.str.4)
  %1608 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1609 = load i32, ptr %1608, align 4, !tbaa !5
  %1610 = call ptr @s2n_strerror_debug(i32 noundef %1609, ptr noundef @.str.4)
  %1611 = call ptr @__errno_location() #10
  %1612 = load i32, ptr %1611, align 4, !tbaa !5
  %1613 = call ptr @strerror(i32 noundef %1612) #9
  %1614 = call ptr @__errno_location() #10
  %1615 = load i32, ptr %1614, align 4, !tbaa !5
  %1616 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1603, ptr noundef @.str.5, i32 noundef %1604, ptr noundef @.str.32, ptr noundef @.str.1, i32 noundef 133, ptr noundef %1607, ptr noundef %1610, ptr noundef %1613, i32 noundef %1615) #9
  br label %1617

1617:                                             ; preds = %1600, %1583
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #9
  br label %1618

1618:                                             ; preds = %1617
  br label %1619

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

1620:                                             ; No predecessors!
  br label %1621

1621:                                             ; preds = %1620
  br label %1622

1622:                                             ; preds = %1621, %1563
  br label %1623

1623:                                             ; preds = %1622
  br label %1624

1624:                                             ; preds = %1623
  %1625 = load ptr, ptr %19, align 8, !tbaa !9
  call void @free(ptr noundef %1625) #9
  %1626 = load ptr, ptr %20, align 8, !tbaa !9
  call void @free(ptr noundef %1626) #9
  br label %1627

1627:                                             ; preds = %1624
  %1628 = load i32, ptr @test_count, align 4, !tbaa !5
  %1629 = add nsw i32 %1628, 1
  store i32 %1629, ptr @test_count, align 4, !tbaa !5
  %1630 = call i32 @s2n_io_pair_close_one_end(ptr noundef %22, i32 noundef 0)
  %1631 = icmp eq i32 %1630, -1
  br i1 %1631, label %1632, label %1685

1632:                                             ; preds = %1627
  br label %1633

1633:                                             ; preds = %1632
  br label %1634

1634:                                             ; preds = %1633
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #9
  %1635 = call ptr @__errno_location() #10
  %1636 = load i32, ptr %1635, align 4, !tbaa !5
  store i32 %1636, ptr %44, align 4, !tbaa !5
  %1637 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1638 = call i32 @s2n_print_stacktrace(ptr noundef %1637)
  %1639 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1640 = trunc i8 %1639 to i1
  br i1 %1640, label %1641, label %1663

1641:                                             ; preds = %1634
  %1642 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1643 = call i32 @fileno(ptr noundef %1642) #9
  %1644 = call i32 @isatty(i32 noundef %1643) #9
  %1645 = icmp ne i32 %1644, 0
  br i1 %1645, label %1646, label %1663

1646:                                             ; preds = %1641
  %1647 = load i32, ptr %44, align 4, !tbaa !5
  %1648 = call ptr @__errno_location() #10
  store i32 %1647, ptr %1648, align 4, !tbaa !5
  %1649 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1650 = load i32, ptr @test_count, align 4, !tbaa !5
  %1651 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1652 = load i32, ptr %1651, align 4, !tbaa !5
  %1653 = call ptr @s2n_strerror(i32 noundef %1652, ptr noundef @.str.4)
  %1654 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1655 = load i32, ptr %1654, align 4, !tbaa !5
  %1656 = call ptr @s2n_strerror_debug(i32 noundef %1655, ptr noundef @.str.4)
  %1657 = call ptr @__errno_location() #10
  %1658 = load i32, ptr %1657, align 4, !tbaa !5
  %1659 = call ptr @strerror(i32 noundef %1658) #9
  %1660 = call ptr @__errno_location() #10
  %1661 = load i32, ptr %1660, align 4, !tbaa !5
  %1662 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1649, ptr noundef @.str.2, i32 noundef %1650, ptr noundef @.str.33, ptr noundef @.str.1, i32 noundef 137, ptr noundef %1653, ptr noundef %1656, ptr noundef %1659, i32 noundef %1661) #9
  br label %1680

1663:                                             ; preds = %1641, %1634
  %1664 = load i32, ptr %44, align 4, !tbaa !5
  %1665 = call ptr @__errno_location() #10
  store i32 %1664, ptr %1665, align 4, !tbaa !5
  %1666 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1667 = load i32, ptr @test_count, align 4, !tbaa !5
  %1668 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1669 = load i32, ptr %1668, align 4, !tbaa !5
  %1670 = call ptr @s2n_strerror(i32 noundef %1669, ptr noundef @.str.4)
  %1671 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1672 = load i32, ptr %1671, align 4, !tbaa !5
  %1673 = call ptr @s2n_strerror_debug(i32 noundef %1672, ptr noundef @.str.4)
  %1674 = call ptr @__errno_location() #10
  %1675 = load i32, ptr %1674, align 4, !tbaa !5
  %1676 = call ptr @strerror(i32 noundef %1675) #9
  %1677 = call ptr @__errno_location() #10
  %1678 = load i32, ptr %1677, align 4, !tbaa !5
  %1679 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1666, ptr noundef @.str.5, i32 noundef %1667, ptr noundef @.str.33, ptr noundef @.str.1, i32 noundef 137, ptr noundef %1670, ptr noundef %1673, ptr noundef %1676, i32 noundef %1678) #9
  br label %1680

1680:                                             ; preds = %1663, %1646
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #9
  br label %1681

1681:                                             ; preds = %1680
  br label %1682

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

1683:                                             ; No predecessors!
  br label %1684

1684:                                             ; preds = %1683
  br label %1685

1685:                                             ; preds = %1684, %1627
  br label %1686

1686:                                             ; preds = %1685
  br label %1687

1687:                                             ; preds = %1686
  br label %1688

1688:                                             ; preds = %1687
  br label %1689

1689:                                             ; preds = %1688
  %1690 = call i32 @s2n_cleanup()
  %1691 = icmp eq i32 %1690, -1
  br i1 %1691, label %1692, label %1745

1692:                                             ; preds = %1689
  br label %1693

1693:                                             ; preds = %1692
  br label %1694

1694:                                             ; preds = %1693
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #9
  %1695 = call ptr @__errno_location() #10
  %1696 = load i32, ptr %1695, align 4, !tbaa !5
  store i32 %1696, ptr %45, align 4, !tbaa !5
  %1697 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1698 = call i32 @s2n_print_stacktrace(ptr noundef %1697)
  %1699 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1700 = trunc i8 %1699 to i1
  br i1 %1700, label %1701, label %1723

1701:                                             ; preds = %1694
  %1702 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1703 = call i32 @fileno(ptr noundef %1702) #9
  %1704 = call i32 @isatty(i32 noundef %1703) #9
  %1705 = icmp ne i32 %1704, 0
  br i1 %1705, label %1706, label %1723

1706:                                             ; preds = %1701
  %1707 = load i32, ptr %45, align 4, !tbaa !5
  %1708 = call ptr @__errno_location() #10
  store i32 %1707, ptr %1708, align 4, !tbaa !5
  %1709 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1710 = load i32, ptr @test_count, align 4, !tbaa !5
  %1711 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1712 = load i32, ptr %1711, align 4, !tbaa !5
  %1713 = call ptr @s2n_strerror(i32 noundef %1712, ptr noundef @.str.4)
  %1714 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1715 = load i32, ptr %1714, align 4, !tbaa !5
  %1716 = call ptr @s2n_strerror_debug(i32 noundef %1715, ptr noundef @.str.4)
  %1717 = call ptr @__errno_location() #10
  %1718 = load i32, ptr %1717, align 4, !tbaa !5
  %1719 = call ptr @strerror(i32 noundef %1718) #9
  %1720 = call ptr @__errno_location() #10
  %1721 = load i32, ptr %1720, align 4, !tbaa !5
  %1722 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1709, ptr noundef @.str.2, i32 noundef %1710, ptr noundef @.str.34, ptr noundef @.str.1, i32 noundef 139, ptr noundef %1713, ptr noundef %1716, ptr noundef %1719, i32 noundef %1721) #9
  br label %1740

1723:                                             ; preds = %1701, %1694
  %1724 = load i32, ptr %45, align 4, !tbaa !5
  %1725 = call ptr @__errno_location() #10
  store i32 %1724, ptr %1725, align 4, !tbaa !5
  %1726 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1727 = load i32, ptr @test_count, align 4, !tbaa !5
  %1728 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1729 = load i32, ptr %1728, align 4, !tbaa !5
  %1730 = call ptr @s2n_strerror(i32 noundef %1729, ptr noundef @.str.4)
  %1731 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1732 = load i32, ptr %1731, align 4, !tbaa !5
  %1733 = call ptr @s2n_strerror_debug(i32 noundef %1732, ptr noundef @.str.4)
  %1734 = call ptr @__errno_location() #10
  %1735 = load i32, ptr %1734, align 4, !tbaa !5
  %1736 = call ptr @strerror(i32 noundef %1735) #9
  %1737 = call ptr @__errno_location() #10
  %1738 = load i32, ptr %1737, align 4, !tbaa !5
  %1739 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1726, ptr noundef @.str.5, i32 noundef %1727, ptr noundef @.str.34, ptr noundef @.str.1, i32 noundef 139, ptr noundef %1730, ptr noundef %1733, ptr noundef %1736, i32 noundef %1738) #9
  br label %1740

1740:                                             ; preds = %1723, %1706
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #9
  br label %1741

1741:                                             ; preds = %1740
  br label %1742

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

1743:                                             ; No predecessors!
  br label %1744

1744:                                             ; preds = %1743
  br label %1745

1745:                                             ; preds = %1744, %1689
  br label %1746

1746:                                             ; preds = %1745
  br label %1747

1747:                                             ; preds = %1746
  br label %1748

1748:                                             ; preds = %1747
  br label %1749

1749:                                             ; preds = %1748
  %1750 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %1751 = icmp eq i32 %1750, -1
  br i1 %1751, label %1752, label %1805

1752:                                             ; preds = %1749
  br label %1753

1753:                                             ; preds = %1752
  br label %1754

1754:                                             ; preds = %1753
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #9
  %1755 = call ptr @__errno_location() #10
  %1756 = load i32, ptr %1755, align 4, !tbaa !5
  store i32 %1756, ptr %46, align 4, !tbaa !5
  %1757 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1758 = call i32 @s2n_print_stacktrace(ptr noundef %1757)
  %1759 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1760 = trunc i8 %1759 to i1
  br i1 %1760, label %1761, label %1783

1761:                                             ; preds = %1754
  %1762 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1763 = call i32 @fileno(ptr noundef %1762) #9
  %1764 = call i32 @isatty(i32 noundef %1763) #9
  %1765 = icmp ne i32 %1764, 0
  br i1 %1765, label %1766, label %1783

1766:                                             ; preds = %1761
  %1767 = load i32, ptr %46, align 4, !tbaa !5
  %1768 = call ptr @__errno_location() #10
  store i32 %1767, ptr %1768, align 4, !tbaa !5
  %1769 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1770 = load i32, ptr @test_count, align 4, !tbaa !5
  %1771 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1772 = load i32, ptr %1771, align 4, !tbaa !5
  %1773 = call ptr @s2n_strerror(i32 noundef %1772, ptr noundef @.str.4)
  %1774 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1775 = load i32, ptr %1774, align 4, !tbaa !5
  %1776 = call ptr @s2n_strerror_debug(i32 noundef %1775, ptr noundef @.str.4)
  %1777 = call ptr @__errno_location() #10
  %1778 = load i32, ptr %1777, align 4, !tbaa !5
  %1779 = call ptr @strerror(i32 noundef %1778) #9
  %1780 = call ptr @__errno_location() #10
  %1781 = load i32, ptr %1780, align 4, !tbaa !5
  %1782 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1769, ptr noundef @.str.2, i32 noundef %1770, ptr noundef @.str.35, ptr noundef @.str.1, i32 noundef 139, ptr noundef %1773, ptr noundef %1776, ptr noundef %1779, i32 noundef %1781) #9
  br label %1800

1783:                                             ; preds = %1761, %1754
  %1784 = load i32, ptr %46, align 4, !tbaa !5
  %1785 = call ptr @__errno_location() #10
  store i32 %1784, ptr %1785, align 4, !tbaa !5
  %1786 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1787 = load i32, ptr @test_count, align 4, !tbaa !5
  %1788 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1789 = load i32, ptr %1788, align 4, !tbaa !5
  %1790 = call ptr @s2n_strerror(i32 noundef %1789, ptr noundef @.str.4)
  %1791 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1792 = load i32, ptr %1791, align 4, !tbaa !5
  %1793 = call ptr @s2n_strerror_debug(i32 noundef %1792, ptr noundef @.str.4)
  %1794 = call ptr @__errno_location() #10
  %1795 = load i32, ptr %1794, align 4, !tbaa !5
  %1796 = call ptr @strerror(i32 noundef %1795) #9
  %1797 = call ptr @__errno_location() #10
  %1798 = load i32, ptr %1797, align 4, !tbaa !5
  %1799 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1786, ptr noundef @.str.5, i32 noundef %1787, ptr noundef @.str.35, ptr noundef @.str.1, i32 noundef 139, ptr noundef %1790, ptr noundef %1793, ptr noundef %1796, i32 noundef %1798) #9
  br label %1800

1800:                                             ; preds = %1783, %1766
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #9
  br label %1801

1801:                                             ; preds = %1800
  br label %1802

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

1803:                                             ; No predecessors!
  br label %1804

1804:                                             ; preds = %1803
  br label %1805

1805:                                             ; preds = %1804, %1749
  br label %1806

1806:                                             ; preds = %1805
  br label %1807

1807:                                             ; preds = %1806
  %1808 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1809 = trunc i8 %1808 to i1
  br i1 %1809, label %1810, label %1826

1810:                                             ; preds = %1807
  %1811 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1812 = call i32 @fileno(ptr noundef %1811) #9
  %1813 = call i32 @isatty(i32 noundef %1812) #9
  %1814 = icmp ne i32 %1813, 0
  br i1 %1814, label %1815, label %1826

1815:                                             ; preds = %1810
  %1816 = load i32, ptr @test_count, align 4, !tbaa !5
  %1817 = icmp ne i32 %1816, 0
  br i1 %1817, label %1818, label %1822

1818:                                             ; preds = %1815
  %1819 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1820 = load i32, ptr @test_count, align 4, !tbaa !5
  %1821 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1819, ptr noundef @.str.36, i32 noundef %1820) #9
  br label %1825

1822:                                             ; preds = %1815
  %1823 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1824 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1823, ptr noundef @.str.37) #9
  br label %1825

1825:                                             ; preds = %1822, %1818
  br label %1837

1826:                                             ; preds = %1810, %1807
  %1827 = load i32, ptr @test_count, align 4, !tbaa !5
  %1828 = icmp ne i32 %1827, 0
  br i1 %1828, label %1829, label %1833

1829:                                             ; preds = %1826
  %1830 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1831 = load i32, ptr @test_count, align 4, !tbaa !5
  %1832 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1830, ptr noundef @.str.38, i32 noundef %1831) #9
  br label %1836

1833:                                             ; preds = %1826
  %1834 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1835 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1834, ptr noundef @.str.39) #9
  br label %1836

1836:                                             ; preds = %1833, %1829
  br label %1837

1837:                                             ; preds = %1836, %1825
  store i32 0, ptr %3, align 4
  store i32 1, ptr %47, align 4
  br label %1842

1838:                                             ; No predecessors!
  br label %1839

1839:                                             ; preds = %1838
  br label %1840

1840:                                             ; preds = %1839
  br label %1841

1841:                                             ; preds = %1840
  store i32 0, ptr %47, align 4
  br label %1842

1842:                                             ; preds = %1841, %1837
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #9
  call void @llvm.lifetime.end.p0(i64 7, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 5, ptr %14) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #9
  call void @llvm.lifetime.end.p0(i64 75, ptr %10) #9
  %1843 = load i32, ptr %47, align 4
  switch i32 %1843, label %1846 [
    i32 0, label %1844
    i32 1, label %1844
  ]

1844:                                             ; preds = %1842, %1842
  %1845 = load i32, ptr %3, align 4
  ret i32 %1845

1846:                                             ; preds = %1842
  unreachable
}

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

declare i32 @fflush(ptr noundef) #2

declare i32 @s2n_in_unit_test_set(i1 noundef zeroext) #2

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

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

declare i32 @s2n_print_stacktrace(ptr noundef) #2

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

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

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

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

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

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

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

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

declare i32 @s2n_enable_atexit() #2

declare i32 @s2n_init() #2

declare i32 @s2n_disable_tls13_in_test(...) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #7

; Function Attrs: nounwind allocsize(0)
declare noalias ptr @malloc(i64 noundef) #8

declare i32 @s2n_io_pair_init_non_blocking(ptr noundef) #2

declare ptr @s2n_connection_new(i32 noundef) #2

declare i32 @s2n_connection_set_io_pair(ptr noundef, ptr noundef) #2

declare ptr @s2n_config_new() #2

declare i32 @s2n_config_set_cipher_preferences(ptr noundef, ptr noundef) #2

declare i32 @s2n_read_test_pem(ptr noundef, ptr noundef, i64 noundef) #2

declare ptr @s2n_cert_chain_and_key_new() #2

declare i32 @s2n_cert_chain_and_key_load_pem(ptr noundef, ptr noundef, ptr noundef) #2

declare i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef, ptr noundef) #2

declare i32 @s2n_connection_set_config(ptr noundef, ptr noundef) #2

declare i64 @write(i32 noundef, ptr noundef, i64 noundef) #2

declare i32 @s2n_io_pair_close_one_end(ptr noundef, i32 noundef) #2

declare i32 @s2n_negotiate(ptr noundef, ptr noundef) #2

declare i32 @s2n_error_get_type(i32 noundef) #2

declare i32 @s2n_connection_get_alert(ptr noundef) #2

declare i32 @s2n_connection_free(ptr noundef) #2

declare i32 @s2n_cert_chain_and_key_free(ptr noundef) #2

declare i32 @s2n_config_free(ptr noundef) #2

; Function Attrs: nounwind
declare void @free(ptr noundef) #1

declare i32 @s2n_cleanup() #2

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 = { 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 #2 = { "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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #8 = { nounwind allocsize(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 }
attributes #12 = { nounwind allocsize(0) }

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

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


; 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_test_io_pair = type { i32, i32 }

@s2n_use_color_in_output = external dso_local local_unnamed_addr global i8, align 1
@test_count = external dso_local local_unnamed_addr global i32, align 4
@stdout = external local_unnamed_addr global ptr, align 8
@.str = external hidden unnamed_addr constant [19 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [79 x i8], align 1
@stderr = external local_unnamed_addr global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local local_unnamed_addr global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [56 x i8], align 1
@__const.main.client_hello_message = external hidden unnamed_addr constant [75 x i8], align 16
@__const.main.alert_record = external hidden unnamed_addr constant [7 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [68 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [67 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [89 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [128 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [58 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [127 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [100 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [82 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [102 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [105 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [123 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [99 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [71 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [25 x i8], align 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 [4 x i8], align 4
  %4 = alloca [5 x i8], align 4
  %5 = alloca i32, align 4
  %6 = alloca %struct.s2n_test_io_pair, align 4
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %7 = load ptr, ptr @stdout, align 8, !tbaa !9
  %8 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %7, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1) #11
  %9 = load ptr, ptr @stdout, align 8, !tbaa !9
  %10 = tail call i32 @fflush(ptr noundef %9)
  %11 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext true) #11
  %12 = icmp eq i32 %11, -1
  br i1 %12, label %13, label %37

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

20:                                               ; preds = %13
  %21 = load ptr, ptr @stderr, align 8, !tbaa !9
  %22 = tail call i32 @fileno(ptr noundef %21) #11
  %23 = tail call i32 @isatty(i32 noundef %22) #11
  %.not113 = icmp eq i32 %23, 0
  br i1 %.not113, label %24, label %25

24:                                               ; preds = %20, %13
  br label %25

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

37:                                               ; preds = %2
  %38 = load i32, ptr @test_count, align 4, !tbaa !5
  %39 = add nsw i32 %38, 1
  store i32 %39, ptr @test_count, align 4, !tbaa !5
  %40 = tail call i32 @s2n_enable_atexit() #11
  %41 = icmp eq i32 %40, -1
  br i1 %41, label %42, label %66

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

49:                                               ; preds = %42
  %50 = load ptr, ptr @stderr, align 8, !tbaa !9
  %51 = tail call i32 @fileno(ptr noundef %50) #11
  %52 = tail call i32 @isatty(i32 noundef %51) #11
  %.not112 = icmp eq i32 %52, 0
  br i1 %.not112, label %53, label %54

53:                                               ; preds = %49, %42
  br label %54

54:                                               ; preds = %49, %53
  %.str.5.sink124 = phi ptr [ @.str.5, %53 ], [ @.str.2, %49 ]
  store i32 %44, ptr %43, align 4, !tbaa !5
  %55 = load ptr, ptr @stderr, align 8, !tbaa !9
  %56 = load i32, ptr @test_count, align 4, !tbaa !5
  %57 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %58 = load i32, ptr %57, align 4, !tbaa !5
  %59 = tail call ptr @s2n_strerror(i32 noundef %58, ptr noundef nonnull @.str.4) #11
  %60 = load i32, ptr %57, align 4, !tbaa !5
  %61 = tail call ptr @s2n_strerror_debug(i32 noundef %60, ptr noundef nonnull @.str.4) #11
  %62 = load i32, ptr %43, align 4, !tbaa !5
  %63 = tail call ptr @strerror(i32 noundef %62) #11
  %64 = load i32, ptr %43, align 4, !tbaa !5
  %65 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %55, ptr noundef nonnull %.str.5.sink124, i32 noundef %56, ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 35, ptr noundef %59, ptr noundef %61, ptr noundef %63, i32 noundef %64) #13
  tail call void @exit(i32 noundef 1) #14
  unreachable

66:                                               ; preds = %37
  %67 = tail call i32 @s2n_init() #11
  %68 = icmp eq i32 %67, -1
  br i1 %68, label %69, label %93

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

76:                                               ; preds = %69
  %77 = load ptr, ptr @stderr, align 8, !tbaa !9
  %78 = tail call i32 @fileno(ptr noundef %77) #11
  %79 = tail call i32 @isatty(i32 noundef %78) #11
  %.not111 = icmp eq i32 %79, 0
  br i1 %.not111, label %80, label %81

80:                                               ; preds = %76, %69
  br label %81

81:                                               ; preds = %76, %80
  %.str.5.sink135 = phi ptr [ @.str.5, %80 ], [ @.str.2, %76 ]
  store i32 %71, ptr %70, align 4, !tbaa !5
  %82 = load ptr, ptr @stderr, align 8, !tbaa !9
  %83 = load i32, ptr @test_count, align 4, !tbaa !5
  %84 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %85 = load i32, ptr %84, align 4, !tbaa !5
  %86 = tail call ptr @s2n_strerror(i32 noundef %85, ptr noundef nonnull @.str.4) #11
  %87 = load i32, ptr %84, align 4, !tbaa !5
  %88 = tail call ptr @s2n_strerror_debug(i32 noundef %87, ptr noundef nonnull @.str.4) #11
  %89 = load i32, ptr %70, align 4, !tbaa !5
  %90 = tail call ptr @strerror(i32 noundef %89) #11
  %91 = load i32, ptr %70, align 4, !tbaa !5
  %92 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %82, ptr noundef nonnull %.str.5.sink135, i32 noundef %83, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 35, ptr noundef %86, ptr noundef %88, ptr noundef %90, i32 noundef %91) #13
  tail call void @exit(i32 noundef 1) #14
  unreachable

93:                                               ; preds = %66
  %94 = load i32, ptr @test_count, align 4, !tbaa !5
  %95 = add nsw i32 %94, 1
  store i32 %95, ptr @test_count, align 4, !tbaa !5
  %96 = tail call i32 (...) @s2n_disable_tls13_in_test() #11
  %97 = icmp eq i32 %96, -1
  br i1 %97, label %98, label %122

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

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

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

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

122:                                              ; preds = %93
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #11
  store <4 x i8> <i8 1, i8 0, i8 0, i8 75>, ptr %3, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 5, ptr nonnull %4) #11
  store <4 x i8> <i8 22, i8 3, i8 3, i8 0>, ptr %4, align 4, !tbaa !15
  %123 = getelementptr inbounds i8, ptr %4, i64 4
  store i8 79, ptr %123, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #11
  %124 = tail call noalias dereferenceable_or_null(12000) ptr @malloc(i64 noundef 12000) #15
  %125 = tail call noalias dereferenceable_or_null(12000) ptr @malloc(i64 noundef 12000) #15
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #11
  %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_io_pair_init_non_blocking(ptr noundef nonnull %6) #11
  %129 = icmp eq i32 %128, -1
  br i1 %129, label %130, label %154

130:                                              ; preds = %122
  %131 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %140 = call i32 @isatty(i32 noundef %139) #11
  %.not109 = icmp eq i32 %140, 0
  br i1 %.not109, label %141, label %142

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

142:                                              ; preds = %137, %141
  %.str.5.sink157 = phi ptr [ @.str.5, %141 ], [ @.str.2, %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.4) #11
  %148 = load i32, ptr %145, align 4, !tbaa !5
  %149 = call ptr @s2n_strerror_debug(i32 noundef %148, ptr noundef nonnull @.str.4) #11
  %150 = load i32, ptr %131, align 4, !tbaa !5
  %151 = call ptr @strerror(i32 noundef %150) #11
  %152 = load i32, ptr %131, align 4, !tbaa !5
  %153 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %143, ptr noundef nonnull %.str.5.sink157, i32 noundef %144, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 100, ptr noundef %147, ptr noundef %149, ptr noundef %151, i32 noundef %152) #13
  call void @exit(i32 noundef 1) #14
  unreachable

154:                                              ; preds = %122
  %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 ptr @s2n_connection_new(i32 noundef 0) #11
  %158 = icmp eq ptr %157, null
  br i1 %158, label %159, label %183

159:                                              ; preds = %154
  %160 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %169 = call i32 @isatty(i32 noundef %168) #11
  %.not108 = icmp eq i32 %169, 0
  br i1 %.not108, label %170, label %171

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

171:                                              ; preds = %166, %170
  %.str.5.sink168 = phi ptr [ @.str.5, %170 ], [ @.str.2, %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.4) #11
  %177 = load i32, ptr %174, align 4, !tbaa !5
  %178 = call ptr @s2n_strerror_debug(i32 noundef %177, ptr noundef nonnull @.str.4) #11
  %179 = load i32, ptr %160, align 4, !tbaa !5
  %180 = call ptr @strerror(i32 noundef %179) #11
  %181 = load i32, ptr %160, align 4, !tbaa !5
  %182 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %172, ptr noundef nonnull %.str.5.sink168, i32 noundef %173, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 102, ptr noundef %176, ptr noundef %178, ptr noundef %180, i32 noundef %181) #13
  call void @exit(i32 noundef 1) #14
  unreachable

183:                                              ; preds = %154
  %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_connection_set_io_pair(ptr noundef nonnull %157, ptr noundef nonnull %6) #11
  %187 = icmp eq i32 %186, -1
  br i1 %187, label %188, label %212

188:                                              ; preds = %183
  %189 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %198 = call i32 @isatty(i32 noundef %197) #11
  %.not107 = icmp eq i32 %198, 0
  br i1 %.not107, label %199, label %200

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

200:                                              ; preds = %195, %199
  %.str.5.sink179 = phi ptr [ @.str.5, %199 ], [ @.str.2, %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.4) #11
  %206 = load i32, ptr %203, align 4, !tbaa !5
  %207 = call ptr @s2n_strerror_debug(i32 noundef %206, ptr noundef nonnull @.str.4) #11
  %208 = load i32, ptr %189, align 4, !tbaa !5
  %209 = call ptr @strerror(i32 noundef %208) #11
  %210 = load i32, ptr %189, align 4, !tbaa !5
  %211 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %201, ptr noundef nonnull %.str.5.sink179, i32 noundef %202, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 103, ptr noundef %205, ptr noundef %207, ptr noundef %209, i32 noundef %210) #13
  call void @exit(i32 noundef 1) #14
  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 ptr @s2n_config_new() #11
  %216 = icmp eq ptr %215, null
  br i1 %216, label %217, label %241

217:                                              ; preds = %212
  %218 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %227 = call i32 @isatty(i32 noundef %226) #11
  %.not106 = icmp eq i32 %227, 0
  br i1 %.not106, label %228, label %229

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

229:                                              ; preds = %224, %228
  %.str.5.sink190 = phi ptr [ @.str.5, %228 ], [ @.str.2, %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.4) #11
  %235 = load i32, ptr %232, align 4, !tbaa !5
  %236 = call ptr @s2n_strerror_debug(i32 noundef %235, ptr noundef nonnull @.str.4) #11
  %237 = load i32, ptr %218, align 4, !tbaa !5
  %238 = call ptr @strerror(i32 noundef %237) #11
  %239 = load i32, ptr %218, align 4, !tbaa !5
  %240 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %230, ptr noundef nonnull %.str.5.sink190, i32 noundef %231, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i32 noundef 105, ptr noundef %234, ptr noundef %236, ptr noundef %238, i32 noundef %239) #13
  call void @exit(i32 noundef 1) #14
  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_config_set_cipher_preferences(ptr noundef nonnull %215, ptr noundef nonnull @.str.13) #11
  %245 = icmp eq i32 %244, -1
  br i1 %245, label %246, label %270

246:                                              ; preds = %241
  %247 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %256 = call i32 @isatty(i32 noundef %255) #11
  %.not105 = icmp eq i32 %256, 0
  br i1 %.not105, label %257, label %258

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

258:                                              ; preds = %253, %257
  %.str.5.sink201 = phi ptr [ @.str.5, %257 ], [ @.str.2, %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.4) #11
  %264 = load i32, ptr %261, align 4, !tbaa !5
  %265 = call ptr @s2n_strerror_debug(i32 noundef %264, ptr noundef nonnull @.str.4) #11
  %266 = load i32, ptr %247, align 4, !tbaa !5
  %267 = call ptr @strerror(i32 noundef %266) #11
  %268 = load i32, ptr %247, align 4, !tbaa !5
  %269 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %259, ptr noundef nonnull %.str.5.sink201, i32 noundef %260, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 107, ptr noundef %263, ptr noundef %265, ptr noundef %267, i32 noundef %268) #13
  call void @exit(i32 noundef 1) #14
  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_read_test_pem(ptr noundef nonnull @.str.15, ptr noundef %124, i64 noundef 12000) #11
  %274 = icmp eq i32 %273, -1
  br i1 %274, label %275, label %299

275:                                              ; preds = %270
  %276 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %285 = call i32 @isatty(i32 noundef %284) #11
  %.not104 = icmp eq i32 %285, 0
  br i1 %.not104, label %286, label %287

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

287:                                              ; preds = %282, %286
  %.str.5.sink212 = phi ptr [ @.str.5, %286 ], [ @.str.2, %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.4) #11
  %293 = load i32, ptr %290, align 4, !tbaa !5
  %294 = call ptr @s2n_strerror_debug(i32 noundef %293, ptr noundef nonnull @.str.4) #11
  %295 = load i32, ptr %276, align 4, !tbaa !5
  %296 = call ptr @strerror(i32 noundef %295) #11
  %297 = load i32, ptr %276, align 4, !tbaa !5
  %298 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %288, ptr noundef nonnull %.str.5.sink212, i32 noundef %289, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.1, i32 noundef 108, ptr noundef %292, ptr noundef %294, ptr noundef %296, i32 noundef %297) #13
  call void @exit(i32 noundef 1) #14
  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_read_test_pem(ptr noundef nonnull @.str.17, ptr noundef %125, i64 noundef 12000) #11
  %303 = icmp eq i32 %302, -1
  br i1 %303, label %304, label %328

304:                                              ; preds = %299
  %305 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %314 = call i32 @isatty(i32 noundef %313) #11
  %.not103 = icmp eq i32 %314, 0
  br i1 %.not103, label %315, label %316

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

316:                                              ; preds = %311, %315
  %.str.5.sink223 = phi ptr [ @.str.5, %315 ], [ @.str.2, %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.4) #11
  %322 = load i32, ptr %319, align 4, !tbaa !5
  %323 = call ptr @s2n_strerror_debug(i32 noundef %322, ptr noundef nonnull @.str.4) #11
  %324 = load i32, ptr %305, align 4, !tbaa !5
  %325 = call ptr @strerror(i32 noundef %324) #11
  %326 = load i32, ptr %305, align 4, !tbaa !5
  %327 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %317, ptr noundef nonnull %.str.5.sink223, i32 noundef %318, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.1, i32 noundef 109, ptr noundef %321, ptr noundef %323, ptr noundef %325, i32 noundef %326) #13
  call void @exit(i32 noundef 1) #14
  unreachable

328:                                              ; preds = %299
  %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 ptr @s2n_cert_chain_and_key_new() #11
  %332 = icmp eq ptr %331, null
  br i1 %332, label %333, label %357

333:                                              ; preds = %328
  %334 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %343 = call i32 @isatty(i32 noundef %342) #11
  %.not102 = icmp eq i32 %343, 0
  br i1 %.not102, label %344, label %345

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

345:                                              ; preds = %340, %344
  %.str.5.sink234 = phi ptr [ @.str.5, %344 ], [ @.str.2, %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.4) #11
  %351 = load i32, ptr %348, align 4, !tbaa !5
  %352 = call ptr @s2n_strerror_debug(i32 noundef %351, ptr noundef nonnull @.str.4) #11
  %353 = load i32, ptr %334, align 4, !tbaa !5
  %354 = call ptr @strerror(i32 noundef %353) #11
  %355 = load i32, ptr %334, align 4, !tbaa !5
  %356 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %346, ptr noundef nonnull %.str.5.sink234, i32 noundef %347, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.1, i32 noundef 110, ptr noundef %350, ptr noundef %352, ptr noundef %354, i32 noundef %355) #13
  call void @exit(i32 noundef 1) #14
  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 i32 @s2n_cert_chain_and_key_load_pem(ptr noundef nonnull %331, ptr noundef %124, ptr noundef %125) #11
  %361 = icmp eq i32 %360, -1
  br i1 %361, label %362, label %386

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

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

373:                                              ; preds = %369, %362
  br label %374

374:                                              ; preds = %369, %373
  %.str.5.sink245 = phi ptr [ @.str.5, %373 ], [ @.str.2, %369 ]
  store i32 %364, ptr %363, align 4, !tbaa !5
  %375 = load ptr, ptr @stderr, align 8, !tbaa !9
  %376 = load i32, ptr @test_count, align 4, !tbaa !5
  %377 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %378 = load i32, ptr %377, align 4, !tbaa !5
  %379 = call ptr @s2n_strerror(i32 noundef %378, ptr noundef nonnull @.str.4) #11
  %380 = load i32, ptr %377, align 4, !tbaa !5
  %381 = call ptr @s2n_strerror_debug(i32 noundef %380, ptr noundef nonnull @.str.4) #11
  %382 = load i32, ptr %363, align 4, !tbaa !5
  %383 = call ptr @strerror(i32 noundef %382) #11
  %384 = load i32, ptr %363, align 4, !tbaa !5
  %385 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %375, ptr noundef nonnull %.str.5.sink245, i32 noundef %376, ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.1, i32 noundef 111, ptr noundef %379, ptr noundef %381, ptr noundef %383, i32 noundef %384) #13
  call void @exit(i32 noundef 1) #14
  unreachable

386:                                              ; preds = %357
  %387 = load i32, ptr @test_count, align 4, !tbaa !5
  %388 = add nsw i32 %387, 1
  store i32 %388, ptr @test_count, align 4, !tbaa !5
  %389 = call i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef nonnull %215, ptr noundef nonnull %331) #11
  %390 = icmp eq i32 %389, -1
  br i1 %390, label %391, label %415

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

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

402:                                              ; preds = %398, %391
  br label %403

403:                                              ; preds = %398, %402
  %.str.5.sink256 = phi ptr [ @.str.5, %402 ], [ @.str.2, %398 ]
  store i32 %393, ptr %392, align 4, !tbaa !5
  %404 = load ptr, ptr @stderr, align 8, !tbaa !9
  %405 = load i32, ptr @test_count, align 4, !tbaa !5
  %406 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %407 = load i32, ptr %406, align 4, !tbaa !5
  %408 = call ptr @s2n_strerror(i32 noundef %407, ptr noundef nonnull @.str.4) #11
  %409 = load i32, ptr %406, align 4, !tbaa !5
  %410 = call ptr @s2n_strerror_debug(i32 noundef %409, ptr noundef nonnull @.str.4) #11
  %411 = load i32, ptr %392, align 4, !tbaa !5
  %412 = call ptr @strerror(i32 noundef %411) #11
  %413 = load i32, ptr %392, align 4, !tbaa !5
  %414 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %404, ptr noundef nonnull %.str.5.sink256, i32 noundef %405, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.1, i32 noundef 112, ptr noundef %408, ptr noundef %410, ptr noundef %412, i32 noundef %413) #13
  call void @exit(i32 noundef 1) #14
  unreachable

415:                                              ; preds = %386
  %416 = load i32, ptr @test_count, align 4, !tbaa !5
  %417 = add nsw i32 %416, 1
  store i32 %417, ptr @test_count, align 4, !tbaa !5
  %418 = call i32 @s2n_connection_set_config(ptr noundef nonnull %157, ptr noundef nonnull %215) #11
  %419 = icmp eq i32 %418, -1
  br i1 %419, label %420, label %444

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

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

431:                                              ; preds = %427, %420
  br label %432

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

444:                                              ; preds = %415
  %445 = load i32, ptr @test_count, align 4, !tbaa !5
  %446 = add nsw i32 %445, 1
  store i32 %446, ptr @test_count, align 4, !tbaa !5
  %447 = load i32, ptr %6, align 4, !tbaa !16
  %448 = call i64 @write(i32 noundef %447, ptr noundef nonnull %4, i64 noundef 5) #11
  %449 = icmp eq i64 %448, 5
  br i1 %449, label %474, label %450

450:                                              ; preds = %444
  %451 = tail call ptr @__errno_location() #12
  %452 = load i32, ptr %451, align 4, !tbaa !5
  %453 = load ptr, ptr @stderr, align 8, !tbaa !9
  %454 = call i32 @s2n_print_stacktrace(ptr noundef %453) #11
  %455 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %456 = trunc nuw i8 %455 to i1
  br i1 %456, label %457, label %461

457:                                              ; preds = %450
  %458 = load ptr, ptr @stderr, align 8, !tbaa !9
  %459 = call i32 @fileno(ptr noundef %458) #11
  %460 = call i32 @isatty(i32 noundef %459) #11
  %.not = icmp eq i32 %460, 0
  br i1 %.not, label %461, label %462

461:                                              ; preds = %457, %450
  br label %462

462:                                              ; preds = %457, %461
  %.str.5.sink278 = phi ptr [ @.str.5, %461 ], [ @.str.2, %457 ]
  store i32 %452, ptr %451, align 4, !tbaa !5
  %463 = load ptr, ptr @stderr, align 8, !tbaa !9
  %464 = load i32, ptr @test_count, align 4, !tbaa !5
  %465 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %466 = load i32, ptr %465, align 4, !tbaa !5
  %467 = call ptr @s2n_strerror(i32 noundef %466, ptr noundef nonnull @.str.4) #11
  %468 = load i32, ptr %465, align 4, !tbaa !5
  %469 = call ptr @s2n_strerror_debug(i32 noundef %468, ptr noundef nonnull @.str.4) #11
  %470 = load i32, ptr %451, align 4, !tbaa !5
  %471 = call ptr @strerror(i32 noundef %470) #11
  %472 = load i32, ptr %451, align 4, !tbaa !5
  %473 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %463, ptr noundef nonnull %.str.5.sink278, i32 noundef %464, ptr noundef nonnull @.str.23, ptr noundef nonnull @.str.1, i32 noundef 116, ptr noundef %467, ptr noundef %469, ptr noundef %471, i32 noundef %472) #13
  call void @exit(i32 noundef 1) #14
  unreachable

474:                                              ; preds = %444
  %475 = load i32, ptr @test_count, align 4, !tbaa !5
  %476 = add nsw i32 %475, 1
  store i32 %476, ptr @test_count, align 4, !tbaa !5
  %477 = load i32, ptr %6, align 4, !tbaa !16
  %478 = call i64 @write(i32 noundef %477, ptr noundef nonnull %3, i64 noundef 4) #11
  %479 = icmp eq i64 %478, 4
  br i1 %479, label %504, label %480

480:                                              ; preds = %474
  %481 = tail call ptr @__errno_location() #12
  %482 = load i32, ptr %481, align 4, !tbaa !5
  %483 = load ptr, ptr @stderr, align 8, !tbaa !9
  %484 = call i32 @s2n_print_stacktrace(ptr noundef %483) #11
  %485 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %486 = trunc nuw i8 %485 to i1
  br i1 %486, label %487, label %491

487:                                              ; preds = %480
  %488 = load ptr, ptr @stderr, align 8, !tbaa !9
  %489 = call i32 @fileno(ptr noundef %488) #11
  %490 = call i32 @isatty(i32 noundef %489) #11
  %.not84 = icmp eq i32 %490, 0
  br i1 %.not84, label %491, label %492

491:                                              ; preds = %487, %480
  br label %492

492:                                              ; preds = %487, %491
  %.str.5.sink289 = phi ptr [ @.str.5, %491 ], [ @.str.2, %487 ]
  store i32 %482, ptr %481, align 4, !tbaa !5
  %493 = load ptr, ptr @stderr, align 8, !tbaa !9
  %494 = load i32, ptr @test_count, align 4, !tbaa !5
  %495 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %496 = load i32, ptr %495, align 4, !tbaa !5
  %497 = call ptr @s2n_strerror(i32 noundef %496, ptr noundef nonnull @.str.4) #11
  %498 = load i32, ptr %495, align 4, !tbaa !5
  %499 = call ptr @s2n_strerror_debug(i32 noundef %498, ptr noundef nonnull @.str.4) #11
  %500 = load i32, ptr %481, align 4, !tbaa !5
  %501 = call ptr @strerror(i32 noundef %500) #11
  %502 = load i32, ptr %481, align 4, !tbaa !5
  %503 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %493, ptr noundef nonnull %.str.5.sink289, i32 noundef %494, ptr noundef nonnull @.str.24, ptr noundef nonnull @.str.1, i32 noundef 117, ptr noundef %497, ptr noundef %499, ptr noundef %501, i32 noundef %502) #13
  call void @exit(i32 noundef 1) #14
  unreachable

504:                                              ; preds = %474
  %505 = load i32, ptr @test_count, align 4, !tbaa !5
  %506 = add nsw i32 %505, 1
  store i32 %506, ptr @test_count, align 4, !tbaa !5
  %507 = load i32, ptr %6, align 4, !tbaa !16
  %508 = call i64 @write(i32 noundef %507, ptr noundef nonnull @__const.main.client_hello_message, i64 noundef 75) #11
  %509 = icmp eq i64 %508, 75
  br i1 %509, label %534, label %510

510:                                              ; preds = %504
  %511 = tail call ptr @__errno_location() #12
  %512 = load i32, ptr %511, align 4, !tbaa !5
  %513 = load ptr, ptr @stderr, align 8, !tbaa !9
  %514 = call i32 @s2n_print_stacktrace(ptr noundef %513) #11
  %515 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %516 = trunc nuw i8 %515 to i1
  br i1 %516, label %517, label %521

517:                                              ; preds = %510
  %518 = load ptr, ptr @stderr, align 8, !tbaa !9
  %519 = call i32 @fileno(ptr noundef %518) #11
  %520 = call i32 @isatty(i32 noundef %519) #11
  %.not85 = icmp eq i32 %520, 0
  br i1 %.not85, label %521, label %522

521:                                              ; preds = %517, %510
  br label %522

522:                                              ; preds = %517, %521
  %.str.5.sink300 = phi ptr [ @.str.5, %521 ], [ @.str.2, %517 ]
  store i32 %512, ptr %511, align 4, !tbaa !5
  %523 = load ptr, ptr @stderr, align 8, !tbaa !9
  %524 = load i32, ptr @test_count, align 4, !tbaa !5
  %525 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %526 = load i32, ptr %525, align 4, !tbaa !5
  %527 = call ptr @s2n_strerror(i32 noundef %526, ptr noundef nonnull @.str.4) #11
  %528 = load i32, ptr %525, align 4, !tbaa !5
  %529 = call ptr @s2n_strerror_debug(i32 noundef %528, ptr noundef nonnull @.str.4) #11
  %530 = load i32, ptr %511, align 4, !tbaa !5
  %531 = call ptr @strerror(i32 noundef %530) #11
  %532 = load i32, ptr %511, align 4, !tbaa !5
  %533 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %523, ptr noundef nonnull %.str.5.sink300, i32 noundef %524, ptr noundef nonnull @.str.25, ptr noundef nonnull @.str.1, i32 noundef 118, ptr noundef %527, ptr noundef %529, ptr noundef %531, i32 noundef %532) #13
  call void @exit(i32 noundef 1) #14
  unreachable

534:                                              ; preds = %504
  %535 = load i32, ptr @test_count, align 4, !tbaa !5
  %536 = add nsw i32 %535, 1
  store i32 %536, ptr @test_count, align 4, !tbaa !5
  %537 = load i32, ptr %6, align 4, !tbaa !16
  %538 = call i64 @write(i32 noundef %537, ptr noundef nonnull @__const.main.alert_record, i64 noundef 7) #11
  %539 = icmp eq i64 %538, 7
  br i1 %539, label %564, label %540

540:                                              ; preds = %534
  %541 = tail call ptr @__errno_location() #12
  %542 = load i32, ptr %541, align 4, !tbaa !5
  %543 = load ptr, ptr @stderr, align 8, !tbaa !9
  %544 = call i32 @s2n_print_stacktrace(ptr noundef %543) #11
  %545 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %546 = trunc nuw i8 %545 to i1
  br i1 %546, label %547, label %551

547:                                              ; preds = %540
  %548 = load ptr, ptr @stderr, align 8, !tbaa !9
  %549 = call i32 @fileno(ptr noundef %548) #11
  %550 = call i32 @isatty(i32 noundef %549) #11
  %.not86 = icmp eq i32 %550, 0
  br i1 %.not86, label %551, label %552

551:                                              ; preds = %547, %540
  br label %552

552:                                              ; preds = %547, %551
  %.str.5.sink311 = phi ptr [ @.str.5, %551 ], [ @.str.2, %547 ]
  store i32 %542, ptr %541, align 4, !tbaa !5
  %553 = load ptr, ptr @stderr, align 8, !tbaa !9
  %554 = load i32, ptr @test_count, align 4, !tbaa !5
  %555 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %556 = load i32, ptr %555, align 4, !tbaa !5
  %557 = call ptr @s2n_strerror(i32 noundef %556, ptr noundef nonnull @.str.4) #11
  %558 = load i32, ptr %555, align 4, !tbaa !5
  %559 = call ptr @s2n_strerror_debug(i32 noundef %558, ptr noundef nonnull @.str.4) #11
  %560 = load i32, ptr %541, align 4, !tbaa !5
  %561 = call ptr @strerror(i32 noundef %560) #11
  %562 = load i32, ptr %541, align 4, !tbaa !5
  %563 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %553, ptr noundef nonnull %.str.5.sink311, i32 noundef %554, ptr noundef nonnull @.str.26, ptr noundef nonnull @.str.1, i32 noundef 121, ptr noundef %557, ptr noundef %559, ptr noundef %561, i32 noundef %562) #13
  call void @exit(i32 noundef 1) #14
  unreachable

564:                                              ; preds = %534
  %565 = load i32, ptr @test_count, align 4, !tbaa !5
  %566 = add nsw i32 %565, 1
  store i32 %566, ptr @test_count, align 4, !tbaa !5
  %567 = call i32 @s2n_io_pair_close_one_end(ptr noundef nonnull %6, i32 noundef 1) #11
  %568 = icmp eq i32 %567, -1
  br i1 %568, label %569, label %593

569:                                              ; preds = %564
  %570 = tail call ptr @__errno_location() #12
  %571 = load i32, ptr %570, align 4, !tbaa !5
  %572 = load ptr, ptr @stderr, align 8, !tbaa !9
  %573 = call i32 @s2n_print_stacktrace(ptr noundef %572) #11
  %574 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %575 = trunc nuw i8 %574 to i1
  br i1 %575, label %576, label %580

576:                                              ; preds = %569
  %577 = load ptr, ptr @stderr, align 8, !tbaa !9
  %578 = call i32 @fileno(ptr noundef %577) #11
  %579 = call i32 @isatty(i32 noundef %578) #11
  %.not98 = icmp eq i32 %579, 0
  br i1 %.not98, label %580, label %581

580:                                              ; preds = %576, %569
  br label %581

581:                                              ; preds = %576, %580
  %.str.5.sink322 = phi ptr [ @.str.5, %580 ], [ @.str.2, %576 ]
  store i32 %571, ptr %570, align 4, !tbaa !5
  %582 = load ptr, ptr @stderr, align 8, !tbaa !9
  %583 = load i32, ptr @test_count, align 4, !tbaa !5
  %584 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %585 = load i32, ptr %584, align 4, !tbaa !5
  %586 = call ptr @s2n_strerror(i32 noundef %585, ptr noundef nonnull @.str.4) #11
  %587 = load i32, ptr %584, align 4, !tbaa !5
  %588 = call ptr @s2n_strerror_debug(i32 noundef %587, ptr noundef nonnull @.str.4) #11
  %589 = load i32, ptr %570, align 4, !tbaa !5
  %590 = call ptr @strerror(i32 noundef %589) #11
  %591 = load i32, ptr %570, align 4, !tbaa !5
  %592 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %582, ptr noundef nonnull %.str.5.sink322, i32 noundef %583, ptr noundef nonnull @.str.27, ptr noundef nonnull @.str.1, i32 noundef 124, ptr noundef %586, ptr noundef %588, ptr noundef %590, i32 noundef %591) #13
  call void @exit(i32 noundef 1) #14
  unreachable

593:                                              ; preds = %564
  %594 = call i32 @s2n_negotiate(ptr noundef nonnull %157, ptr noundef nonnull %5) #11
  %595 = load i32, ptr @test_count, align 4, !tbaa !5
  %596 = add nsw i32 %595, 1
  store i32 %596, ptr @test_count, align 4, !tbaa !5
  %597 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %598 = load i32, ptr %597, align 4, !tbaa !5
  %599 = call i32 @s2n_error_get_type(i32 noundef %598) #11
  %600 = icmp eq i32 %599, 4
  br i1 %600, label %624, label %601

601:                                              ; preds = %593
  %602 = tail call ptr @__errno_location() #12
  %603 = load i32, ptr %602, align 4, !tbaa !5
  %604 = load ptr, ptr @stderr, align 8, !tbaa !9
  %605 = call i32 @s2n_print_stacktrace(ptr noundef %604) #11
  %606 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %607 = trunc nuw i8 %606 to i1
  br i1 %607, label %608, label %612

608:                                              ; preds = %601
  %609 = load ptr, ptr @stderr, align 8, !tbaa !9
  %610 = call i32 @fileno(ptr noundef %609) #11
  %611 = call i32 @isatty(i32 noundef %610) #11
  %.not87 = icmp eq i32 %611, 0
  br i1 %.not87, label %612, label %613

612:                                              ; preds = %608, %601
  br label %613

613:                                              ; preds = %608, %612
  %.str.5.sink333 = phi ptr [ @.str.5, %612 ], [ @.str.2, %608 ]
  store i32 %603, ptr %602, align 4, !tbaa !5
  %614 = load ptr, ptr @stderr, align 8, !tbaa !9
  %615 = load i32, ptr @test_count, align 4, !tbaa !5
  %616 = load i32, ptr %597, align 4, !tbaa !5
  %617 = call ptr @s2n_strerror(i32 noundef %616, ptr noundef nonnull @.str.4) #11
  %618 = load i32, ptr %597, align 4, !tbaa !5
  %619 = call ptr @s2n_strerror_debug(i32 noundef %618, ptr noundef nonnull @.str.4) #11
  %620 = load i32, ptr %602, align 4, !tbaa !5
  %621 = call ptr @strerror(i32 noundef %620) #11
  %622 = load i32, ptr %602, align 4, !tbaa !5
  %623 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %614, ptr noundef nonnull %.str.5.sink333, i32 noundef %615, ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.1, i32 noundef 128, ptr noundef %617, ptr noundef %619, ptr noundef %621, i32 noundef %622) #13
  call void @exit(i32 noundef 1) #14
  unreachable

624:                                              ; preds = %593
  %625 = load i32, ptr @test_count, align 4, !tbaa !5
  %626 = add nsw i32 %625, 1
  store i32 %626, ptr @test_count, align 4, !tbaa !5
  %627 = call i32 @s2n_connection_get_alert(ptr noundef nonnull %157) #11
  %628 = icmp eq i32 %627, 80
  br i1 %628, label %652, label %629

629:                                              ; preds = %624
  %630 = tail call ptr @__errno_location() #12
  %631 = load i32, ptr %630, align 4, !tbaa !5
  %632 = load ptr, ptr @stderr, align 8, !tbaa !9
  %633 = call i32 @s2n_print_stacktrace(ptr noundef %632) #11
  %634 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %635 = trunc nuw i8 %634 to i1
  br i1 %635, label %636, label %640

636:                                              ; preds = %629
  %637 = load ptr, ptr @stderr, align 8, !tbaa !9
  %638 = call i32 @fileno(ptr noundef %637) #11
  %639 = call i32 @isatty(i32 noundef %638) #11
  %.not88 = icmp eq i32 %639, 0
  br i1 %.not88, label %640, label %641

640:                                              ; preds = %636, %629
  br label %641

641:                                              ; preds = %636, %640
  %.str.5.sink342 = phi ptr [ @.str.5, %640 ], [ @.str.2, %636 ]
  store i32 %631, ptr %630, align 4, !tbaa !5
  %642 = load ptr, ptr @stderr, align 8, !tbaa !9
  %643 = load i32, ptr @test_count, align 4, !tbaa !5
  %644 = load i32, ptr %597, align 4, !tbaa !5
  %645 = call ptr @s2n_strerror(i32 noundef %644, ptr noundef nonnull @.str.4) #11
  %646 = load i32, ptr %597, align 4, !tbaa !5
  %647 = call ptr @s2n_strerror_debug(i32 noundef %646, ptr noundef nonnull @.str.4) #11
  %648 = load i32, ptr %630, align 4, !tbaa !5
  %649 = call ptr @strerror(i32 noundef %648) #11
  %650 = load i32, ptr %630, align 4, !tbaa !5
  %651 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %642, ptr noundef nonnull %.str.5.sink342, i32 noundef %643, ptr noundef nonnull @.str.29, ptr noundef nonnull @.str.1, i32 noundef 129, ptr noundef %645, ptr noundef %647, ptr noundef %649, i32 noundef %650) #13
  call void @exit(i32 noundef 1) #14
  unreachable

652:                                              ; preds = %624
  %653 = load i32, ptr @test_count, align 4, !tbaa !5
  %654 = add nsw i32 %653, 1
  store i32 %654, ptr @test_count, align 4, !tbaa !5
  %655 = call i32 @s2n_connection_free(ptr noundef nonnull %157) #11
  %656 = icmp eq i32 %655, -1
  br i1 %656, label %657, label %680

657:                                              ; preds = %652
  %658 = tail call ptr @__errno_location() #12
  %659 = load i32, ptr %658, align 4, !tbaa !5
  %660 = load ptr, ptr @stderr, align 8, !tbaa !9
  %661 = call i32 @s2n_print_stacktrace(ptr noundef %660) #11
  %662 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %663 = trunc nuw i8 %662 to i1
  br i1 %663, label %664, label %668

664:                                              ; preds = %657
  %665 = load ptr, ptr @stderr, align 8, !tbaa !9
  %666 = call i32 @fileno(ptr noundef %665) #11
  %667 = call i32 @isatty(i32 noundef %666) #11
  %.not97 = icmp eq i32 %667, 0
  br i1 %.not97, label %668, label %669

668:                                              ; preds = %664, %657
  br label %669

669:                                              ; preds = %664, %668
  %.str.5.sink351 = phi ptr [ @.str.5, %668 ], [ @.str.2, %664 ]
  store i32 %659, ptr %658, align 4, !tbaa !5
  %670 = load ptr, ptr @stderr, align 8, !tbaa !9
  %671 = load i32, ptr @test_count, align 4, !tbaa !5
  %672 = load i32, ptr %597, align 4, !tbaa !5
  %673 = call ptr @s2n_strerror(i32 noundef %672, ptr noundef nonnull @.str.4) #11
  %674 = load i32, ptr %597, align 4, !tbaa !5
  %675 = call ptr @s2n_strerror_debug(i32 noundef %674, ptr noundef nonnull @.str.4) #11
  %676 = load i32, ptr %658, align 4, !tbaa !5
  %677 = call ptr @strerror(i32 noundef %676) #11
  %678 = load i32, ptr %658, align 4, !tbaa !5
  %679 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %670, ptr noundef nonnull %.str.5.sink351, i32 noundef %671, ptr noundef nonnull @.str.30, ptr noundef nonnull @.str.1, i32 noundef 131, ptr noundef %673, ptr noundef %675, ptr noundef %677, i32 noundef %678) #13
  call void @exit(i32 noundef 1) #14
  unreachable

680:                                              ; preds = %652
  %681 = load i32, ptr @test_count, align 4, !tbaa !5
  %682 = add nsw i32 %681, 1
  store i32 %682, ptr @test_count, align 4, !tbaa !5
  %683 = call i32 @s2n_cert_chain_and_key_free(ptr noundef nonnull %331) #11
  %684 = icmp eq i32 %683, -1
  br i1 %684, label %685, label %708

685:                                              ; preds = %680
  %686 = tail call ptr @__errno_location() #12
  %687 = load i32, ptr %686, align 4, !tbaa !5
  %688 = load ptr, ptr @stderr, align 8, !tbaa !9
  %689 = call i32 @s2n_print_stacktrace(ptr noundef %688) #11
  %690 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %691 = trunc nuw i8 %690 to i1
  br i1 %691, label %692, label %696

692:                                              ; preds = %685
  %693 = load ptr, ptr @stderr, align 8, !tbaa !9
  %694 = call i32 @fileno(ptr noundef %693) #11
  %695 = call i32 @isatty(i32 noundef %694) #11
  %.not96 = icmp eq i32 %695, 0
  br i1 %.not96, label %696, label %697

696:                                              ; preds = %692, %685
  br label %697

697:                                              ; preds = %692, %696
  %.str.5.sink360 = phi ptr [ @.str.5, %696 ], [ @.str.2, %692 ]
  store i32 %687, ptr %686, align 4, !tbaa !5
  %698 = load ptr, ptr @stderr, align 8, !tbaa !9
  %699 = load i32, ptr @test_count, align 4, !tbaa !5
  %700 = load i32, ptr %597, align 4, !tbaa !5
  %701 = call ptr @s2n_strerror(i32 noundef %700, ptr noundef nonnull @.str.4) #11
  %702 = load i32, ptr %597, align 4, !tbaa !5
  %703 = call ptr @s2n_strerror_debug(i32 noundef %702, ptr noundef nonnull @.str.4) #11
  %704 = load i32, ptr %686, align 4, !tbaa !5
  %705 = call ptr @strerror(i32 noundef %704) #11
  %706 = load i32, ptr %686, align 4, !tbaa !5
  %707 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %698, ptr noundef nonnull %.str.5.sink360, i32 noundef %699, ptr noundef nonnull @.str.31, ptr noundef nonnull @.str.1, i32 noundef 132, ptr noundef %701, ptr noundef %703, ptr noundef %705, i32 noundef %706) #13
  call void @exit(i32 noundef 1) #14
  unreachable

708:                                              ; preds = %680
  %709 = load i32, ptr @test_count, align 4, !tbaa !5
  %710 = add nsw i32 %709, 1
  store i32 %710, ptr @test_count, align 4, !tbaa !5
  %711 = call i32 @s2n_config_free(ptr noundef nonnull %215) #11
  %712 = icmp eq i32 %711, -1
  br i1 %712, label %713, label %736

713:                                              ; preds = %708
  %714 = tail call ptr @__errno_location() #12
  %715 = load i32, ptr %714, align 4, !tbaa !5
  %716 = load ptr, ptr @stderr, align 8, !tbaa !9
  %717 = call i32 @s2n_print_stacktrace(ptr noundef %716) #11
  %718 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %719 = trunc nuw i8 %718 to i1
  br i1 %719, label %720, label %724

720:                                              ; preds = %713
  %721 = load ptr, ptr @stderr, align 8, !tbaa !9
  %722 = call i32 @fileno(ptr noundef %721) #11
  %723 = call i32 @isatty(i32 noundef %722) #11
  %.not95 = icmp eq i32 %723, 0
  br i1 %.not95, label %724, label %725

724:                                              ; preds = %720, %713
  br label %725

725:                                              ; preds = %720, %724
  %.str.5.sink369 = phi ptr [ @.str.5, %724 ], [ @.str.2, %720 ]
  store i32 %715, ptr %714, align 4, !tbaa !5
  %726 = load ptr, ptr @stderr, align 8, !tbaa !9
  %727 = load i32, ptr @test_count, align 4, !tbaa !5
  %728 = load i32, ptr %597, align 4, !tbaa !5
  %729 = call ptr @s2n_strerror(i32 noundef %728, ptr noundef nonnull @.str.4) #11
  %730 = load i32, ptr %597, align 4, !tbaa !5
  %731 = call ptr @s2n_strerror_debug(i32 noundef %730, ptr noundef nonnull @.str.4) #11
  %732 = load i32, ptr %714, align 4, !tbaa !5
  %733 = call ptr @strerror(i32 noundef %732) #11
  %734 = load i32, ptr %714, align 4, !tbaa !5
  %735 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %726, ptr noundef nonnull %.str.5.sink369, i32 noundef %727, ptr noundef nonnull @.str.32, ptr noundef nonnull @.str.1, i32 noundef 133, ptr noundef %729, ptr noundef %731, ptr noundef %733, i32 noundef %734) #13
  call void @exit(i32 noundef 1) #14
  unreachable

736:                                              ; preds = %708
  call void @free(ptr noundef %124) #11
  call void @free(ptr noundef %125) #11
  %737 = load i32, ptr @test_count, align 4, !tbaa !5
  %738 = add nsw i32 %737, 1
  store i32 %738, ptr @test_count, align 4, !tbaa !5
  %739 = call i32 @s2n_io_pair_close_one_end(ptr noundef nonnull %6, i32 noundef 0) #11
  %740 = icmp eq i32 %739, -1
  br i1 %740, label %741, label %764

741:                                              ; preds = %736
  %742 = tail call ptr @__errno_location() #12
  %743 = load i32, ptr %742, align 4, !tbaa !5
  %744 = load ptr, ptr @stderr, align 8, !tbaa !9
  %745 = call i32 @s2n_print_stacktrace(ptr noundef %744) #11
  %746 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %747 = trunc nuw i8 %746 to i1
  br i1 %747, label %748, label %752

748:                                              ; preds = %741
  %749 = load ptr, ptr @stderr, align 8, !tbaa !9
  %750 = call i32 @fileno(ptr noundef %749) #11
  %751 = call i32 @isatty(i32 noundef %750) #11
  %.not94 = icmp eq i32 %751, 0
  br i1 %.not94, label %752, label %753

752:                                              ; preds = %748, %741
  br label %753

753:                                              ; preds = %748, %752
  %.str.5.sink378 = phi ptr [ @.str.5, %752 ], [ @.str.2, %748 ]
  store i32 %743, ptr %742, align 4, !tbaa !5
  %754 = load ptr, ptr @stderr, align 8, !tbaa !9
  %755 = load i32, ptr @test_count, align 4, !tbaa !5
  %756 = load i32, ptr %597, align 4, !tbaa !5
  %757 = call ptr @s2n_strerror(i32 noundef %756, ptr noundef nonnull @.str.4) #11
  %758 = load i32, ptr %597, align 4, !tbaa !5
  %759 = call ptr @s2n_strerror_debug(i32 noundef %758, ptr noundef nonnull @.str.4) #11
  %760 = load i32, ptr %742, align 4, !tbaa !5
  %761 = call ptr @strerror(i32 noundef %760) #11
  %762 = load i32, ptr %742, align 4, !tbaa !5
  %763 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %754, ptr noundef nonnull %.str.5.sink378, i32 noundef %755, ptr noundef nonnull @.str.33, ptr noundef nonnull @.str.1, i32 noundef 137, ptr noundef %757, ptr noundef %759, ptr noundef %761, i32 noundef %762) #13
  call void @exit(i32 noundef 1) #14
  unreachable

764:                                              ; preds = %736
  %765 = call i32 @s2n_cleanup() #11
  %766 = icmp eq i32 %765, -1
  br i1 %766, label %767, label %790

767:                                              ; preds = %764
  %768 = tail call ptr @__errno_location() #12
  %769 = load i32, ptr %768, align 4, !tbaa !5
  %770 = load ptr, ptr @stderr, align 8, !tbaa !9
  %771 = call i32 @s2n_print_stacktrace(ptr noundef %770) #11
  %772 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %773 = trunc nuw i8 %772 to i1
  br i1 %773, label %774, label %778

774:                                              ; preds = %767
  %775 = load ptr, ptr @stderr, align 8, !tbaa !9
  %776 = call i32 @fileno(ptr noundef %775) #11
  %777 = call i32 @isatty(i32 noundef %776) #11
  %.not93 = icmp eq i32 %777, 0
  br i1 %.not93, label %778, label %779

778:                                              ; preds = %774, %767
  br label %779

779:                                              ; preds = %774, %778
  %.str.5.sink387 = phi ptr [ @.str.5, %778 ], [ @.str.2, %774 ]
  store i32 %769, ptr %768, align 4, !tbaa !5
  %780 = load ptr, ptr @stderr, align 8, !tbaa !9
  %781 = load i32, ptr @test_count, align 4, !tbaa !5
  %782 = load i32, ptr %597, align 4, !tbaa !5
  %783 = call ptr @s2n_strerror(i32 noundef %782, ptr noundef nonnull @.str.4) #11
  %784 = load i32, ptr %597, align 4, !tbaa !5
  %785 = call ptr @s2n_strerror_debug(i32 noundef %784, ptr noundef nonnull @.str.4) #11
  %786 = load i32, ptr %768, align 4, !tbaa !5
  %787 = call ptr @strerror(i32 noundef %786) #11
  %788 = load i32, ptr %768, align 4, !tbaa !5
  %789 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %780, ptr noundef nonnull %.str.5.sink387, i32 noundef %781, ptr noundef nonnull @.str.34, ptr noundef nonnull @.str.1, i32 noundef 139, ptr noundef %783, ptr noundef %785, ptr noundef %787, i32 noundef %788) #13
  call void @exit(i32 noundef 1) #14
  unreachable

790:                                              ; preds = %764
  %791 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #11
  %792 = icmp eq i32 %791, -1
  br i1 %792, label %793, label %816

793:                                              ; preds = %790
  %794 = tail call ptr @__errno_location() #12
  %795 = load i32, ptr %794, align 4, !tbaa !5
  %796 = load ptr, ptr @stderr, align 8, !tbaa !9
  %797 = call i32 @s2n_print_stacktrace(ptr noundef %796) #11
  %798 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %799 = trunc nuw i8 %798 to i1
  br i1 %799, label %800, label %804

800:                                              ; preds = %793
  %801 = load ptr, ptr @stderr, align 8, !tbaa !9
  %802 = call i32 @fileno(ptr noundef %801) #11
  %803 = call i32 @isatty(i32 noundef %802) #11
  %.not92 = icmp eq i32 %803, 0
  br i1 %.not92, label %804, label %805

804:                                              ; preds = %800, %793
  br label %805

805:                                              ; preds = %800, %804
  %.str.5.sink396 = phi ptr [ @.str.5, %804 ], [ @.str.2, %800 ]
  store i32 %795, ptr %794, align 4, !tbaa !5
  %806 = load ptr, ptr @stderr, align 8, !tbaa !9
  %807 = load i32, ptr @test_count, align 4, !tbaa !5
  %808 = load i32, ptr %597, align 4, !tbaa !5
  %809 = call ptr @s2n_strerror(i32 noundef %808, ptr noundef nonnull @.str.4) #11
  %810 = load i32, ptr %597, align 4, !tbaa !5
  %811 = call ptr @s2n_strerror_debug(i32 noundef %810, ptr noundef nonnull @.str.4) #11
  %812 = load i32, ptr %794, align 4, !tbaa !5
  %813 = call ptr @strerror(i32 noundef %812) #11
  %814 = load i32, ptr %794, align 4, !tbaa !5
  %815 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %806, ptr noundef nonnull %.str.5.sink396, i32 noundef %807, ptr noundef nonnull @.str.35, ptr noundef nonnull @.str.1, i32 noundef 139, ptr noundef %809, ptr noundef %811, ptr noundef %813, i32 noundef %814) #13
  call void @exit(i32 noundef 1) #14
  unreachable

816:                                              ; preds = %790
  %817 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %818 = trunc nuw i8 %817 to i1
  br i1 %818, label %819, label %830

819:                                              ; preds = %816
  %820 = load ptr, ptr @stdout, align 8, !tbaa !9
  %821 = call i32 @fileno(ptr noundef %820) #11
  %822 = call i32 @isatty(i32 noundef %821) #11
  %.not89 = icmp eq i32 %822, 0
  br i1 %.not89, label %830, label %823

823:                                              ; preds = %819
  %824 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not91 = icmp eq i32 %824, 0
  %825 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not91, label %828, label %826

826:                                              ; preds = %823
  %827 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %825, ptr noundef nonnull @.str.36, i32 noundef %824) #11
  br label %837

828:                                              ; preds = %823
  %829 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %825, ptr noundef nonnull @.str.37) #11
  br label %837

830:                                              ; preds = %819, %816
  %831 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not90 = icmp eq i32 %831, 0
  %832 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not90, label %835, label %833

833:                                              ; preds = %830
  %834 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %832, ptr noundef nonnull @.str.38, i32 noundef %831) #11
  br label %837

835:                                              ; preds = %830
  %836 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %832, ptr noundef nonnull @.str.39) #11
  br label %837

837:                                              ; preds = %833, %835, %826, %828
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #11
  call void @llvm.lifetime.end.p0(i64 5, ptr nonnull %4) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #11
  ret i32 0
}

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

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

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

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

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

declare i32 @s2n_print_stacktrace(ptr noundef) local_unnamed_addr #2

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

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

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

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

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

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

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

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

declare i32 @s2n_enable_atexit() local_unnamed_addr #2

declare i32 @s2n_init() local_unnamed_addr #2

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

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @malloc(i64 noundef) local_unnamed_addr #8

declare i32 @s2n_io_pair_init_non_blocking(ptr noundef) local_unnamed_addr #2

declare ptr @s2n_connection_new(i32 noundef) local_unnamed_addr #2

declare i32 @s2n_connection_set_io_pair(ptr noundef, ptr noundef) local_unnamed_addr #2

declare ptr @s2n_config_new() local_unnamed_addr #2

declare i32 @s2n_config_set_cipher_preferences(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @s2n_read_test_pem(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #2

declare ptr @s2n_cert_chain_and_key_new() local_unnamed_addr #2

declare i32 @s2n_cert_chain_and_key_load_pem(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @s2n_connection_set_config(ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nofree
declare noundef i64 @write(i32 noundef, ptr nocapture noundef readonly, i64 noundef) local_unnamed_addr #9

declare i32 @s2n_io_pair_close_one_end(ptr noundef, i32 noundef) local_unnamed_addr #2

declare i32 @s2n_negotiate(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @s2n_error_get_type(i32 noundef) local_unnamed_addr #2

declare i32 @s2n_connection_get_alert(ptr noundef) local_unnamed_addr #2

declare i32 @s2n_connection_free(ptr noundef) local_unnamed_addr #2

declare i32 @s2n_cert_chain_and_key_free(ptr noundef) local_unnamed_addr #2

declare i32 @s2n_config_free(ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #10

declare i32 @s2n_cleanup() local_unnamed_addr #2

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 = { 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 #2 = { "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 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress nofree nosync nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "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 = { nofree "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 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "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 #11 = { nounwind }
attributes #12 = { nounwind willreturn memory(none) }
attributes #13 = { cold nounwind }
attributes #14 = { noreturn nounwind }
attributes #15 = { nounwind allocsize(0) }

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

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


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