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

@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 [85 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 [34 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [106 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [106 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [108 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [94 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [86 x i8], align 1
@__const.main.security_policies = external hidden unnamed_addr constant [2 x ptr], align 16
@.str.18 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [96 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [69 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [96 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [93 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [81 x i8], align 1
@__const.main.data = external hidden unnamed_addr constant [12 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [84 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.37 = 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 [12000 x i8], align 16
  %10 = alloca [12000 x i8], align 16
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca %struct.s2n_result, align 4
  %14 = alloca i32, align 4
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca [2 x ptr], align 16
  %21 = alloca i64, align 8
  %22 = alloca ptr, align 8
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca ptr, align 8
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca %struct.s2n_test_io_stuffer_pair, align 8
  %32 = alloca %struct.s2n_result, align 4
  %33 = alloca i32, align 4
  %34 = alloca %struct.s2n_result, align 4
  %35 = alloca i32, align 4
  %36 = alloca i32, align 4
  %37 = alloca [12 x i8], align 1
  %38 = alloca [100 x i8], align 16
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca %struct.s2n_result, align 4
  %44 = alloca %struct.s2n_result, align 4
  %45 = alloca %struct.s2n_result, align 4
  %46 = alloca i32, align 4
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca %struct.s2n_result, align 4
  %50 = alloca %struct.s2n_result, 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 %51

51:                                               ; preds = %2
  br label %52

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

57:                                               ; preds = %52
  %58 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %59 = icmp eq i32 %58, -1
  br i1 %59, label %60, label %111

60:                                               ; preds = %57
  br label %61

61:                                               ; preds = %60
  br label %62

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

69:                                               ; preds = %62
  %70 = load ptr, ptr @stderr, align 8, !tbaa !9
  %71 = call i32 @fileno(ptr noundef %70) #11
  %72 = call i32 @isatty(i32 noundef %71) #11
  %73 = icmp ne i32 %72, 0
  br i1 %73, label %74, label %91

74:                                               ; preds = %69
  %75 = load i32, ptr %6, align 4, !tbaa !5
  %76 = call ptr @__errno_location() #12
  store i32 %75, ptr %76, align 4, !tbaa !5
  %77 = load ptr, ptr @stderr, align 8, !tbaa !9
  %78 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %80, ptr noundef @.str.4)
  %82 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %83 = load i32, ptr %82, align 4, !tbaa !5
  %84 = call ptr @s2n_strerror_debug(i32 noundef %83, ptr noundef @.str.4)
  %85 = call ptr @__errno_location() #12
  %86 = load i32, ptr %85, align 4, !tbaa !5
  %87 = call ptr @strerror(i32 noundef %86) #11
  %88 = call ptr @__errno_location() #12
  %89 = load i32, ptr %88, align 4, !tbaa !5
  %90 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %77, ptr noundef @.str.2, i32 noundef %78, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 29, ptr noundef %81, ptr noundef %84, ptr noundef %87, i32 noundef %89) #11
  br label %108

91:                                               ; preds = %69, %62
  %92 = load i32, ptr %6, align 4, !tbaa !5
  %93 = call ptr @__errno_location() #12
  store i32 %92, ptr %93, align 4, !tbaa !5
  %94 = load ptr, ptr @stderr, align 8, !tbaa !9
  %95 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %97, ptr noundef @.str.4)
  %99 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %100 = load i32, ptr %99, align 4, !tbaa !5
  %101 = call ptr @s2n_strerror_debug(i32 noundef %100, ptr noundef @.str.4)
  %102 = call ptr @__errno_location() #12
  %103 = load i32, ptr %102, align 4, !tbaa !5
  %104 = call ptr @strerror(i32 noundef %103) #11
  %105 = call ptr @__errno_location() #12
  %106 = load i32, ptr %105, align 4, !tbaa !5
  %107 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %94, ptr noundef @.str.5, i32 noundef %95, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 29, ptr noundef %98, ptr noundef %101, ptr noundef %104, i32 noundef %106) #11
  br label %108

108:                                              ; preds = %91, %74
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #11
  br label %109

109:                                              ; preds = %108
  call void @exit(i32 noundef 1) #13
  unreachable

110:                                              ; No predecessors!
  br label %111

111:                                              ; preds = %110, %57
  br label %112

112:                                              ; preds = %111
  br label %113

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

118:                                              ; preds = %113
  br label %119

119:                                              ; preds = %118
  br label %120

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

127:                                              ; preds = %120
  %128 = load ptr, ptr @stderr, align 8, !tbaa !9
  %129 = call i32 @fileno(ptr noundef %128) #11
  %130 = call i32 @isatty(i32 noundef %129) #11
  %131 = icmp ne i32 %130, 0
  br i1 %131, label %132, label %149

132:                                              ; preds = %127
  %133 = load i32, ptr %7, align 4, !tbaa !5
  %134 = call ptr @__errno_location() #12
  store i32 %133, ptr %134, align 4, !tbaa !5
  %135 = load ptr, ptr @stderr, align 8, !tbaa !9
  %136 = load i32, ptr @test_count, align 4, !tbaa !5
  %137 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %138 = load i32, ptr %137, align 4, !tbaa !5
  %139 = call ptr @s2n_strerror(i32 noundef %138, ptr noundef @.str.4)
  %140 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %141 = load i32, ptr %140, align 4, !tbaa !5
  %142 = call ptr @s2n_strerror_debug(i32 noundef %141, ptr noundef @.str.4)
  %143 = call ptr @__errno_location() #12
  %144 = load i32, ptr %143, align 4, !tbaa !5
  %145 = call ptr @strerror(i32 noundef %144) #11
  %146 = call ptr @__errno_location() #12
  %147 = load i32, ptr %146, align 4, !tbaa !5
  %148 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %135, ptr noundef @.str.2, i32 noundef %136, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 29, ptr noundef %139, ptr noundef %142, ptr noundef %145, i32 noundef %147) #11
  br label %166

149:                                              ; preds = %127, %120
  %150 = load i32, ptr %7, align 4, !tbaa !5
  %151 = call ptr @__errno_location() #12
  store i32 %150, ptr %151, align 4, !tbaa !5
  %152 = load ptr, ptr @stderr, align 8, !tbaa !9
  %153 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %155, ptr noundef @.str.4)
  %157 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %158 = load i32, ptr %157, align 4, !tbaa !5
  %159 = call ptr @s2n_strerror_debug(i32 noundef %158, ptr noundef @.str.4)
  %160 = call ptr @__errno_location() #12
  %161 = load i32, ptr %160, align 4, !tbaa !5
  %162 = call ptr @strerror(i32 noundef %161) #11
  %163 = call ptr @__errno_location() #12
  %164 = load i32, ptr %163, align 4, !tbaa !5
  %165 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %152, ptr noundef @.str.5, i32 noundef %153, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 29, ptr noundef %156, ptr noundef %159, ptr noundef %162, i32 noundef %164) #11
  br label %166

166:                                              ; preds = %149, %132
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #11
  br label %167

167:                                              ; preds = %166
  call void @exit(i32 noundef 1) #13
  unreachable

168:                                              ; No predecessors!
  br label %169

169:                                              ; preds = %168, %113
  br label %170

170:                                              ; preds = %169
  br label %171

171:                                              ; preds = %170
  br label %172

172:                                              ; preds = %171
  %173 = call i32 @s2n_init()
  %174 = icmp eq i32 %173, -1
  br i1 %174, label %175, label %226

175:                                              ; preds = %172
  br label %176

176:                                              ; preds = %175
  br label %177

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

184:                                              ; preds = %177
  %185 = load ptr, ptr @stderr, align 8, !tbaa !9
  %186 = call i32 @fileno(ptr noundef %185) #11
  %187 = call i32 @isatty(i32 noundef %186) #11
  %188 = icmp ne i32 %187, 0
  br i1 %188, label %189, label %206

189:                                              ; preds = %184
  %190 = load i32, ptr %8, align 4, !tbaa !5
  %191 = call ptr @__errno_location() #12
  store i32 %190, ptr %191, align 4, !tbaa !5
  %192 = load ptr, ptr @stderr, align 8, !tbaa !9
  %193 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %195, ptr noundef @.str.4)
  %197 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %198 = load i32, ptr %197, align 4, !tbaa !5
  %199 = call ptr @s2n_strerror_debug(i32 noundef %198, ptr noundef @.str.4)
  %200 = call ptr @__errno_location() #12
  %201 = load i32, ptr %200, align 4, !tbaa !5
  %202 = call ptr @strerror(i32 noundef %201) #11
  %203 = call ptr @__errno_location() #12
  %204 = load i32, ptr %203, align 4, !tbaa !5
  %205 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %192, ptr noundef @.str.2, i32 noundef %193, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 29, ptr noundef %196, ptr noundef %199, ptr noundef %202, i32 noundef %204) #11
  br label %223

206:                                              ; preds = %184, %177
  %207 = load i32, ptr %8, align 4, !tbaa !5
  %208 = call ptr @__errno_location() #12
  store i32 %207, ptr %208, align 4, !tbaa !5
  %209 = load ptr, ptr @stderr, align 8, !tbaa !9
  %210 = load i32, ptr @test_count, align 4, !tbaa !5
  %211 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %212 = load i32, ptr %211, align 4, !tbaa !5
  %213 = call ptr @s2n_strerror(i32 noundef %212, ptr noundef @.str.4)
  %214 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %215 = load i32, ptr %214, align 4, !tbaa !5
  %216 = call ptr @s2n_strerror_debug(i32 noundef %215, ptr noundef @.str.4)
  %217 = call ptr @__errno_location() #12
  %218 = load i32, ptr %217, align 4, !tbaa !5
  %219 = call ptr @strerror(i32 noundef %218) #11
  %220 = call ptr @__errno_location() #12
  %221 = load i32, ptr %220, align 4, !tbaa !5
  %222 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %209, ptr noundef @.str.5, i32 noundef %210, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 29, ptr noundef %213, ptr noundef %216, ptr noundef %219, i32 noundef %221) #11
  br label %223

223:                                              ; preds = %206, %189
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #11
  br label %224

224:                                              ; preds = %223
  call void @exit(i32 noundef 1) #13
  unreachable

225:                                              ; No predecessors!
  br label %226

226:                                              ; preds = %225, %172
  br label %227

227:                                              ; preds = %226
  br label %228

228:                                              ; preds = %227
  call void @llvm.lifetime.start.p0(i64 12000, ptr %9) #11
  call void @llvm.memset.p0.i64(ptr align 16 %9, i8 0, i64 12000, i1 false)
  call void @llvm.lifetime.start.p0(i64 12000, ptr %10) #11
  call void @llvm.memset.p0.i64(ptr align 16 %10, i8 0, i64 12000, i1 false)
  br label %229

229:                                              ; preds = %228
  %230 = load i32, ptr @test_count, align 4, !tbaa !5
  %231 = add nsw i32 %230, 1
  store i32 %231, ptr @test_count, align 4, !tbaa !5
  %232 = getelementptr inbounds [12000 x i8], ptr %9, i64 0, i64 0
  %233 = call i32 @s2n_read_test_pem(ptr noundef @.str.8, ptr noundef %232, i64 noundef 12000)
  %234 = icmp eq i32 %233, -1
  br i1 %234, label %235, label %288

235:                                              ; preds = %229
  br label %236

236:                                              ; preds = %235
  br label %237

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

244:                                              ; preds = %237
  %245 = load ptr, ptr @stderr, align 8, !tbaa !9
  %246 = call i32 @fileno(ptr noundef %245) #11
  %247 = call i32 @isatty(i32 noundef %246) #11
  %248 = icmp ne i32 %247, 0
  br i1 %248, label %249, label %266

249:                                              ; preds = %244
  %250 = load i32, ptr %11, align 4, !tbaa !5
  %251 = call ptr @__errno_location() #12
  store i32 %250, ptr %251, align 4, !tbaa !5
  %252 = load ptr, ptr @stderr, align 8, !tbaa !9
  %253 = load i32, ptr @test_count, align 4, !tbaa !5
  %254 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %255 = load i32, ptr %254, align 4, !tbaa !5
  %256 = call ptr @s2n_strerror(i32 noundef %255, ptr noundef @.str.4)
  %257 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %258 = load i32, ptr %257, align 4, !tbaa !5
  %259 = call ptr @s2n_strerror_debug(i32 noundef %258, ptr noundef @.str.4)
  %260 = call ptr @__errno_location() #12
  %261 = load i32, ptr %260, align 4, !tbaa !5
  %262 = call ptr @strerror(i32 noundef %261) #11
  %263 = call ptr @__errno_location() #12
  %264 = load i32, ptr %263, align 4, !tbaa !5
  %265 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %252, ptr noundef @.str.2, i32 noundef %253, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 40, ptr noundef %256, ptr noundef %259, ptr noundef %262, i32 noundef %264) #11
  br label %283

266:                                              ; preds = %244, %237
  %267 = load i32, ptr %11, align 4, !tbaa !5
  %268 = call ptr @__errno_location() #12
  store i32 %267, ptr %268, align 4, !tbaa !5
  %269 = load ptr, ptr @stderr, align 8, !tbaa !9
  %270 = load i32, ptr @test_count, align 4, !tbaa !5
  %271 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %272 = load i32, ptr %271, align 4, !tbaa !5
  %273 = call ptr @s2n_strerror(i32 noundef %272, ptr noundef @.str.4)
  %274 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %275 = load i32, ptr %274, align 4, !tbaa !5
  %276 = call ptr @s2n_strerror_debug(i32 noundef %275, ptr noundef @.str.4)
  %277 = call ptr @__errno_location() #12
  %278 = load i32, ptr %277, align 4, !tbaa !5
  %279 = call ptr @strerror(i32 noundef %278) #11
  %280 = call ptr @__errno_location() #12
  %281 = load i32, ptr %280, align 4, !tbaa !5
  %282 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %269, ptr noundef @.str.5, i32 noundef %270, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 40, ptr noundef %273, ptr noundef %276, ptr noundef %279, i32 noundef %281) #11
  br label %283

283:                                              ; preds = %266, %249
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #11
  br label %284

284:                                              ; preds = %283
  br label %285

285:                                              ; preds = %284
  call void @exit(i32 noundef 1) #13
  unreachable

286:                                              ; No predecessors!
  br label %287

287:                                              ; preds = %286
  br label %288

288:                                              ; preds = %287, %229
  br label %289

289:                                              ; preds = %288
  br label %290

290:                                              ; preds = %289
  br label %291

291:                                              ; preds = %290
  %292 = load i32, ptr @test_count, align 4, !tbaa !5
  %293 = add nsw i32 %292, 1
  store i32 %293, ptr @test_count, align 4, !tbaa !5
  %294 = getelementptr inbounds [12000 x i8], ptr %10, i64 0, i64 0
  %295 = call i32 @s2n_read_test_pem(ptr noundef @.str.10, ptr noundef %294, i64 noundef 12000)
  %296 = icmp eq i32 %295, -1
  br i1 %296, label %297, label %350

297:                                              ; preds = %291
  br label %298

298:                                              ; preds = %297
  br label %299

299:                                              ; preds = %298
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #11
  %300 = call ptr @__errno_location() #12
  %301 = load i32, ptr %300, align 4, !tbaa !5
  store i32 %301, ptr %12, align 4, !tbaa !5
  %302 = load ptr, ptr @stderr, align 8, !tbaa !9
  %303 = call i32 @s2n_print_stacktrace(ptr noundef %302)
  %304 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %305 = trunc i8 %304 to i1
  br i1 %305, label %306, label %328

306:                                              ; preds = %299
  %307 = load ptr, ptr @stderr, align 8, !tbaa !9
  %308 = call i32 @fileno(ptr noundef %307) #11
  %309 = call i32 @isatty(i32 noundef %308) #11
  %310 = icmp ne i32 %309, 0
  br i1 %310, label %311, label %328

311:                                              ; preds = %306
  %312 = load i32, ptr %12, align 4, !tbaa !5
  %313 = call ptr @__errno_location() #12
  store i32 %312, ptr %313, align 4, !tbaa !5
  %314 = load ptr, ptr @stderr, align 8, !tbaa !9
  %315 = load i32, ptr @test_count, align 4, !tbaa !5
  %316 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %317 = load i32, ptr %316, align 4, !tbaa !5
  %318 = call ptr @s2n_strerror(i32 noundef %317, ptr noundef @.str.4)
  %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_debug(i32 noundef %320, ptr noundef @.str.4)
  %322 = call ptr @__errno_location() #12
  %323 = load i32, ptr %322, align 4, !tbaa !5
  %324 = call ptr @strerror(i32 noundef %323) #11
  %325 = call ptr @__errno_location() #12
  %326 = load i32, ptr %325, align 4, !tbaa !5
  %327 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %314, ptr noundef @.str.2, i32 noundef %315, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 42, ptr noundef %318, ptr noundef %321, ptr noundef %324, i32 noundef %326) #11
  br label %345

328:                                              ; preds = %306, %299
  %329 = load i32, ptr %12, align 4, !tbaa !5
  %330 = call ptr @__errno_location() #12
  store i32 %329, ptr %330, align 4, !tbaa !5
  %331 = load ptr, ptr @stderr, align 8, !tbaa !9
  %332 = load i32, ptr @test_count, align 4, !tbaa !5
  %333 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %334 = load i32, ptr %333, align 4, !tbaa !5
  %335 = call ptr @s2n_strerror(i32 noundef %334, ptr noundef @.str.4)
  %336 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %337 = load i32, ptr %336, align 4, !tbaa !5
  %338 = call ptr @s2n_strerror_debug(i32 noundef %337, ptr noundef @.str.4)
  %339 = call ptr @__errno_location() #12
  %340 = load i32, ptr %339, align 4, !tbaa !5
  %341 = call ptr @strerror(i32 noundef %340) #11
  %342 = call ptr @__errno_location() #12
  %343 = load i32, ptr %342, align 4, !tbaa !5
  %344 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %331, ptr noundef @.str.5, i32 noundef %332, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 42, ptr noundef %335, ptr noundef %338, ptr noundef %341, i32 noundef %343) #11
  br label %345

345:                                              ; preds = %328, %311
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #11
  br label %346

346:                                              ; preds = %345
  br label %347

347:                                              ; preds = %346
  call void @exit(i32 noundef 1) #13
  unreachable

348:                                              ; No predecessors!
  br label %349

349:                                              ; preds = %348
  br label %350

350:                                              ; preds = %349, %291
  br label %351

351:                                              ; preds = %350
  br label %352

352:                                              ; preds = %351
  br label %353

353:                                              ; preds = %352
  %354 = load i32, ptr @test_count, align 4, !tbaa !5
  %355 = add nsw i32 %354, 1
  store i32 %355, ptr @test_count, align 4, !tbaa !5
  %356 = call i32 (...) @s2n_seccomp_init()
  %357 = getelementptr inbounds %struct.s2n_result, ptr %13, i32 0, i32 0
  store i32 %356, ptr %357, align 4
  %358 = getelementptr inbounds %struct.s2n_result, ptr %13, i32 0, i32 0
  %359 = load i32, ptr %358, align 4
  %360 = call zeroext i1 @s2n_result_is_ok(i32 %359)
  br i1 %360, label %414, label %361

361:                                              ; preds = %353
  br label %362

362:                                              ; preds = %361
  br label %363

363:                                              ; preds = %362
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #11
  %364 = call ptr @__errno_location() #12
  %365 = load i32, ptr %364, align 4, !tbaa !5
  store i32 %365, ptr %14, align 4, !tbaa !5
  %366 = load ptr, ptr @stderr, align 8, !tbaa !9
  %367 = call i32 @s2n_print_stacktrace(ptr noundef %366)
  %368 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %369 = trunc i8 %368 to i1
  br i1 %369, label %370, label %392

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

375:                                              ; preds = %370
  %376 = load i32, ptr %14, align 4, !tbaa !5
  %377 = call ptr @__errno_location() #12
  store i32 %376, ptr %377, align 4, !tbaa !5
  %378 = load ptr, ptr @stderr, align 8, !tbaa !9
  %379 = load i32, ptr @test_count, align 4, !tbaa !5
  %380 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %381 = load i32, ptr %380, align 4, !tbaa !5
  %382 = call ptr @s2n_strerror(i32 noundef %381, ptr noundef @.str.4)
  %383 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %384 = load i32, ptr %383, align 4, !tbaa !5
  %385 = call ptr @s2n_strerror_debug(i32 noundef %384, ptr noundef @.str.4)
  %386 = call ptr @__errno_location() #12
  %387 = load i32, ptr %386, align 4, !tbaa !5
  %388 = call ptr @strerror(i32 noundef %387) #11
  %389 = call ptr @__errno_location() #12
  %390 = load i32, ptr %389, align 4, !tbaa !5
  %391 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %378, ptr noundef @.str.2, i32 noundef %379, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 45, ptr noundef %382, ptr noundef %385, ptr noundef %388, i32 noundef %390) #11
  br label %409

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

409:                                              ; preds = %392, %375
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #11
  br label %410

410:                                              ; preds = %409
  br label %411

411:                                              ; preds = %410
  call void @exit(i32 noundef 1) #13
  unreachable

412:                                              ; No predecessors!
  br label %413

413:                                              ; preds = %412
  br label %414

414:                                              ; preds = %413, %353
  br label %415

415:                                              ; preds = %414
  br label %416

416:                                              ; preds = %415
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #11
  %417 = call ptr @s2n_cert_chain_and_key_new()
  store ptr %417, ptr %15, align 8, !tbaa !9
  br label %418

418:                                              ; preds = %416
  %419 = load i32, ptr @test_count, align 4, !tbaa !5
  %420 = add nsw i32 %419, 1
  store i32 %420, ptr @test_count, align 4, !tbaa !5
  %421 = load ptr, ptr %15, align 8, !tbaa !9
  %422 = getelementptr inbounds [12000 x i8], ptr %9, i64 0, i64 0
  %423 = getelementptr inbounds [12000 x i8], ptr %10, i64 0, i64 0
  %424 = call i32 @s2n_cert_chain_and_key_load_pem(ptr noundef %421, ptr noundef %422, ptr noundef %423)
  %425 = icmp eq i32 %424, -1
  br i1 %425, label %426, label %479

426:                                              ; preds = %418
  br label %427

427:                                              ; preds = %426
  br label %428

428:                                              ; preds = %427
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #11
  %429 = call ptr @__errno_location() #12
  %430 = load i32, ptr %429, align 4, !tbaa !5
  store i32 %430, ptr %16, align 4, !tbaa !5
  %431 = load ptr, ptr @stderr, align 8, !tbaa !9
  %432 = call i32 @s2n_print_stacktrace(ptr noundef %431)
  %433 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %434 = trunc i8 %433 to i1
  br i1 %434, label %435, label %457

435:                                              ; preds = %428
  %436 = load ptr, ptr @stderr, align 8, !tbaa !9
  %437 = call i32 @fileno(ptr noundef %436) #11
  %438 = call i32 @isatty(i32 noundef %437) #11
  %439 = icmp ne i32 %438, 0
  br i1 %439, label %440, label %457

440:                                              ; preds = %435
  %441 = load i32, ptr %16, align 4, !tbaa !5
  %442 = call ptr @__errno_location() #12
  store i32 %441, ptr %442, align 4, !tbaa !5
  %443 = load ptr, ptr @stderr, align 8, !tbaa !9
  %444 = load i32, ptr @test_count, align 4, !tbaa !5
  %445 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %446 = load i32, ptr %445, align 4, !tbaa !5
  %447 = call ptr @s2n_strerror(i32 noundef %446, ptr noundef @.str.4)
  %448 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %449 = load i32, ptr %448, align 4, !tbaa !5
  %450 = call ptr @s2n_strerror_debug(i32 noundef %449, ptr noundef @.str.4)
  %451 = call ptr @__errno_location() #12
  %452 = load i32, ptr %451, align 4, !tbaa !5
  %453 = call ptr @strerror(i32 noundef %452) #11
  %454 = call ptr @__errno_location() #12
  %455 = load i32, ptr %454, align 4, !tbaa !5
  %456 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %443, ptr noundef @.str.2, i32 noundef %444, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 49, ptr noundef %447, ptr noundef %450, ptr noundef %453, i32 noundef %455) #11
  br label %474

457:                                              ; preds = %435, %428
  %458 = load i32, ptr %16, align 4, !tbaa !5
  %459 = call ptr @__errno_location() #12
  store i32 %458, ptr %459, align 4, !tbaa !5
  %460 = load ptr, ptr @stderr, align 8, !tbaa !9
  %461 = load i32, ptr @test_count, align 4, !tbaa !5
  %462 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %463 = load i32, ptr %462, align 4, !tbaa !5
  %464 = call ptr @s2n_strerror(i32 noundef %463, ptr noundef @.str.4)
  %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_debug(i32 noundef %466, ptr noundef @.str.4)
  %468 = call ptr @__errno_location() #12
  %469 = load i32, ptr %468, align 4, !tbaa !5
  %470 = call ptr @strerror(i32 noundef %469) #11
  %471 = call ptr @__errno_location() #12
  %472 = load i32, ptr %471, align 4, !tbaa !5
  %473 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %460, ptr noundef @.str.5, i32 noundef %461, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 49, ptr noundef %464, ptr noundef %467, ptr noundef %470, i32 noundef %472) #11
  br label %474

474:                                              ; preds = %457, %440
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #11
  br label %475

475:                                              ; preds = %474
  br label %476

476:                                              ; preds = %475
  call void @exit(i32 noundef 1) #13
  unreachable

477:                                              ; No predecessors!
  br label %478

478:                                              ; preds = %477
  br label %479

479:                                              ; preds = %478, %418
  br label %480

480:                                              ; preds = %479
  br label %481

481:                                              ; preds = %480
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #11
  %482 = call ptr @s2n_config_new_minimal()
  store ptr %482, ptr %17, align 8, !tbaa !9
  br label %483

483:                                              ; preds = %481
  %484 = load i32, ptr @test_count, align 4, !tbaa !5
  %485 = add nsw i32 %484, 1
  store i32 %485, ptr @test_count, align 4, !tbaa !5
  %486 = load ptr, ptr %17, align 8, !tbaa !9
  %487 = load ptr, ptr %15, align 8, !tbaa !9
  %488 = call i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef %486, ptr noundef %487)
  %489 = icmp eq i32 %488, -1
  br i1 %489, label %490, label %543

490:                                              ; preds = %483
  br label %491

491:                                              ; preds = %490
  br label %492

492:                                              ; preds = %491
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #11
  %493 = call ptr @__errno_location() #12
  %494 = load i32, ptr %493, align 4, !tbaa !5
  store i32 %494, ptr %18, align 4, !tbaa !5
  %495 = load ptr, ptr @stderr, align 8, !tbaa !9
  %496 = call i32 @s2n_print_stacktrace(ptr noundef %495)
  %497 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %498 = trunc i8 %497 to i1
  br i1 %498, label %499, label %521

499:                                              ; preds = %492
  %500 = load ptr, ptr @stderr, align 8, !tbaa !9
  %501 = call i32 @fileno(ptr noundef %500) #11
  %502 = call i32 @isatty(i32 noundef %501) #11
  %503 = icmp ne i32 %502, 0
  br i1 %503, label %504, label %521

504:                                              ; preds = %499
  %505 = load i32, ptr %18, align 4, !tbaa !5
  %506 = call ptr @__errno_location() #12
  store i32 %505, ptr %506, align 4, !tbaa !5
  %507 = load ptr, ptr @stderr, align 8, !tbaa !9
  %508 = load i32, ptr @test_count, align 4, !tbaa !5
  %509 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %510 = load i32, ptr %509, align 4, !tbaa !5
  %511 = call ptr @s2n_strerror(i32 noundef %510, ptr noundef @.str.4)
  %512 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %513 = load i32, ptr %512, align 4, !tbaa !5
  %514 = call ptr @s2n_strerror_debug(i32 noundef %513, ptr noundef @.str.4)
  %515 = call ptr @__errno_location() #12
  %516 = load i32, ptr %515, align 4, !tbaa !5
  %517 = call ptr @strerror(i32 noundef %516) #11
  %518 = call ptr @__errno_location() #12
  %519 = load i32, ptr %518, align 4, !tbaa !5
  %520 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %507, ptr noundef @.str.2, i32 noundef %508, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 52, ptr noundef %511, ptr noundef %514, ptr noundef %517, i32 noundef %519) #11
  br label %538

521:                                              ; preds = %499, %492
  %522 = load i32, ptr %18, align 4, !tbaa !5
  %523 = call ptr @__errno_location() #12
  store i32 %522, ptr %523, align 4, !tbaa !5
  %524 = load ptr, ptr @stderr, align 8, !tbaa !9
  %525 = load i32, ptr @test_count, align 4, !tbaa !5
  %526 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %527 = load i32, ptr %526, align 4, !tbaa !5
  %528 = call ptr @s2n_strerror(i32 noundef %527, ptr noundef @.str.4)
  %529 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %530 = load i32, ptr %529, align 4, !tbaa !5
  %531 = call ptr @s2n_strerror_debug(i32 noundef %530, ptr noundef @.str.4)
  %532 = call ptr @__errno_location() #12
  %533 = load i32, ptr %532, align 4, !tbaa !5
  %534 = call ptr @strerror(i32 noundef %533) #11
  %535 = call ptr @__errno_location() #12
  %536 = load i32, ptr %535, align 4, !tbaa !5
  %537 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %524, ptr noundef @.str.5, i32 noundef %525, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 52, ptr noundef %528, ptr noundef %531, ptr noundef %534, i32 noundef %536) #11
  br label %538

538:                                              ; preds = %521, %504
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #11
  br label %539

539:                                              ; preds = %538
  br label %540

540:                                              ; preds = %539
  call void @exit(i32 noundef 1) #13
  unreachable

541:                                              ; No predecessors!
  br label %542

542:                                              ; preds = %541
  br label %543

543:                                              ; preds = %542, %483
  br label %544

544:                                              ; preds = %543
  br label %545

545:                                              ; preds = %544
  br label %546

546:                                              ; preds = %545
  %547 = load i32, ptr @test_count, align 4, !tbaa !5
  %548 = add nsw i32 %547, 1
  store i32 %548, ptr @test_count, align 4, !tbaa !5
  %549 = load ptr, ptr %17, align 8, !tbaa !9
  %550 = getelementptr inbounds [12000 x i8], ptr %9, i64 0, i64 0
  %551 = call i32 @s2n_config_add_pem_to_trust_store(ptr noundef %549, ptr noundef %550)
  %552 = icmp eq i32 %551, -1
  br i1 %552, label %553, label %606

553:                                              ; preds = %546
  br label %554

554:                                              ; preds = %553
  br label %555

555:                                              ; preds = %554
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #11
  %556 = call ptr @__errno_location() #12
  %557 = load i32, ptr %556, align 4, !tbaa !5
  store i32 %557, ptr %19, align 4, !tbaa !5
  %558 = load ptr, ptr @stderr, align 8, !tbaa !9
  %559 = call i32 @s2n_print_stacktrace(ptr noundef %558)
  %560 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %561 = trunc i8 %560 to i1
  br i1 %561, label %562, label %584

562:                                              ; preds = %555
  %563 = load ptr, ptr @stderr, align 8, !tbaa !9
  %564 = call i32 @fileno(ptr noundef %563) #11
  %565 = call i32 @isatty(i32 noundef %564) #11
  %566 = icmp ne i32 %565, 0
  br i1 %566, label %567, label %584

567:                                              ; preds = %562
  %568 = load i32, ptr %19, align 4, !tbaa !5
  %569 = call ptr @__errno_location() #12
  store i32 %568, ptr %569, align 4, !tbaa !5
  %570 = load ptr, ptr @stderr, align 8, !tbaa !9
  %571 = load i32, ptr @test_count, align 4, !tbaa !5
  %572 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %573 = load i32, ptr %572, align 4, !tbaa !5
  %574 = call ptr @s2n_strerror(i32 noundef %573, ptr noundef @.str.4)
  %575 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %576 = load i32, ptr %575, align 4, !tbaa !5
  %577 = call ptr @s2n_strerror_debug(i32 noundef %576, ptr noundef @.str.4)
  %578 = call ptr @__errno_location() #12
  %579 = load i32, ptr %578, align 4, !tbaa !5
  %580 = call ptr @strerror(i32 noundef %579) #11
  %581 = call ptr @__errno_location() #12
  %582 = load i32, ptr %581, align 4, !tbaa !5
  %583 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %570, ptr noundef @.str.2, i32 noundef %571, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 53, ptr noundef %574, ptr noundef %577, ptr noundef %580, i32 noundef %582) #11
  br label %601

584:                                              ; preds = %562, %555
  %585 = load i32, ptr %19, align 4, !tbaa !5
  %586 = call ptr @__errno_location() #12
  store i32 %585, ptr %586, align 4, !tbaa !5
  %587 = load ptr, ptr @stderr, align 8, !tbaa !9
  %588 = load i32, ptr @test_count, align 4, !tbaa !5
  %589 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %590 = load i32, ptr %589, align 4, !tbaa !5
  %591 = call ptr @s2n_strerror(i32 noundef %590, ptr noundef @.str.4)
  %592 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %593 = load i32, ptr %592, align 4, !tbaa !5
  %594 = call ptr @s2n_strerror_debug(i32 noundef %593, ptr noundef @.str.4)
  %595 = call ptr @__errno_location() #12
  %596 = load i32, ptr %595, align 4, !tbaa !5
  %597 = call ptr @strerror(i32 noundef %596) #11
  %598 = call ptr @__errno_location() #12
  %599 = load i32, ptr %598, align 4, !tbaa !5
  %600 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %587, ptr noundef @.str.5, i32 noundef %588, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 53, ptr noundef %591, ptr noundef %594, ptr noundef %597, i32 noundef %599) #11
  br label %601

601:                                              ; preds = %584, %567
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #11
  br label %602

602:                                              ; preds = %601
  br label %603

603:                                              ; preds = %602
  call void @exit(i32 noundef 1) #13
  unreachable

604:                                              ; No predecessors!
  br label %605

605:                                              ; preds = %604
  br label %606

606:                                              ; preds = %605, %546
  br label %607

607:                                              ; preds = %606
  br label %608

608:                                              ; preds = %607
  call void @llvm.lifetime.start.p0(i64 16, ptr %20) #11
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %20, ptr align 16 @__const.main.security_policies, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #11
  store i64 0, ptr %21, align 8, !tbaa !15
  br label %609

609:                                              ; preds = %1447, %608
  %610 = load i64, ptr %21, align 8, !tbaa !15
  %611 = icmp ult i64 %610, 2
  br i1 %611, label %613, label %612

612:                                              ; preds = %609
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #11
  br label %1450

613:                                              ; preds = %609
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #11
  %614 = call ptr @s2n_connection_new(i32 noundef 1)
  store ptr %614, ptr %22, align 8, !tbaa !9
  br label %615

615:                                              ; preds = %613
  %616 = load i32, ptr @test_count, align 4, !tbaa !5
  %617 = add nsw i32 %616, 1
  store i32 %617, ptr @test_count, align 4, !tbaa !5
  %618 = load ptr, ptr %22, align 8, !tbaa !9
  %619 = icmp eq ptr %618, null
  br i1 %619, label %620, label %673

620:                                              ; preds = %615
  br label %621

621:                                              ; preds = %620
  br label %622

622:                                              ; preds = %621
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #11
  %623 = call ptr @__errno_location() #12
  %624 = load i32, ptr %623, align 4, !tbaa !5
  store i32 %624, ptr %23, align 4, !tbaa !5
  %625 = load ptr, ptr @stderr, align 8, !tbaa !9
  %626 = call i32 @s2n_print_stacktrace(ptr noundef %625)
  %627 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %628 = trunc i8 %627 to i1
  br i1 %628, label %629, label %651

629:                                              ; preds = %622
  %630 = load ptr, ptr @stderr, align 8, !tbaa !9
  %631 = call i32 @fileno(ptr noundef %630) #11
  %632 = call i32 @isatty(i32 noundef %631) #11
  %633 = icmp ne i32 %632, 0
  br i1 %633, label %634, label %651

634:                                              ; preds = %629
  %635 = load i32, ptr %23, align 4, !tbaa !5
  %636 = call ptr @__errno_location() #12
  store i32 %635, ptr %636, align 4, !tbaa !5
  %637 = load ptr, ptr @stderr, align 8, !tbaa !9
  %638 = load i32, ptr @test_count, align 4, !tbaa !5
  %639 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %640 = load i32, ptr %639, align 4, !tbaa !5
  %641 = call ptr @s2n_strerror(i32 noundef %640, ptr noundef @.str.4)
  %642 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %643 = load i32, ptr %642, align 4, !tbaa !5
  %644 = call ptr @s2n_strerror_debug(i32 noundef %643, ptr noundef @.str.4)
  %645 = call ptr @__errno_location() #12
  %646 = load i32, ptr %645, align 4, !tbaa !5
  %647 = call ptr @strerror(i32 noundef %646) #11
  %648 = call ptr @__errno_location() #12
  %649 = load i32, ptr %648, align 4, !tbaa !5
  %650 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %637, ptr noundef @.str.2, i32 noundef %638, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 60, ptr noundef %641, ptr noundef %644, ptr noundef %647, i32 noundef %649) #11
  br label %668

651:                                              ; preds = %629, %622
  %652 = load i32, ptr %23, align 4, !tbaa !5
  %653 = call ptr @__errno_location() #12
  store i32 %652, ptr %653, align 4, !tbaa !5
  %654 = load ptr, ptr @stderr, align 8, !tbaa !9
  %655 = load i32, ptr @test_count, align 4, !tbaa !5
  %656 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %657 = load i32, ptr %656, align 4, !tbaa !5
  %658 = call ptr @s2n_strerror(i32 noundef %657, ptr noundef @.str.4)
  %659 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %660 = load i32, ptr %659, align 4, !tbaa !5
  %661 = call ptr @s2n_strerror_debug(i32 noundef %660, ptr noundef @.str.4)
  %662 = call ptr @__errno_location() #12
  %663 = load i32, ptr %662, align 4, !tbaa !5
  %664 = call ptr @strerror(i32 noundef %663) #11
  %665 = call ptr @__errno_location() #12
  %666 = load i32, ptr %665, align 4, !tbaa !5
  %667 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %654, ptr noundef @.str.5, i32 noundef %655, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 60, ptr noundef %658, ptr noundef %661, ptr noundef %664, i32 noundef %666) #11
  br label %668

668:                                              ; preds = %651, %634
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #11
  br label %669

669:                                              ; preds = %668
  br label %670

670:                                              ; preds = %669
  call void @exit(i32 noundef 1) #13
  unreachable

671:                                              ; No predecessors!
  br label %672

672:                                              ; preds = %671
  br label %673

673:                                              ; preds = %672, %615
  br label %674

674:                                              ; preds = %673
  br label %675

675:                                              ; preds = %674
  br label %676

676:                                              ; preds = %675
  %677 = load i32, ptr @test_count, align 4, !tbaa !5
  %678 = add nsw i32 %677, 1
  store i32 %678, ptr @test_count, align 4, !tbaa !5
  %679 = load ptr, ptr %22, align 8, !tbaa !9
  %680 = load ptr, ptr %17, align 8, !tbaa !9
  %681 = call i32 @s2n_connection_set_config(ptr noundef %679, ptr noundef %680)
  %682 = icmp eq i32 %681, -1
  br i1 %682, label %683, label %736

683:                                              ; preds = %676
  br label %684

684:                                              ; preds = %683
  br label %685

685:                                              ; preds = %684
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #11
  %686 = call ptr @__errno_location() #12
  %687 = load i32, ptr %686, align 4, !tbaa !5
  store i32 %687, ptr %24, align 4, !tbaa !5
  %688 = load ptr, ptr @stderr, align 8, !tbaa !9
  %689 = call i32 @s2n_print_stacktrace(ptr noundef %688)
  %690 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %691 = trunc i8 %690 to i1
  br i1 %691, label %692, label %714

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
  %696 = icmp ne i32 %695, 0
  br i1 %696, label %697, label %714

697:                                              ; preds = %692
  %698 = load i32, ptr %24, align 4, !tbaa !5
  %699 = call ptr @__errno_location() #12
  store i32 %698, ptr %699, align 4, !tbaa !5
  %700 = load ptr, ptr @stderr, align 8, !tbaa !9
  %701 = load i32, ptr @test_count, align 4, !tbaa !5
  %702 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %703 = load i32, ptr %702, align 4, !tbaa !5
  %704 = call ptr @s2n_strerror(i32 noundef %703, ptr noundef @.str.4)
  %705 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %706 = load i32, ptr %705, align 4, !tbaa !5
  %707 = call ptr @s2n_strerror_debug(i32 noundef %706, ptr noundef @.str.4)
  %708 = call ptr @__errno_location() #12
  %709 = load i32, ptr %708, align 4, !tbaa !5
  %710 = call ptr @strerror(i32 noundef %709) #11
  %711 = call ptr @__errno_location() #12
  %712 = load i32, ptr %711, align 4, !tbaa !5
  %713 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %700, ptr noundef @.str.2, i32 noundef %701, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 61, ptr noundef %704, ptr noundef %707, ptr noundef %710, i32 noundef %712) #11
  br label %731

714:                                              ; preds = %692, %685
  %715 = load i32, ptr %24, align 4, !tbaa !5
  %716 = call ptr @__errno_location() #12
  store i32 %715, ptr %716, align 4, !tbaa !5
  %717 = load ptr, ptr @stderr, align 8, !tbaa !9
  %718 = load i32, ptr @test_count, align 4, !tbaa !5
  %719 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %720 = load i32, ptr %719, align 4, !tbaa !5
  %721 = call ptr @s2n_strerror(i32 noundef %720, ptr noundef @.str.4)
  %722 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %723 = load i32, ptr %722, align 4, !tbaa !5
  %724 = call ptr @s2n_strerror_debug(i32 noundef %723, ptr noundef @.str.4)
  %725 = call ptr @__errno_location() #12
  %726 = load i32, ptr %725, align 4, !tbaa !5
  %727 = call ptr @strerror(i32 noundef %726) #11
  %728 = call ptr @__errno_location() #12
  %729 = load i32, ptr %728, align 4, !tbaa !5
  %730 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %717, ptr noundef @.str.5, i32 noundef %718, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 61, ptr noundef %721, ptr noundef %724, ptr noundef %727, i32 noundef %729) #11
  br label %731

731:                                              ; preds = %714, %697
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #11
  br label %732

732:                                              ; preds = %731
  br label %733

733:                                              ; preds = %732
  call void @exit(i32 noundef 1) #13
  unreachable

734:                                              ; No predecessors!
  br label %735

735:                                              ; preds = %734
  br label %736

736:                                              ; preds = %735, %676
  br label %737

737:                                              ; preds = %736
  br label %738

738:                                              ; preds = %737
  br label %739

739:                                              ; preds = %738
  %740 = load i32, ptr @test_count, align 4, !tbaa !5
  %741 = add nsw i32 %740, 1
  store i32 %741, ptr @test_count, align 4, !tbaa !5
  %742 = load ptr, ptr %22, align 8, !tbaa !9
  %743 = load i64, ptr %21, align 8, !tbaa !15
  %744 = getelementptr inbounds [2 x ptr], ptr %20, i64 0, i64 %743
  %745 = load ptr, ptr %744, align 8, !tbaa !9
  %746 = call i32 @s2n_connection_set_cipher_preferences(ptr noundef %742, ptr noundef %745)
  %747 = icmp eq i32 %746, -1
  br i1 %747, label %748, label %801

748:                                              ; preds = %739
  br label %749

749:                                              ; preds = %748
  br label %750

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

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

762:                                              ; preds = %757
  %763 = load i32, ptr %25, align 4, !tbaa !5
  %764 = call ptr @__errno_location() #12
  store i32 %763, ptr %764, align 4, !tbaa !5
  %765 = load ptr, ptr @stderr, align 8, !tbaa !9
  %766 = load i32, ptr @test_count, align 4, !tbaa !5
  %767 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %768 = load i32, ptr %767, align 4, !tbaa !5
  %769 = call ptr @s2n_strerror(i32 noundef %768, ptr noundef @.str.4)
  %770 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %771 = load i32, ptr %770, align 4, !tbaa !5
  %772 = call ptr @s2n_strerror_debug(i32 noundef %771, ptr noundef @.str.4)
  %773 = call ptr @__errno_location() #12
  %774 = load i32, ptr %773, align 4, !tbaa !5
  %775 = call ptr @strerror(i32 noundef %774) #11
  %776 = call ptr @__errno_location() #12
  %777 = load i32, ptr %776, align 4, !tbaa !5
  %778 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %765, ptr noundef @.str.2, i32 noundef %766, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 62, ptr noundef %769, ptr noundef %772, ptr noundef %775, i32 noundef %777) #11
  br label %796

779:                                              ; preds = %757, %750
  %780 = load i32, ptr %25, align 4, !tbaa !5
  %781 = call ptr @__errno_location() #12
  store i32 %780, ptr %781, align 4, !tbaa !5
  %782 = load ptr, ptr @stderr, align 8, !tbaa !9
  %783 = load i32, ptr @test_count, align 4, !tbaa !5
  %784 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %785 = load i32, ptr %784, align 4, !tbaa !5
  %786 = call ptr @s2n_strerror(i32 noundef %785, ptr noundef @.str.4)
  %787 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %788 = load i32, ptr %787, align 4, !tbaa !5
  %789 = call ptr @s2n_strerror_debug(i32 noundef %788, ptr noundef @.str.4)
  %790 = call ptr @__errno_location() #12
  %791 = load i32, ptr %790, align 4, !tbaa !5
  %792 = call ptr @strerror(i32 noundef %791) #11
  %793 = call ptr @__errno_location() #12
  %794 = load i32, ptr %793, align 4, !tbaa !5
  %795 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %782, ptr noundef @.str.5, i32 noundef %783, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 62, ptr noundef %786, ptr noundef %789, ptr noundef %792, i32 noundef %794) #11
  br label %796

796:                                              ; preds = %779, %762
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #11
  br label %797

797:                                              ; preds = %796
  br label %798

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

799:                                              ; No predecessors!
  br label %800

800:                                              ; preds = %799
  br label %801

801:                                              ; preds = %800, %739
  br label %802

802:                                              ; preds = %801
  br label %803

803:                                              ; preds = %802
  br label %804

804:                                              ; preds = %803
  %805 = load i32, ptr @test_count, align 4, !tbaa !5
  %806 = add nsw i32 %805, 1
  store i32 %806, ptr @test_count, align 4, !tbaa !5
  %807 = load ptr, ptr %22, align 8, !tbaa !9
  %808 = call i32 @s2n_set_server_name(ptr noundef %807, ptr noundef @.str.21)
  %809 = icmp eq i32 %808, -1
  br i1 %809, label %810, label %863

810:                                              ; preds = %804
  br label %811

811:                                              ; preds = %810
  br label %812

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

819:                                              ; preds = %812
  %820 = load ptr, ptr @stderr, align 8, !tbaa !9
  %821 = call i32 @fileno(ptr noundef %820) #11
  %822 = call i32 @isatty(i32 noundef %821) #11
  %823 = icmp ne i32 %822, 0
  br i1 %823, label %824, label %841

824:                                              ; preds = %819
  %825 = load i32, ptr %26, align 4, !tbaa !5
  %826 = call ptr @__errno_location() #12
  store i32 %825, ptr %826, align 4, !tbaa !5
  %827 = load ptr, ptr @stderr, align 8, !tbaa !9
  %828 = load i32, ptr @test_count, align 4, !tbaa !5
  %829 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %830 = load i32, ptr %829, align 4, !tbaa !5
  %831 = call ptr @s2n_strerror(i32 noundef %830, ptr noundef @.str.4)
  %832 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %833 = load i32, ptr %832, align 4, !tbaa !5
  %834 = call ptr @s2n_strerror_debug(i32 noundef %833, ptr noundef @.str.4)
  %835 = call ptr @__errno_location() #12
  %836 = load i32, ptr %835, align 4, !tbaa !5
  %837 = call ptr @strerror(i32 noundef %836) #11
  %838 = call ptr @__errno_location() #12
  %839 = load i32, ptr %838, align 4, !tbaa !5
  %840 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %827, ptr noundef @.str.2, i32 noundef %828, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 63, ptr noundef %831, ptr noundef %834, ptr noundef %837, i32 noundef %839) #11
  br label %858

841:                                              ; preds = %819, %812
  %842 = load i32, ptr %26, align 4, !tbaa !5
  %843 = call ptr @__errno_location() #12
  store i32 %842, ptr %843, align 4, !tbaa !5
  %844 = load ptr, ptr @stderr, align 8, !tbaa !9
  %845 = load i32, ptr @test_count, align 4, !tbaa !5
  %846 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %847 = load i32, ptr %846, align 4, !tbaa !5
  %848 = call ptr @s2n_strerror(i32 noundef %847, ptr noundef @.str.4)
  %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_debug(i32 noundef %850, ptr noundef @.str.4)
  %852 = call ptr @__errno_location() #12
  %853 = load i32, ptr %852, align 4, !tbaa !5
  %854 = call ptr @strerror(i32 noundef %853) #11
  %855 = call ptr @__errno_location() #12
  %856 = load i32, ptr %855, align 4, !tbaa !5
  %857 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %844, ptr noundef @.str.5, i32 noundef %845, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 63, ptr noundef %848, ptr noundef %851, ptr noundef %854, i32 noundef %856) #11
  br label %858

858:                                              ; preds = %841, %824
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #11
  br label %859

859:                                              ; preds = %858
  br label %860

860:                                              ; preds = %859
  call void @exit(i32 noundef 1) #13
  unreachable

861:                                              ; No predecessors!
  br label %862

862:                                              ; preds = %861
  br label %863

863:                                              ; preds = %862, %804
  br label %864

864:                                              ; preds = %863
  br label %865

865:                                              ; preds = %864
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #11
  %866 = call ptr @s2n_connection_new(i32 noundef 0)
  store ptr %866, ptr %27, align 8, !tbaa !9
  br label %867

867:                                              ; preds = %865
  %868 = load i32, ptr @test_count, align 4, !tbaa !5
  %869 = add nsw i32 %868, 1
  store i32 %869, ptr @test_count, align 4, !tbaa !5
  %870 = load ptr, ptr %27, align 8, !tbaa !9
  %871 = icmp eq ptr %870, null
  br i1 %871, label %872, label %925

872:                                              ; preds = %867
  br label %873

873:                                              ; preds = %872
  br label %874

874:                                              ; preds = %873
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #11
  %875 = call ptr @__errno_location() #12
  %876 = load i32, ptr %875, align 4, !tbaa !5
  store i32 %876, ptr %28, align 4, !tbaa !5
  %877 = load ptr, ptr @stderr, align 8, !tbaa !9
  %878 = call i32 @s2n_print_stacktrace(ptr noundef %877)
  %879 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %880 = trunc i8 %879 to i1
  br i1 %880, label %881, label %903

881:                                              ; preds = %874
  %882 = load ptr, ptr @stderr, align 8, !tbaa !9
  %883 = call i32 @fileno(ptr noundef %882) #11
  %884 = call i32 @isatty(i32 noundef %883) #11
  %885 = icmp ne i32 %884, 0
  br i1 %885, label %886, label %903

886:                                              ; preds = %881
  %887 = load i32, ptr %28, align 4, !tbaa !5
  %888 = call ptr @__errno_location() #12
  store i32 %887, ptr %888, align 4, !tbaa !5
  %889 = load ptr, ptr @stderr, align 8, !tbaa !9
  %890 = load i32, ptr @test_count, align 4, !tbaa !5
  %891 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %892 = load i32, ptr %891, align 4, !tbaa !5
  %893 = call ptr @s2n_strerror(i32 noundef %892, ptr noundef @.str.4)
  %894 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %895 = load i32, ptr %894, align 4, !tbaa !5
  %896 = call ptr @s2n_strerror_debug(i32 noundef %895, ptr noundef @.str.4)
  %897 = call ptr @__errno_location() #12
  %898 = load i32, ptr %897, align 4, !tbaa !5
  %899 = call ptr @strerror(i32 noundef %898) #11
  %900 = call ptr @__errno_location() #12
  %901 = load i32, ptr %900, align 4, !tbaa !5
  %902 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %889, ptr noundef @.str.2, i32 noundef %890, ptr noundef @.str.23, ptr noundef @.str.1, i32 noundef 67, ptr noundef %893, ptr noundef %896, ptr noundef %899, i32 noundef %901) #11
  br label %920

903:                                              ; preds = %881, %874
  %904 = load i32, ptr %28, align 4, !tbaa !5
  %905 = call ptr @__errno_location() #12
  store i32 %904, ptr %905, align 4, !tbaa !5
  %906 = load ptr, ptr @stderr, align 8, !tbaa !9
  %907 = load i32, ptr @test_count, align 4, !tbaa !5
  %908 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %909 = load i32, ptr %908, align 4, !tbaa !5
  %910 = call ptr @s2n_strerror(i32 noundef %909, ptr noundef @.str.4)
  %911 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %912 = load i32, ptr %911, align 4, !tbaa !5
  %913 = call ptr @s2n_strerror_debug(i32 noundef %912, ptr noundef @.str.4)
  %914 = call ptr @__errno_location() #12
  %915 = load i32, ptr %914, align 4, !tbaa !5
  %916 = call ptr @strerror(i32 noundef %915) #11
  %917 = call ptr @__errno_location() #12
  %918 = load i32, ptr %917, align 4, !tbaa !5
  %919 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %906, ptr noundef @.str.5, i32 noundef %907, ptr noundef @.str.23, ptr noundef @.str.1, i32 noundef 67, ptr noundef %910, ptr noundef %913, ptr noundef %916, i32 noundef %918) #11
  br label %920

920:                                              ; preds = %903, %886
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #11
  br label %921

921:                                              ; preds = %920
  br label %922

922:                                              ; preds = %921
  call void @exit(i32 noundef 1) #13
  unreachable

923:                                              ; No predecessors!
  br label %924

924:                                              ; preds = %923
  br label %925

925:                                              ; preds = %924, %867
  br label %926

926:                                              ; preds = %925
  br label %927

927:                                              ; preds = %926
  br label %928

928:                                              ; preds = %927
  %929 = load i32, ptr @test_count, align 4, !tbaa !5
  %930 = add nsw i32 %929, 1
  store i32 %930, ptr @test_count, align 4, !tbaa !5
  %931 = load ptr, ptr %27, align 8, !tbaa !9
  %932 = load ptr, ptr %17, align 8, !tbaa !9
  %933 = call i32 @s2n_connection_set_config(ptr noundef %931, ptr noundef %932)
  %934 = icmp eq i32 %933, -1
  br i1 %934, label %935, label %988

935:                                              ; preds = %928
  br label %936

936:                                              ; preds = %935
  br label %937

937:                                              ; preds = %936
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #11
  %938 = call ptr @__errno_location() #12
  %939 = load i32, ptr %938, align 4, !tbaa !5
  store i32 %939, ptr %29, align 4, !tbaa !5
  %940 = load ptr, ptr @stderr, align 8, !tbaa !9
  %941 = call i32 @s2n_print_stacktrace(ptr noundef %940)
  %942 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %943 = trunc i8 %942 to i1
  br i1 %943, label %944, label %966

944:                                              ; preds = %937
  %945 = load ptr, ptr @stderr, align 8, !tbaa !9
  %946 = call i32 @fileno(ptr noundef %945) #11
  %947 = call i32 @isatty(i32 noundef %946) #11
  %948 = icmp ne i32 %947, 0
  br i1 %948, label %949, label %966

949:                                              ; preds = %944
  %950 = load i32, ptr %29, align 4, !tbaa !5
  %951 = call ptr @__errno_location() #12
  store i32 %950, ptr %951, align 4, !tbaa !5
  %952 = load ptr, ptr @stderr, align 8, !tbaa !9
  %953 = load i32, ptr @test_count, align 4, !tbaa !5
  %954 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %955 = load i32, ptr %954, align 4, !tbaa !5
  %956 = call ptr @s2n_strerror(i32 noundef %955, ptr noundef @.str.4)
  %957 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %958 = load i32, ptr %957, align 4, !tbaa !5
  %959 = call ptr @s2n_strerror_debug(i32 noundef %958, ptr noundef @.str.4)
  %960 = call ptr @__errno_location() #12
  %961 = load i32, ptr %960, align 4, !tbaa !5
  %962 = call ptr @strerror(i32 noundef %961) #11
  %963 = call ptr @__errno_location() #12
  %964 = load i32, ptr %963, align 4, !tbaa !5
  %965 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %952, ptr noundef @.str.2, i32 noundef %953, ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 68, ptr noundef %956, ptr noundef %959, ptr noundef %962, i32 noundef %964) #11
  br label %983

966:                                              ; preds = %944, %937
  %967 = load i32, ptr %29, align 4, !tbaa !5
  %968 = call ptr @__errno_location() #12
  store i32 %967, ptr %968, align 4, !tbaa !5
  %969 = load ptr, ptr @stderr, align 8, !tbaa !9
  %970 = load i32, ptr @test_count, align 4, !tbaa !5
  %971 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %972 = load i32, ptr %971, align 4, !tbaa !5
  %973 = call ptr @s2n_strerror(i32 noundef %972, ptr noundef @.str.4)
  %974 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %975 = load i32, ptr %974, align 4, !tbaa !5
  %976 = call ptr @s2n_strerror_debug(i32 noundef %975, ptr noundef @.str.4)
  %977 = call ptr @__errno_location() #12
  %978 = load i32, ptr %977, align 4, !tbaa !5
  %979 = call ptr @strerror(i32 noundef %978) #11
  %980 = call ptr @__errno_location() #12
  %981 = load i32, ptr %980, align 4, !tbaa !5
  %982 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %969, ptr noundef @.str.5, i32 noundef %970, ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 68, ptr noundef %973, ptr noundef %976, ptr noundef %979, i32 noundef %981) #11
  br label %983

983:                                              ; preds = %966, %949
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #11
  br label %984

984:                                              ; preds = %983
  br label %985

985:                                              ; preds = %984
  call void @exit(i32 noundef 1) #13
  unreachable

986:                                              ; No predecessors!
  br label %987

987:                                              ; preds = %986
  br label %988

988:                                              ; preds = %987, %928
  br label %989

989:                                              ; preds = %988
  br label %990

990:                                              ; preds = %989
  br label %991

991:                                              ; preds = %990
  %992 = load i32, ptr @test_count, align 4, !tbaa !5
  %993 = add nsw i32 %992, 1
  store i32 %993, ptr @test_count, align 4, !tbaa !5
  %994 = load ptr, ptr %27, align 8, !tbaa !9
  %995 = load i64, ptr %21, align 8, !tbaa !15
  %996 = getelementptr inbounds [2 x ptr], ptr %20, i64 0, i64 %995
  %997 = load ptr, ptr %996, align 8, !tbaa !9
  %998 = call i32 @s2n_connection_set_cipher_preferences(ptr noundef %994, ptr noundef %997)
  %999 = icmp eq i32 %998, -1
  br i1 %999, label %1000, label %1053

1000:                                             ; preds = %991
  br label %1001

1001:                                             ; preds = %1000
  br label %1002

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

1009:                                             ; preds = %1002
  %1010 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1011 = call i32 @fileno(ptr noundef %1010) #11
  %1012 = call i32 @isatty(i32 noundef %1011) #11
  %1013 = icmp ne i32 %1012, 0
  br i1 %1013, label %1014, label %1031

1014:                                             ; preds = %1009
  %1015 = load i32, ptr %30, align 4, !tbaa !5
  %1016 = call ptr @__errno_location() #12
  store i32 %1015, ptr %1016, align 4, !tbaa !5
  %1017 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1018 = load i32, ptr @test_count, align 4, !tbaa !5
  %1019 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1020 = load i32, ptr %1019, align 4, !tbaa !5
  %1021 = call ptr @s2n_strerror(i32 noundef %1020, ptr noundef @.str.4)
  %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_debug(i32 noundef %1023, ptr noundef @.str.4)
  %1025 = call ptr @__errno_location() #12
  %1026 = load i32, ptr %1025, align 4, !tbaa !5
  %1027 = call ptr @strerror(i32 noundef %1026) #11
  %1028 = call ptr @__errno_location() #12
  %1029 = load i32, ptr %1028, align 4, !tbaa !5
  %1030 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1017, ptr noundef @.str.2, i32 noundef %1018, ptr noundef @.str.25, ptr noundef @.str.1, i32 noundef 69, ptr noundef %1021, ptr noundef %1024, ptr noundef %1027, i32 noundef %1029) #11
  br label %1048

1031:                                             ; preds = %1009, %1002
  %1032 = load i32, ptr %30, align 4, !tbaa !5
  %1033 = call ptr @__errno_location() #12
  store i32 %1032, ptr %1033, align 4, !tbaa !5
  %1034 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1035 = load i32, ptr @test_count, align 4, !tbaa !5
  %1036 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1037 = load i32, ptr %1036, align 4, !tbaa !5
  %1038 = call ptr @s2n_strerror(i32 noundef %1037, ptr noundef @.str.4)
  %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_debug(i32 noundef %1040, ptr noundef @.str.4)
  %1042 = call ptr @__errno_location() #12
  %1043 = load i32, ptr %1042, align 4, !tbaa !5
  %1044 = call ptr @strerror(i32 noundef %1043) #11
  %1045 = call ptr @__errno_location() #12
  %1046 = load i32, ptr %1045, align 4, !tbaa !5
  %1047 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1034, ptr noundef @.str.5, i32 noundef %1035, ptr noundef @.str.25, ptr noundef @.str.1, i32 noundef 69, ptr noundef %1038, ptr noundef %1041, ptr noundef %1044, i32 noundef %1046) #11
  br label %1048

1048:                                             ; preds = %1031, %1014
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #11
  br label %1049

1049:                                             ; preds = %1048
  br label %1050

1050:                                             ; preds = %1049
  call void @exit(i32 noundef 1) #13
  unreachable

1051:                                             ; No predecessors!
  br label %1052

1052:                                             ; preds = %1051
  br label %1053

1053:                                             ; preds = %1052, %991
  br label %1054

1054:                                             ; preds = %1053
  br label %1055

1055:                                             ; preds = %1054
  call void @llvm.lifetime.start.p0(i64 80, ptr %31) #11
  call void @llvm.memset.p0.i64(ptr align 8 %31, i8 0, i64 80, i1 false)
  br label %1056

1056:                                             ; preds = %1055
  %1057 = load i32, ptr @test_count, align 4, !tbaa !5
  %1058 = add nsw i32 %1057, 1
  store i32 %1058, ptr @test_count, align 4, !tbaa !5
  %1059 = call i32 @s2n_io_stuffer_pair_init(ptr noundef %31)
  %1060 = getelementptr inbounds %struct.s2n_result, ptr %32, i32 0, i32 0
  store i32 %1059, ptr %1060, align 4
  %1061 = getelementptr inbounds %struct.s2n_result, ptr %32, i32 0, i32 0
  %1062 = load i32, ptr %1061, align 4
  %1063 = call zeroext i1 @s2n_result_is_ok(i32 %1062)
  br i1 %1063, label %1117, label %1064

1064:                                             ; preds = %1056
  br label %1065

1065:                                             ; preds = %1064
  br label %1066

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

1073:                                             ; preds = %1066
  %1074 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1075 = call i32 @fileno(ptr noundef %1074) #11
  %1076 = call i32 @isatty(i32 noundef %1075) #11
  %1077 = icmp ne i32 %1076, 0
  br i1 %1077, label %1078, label %1095

1078:                                             ; preds = %1073
  %1079 = load i32, ptr %33, align 4, !tbaa !5
  %1080 = call ptr @__errno_location() #12
  store i32 %1079, ptr %1080, align 4, !tbaa !5
  %1081 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1082 = load i32, ptr @test_count, align 4, !tbaa !5
  %1083 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1084 = load i32, ptr %1083, align 4, !tbaa !5
  %1085 = call ptr @s2n_strerror(i32 noundef %1084, ptr noundef @.str.4)
  %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_debug(i32 noundef %1087, ptr noundef @.str.4)
  %1089 = call ptr @__errno_location() #12
  %1090 = load i32, ptr %1089, align 4, !tbaa !5
  %1091 = call ptr @strerror(i32 noundef %1090) #11
  %1092 = call ptr @__errno_location() #12
  %1093 = load i32, ptr %1092, align 4, !tbaa !5
  %1094 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1081, ptr noundef @.str.2, i32 noundef %1082, ptr noundef @.str.26, ptr noundef @.str.1, i32 noundef 72, ptr noundef %1085, ptr noundef %1088, ptr noundef %1091, i32 noundef %1093) #11
  br label %1112

1095:                                             ; preds = %1073, %1066
  %1096 = load i32, ptr %33, align 4, !tbaa !5
  %1097 = call ptr @__errno_location() #12
  store i32 %1096, ptr %1097, align 4, !tbaa !5
  %1098 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1099 = load i32, ptr @test_count, align 4, !tbaa !5
  %1100 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1101 = load i32, ptr %1100, align 4, !tbaa !5
  %1102 = call ptr @s2n_strerror(i32 noundef %1101, ptr noundef @.str.4)
  %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_debug(i32 noundef %1104, ptr noundef @.str.4)
  %1106 = call ptr @__errno_location() #12
  %1107 = load i32, ptr %1106, align 4, !tbaa !5
  %1108 = call ptr @strerror(i32 noundef %1107) #11
  %1109 = call ptr @__errno_location() #12
  %1110 = load i32, ptr %1109, align 4, !tbaa !5
  %1111 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1098, ptr noundef @.str.5, i32 noundef %1099, ptr noundef @.str.26, ptr noundef @.str.1, i32 noundef 72, ptr noundef %1102, ptr noundef %1105, ptr noundef %1108, i32 noundef %1110) #11
  br label %1112

1112:                                             ; preds = %1095, %1078
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #11
  br label %1113

1113:                                             ; preds = %1112
  br label %1114

1114:                                             ; preds = %1113
  call void @exit(i32 noundef 1) #13
  unreachable

1115:                                             ; No predecessors!
  br label %1116

1116:                                             ; preds = %1115
  br label %1117

1117:                                             ; preds = %1116, %1056
  br label %1118

1118:                                             ; preds = %1117
  br label %1119

1119:                                             ; preds = %1118
  br label %1120

1120:                                             ; preds = %1119
  %1121 = load i32, ptr @test_count, align 4, !tbaa !5
  %1122 = add nsw i32 %1121, 1
  store i32 %1122, ptr @test_count, align 4, !tbaa !5
  %1123 = load ptr, ptr %22, align 8, !tbaa !9
  %1124 = load ptr, ptr %27, align 8, !tbaa !9
  %1125 = call i32 @s2n_connections_set_io_stuffer_pair(ptr noundef %1123, ptr noundef %1124, ptr noundef %31)
  %1126 = getelementptr inbounds %struct.s2n_result, ptr %34, i32 0, i32 0
  store i32 %1125, ptr %1126, align 4
  %1127 = getelementptr inbounds %struct.s2n_result, ptr %34, i32 0, i32 0
  %1128 = load i32, ptr %1127, align 4
  %1129 = call zeroext i1 @s2n_result_is_ok(i32 %1128)
  br i1 %1129, label %1183, label %1130

1130:                                             ; preds = %1120
  br label %1131

1131:                                             ; preds = %1130
  br label %1132

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

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

1144:                                             ; preds = %1139
  %1145 = load i32, ptr %35, align 4, !tbaa !5
  %1146 = call ptr @__errno_location() #12
  store i32 %1145, ptr %1146, align 4, !tbaa !5
  %1147 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1148 = load i32, ptr @test_count, align 4, !tbaa !5
  %1149 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1150 = load i32, ptr %1149, align 4, !tbaa !5
  %1151 = call ptr @s2n_strerror(i32 noundef %1150, ptr noundef @.str.4)
  %1152 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1153 = load i32, ptr %1152, align 4, !tbaa !5
  %1154 = call ptr @s2n_strerror_debug(i32 noundef %1153, ptr noundef @.str.4)
  %1155 = call ptr @__errno_location() #12
  %1156 = load i32, ptr %1155, align 4, !tbaa !5
  %1157 = call ptr @strerror(i32 noundef %1156) #11
  %1158 = call ptr @__errno_location() #12
  %1159 = load i32, ptr %1158, align 4, !tbaa !5
  %1160 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1147, ptr noundef @.str.2, i32 noundef %1148, ptr noundef @.str.27, ptr noundef @.str.1, i32 noundef 73, ptr noundef %1151, ptr noundef %1154, ptr noundef %1157, i32 noundef %1159) #11
  br label %1178

1161:                                             ; preds = %1139, %1132
  %1162 = load i32, ptr %35, align 4, !tbaa !5
  %1163 = call ptr @__errno_location() #12
  store i32 %1162, ptr %1163, align 4, !tbaa !5
  %1164 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1165 = load i32, ptr @test_count, align 4, !tbaa !5
  %1166 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1167 = load i32, ptr %1166, align 4, !tbaa !5
  %1168 = call ptr @s2n_strerror(i32 noundef %1167, ptr noundef @.str.4)
  %1169 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1170 = load i32, ptr %1169, align 4, !tbaa !5
  %1171 = call ptr @s2n_strerror_debug(i32 noundef %1170, ptr noundef @.str.4)
  %1172 = call ptr @__errno_location() #12
  %1173 = load i32, ptr %1172, align 4, !tbaa !5
  %1174 = call ptr @strerror(i32 noundef %1173) #11
  %1175 = call ptr @__errno_location() #12
  %1176 = load i32, ptr %1175, align 4, !tbaa !5
  %1177 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1164, ptr noundef @.str.5, i32 noundef %1165, ptr noundef @.str.27, ptr noundef @.str.1, i32 noundef 73, ptr noundef %1168, ptr noundef %1171, ptr noundef %1174, i32 noundef %1176) #11
  br label %1178

1178:                                             ; preds = %1161, %1144
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #11
  br label %1179

1179:                                             ; preds = %1178
  br label %1180

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

1181:                                             ; No predecessors!
  br label %1182

1182:                                             ; preds = %1181
  br label %1183

1183:                                             ; preds = %1182, %1120
  br label %1184

1184:                                             ; preds = %1183
  br label %1185

1185:                                             ; preds = %1184
  br label %1186

1186:                                             ; preds = %1185
  %1187 = load i32, ptr @test_count, align 4, !tbaa !5
  %1188 = add nsw i32 %1187, 1
  store i32 %1188, ptr @test_count, align 4, !tbaa !5
  %1189 = load ptr, ptr %27, align 8, !tbaa !9
  %1190 = load ptr, ptr %22, align 8, !tbaa !9
  %1191 = call i32 @s2n_negotiate_test_server_and_client(ptr noundef %1189, ptr noundef %1190)
  %1192 = icmp eq i32 %1191, -1
  br i1 %1192, label %1193, label %1246

1193:                                             ; preds = %1186
  br label %1194

1194:                                             ; preds = %1193
  br label %1195

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

1202:                                             ; preds = %1195
  %1203 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1204 = call i32 @fileno(ptr noundef %1203) #11
  %1205 = call i32 @isatty(i32 noundef %1204) #11
  %1206 = icmp ne i32 %1205, 0
  br i1 %1206, label %1207, label %1224

1207:                                             ; preds = %1202
  %1208 = load i32, ptr %36, align 4, !tbaa !5
  %1209 = call ptr @__errno_location() #12
  store i32 %1208, ptr %1209, align 4, !tbaa !5
  %1210 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1211 = load i32, ptr @test_count, align 4, !tbaa !5
  %1212 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1213 = load i32, ptr %1212, align 4, !tbaa !5
  %1214 = call ptr @s2n_strerror(i32 noundef %1213, ptr noundef @.str.4)
  %1215 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1216 = load i32, ptr %1215, align 4, !tbaa !5
  %1217 = call ptr @s2n_strerror_debug(i32 noundef %1216, ptr noundef @.str.4)
  %1218 = call ptr @__errno_location() #12
  %1219 = load i32, ptr %1218, align 4, !tbaa !5
  %1220 = call ptr @strerror(i32 noundef %1219) #11
  %1221 = call ptr @__errno_location() #12
  %1222 = load i32, ptr %1221, align 4, !tbaa !5
  %1223 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1210, ptr noundef @.str.2, i32 noundef %1211, ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 74, ptr noundef %1214, ptr noundef %1217, ptr noundef %1220, i32 noundef %1222) #11
  br label %1241

1224:                                             ; preds = %1202, %1195
  %1225 = load i32, ptr %36, align 4, !tbaa !5
  %1226 = call ptr @__errno_location() #12
  store i32 %1225, ptr %1226, align 4, !tbaa !5
  %1227 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1228 = load i32, ptr @test_count, align 4, !tbaa !5
  %1229 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1230 = load i32, ptr %1229, align 4, !tbaa !5
  %1231 = call ptr @s2n_strerror(i32 noundef %1230, ptr noundef @.str.4)
  %1232 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1233 = load i32, ptr %1232, align 4, !tbaa !5
  %1234 = call ptr @s2n_strerror_debug(i32 noundef %1233, ptr noundef @.str.4)
  %1235 = call ptr @__errno_location() #12
  %1236 = load i32, ptr %1235, align 4, !tbaa !5
  %1237 = call ptr @strerror(i32 noundef %1236) #11
  %1238 = call ptr @__errno_location() #12
  %1239 = load i32, ptr %1238, align 4, !tbaa !5
  %1240 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1227, ptr noundef @.str.5, i32 noundef %1228, ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 74, ptr noundef %1231, ptr noundef %1234, ptr noundef %1237, i32 noundef %1239) #11
  br label %1241

1241:                                             ; preds = %1224, %1207
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #11
  br label %1242

1242:                                             ; preds = %1241
  br label %1243

1243:                                             ; preds = %1242
  call void @exit(i32 noundef 1) #13
  unreachable

1244:                                             ; No predecessors!
  br label %1245

1245:                                             ; preds = %1244
  br label %1246

1246:                                             ; preds = %1245, %1186
  br label %1247

1247:                                             ; preds = %1246
  br label %1248

1248:                                             ; preds = %1247
  call void @llvm.lifetime.start.p0(i64 12, ptr %37) #11
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %37, ptr align 1 @__const.main.data, i64 12, i1 false)
  call void @llvm.lifetime.start.p0(i64 100, ptr %38) #11
  call void @llvm.memset.p0.i64(ptr align 16 %38, i8 0, i64 100, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #11
  store i32 0, ptr %39, align 4, !tbaa !5
  br label %1249

1249:                                             ; preds = %1248
  %1250 = load i32, ptr @test_count, align 4, !tbaa !5
  %1251 = add nsw i32 %1250, 1
  store i32 %1251, ptr @test_count, align 4, !tbaa !5
  %1252 = load ptr, ptr %22, align 8, !tbaa !9
  %1253 = getelementptr inbounds [12 x i8], ptr %37, i64 0, i64 0
  %1254 = call i64 @s2n_send(ptr noundef %1252, ptr noundef %1253, i64 noundef 12, ptr noundef %39)
  %1255 = icmp eq i64 %1254, 12
  br i1 %1255, label %1309, label %1256

1256:                                             ; preds = %1249
  br label %1257

1257:                                             ; preds = %1256
  br label %1258

1258:                                             ; preds = %1257
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #11
  %1259 = call ptr @__errno_location() #12
  %1260 = load i32, ptr %1259, align 4, !tbaa !5
  store i32 %1260, ptr %40, 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) #11
  %1268 = call i32 @isatty(i32 noundef %1267) #11
  %1269 = icmp ne i32 %1268, 0
  br i1 %1269, label %1270, label %1287

1270:                                             ; preds = %1265
  %1271 = load i32, ptr %40, align 4, !tbaa !5
  %1272 = call ptr @__errno_location() #12
  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() #12
  %1282 = load i32, ptr %1281, align 4, !tbaa !5
  %1283 = call ptr @strerror(i32 noundef %1282) #11
  %1284 = call ptr @__errno_location() #12
  %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.29, ptr noundef @.str.1, i32 noundef 79, ptr noundef %1277, ptr noundef %1280, ptr noundef %1283, i32 noundef %1285) #11
  br label %1304

1287:                                             ; preds = %1265, %1258
  %1288 = load i32, ptr %40, align 4, !tbaa !5
  %1289 = call ptr @__errno_location() #12
  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() #12
  %1299 = load i32, ptr %1298, align 4, !tbaa !5
  %1300 = call ptr @strerror(i32 noundef %1299) #11
  %1301 = call ptr @__errno_location() #12
  %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.29, ptr noundef @.str.1, i32 noundef 79, ptr noundef %1294, ptr noundef %1297, ptr noundef %1300, i32 noundef %1302) #11
  br label %1304

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

1305:                                             ; preds = %1304
  br label %1306

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

1307:                                             ; No predecessors!
  br label %1308

1308:                                             ; preds = %1307
  br label %1309

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

1310:                                             ; preds = %1309
  br label %1311

1311:                                             ; preds = %1310
  br label %1312

1312:                                             ; preds = %1311
  %1313 = load i32, ptr @test_count, align 4, !tbaa !5
  %1314 = add nsw i32 %1313, 1
  store i32 %1314, ptr @test_count, align 4, !tbaa !5
  %1315 = load ptr, ptr %27, align 8, !tbaa !9
  %1316 = getelementptr inbounds [100 x i8], ptr %38, i64 0, i64 0
  %1317 = call i64 @s2n_recv(ptr noundef %1315, ptr noundef %1316, i64 noundef 100, ptr noundef %39)
  %1318 = icmp eq i64 %1317, 12
  br i1 %1318, label %1372, label %1319

1319:                                             ; preds = %1312
  br label %1320

1320:                                             ; preds = %1319
  br label %1321

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

1328:                                             ; preds = %1321
  %1329 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1330 = call i32 @fileno(ptr noundef %1329) #11
  %1331 = call i32 @isatty(i32 noundef %1330) #11
  %1332 = icmp ne i32 %1331, 0
  br i1 %1332, label %1333, label %1350

1333:                                             ; preds = %1328
  %1334 = load i32, ptr %41, align 4, !tbaa !5
  %1335 = call ptr @__errno_location() #12
  store i32 %1334, ptr %1335, align 4, !tbaa !5
  %1336 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1337 = load i32, ptr @test_count, align 4, !tbaa !5
  %1338 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1339 = load i32, ptr %1338, align 4, !tbaa !5
  %1340 = call ptr @s2n_strerror(i32 noundef %1339, ptr noundef @.str.4)
  %1341 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1342 = load i32, ptr %1341, align 4, !tbaa !5
  %1343 = call ptr @s2n_strerror_debug(i32 noundef %1342, ptr noundef @.str.4)
  %1344 = call ptr @__errno_location() #12
  %1345 = load i32, ptr %1344, align 4, !tbaa !5
  %1346 = call ptr @strerror(i32 noundef %1345) #11
  %1347 = call ptr @__errno_location() #12
  %1348 = load i32, ptr %1347, align 4, !tbaa !5
  %1349 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1336, ptr noundef @.str.2, i32 noundef %1337, ptr noundef @.str.30, ptr noundef @.str.1, i32 noundef 80, ptr noundef %1340, ptr noundef %1343, ptr noundef %1346, i32 noundef %1348) #11
  br label %1367

1350:                                             ; preds = %1328, %1321
  %1351 = load i32, ptr %41, align 4, !tbaa !5
  %1352 = call ptr @__errno_location() #12
  store i32 %1351, ptr %1352, align 4, !tbaa !5
  %1353 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1354 = load i32, ptr @test_count, align 4, !tbaa !5
  %1355 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1356 = load i32, ptr %1355, align 4, !tbaa !5
  %1357 = call ptr @s2n_strerror(i32 noundef %1356, ptr noundef @.str.4)
  %1358 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1359 = load i32, ptr %1358, align 4, !tbaa !5
  %1360 = call ptr @s2n_strerror_debug(i32 noundef %1359, ptr noundef @.str.4)
  %1361 = call ptr @__errno_location() #12
  %1362 = load i32, ptr %1361, align 4, !tbaa !5
  %1363 = call ptr @strerror(i32 noundef %1362) #11
  %1364 = call ptr @__errno_location() #12
  %1365 = load i32, ptr %1364, align 4, !tbaa !5
  %1366 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1353, ptr noundef @.str.5, i32 noundef %1354, ptr noundef @.str.30, ptr noundef @.str.1, i32 noundef 80, ptr noundef %1357, ptr noundef %1360, ptr noundef %1363, i32 noundef %1365) #11
  br label %1367

1367:                                             ; preds = %1350, %1333
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #11
  br label %1368

1368:                                             ; preds = %1367
  br label %1369

1369:                                             ; preds = %1368
  call void @exit(i32 noundef 1) #13
  unreachable

1370:                                             ; No predecessors!
  br label %1371

1371:                                             ; preds = %1370
  br label %1372

1372:                                             ; preds = %1371, %1312
  br label %1373

1373:                                             ; preds = %1372
  br label %1374

1374:                                             ; preds = %1373
  br label %1375

1375:                                             ; preds = %1374
  br label %1376

1376:                                             ; preds = %1375
  %1377 = load i32, ptr @test_count, align 4, !tbaa !5
  %1378 = add nsw i32 %1377, 1
  store i32 %1378, ptr @test_count, align 4, !tbaa !5
  %1379 = getelementptr inbounds [100 x i8], ptr %38, i64 0, i64 0
  %1380 = getelementptr inbounds [12 x i8], ptr %37, i64 0, i64 0
  %1381 = call i32 @memcmp(ptr noundef %1379, ptr noundef %1380, i64 noundef 12) #14
  %1382 = icmp eq i32 %1381, 0
  br i1 %1382, label %1436, label %1383

1383:                                             ; preds = %1376
  br label %1384

1384:                                             ; preds = %1383
  br label %1385

1385:                                             ; preds = %1384
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #11
  %1386 = call ptr @__errno_location() #12
  %1387 = load i32, ptr %1386, align 4, !tbaa !5
  store i32 %1387, ptr %42, 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) #11
  %1395 = call i32 @isatty(i32 noundef %1394) #11
  %1396 = icmp ne i32 %1395, 0
  br i1 %1396, label %1397, label %1414

1397:                                             ; preds = %1392
  %1398 = load i32, ptr %42, align 4, !tbaa !5
  %1399 = call ptr @__errno_location() #12
  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() #12
  %1409 = load i32, ptr %1408, align 4, !tbaa !5
  %1410 = call ptr @strerror(i32 noundef %1409) #11
  %1411 = call ptr @__errno_location() #12
  %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.31, ptr noundef @.str.1, i32 noundef 81, ptr noundef %1404, ptr noundef %1407, ptr noundef %1410, i32 noundef %1412) #11
  br label %1431

1414:                                             ; preds = %1392, %1385
  %1415 = load i32, ptr %42, align 4, !tbaa !5
  %1416 = call ptr @__errno_location() #12
  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() #12
  %1426 = load i32, ptr %1425, align 4, !tbaa !5
  %1427 = call ptr @strerror(i32 noundef %1426) #11
  %1428 = call ptr @__errno_location() #12
  %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.31, ptr noundef @.str.1, i32 noundef 81, ptr noundef %1421, ptr noundef %1424, ptr noundef %1427, i32 noundef %1429) #11
  br label %1431

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

1432:                                             ; preds = %1431
  br label %1433

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

1434:                                             ; No predecessors!
  br label %1435

1435:                                             ; preds = %1434
  br label %1436

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

1437:                                             ; preds = %1436
  br label %1438

1438:                                             ; preds = %1437
  br label %1439

1439:                                             ; preds = %1438
  br label %1440

1440:                                             ; preds = %1439
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #11
  call void @llvm.lifetime.end.p0(i64 100, ptr %38) #11
  call void @llvm.lifetime.end.p0(i64 12, ptr %37) #11
  %1441 = call i32 @s2n_io_stuffer_pair_free(ptr noundef %31)
  %1442 = getelementptr inbounds %struct.s2n_result, ptr %43, i32 0, i32 0
  store i32 %1441, ptr %1442, align 4
  call void @llvm.lifetime.end.p0(i64 80, ptr %31) #11
  %1443 = call i32 @s2n_connection_ptr_free(ptr noundef %27)
  %1444 = getelementptr inbounds %struct.s2n_result, ptr %44, i32 0, i32 0
  store i32 %1443, ptr %1444, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #11
  %1445 = call i32 @s2n_connection_ptr_free(ptr noundef %22)
  %1446 = getelementptr inbounds %struct.s2n_result, ptr %45, i32 0, i32 0
  store i32 %1445, ptr %1446, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #11
  br label %1447

1447:                                             ; preds = %1440
  %1448 = load i64, ptr %21, align 8, !tbaa !15
  %1449 = add i64 %1448, 1
  store i64 %1449, ptr %21, align 8, !tbaa !15
  br label %609, !llvm.loop !17

1450:                                             ; preds = %612
  br label %1451

1451:                                             ; preds = %1450
  br label %1452

1452:                                             ; preds = %1451
  %1453 = call i32 @s2n_cleanup()
  %1454 = icmp eq i32 %1453, -1
  br i1 %1454, label %1455, label %1508

1455:                                             ; preds = %1452
  br label %1456

1456:                                             ; preds = %1455
  br label %1457

1457:                                             ; preds = %1456
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #11
  %1458 = call ptr @__errno_location() #12
  %1459 = load i32, ptr %1458, align 4, !tbaa !5
  store i32 %1459, ptr %46, align 4, !tbaa !5
  %1460 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1461 = call i32 @s2n_print_stacktrace(ptr noundef %1460)
  %1462 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1463 = trunc i8 %1462 to i1
  br i1 %1463, label %1464, label %1486

1464:                                             ; preds = %1457
  %1465 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1466 = call i32 @fileno(ptr noundef %1465) #11
  %1467 = call i32 @isatty(i32 noundef %1466) #11
  %1468 = icmp ne i32 %1467, 0
  br i1 %1468, label %1469, label %1486

1469:                                             ; preds = %1464
  %1470 = load i32, ptr %46, align 4, !tbaa !5
  %1471 = call ptr @__errno_location() #12
  store i32 %1470, ptr %1471, align 4, !tbaa !5
  %1472 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1473 = load i32, ptr @test_count, align 4, !tbaa !5
  %1474 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1475 = load i32, ptr %1474, align 4, !tbaa !5
  %1476 = call ptr @s2n_strerror(i32 noundef %1475, ptr noundef @.str.4)
  %1477 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1478 = load i32, ptr %1477, align 4, !tbaa !5
  %1479 = call ptr @s2n_strerror_debug(i32 noundef %1478, ptr noundef @.str.4)
  %1480 = call ptr @__errno_location() #12
  %1481 = load i32, ptr %1480, align 4, !tbaa !5
  %1482 = call ptr @strerror(i32 noundef %1481) #11
  %1483 = call ptr @__errno_location() #12
  %1484 = load i32, ptr %1483, align 4, !tbaa !5
  %1485 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1472, ptr noundef @.str.2, i32 noundef %1473, ptr noundef @.str.32, ptr noundef @.str.1, i32 noundef 84, ptr noundef %1476, ptr noundef %1479, ptr noundef %1482, i32 noundef %1484) #11
  br label %1503

1486:                                             ; preds = %1464, %1457
  %1487 = load i32, ptr %46, align 4, !tbaa !5
  %1488 = call ptr @__errno_location() #12
  store i32 %1487, ptr %1488, align 4, !tbaa !5
  %1489 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1490 = load i32, ptr @test_count, align 4, !tbaa !5
  %1491 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1492 = load i32, ptr %1491, align 4, !tbaa !5
  %1493 = call ptr @s2n_strerror(i32 noundef %1492, ptr noundef @.str.4)
  %1494 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1495 = load i32, ptr %1494, align 4, !tbaa !5
  %1496 = call ptr @s2n_strerror_debug(i32 noundef %1495, ptr noundef @.str.4)
  %1497 = call ptr @__errno_location() #12
  %1498 = load i32, ptr %1497, align 4, !tbaa !5
  %1499 = call ptr @strerror(i32 noundef %1498) #11
  %1500 = call ptr @__errno_location() #12
  %1501 = load i32, ptr %1500, align 4, !tbaa !5
  %1502 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1489, ptr noundef @.str.5, i32 noundef %1490, ptr noundef @.str.32, ptr noundef @.str.1, i32 noundef 84, ptr noundef %1493, ptr noundef %1496, ptr noundef %1499, i32 noundef %1501) #11
  br label %1503

1503:                                             ; preds = %1486, %1469
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #11
  br label %1504

1504:                                             ; preds = %1503
  br label %1505

1505:                                             ; preds = %1504
  call void @exit(i32 noundef 1) #13
  unreachable

1506:                                             ; No predecessors!
  br label %1507

1507:                                             ; preds = %1506
  br label %1508

1508:                                             ; preds = %1507, %1452
  br label %1509

1509:                                             ; preds = %1508
  br label %1510

1510:                                             ; preds = %1509
  br label %1511

1511:                                             ; preds = %1510
  br label %1512

1512:                                             ; preds = %1511
  %1513 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %1514 = icmp eq i32 %1513, -1
  br i1 %1514, label %1515, label %1568

1515:                                             ; preds = %1512
  br label %1516

1516:                                             ; preds = %1515
  br label %1517

1517:                                             ; preds = %1516
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #11
  %1518 = call ptr @__errno_location() #12
  %1519 = load i32, ptr %1518, align 4, !tbaa !5
  store i32 %1519, ptr %47, align 4, !tbaa !5
  %1520 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1521 = call i32 @s2n_print_stacktrace(ptr noundef %1520)
  %1522 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1523 = trunc i8 %1522 to i1
  br i1 %1523, label %1524, label %1546

1524:                                             ; preds = %1517
  %1525 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1526 = call i32 @fileno(ptr noundef %1525) #11
  %1527 = call i32 @isatty(i32 noundef %1526) #11
  %1528 = icmp ne i32 %1527, 0
  br i1 %1528, label %1529, label %1546

1529:                                             ; preds = %1524
  %1530 = load i32, ptr %47, align 4, !tbaa !5
  %1531 = call ptr @__errno_location() #12
  store i32 %1530, ptr %1531, align 4, !tbaa !5
  %1532 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1533 = load i32, ptr @test_count, align 4, !tbaa !5
  %1534 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1535 = load i32, ptr %1534, align 4, !tbaa !5
  %1536 = call ptr @s2n_strerror(i32 noundef %1535, ptr noundef @.str.4)
  %1537 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1538 = load i32, ptr %1537, align 4, !tbaa !5
  %1539 = call ptr @s2n_strerror_debug(i32 noundef %1538, ptr noundef @.str.4)
  %1540 = call ptr @__errno_location() #12
  %1541 = load i32, ptr %1540, align 4, !tbaa !5
  %1542 = call ptr @strerror(i32 noundef %1541) #11
  %1543 = call ptr @__errno_location() #12
  %1544 = load i32, ptr %1543, align 4, !tbaa !5
  %1545 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1532, ptr noundef @.str.2, i32 noundef %1533, ptr noundef @.str.33, ptr noundef @.str.1, i32 noundef 84, ptr noundef %1536, ptr noundef %1539, ptr noundef %1542, i32 noundef %1544) #11
  br label %1563

1546:                                             ; preds = %1524, %1517
  %1547 = load i32, ptr %47, align 4, !tbaa !5
  %1548 = call ptr @__errno_location() #12
  store i32 %1547, ptr %1548, align 4, !tbaa !5
  %1549 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1550 = load i32, ptr @test_count, align 4, !tbaa !5
  %1551 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1552 = load i32, ptr %1551, align 4, !tbaa !5
  %1553 = call ptr @s2n_strerror(i32 noundef %1552, ptr noundef @.str.4)
  %1554 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1555 = load i32, ptr %1554, align 4, !tbaa !5
  %1556 = call ptr @s2n_strerror_debug(i32 noundef %1555, ptr noundef @.str.4)
  %1557 = call ptr @__errno_location() #12
  %1558 = load i32, ptr %1557, align 4, !tbaa !5
  %1559 = call ptr @strerror(i32 noundef %1558) #11
  %1560 = call ptr @__errno_location() #12
  %1561 = load i32, ptr %1560, align 4, !tbaa !5
  %1562 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1549, ptr noundef @.str.5, i32 noundef %1550, ptr noundef @.str.33, ptr noundef @.str.1, i32 noundef 84, ptr noundef %1553, ptr noundef %1556, ptr noundef %1559, i32 noundef %1561) #11
  br label %1563

1563:                                             ; preds = %1546, %1529
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #11
  br label %1564

1564:                                             ; preds = %1563
  br label %1565

1565:                                             ; preds = %1564
  call void @exit(i32 noundef 1) #13
  unreachable

1566:                                             ; No predecessors!
  br label %1567

1567:                                             ; preds = %1566
  br label %1568

1568:                                             ; preds = %1567, %1512
  br label %1569

1569:                                             ; preds = %1568
  br label %1570

1570:                                             ; preds = %1569
  %1571 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1572 = trunc i8 %1571 to i1
  br i1 %1572, label %1573, label %1589

1573:                                             ; preds = %1570
  %1574 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1575 = call i32 @fileno(ptr noundef %1574) #11
  %1576 = call i32 @isatty(i32 noundef %1575) #11
  %1577 = icmp ne i32 %1576, 0
  br i1 %1577, label %1578, label %1589

1578:                                             ; preds = %1573
  %1579 = load i32, ptr @test_count, align 4, !tbaa !5
  %1580 = icmp ne i32 %1579, 0
  br i1 %1580, label %1581, label %1585

1581:                                             ; preds = %1578
  %1582 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1583 = load i32, ptr @test_count, align 4, !tbaa !5
  %1584 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1582, ptr noundef @.str.34, i32 noundef %1583) #11
  br label %1588

1585:                                             ; preds = %1578
  %1586 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1587 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1586, ptr noundef @.str.35) #11
  br label %1588

1588:                                             ; preds = %1585, %1581
  br label %1600

1589:                                             ; preds = %1573, %1570
  %1590 = load i32, ptr @test_count, align 4, !tbaa !5
  %1591 = icmp ne i32 %1590, 0
  br i1 %1591, label %1592, label %1596

1592:                                             ; preds = %1589
  %1593 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1594 = load i32, ptr @test_count, align 4, !tbaa !5
  %1595 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1593, ptr noundef @.str.36, i32 noundef %1594) #11
  br label %1599

1596:                                             ; preds = %1589
  %1597 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1598 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1597, ptr noundef @.str.37) #11
  br label %1599

1599:                                             ; preds = %1596, %1592
  br label %1600

1600:                                             ; preds = %1599, %1588
  store i32 0, ptr %3, align 4
  store i32 1, ptr %48, align 4
  br label %1605

1601:                                             ; No predecessors!
  br label %1602

1602:                                             ; preds = %1601
  br label %1603

1603:                                             ; preds = %1602
  br label %1604

1604:                                             ; preds = %1603
  store i32 0, ptr %48, align 4
  br label %1605

1605:                                             ; preds = %1604, %1600
  call void @llvm.lifetime.end.p0(i64 16, ptr %20) #11
  %1606 = call i32 @s2n_config_ptr_free(ptr noundef %17)
  %1607 = getelementptr inbounds %struct.s2n_result, ptr %49, i32 0, i32 0
  store i32 %1606, ptr %1607, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #11
  %1608 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef %15)
  %1609 = getelementptr inbounds %struct.s2n_result, ptr %50, i32 0, i32 0
  store i32 %1608, ptr %1609, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #11
  call void @llvm.lifetime.end.p0(i64 12000, ptr %10) #11
  call void @llvm.lifetime.end.p0(i64 12000, ptr %9) #11
  %1610 = load i32, ptr %48, align 4
  switch i32 %1610, label %1613 [
    i32 0, label %1611
    i32 1, label %1611
  ]

1611:                                             ; preds = %1605, %1605
  %1612 = load i32, ptr %3, align 4
  ret i32 %1612

1613:                                             ; preds = %1605
  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

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

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

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

declare i32 @s2n_seccomp_init(...) #2

declare ptr @s2n_cert_chain_and_key_new() #2

declare i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef) #2

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

declare ptr @s2n_config_new_minimal() #2

declare i32 @s2n_config_ptr_free(ptr noundef) #2

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

declare i32 @s2n_config_add_pem_to_trust_store(ptr noundef, ptr noundef) #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) #9

declare ptr @s2n_connection_new(i32 noundef) #2

declare i32 @s2n_connection_ptr_free(ptr noundef) #2

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

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

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

declare i32 @s2n_io_stuffer_pair_free(ptr noundef) #2

declare i32 @s2n_io_stuffer_pair_init(ptr noundef) #2

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

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

declare i64 @s2n_send(ptr noundef, ptr noundef, i64 noundef, ptr noundef) #2

declare i64 @s2n_recv(ptr noundef, ptr noundef, i64 noundef, ptr noundef) #2

; Function Attrs: nounwind willreturn memory(read)
declare i32 @memcmp(ptr noundef, ptr noundef, i64 noundef) #10

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: write) }
attributes #8 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #10 = { nounwind willreturn memory(read) "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 = { noreturn nounwind }
attributes #14 = { nounwind willreturn memory(read) }

!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 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}


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

%struct.s2n_test_io_stuffer_pair = type { %struct.s2n_stuffer, %struct.s2n_stuffer }
%struct.s2n_stuffer = type { %struct.s2n_blob, i32, i32, i32, i8 }
%struct.s2n_blob = type { ptr, i32, i32, i8 }

@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 [85 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 [34 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [106 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [106 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [108 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [94 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [86 x i8], align 1
@__const.main.security_policies = external hidden unnamed_addr constant [2 x ptr], align 16
@.str.18 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [96 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [69 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [96 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [93 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [81 x i8], align 1
@__const.main.data = external hidden unnamed_addr constant [12 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [84 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.37 = 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 [12000 x i8], align 16
  %4 = alloca [12000 x i8], align 16
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca %struct.s2n_test_io_stuffer_pair, align 8
  %10 = alloca [12 x i8], align 1
  %11 = alloca [100 x i8], align 16
  %12 = alloca i32, align 4
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %13 = load ptr, ptr @stdout, align 8, !tbaa !9
  %14 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %13, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1) #12
  %15 = load ptr, ptr @stdout, align 8, !tbaa !9
  %16 = tail call i32 @fflush(ptr noundef %15)
  %17 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext true) #12
  %18 = icmp eq i32 %17, -1
  br i1 %18, label %19, label %43

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

26:                                               ; preds = %19
  %27 = load ptr, ptr @stderr, align 8, !tbaa !9
  %28 = tail call i32 @fileno(ptr noundef %27) #12
  %29 = tail call i32 @isatty(i32 noundef %28) #12
  %.not87 = icmp eq i32 %29, 0
  br i1 %.not87, label %30, label %31

30:                                               ; preds = %26, %19
  br label %31

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

43:                                               ; preds = %2
  %44 = load i32, ptr @test_count, align 4, !tbaa !5
  %45 = add nsw i32 %44, 1
  store i32 %45, ptr @test_count, align 4, !tbaa !5
  %46 = tail call i32 @s2n_enable_atexit() #12
  %47 = icmp eq i32 %46, -1
  br i1 %47, label %48, label %72

48:                                               ; preds = %43
  %49 = tail call ptr @__errno_location() #13
  %50 = load i32, ptr %49, align 4, !tbaa !5
  %51 = load ptr, ptr @stderr, align 8, !tbaa !9
  %52 = tail call i32 @s2n_print_stacktrace(ptr noundef %51) #12
  %53 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %54 = trunc nuw i8 %53 to i1
  br i1 %54, label %55, label %59

55:                                               ; preds = %48
  %56 = load ptr, ptr @stderr, align 8, !tbaa !9
  %57 = tail call i32 @fileno(ptr noundef %56) #12
  %58 = tail call i32 @isatty(i32 noundef %57) #12
  %.not86 = icmp eq i32 %58, 0
  br i1 %.not86, label %59, label %60

59:                                               ; preds = %55, %48
  br label %60

60:                                               ; preds = %55, %59
  %.str.5.sink99 = phi ptr [ @.str.5, %59 ], [ @.str.2, %55 ]
  store i32 %50, ptr %49, align 4, !tbaa !5
  %61 = load ptr, ptr @stderr, align 8, !tbaa !9
  %62 = load i32, ptr @test_count, align 4, !tbaa !5
  %63 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %64 = load i32, ptr %63, align 4, !tbaa !5
  %65 = tail call ptr @s2n_strerror(i32 noundef %64, ptr noundef nonnull @.str.4) #12
  %66 = load i32, ptr %63, align 4, !tbaa !5
  %67 = tail call ptr @s2n_strerror_debug(i32 noundef %66, ptr noundef nonnull @.str.4) #12
  %68 = load i32, ptr %49, align 4, !tbaa !5
  %69 = tail call ptr @strerror(i32 noundef %68) #12
  %70 = load i32, ptr %49, align 4, !tbaa !5
  %71 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %61, ptr noundef nonnull %.str.5.sink99, i32 noundef %62, ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 29, ptr noundef %65, ptr noundef %67, ptr noundef %69, i32 noundef %70) #14
  tail call void @exit(i32 noundef 1) #15
  unreachable

72:                                               ; preds = %43
  %73 = tail call i32 @s2n_init() #12
  %74 = icmp eq i32 %73, -1
  br i1 %74, label %75, label %99

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

82:                                               ; preds = %75
  %83 = load ptr, ptr @stderr, align 8, !tbaa !9
  %84 = tail call i32 @fileno(ptr noundef %83) #12
  %85 = tail call i32 @isatty(i32 noundef %84) #12
  %.not85 = icmp eq i32 %85, 0
  br i1 %.not85, label %86, label %87

86:                                               ; preds = %82, %75
  br label %87

87:                                               ; preds = %82, %86
  %.str.5.sink110 = phi ptr [ @.str.5, %86 ], [ @.str.2, %82 ]
  store i32 %77, ptr %76, align 4, !tbaa !5
  %88 = load ptr, ptr @stderr, align 8, !tbaa !9
  %89 = load i32, ptr @test_count, align 4, !tbaa !5
  %90 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %91 = load i32, ptr %90, align 4, !tbaa !5
  %92 = tail call ptr @s2n_strerror(i32 noundef %91, ptr noundef nonnull @.str.4) #12
  %93 = load i32, ptr %90, align 4, !tbaa !5
  %94 = tail call ptr @s2n_strerror_debug(i32 noundef %93, ptr noundef nonnull @.str.4) #12
  %95 = load i32, ptr %76, align 4, !tbaa !5
  %96 = tail call ptr @strerror(i32 noundef %95) #12
  %97 = load i32, ptr %76, align 4, !tbaa !5
  %98 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %88, ptr noundef nonnull %.str.5.sink110, i32 noundef %89, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 29, ptr noundef %92, ptr noundef %94, ptr noundef %96, i32 noundef %97) #14
  tail call void @exit(i32 noundef 1) #15
  unreachable

99:                                               ; preds = %72
  call void @llvm.lifetime.start.p0(i64 12000, ptr nonnull %3) #12
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(12000) %3, i8 0, i64 12000, i1 false)
  call void @llvm.lifetime.start.p0(i64 12000, ptr nonnull %4) #12
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(12000) %4, i8 0, i64 12000, i1 false)
  %100 = load i32, ptr @test_count, align 4, !tbaa !5
  %101 = add nsw i32 %100, 1
  store i32 %101, ptr @test_count, align 4, !tbaa !5
  %102 = call i32 @s2n_read_test_pem(ptr noundef nonnull @.str.8, ptr noundef nonnull %3, i64 noundef 12000) #12
  %103 = icmp eq i32 %102, -1
  br i1 %103, label %104, label %128

104:                                              ; preds = %99
  %105 = tail call ptr @__errno_location() #13
  %106 = load i32, ptr %105, align 4, !tbaa !5
  %107 = load ptr, ptr @stderr, align 8, !tbaa !9
  %108 = call i32 @s2n_print_stacktrace(ptr noundef %107) #12
  %109 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %110 = trunc nuw i8 %109 to i1
  br i1 %110, label %111, label %115

111:                                              ; preds = %104
  %112 = load ptr, ptr @stderr, align 8, !tbaa !9
  %113 = call i32 @fileno(ptr noundef %112) #12
  %114 = call i32 @isatty(i32 noundef %113) #12
  %.not84 = icmp eq i32 %114, 0
  br i1 %.not84, label %115, label %116

115:                                              ; preds = %111, %104
  br label %116

116:                                              ; preds = %111, %115
  %.str.5.sink121 = phi ptr [ @.str.5, %115 ], [ @.str.2, %111 ]
  store i32 %106, ptr %105, align 4, !tbaa !5
  %117 = load ptr, ptr @stderr, align 8, !tbaa !9
  %118 = load i32, ptr @test_count, align 4, !tbaa !5
  %119 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %120 = load i32, ptr %119, align 4, !tbaa !5
  %121 = call ptr @s2n_strerror(i32 noundef %120, ptr noundef nonnull @.str.4) #12
  %122 = load i32, ptr %119, align 4, !tbaa !5
  %123 = call ptr @s2n_strerror_debug(i32 noundef %122, ptr noundef nonnull @.str.4) #12
  %124 = load i32, ptr %105, align 4, !tbaa !5
  %125 = call ptr @strerror(i32 noundef %124) #12
  %126 = load i32, ptr %105, align 4, !tbaa !5
  %127 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %117, ptr noundef nonnull %.str.5.sink121, i32 noundef %118, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 40, ptr noundef %121, ptr noundef %123, ptr noundef %125, i32 noundef %126) #14
  call void @exit(i32 noundef 1) #15
  unreachable

128:                                              ; preds = %99
  %129 = load i32, ptr @test_count, align 4, !tbaa !5
  %130 = add nsw i32 %129, 1
  store i32 %130, ptr @test_count, align 4, !tbaa !5
  %131 = call i32 @s2n_read_test_pem(ptr noundef nonnull @.str.10, ptr noundef nonnull %4, i64 noundef 12000) #12
  %132 = icmp eq i32 %131, -1
  br i1 %132, label %133, label %157

133:                                              ; preds = %128
  %134 = tail call ptr @__errno_location() #13
  %135 = load i32, ptr %134, align 4, !tbaa !5
  %136 = load ptr, ptr @stderr, align 8, !tbaa !9
  %137 = call i32 @s2n_print_stacktrace(ptr noundef %136) #12
  %138 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %139 = trunc nuw i8 %138 to i1
  br i1 %139, label %140, label %144

140:                                              ; preds = %133
  %141 = load ptr, ptr @stderr, align 8, !tbaa !9
  %142 = call i32 @fileno(ptr noundef %141) #12
  %143 = call i32 @isatty(i32 noundef %142) #12
  %.not83 = icmp eq i32 %143, 0
  br i1 %.not83, label %144, label %145

144:                                              ; preds = %140, %133
  br label %145

145:                                              ; preds = %140, %144
  %.str.5.sink132 = phi ptr [ @.str.5, %144 ], [ @.str.2, %140 ]
  store i32 %135, ptr %134, align 4, !tbaa !5
  %146 = load ptr, ptr @stderr, align 8, !tbaa !9
  %147 = load i32, ptr @test_count, align 4, !tbaa !5
  %148 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %149 = load i32, ptr %148, align 4, !tbaa !5
  %150 = call ptr @s2n_strerror(i32 noundef %149, ptr noundef nonnull @.str.4) #12
  %151 = load i32, ptr %148, align 4, !tbaa !5
  %152 = call ptr @s2n_strerror_debug(i32 noundef %151, ptr noundef nonnull @.str.4) #12
  %153 = load i32, ptr %134, align 4, !tbaa !5
  %154 = call ptr @strerror(i32 noundef %153) #12
  %155 = load i32, ptr %134, align 4, !tbaa !5
  %156 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %146, ptr noundef nonnull %.str.5.sink132, i32 noundef %147, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 42, ptr noundef %150, ptr noundef %152, ptr noundef %154, i32 noundef %155) #14
  call void @exit(i32 noundef 1) #15
  unreachable

157:                                              ; preds = %128
  %158 = load i32, ptr @test_count, align 4, !tbaa !5
  %159 = add nsw i32 %158, 1
  store i32 %159, ptr @test_count, align 4, !tbaa !5
  %160 = call i32 (...) @s2n_seccomp_init() #12
  %161 = call zeroext i1 @s2n_result_is_ok(i32 %160)
  br i1 %161, label %186, label %162

162:                                              ; preds = %157
  %163 = tail call ptr @__errno_location() #13
  %164 = load i32, ptr %163, align 4, !tbaa !5
  %165 = load ptr, ptr @stderr, align 8, !tbaa !9
  %166 = call i32 @s2n_print_stacktrace(ptr noundef %165) #12
  %167 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %168 = trunc nuw i8 %167 to i1
  br i1 %168, label %169, label %173

169:                                              ; preds = %162
  %170 = load ptr, ptr @stderr, align 8, !tbaa !9
  %171 = call i32 @fileno(ptr noundef %170) #12
  %172 = call i32 @isatty(i32 noundef %171) #12
  %.not = icmp eq i32 %172, 0
  br i1 %.not, label %173, label %174

173:                                              ; preds = %169, %162
  br label %174

174:                                              ; preds = %169, %173
  %.str.5.sink143 = phi ptr [ @.str.5, %173 ], [ @.str.2, %169 ]
  store i32 %164, ptr %163, align 4, !tbaa !5
  %175 = load ptr, ptr @stderr, align 8, !tbaa !9
  %176 = load i32, ptr @test_count, align 4, !tbaa !5
  %177 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %178 = load i32, ptr %177, align 4, !tbaa !5
  %179 = call ptr @s2n_strerror(i32 noundef %178, ptr noundef nonnull @.str.4) #12
  %180 = load i32, ptr %177, align 4, !tbaa !5
  %181 = call ptr @s2n_strerror_debug(i32 noundef %180, ptr noundef nonnull @.str.4) #12
  %182 = load i32, ptr %163, align 4, !tbaa !5
  %183 = call ptr @strerror(i32 noundef %182) #12
  %184 = load i32, ptr %163, align 4, !tbaa !5
  %185 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %175, ptr noundef nonnull %.str.5.sink143, i32 noundef %176, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i32 noundef 45, ptr noundef %179, ptr noundef %181, ptr noundef %183, i32 noundef %184) #14
  call void @exit(i32 noundef 1) #15
  unreachable

186:                                              ; preds = %157
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #12
  %187 = call ptr @s2n_cert_chain_and_key_new() #12
  store ptr %187, ptr %5, align 8, !tbaa !9
  %188 = load i32, ptr @test_count, align 4, !tbaa !5
  %189 = add nsw i32 %188, 1
  store i32 %189, ptr @test_count, align 4, !tbaa !5
  %190 = call i32 @s2n_cert_chain_and_key_load_pem(ptr noundef %187, ptr noundef nonnull %3, ptr noundef nonnull %4) #12
  %191 = icmp eq i32 %190, -1
  br i1 %191, label %192, label %216

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

199:                                              ; preds = %192
  %200 = load ptr, ptr @stderr, align 8, !tbaa !9
  %201 = call i32 @fileno(ptr noundef %200) #12
  %202 = call i32 @isatty(i32 noundef %201) #12
  %.not82 = icmp eq i32 %202, 0
  br i1 %.not82, label %203, label %204

203:                                              ; preds = %199, %192
  br label %204

204:                                              ; preds = %199, %203
  %.str.5.sink154 = phi ptr [ @.str.5, %203 ], [ @.str.2, %199 ]
  store i32 %194, ptr %193, align 4, !tbaa !5
  %205 = load ptr, ptr @stderr, align 8, !tbaa !9
  %206 = load i32, ptr @test_count, align 4, !tbaa !5
  %207 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %208 = load i32, ptr %207, align 4, !tbaa !5
  %209 = call ptr @s2n_strerror(i32 noundef %208, ptr noundef nonnull @.str.4) #12
  %210 = load i32, ptr %207, align 4, !tbaa !5
  %211 = call ptr @s2n_strerror_debug(i32 noundef %210, ptr noundef nonnull @.str.4) #12
  %212 = load i32, ptr %193, align 4, !tbaa !5
  %213 = call ptr @strerror(i32 noundef %212) #12
  %214 = load i32, ptr %193, align 4, !tbaa !5
  %215 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %205, ptr noundef nonnull %.str.5.sink154, i32 noundef %206, ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.1, i32 noundef 49, ptr noundef %209, ptr noundef %211, ptr noundef %213, i32 noundef %214) #14
  call void @exit(i32 noundef 1) #15
  unreachable

216:                                              ; preds = %186
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #12
  %217 = call ptr @s2n_config_new_minimal() #12
  store ptr %217, ptr %6, align 8, !tbaa !9
  %218 = load i32, ptr @test_count, align 4, !tbaa !5
  %219 = add nsw i32 %218, 1
  store i32 %219, ptr @test_count, align 4, !tbaa !5
  %220 = call i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef %217, ptr noundef %187) #12
  %221 = icmp eq i32 %220, -1
  br i1 %221, label %222, label %246

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

229:                                              ; preds = %222
  %230 = load ptr, ptr @stderr, align 8, !tbaa !9
  %231 = call i32 @fileno(ptr noundef %230) #12
  %232 = call i32 @isatty(i32 noundef %231) #12
  %.not81 = icmp eq i32 %232, 0
  br i1 %.not81, label %233, label %234

233:                                              ; preds = %229, %222
  br label %234

234:                                              ; preds = %229, %233
  %.str.5.sink165 = phi ptr [ @.str.5, %233 ], [ @.str.2, %229 ]
  store i32 %224, ptr %223, align 4, !tbaa !5
  %235 = load ptr, ptr @stderr, align 8, !tbaa !9
  %236 = load i32, ptr @test_count, align 4, !tbaa !5
  %237 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %238 = load i32, ptr %237, align 4, !tbaa !5
  %239 = call ptr @s2n_strerror(i32 noundef %238, ptr noundef nonnull @.str.4) #12
  %240 = load i32, ptr %237, align 4, !tbaa !5
  %241 = call ptr @s2n_strerror_debug(i32 noundef %240, ptr noundef nonnull @.str.4) #12
  %242 = load i32, ptr %223, align 4, !tbaa !5
  %243 = call ptr @strerror(i32 noundef %242) #12
  %244 = load i32, ptr %223, align 4, !tbaa !5
  %245 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %235, ptr noundef nonnull %.str.5.sink165, i32 noundef %236, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 52, ptr noundef %239, ptr noundef %241, ptr noundef %243, i32 noundef %244) #14
  call void @exit(i32 noundef 1) #15
  unreachable

246:                                              ; preds = %216
  %247 = load i32, ptr @test_count, align 4, !tbaa !5
  %248 = add nsw i32 %247, 1
  store i32 %248, ptr @test_count, align 4, !tbaa !5
  %249 = call i32 @s2n_config_add_pem_to_trust_store(ptr noundef %217, ptr noundef nonnull %3) #12
  %250 = icmp eq i32 %249, -1
  br i1 %250, label %255, label %.preheader.preheader

.preheader.preheader:                             ; preds = %246
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #12
  %251 = call ptr @s2n_connection_new(i32 noundef 1) #12
  store ptr %251, ptr %7, align 8, !tbaa !9
  %252 = load i32, ptr @test_count, align 4, !tbaa !5
  %253 = add nsw i32 %252, 1
  store i32 %253, ptr @test_count, align 4, !tbaa !5
  %254 = icmp eq ptr %251, null
  br i1 %254, label %279, label %303

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

262:                                              ; preds = %255
  %263 = load ptr, ptr @stderr, align 8, !tbaa !9
  %264 = call i32 @fileno(ptr noundef %263) #12
  %265 = call i32 @isatty(i32 noundef %264) #12
  %.not80 = icmp eq i32 %265, 0
  br i1 %.not80, label %266, label %267

266:                                              ; preds = %262, %255
  br label %267

267:                                              ; preds = %262, %266
  %.str.5.sink176 = phi ptr [ @.str.5, %266 ], [ @.str.2, %262 ]
  store i32 %257, ptr %256, align 4, !tbaa !5
  %268 = load ptr, ptr @stderr, align 8, !tbaa !9
  %269 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %271, ptr noundef nonnull @.str.4) #12
  %273 = load i32, ptr %270, align 4, !tbaa !5
  %274 = call ptr @s2n_strerror_debug(i32 noundef %273, ptr noundef nonnull @.str.4) #12
  %275 = load i32, ptr %256, align 4, !tbaa !5
  %276 = call ptr @strerror(i32 noundef %275) #12
  %277 = load i32, ptr %256, align 4, !tbaa !5
  %278 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %268, ptr noundef nonnull %.str.5.sink176, i32 noundef %269, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.1, i32 noundef 53, ptr noundef %272, ptr noundef %274, ptr noundef %276, i32 noundef %277) #14
  call void @exit(i32 noundef 1) #15
  unreachable

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

286:                                              ; preds = %279
  %287 = load ptr, ptr @stderr, align 8, !tbaa !9
  %288 = call i32 @fileno(ptr noundef %287) #12
  %289 = call i32 @isatty(i32 noundef %288) #12
  %.not79 = icmp eq i32 %289, 0
  br i1 %.not79, label %290, label %291

290:                                              ; preds = %286, %279
  br label %291

291:                                              ; preds = %286, %290
  %.str.5.sink187 = phi ptr [ @.str.5, %290 ], [ @.str.2, %286 ]
  store i32 %281, ptr %280, align 4, !tbaa !5
  %292 = load ptr, ptr @stderr, align 8, !tbaa !9
  %293 = load i32, ptr @test_count, align 4, !tbaa !5
  %294 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %295 = load i32, ptr %294, align 4, !tbaa !5
  %296 = call ptr @s2n_strerror(i32 noundef %295, ptr noundef nonnull @.str.4) #12
  %297 = load i32, ptr %294, align 4, !tbaa !5
  %298 = call ptr @s2n_strerror_debug(i32 noundef %297, ptr noundef nonnull @.str.4) #12
  %299 = load i32, ptr %280, align 4, !tbaa !5
  %300 = call ptr @strerror(i32 noundef %299) #12
  %301 = load i32, ptr %280, align 4, !tbaa !5
  %302 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %292, ptr noundef nonnull %.str.5.sink187, i32 noundef %293, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.1, i32 noundef 60, ptr noundef %296, ptr noundef %298, ptr noundef %300, i32 noundef %301) #14
  call void @exit(i32 noundef 1) #15
  unreachable

303:                                              ; preds = %.preheader.preheader
  %304 = add nsw i32 %252, 2
  store i32 %304, ptr @test_count, align 4, !tbaa !5
  %305 = call i32 @s2n_connection_set_config(ptr noundef nonnull %251, ptr noundef %217) #12
  %306 = icmp eq i32 %305, -1
  br i1 %306, label %307, label %331

307:                                              ; preds = %665, %303
  %308 = tail call ptr @__errno_location() #13
  %309 = load i32, ptr %308, align 4, !tbaa !5
  %310 = load ptr, ptr @stderr, align 8, !tbaa !9
  %311 = call i32 @s2n_print_stacktrace(ptr noundef %310) #12
  %312 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %313 = trunc nuw i8 %312 to i1
  br i1 %313, label %314, label %318

314:                                              ; preds = %307
  %315 = load ptr, ptr @stderr, align 8, !tbaa !9
  %316 = call i32 @fileno(ptr noundef %315) #12
  %317 = call i32 @isatty(i32 noundef %316) #12
  %.not78 = icmp eq i32 %317, 0
  br i1 %.not78, label %318, label %319

318:                                              ; preds = %314, %307
  br label %319

319:                                              ; preds = %314, %318
  %.str.5.sink198 = phi ptr [ @.str.5, %318 ], [ @.str.2, %314 ]
  store i32 %309, ptr %308, align 4, !tbaa !5
  %320 = load ptr, ptr @stderr, align 8, !tbaa !9
  %321 = load i32, ptr @test_count, align 4, !tbaa !5
  %322 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %323 = load i32, ptr %322, align 4, !tbaa !5
  %324 = call ptr @s2n_strerror(i32 noundef %323, ptr noundef nonnull @.str.4) #12
  %325 = load i32, ptr %322, align 4, !tbaa !5
  %326 = call ptr @s2n_strerror_debug(i32 noundef %325, ptr noundef nonnull @.str.4) #12
  %327 = load i32, ptr %308, align 4, !tbaa !5
  %328 = call ptr @strerror(i32 noundef %327) #12
  %329 = load i32, ptr %308, align 4, !tbaa !5
  %330 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %320, ptr noundef nonnull %.str.5.sink198, i32 noundef %321, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.1, i32 noundef 61, ptr noundef %324, ptr noundef %326, ptr noundef %328, i32 noundef %329) #14
  call void @exit(i32 noundef 1) #15
  unreachable

331:                                              ; preds = %303
  %332 = load i32, ptr @test_count, align 4, !tbaa !5
  %333 = add nsw i32 %332, 1
  store i32 %333, ptr @test_count, align 4, !tbaa !5
  %334 = load ptr, ptr %7, align 8, !tbaa !9
  %335 = load ptr, ptr @__const.main.security_policies, align 16, !tbaa !9
  %336 = call i32 @s2n_connection_set_cipher_preferences(ptr noundef %334, ptr noundef %335) #12
  %337 = icmp eq i32 %336, -1
  br i1 %337, label %338, label %362

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

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

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

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

362:                                              ; preds = %331
  %363 = load i32, ptr @test_count, align 4, !tbaa !5
  %364 = add nsw i32 %363, 1
  store i32 %364, ptr @test_count, align 4, !tbaa !5
  %365 = load ptr, ptr %7, align 8, !tbaa !9
  %366 = call i32 @s2n_set_server_name(ptr noundef %365, ptr noundef nonnull @.str.21) #12
  %367 = icmp eq i32 %366, -1
  br i1 %367, label %368, label %392

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

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

379:                                              ; preds = %375, %368
  br label %380

380:                                              ; preds = %375, %379
  %.str.5.sink220 = phi ptr [ @.str.5, %379 ], [ @.str.2, %375 ]
  store i32 %370, ptr %369, align 4, !tbaa !5
  %381 = load ptr, ptr @stderr, align 8, !tbaa !9
  %382 = load i32, ptr @test_count, align 4, !tbaa !5
  %383 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %384 = load i32, ptr %383, align 4, !tbaa !5
  %385 = call ptr @s2n_strerror(i32 noundef %384, ptr noundef nonnull @.str.4) #12
  %386 = load i32, ptr %383, align 4, !tbaa !5
  %387 = call ptr @s2n_strerror_debug(i32 noundef %386, ptr noundef nonnull @.str.4) #12
  %388 = load i32, ptr %369, align 4, !tbaa !5
  %389 = call ptr @strerror(i32 noundef %388) #12
  %390 = load i32, ptr %369, align 4, !tbaa !5
  %391 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %381, ptr noundef nonnull %.str.5.sink220, i32 noundef %382, ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.1, i32 noundef 63, ptr noundef %385, ptr noundef %387, ptr noundef %389, i32 noundef %390) #14
  call void @exit(i32 noundef 1) #15
  unreachable

392:                                              ; preds = %362
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #12
  %393 = call ptr @s2n_connection_new(i32 noundef 0) #12
  store ptr %393, ptr %8, align 8, !tbaa !9
  %394 = load i32, ptr @test_count, align 4, !tbaa !5
  %395 = add nsw i32 %394, 1
  store i32 %395, ptr @test_count, align 4, !tbaa !5
  %396 = icmp eq ptr %393, null
  br i1 %396, label %397, label %421

397:                                              ; preds = %682, %392
  %398 = tail call ptr @__errno_location() #13
  %399 = load i32, ptr %398, align 4, !tbaa !5
  %400 = load ptr, ptr @stderr, align 8, !tbaa !9
  %401 = call i32 @s2n_print_stacktrace(ptr noundef %400) #12
  %402 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %403 = trunc nuw i8 %402 to i1
  br i1 %403, label %404, label %408

404:                                              ; preds = %397
  %405 = load ptr, ptr @stderr, align 8, !tbaa !9
  %406 = call i32 @fileno(ptr noundef %405) #12
  %407 = call i32 @isatty(i32 noundef %406) #12
  %.not75 = icmp eq i32 %407, 0
  br i1 %.not75, label %408, label %409

408:                                              ; preds = %404, %397
  br label %409

409:                                              ; preds = %404, %408
  %.str.5.sink231 = phi ptr [ @.str.5, %408 ], [ @.str.2, %404 ]
  store i32 %399, ptr %398, align 4, !tbaa !5
  %410 = load ptr, ptr @stderr, align 8, !tbaa !9
  %411 = load i32, ptr @test_count, align 4, !tbaa !5
  %412 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %413 = load i32, ptr %412, align 4, !tbaa !5
  %414 = call ptr @s2n_strerror(i32 noundef %413, ptr noundef nonnull @.str.4) #12
  %415 = load i32, ptr %412, align 4, !tbaa !5
  %416 = call ptr @s2n_strerror_debug(i32 noundef %415, ptr noundef nonnull @.str.4) #12
  %417 = load i32, ptr %398, align 4, !tbaa !5
  %418 = call ptr @strerror(i32 noundef %417) #12
  %419 = load i32, ptr %398, align 4, !tbaa !5
  %420 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %410, ptr noundef nonnull %.str.5.sink231, i32 noundef %411, ptr noundef nonnull @.str.23, ptr noundef nonnull @.str.1, i32 noundef 67, ptr noundef %414, ptr noundef %416, ptr noundef %418, i32 noundef %419) #14
  call void @exit(i32 noundef 1) #15
  unreachable

421:                                              ; preds = %392
  %422 = add nsw i32 %394, 2
  store i32 %422, ptr @test_count, align 4, !tbaa !5
  %423 = call i32 @s2n_connection_set_config(ptr noundef nonnull %393, ptr noundef %217) #12
  %424 = icmp eq i32 %423, -1
  br i1 %424, label %425, label %449

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

432:                                              ; preds = %425
  %433 = load ptr, ptr @stderr, align 8, !tbaa !9
  %434 = call i32 @fileno(ptr noundef %433) #12
  %435 = call i32 @isatty(i32 noundef %434) #12
  %.not74 = icmp eq i32 %435, 0
  br i1 %.not74, label %436, label %437

436:                                              ; preds = %432, %425
  br label %437

437:                                              ; preds = %432, %436
  %.str.5.sink242 = phi ptr [ @.str.5, %436 ], [ @.str.2, %432 ]
  store i32 %427, ptr %426, align 4, !tbaa !5
  %438 = load ptr, ptr @stderr, align 8, !tbaa !9
  %439 = load i32, ptr @test_count, align 4, !tbaa !5
  %440 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %441 = load i32, ptr %440, align 4, !tbaa !5
  %442 = call ptr @s2n_strerror(i32 noundef %441, ptr noundef nonnull @.str.4) #12
  %443 = load i32, ptr %440, align 4, !tbaa !5
  %444 = call ptr @s2n_strerror_debug(i32 noundef %443, ptr noundef nonnull @.str.4) #12
  %445 = load i32, ptr %426, align 4, !tbaa !5
  %446 = call ptr @strerror(i32 noundef %445) #12
  %447 = load i32, ptr %426, align 4, !tbaa !5
  %448 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %438, ptr noundef nonnull %.str.5.sink242, i32 noundef %439, ptr noundef nonnull @.str.24, ptr noundef nonnull @.str.1, i32 noundef 68, ptr noundef %442, ptr noundef %444, ptr noundef %446, i32 noundef %447) #14
  call void @exit(i32 noundef 1) #15
  unreachable

449:                                              ; preds = %421
  %450 = load i32, ptr @test_count, align 4, !tbaa !5
  %451 = add nsw i32 %450, 1
  store i32 %451, ptr @test_count, align 4, !tbaa !5
  %452 = load ptr, ptr %8, align 8, !tbaa !9
  %453 = call i32 @s2n_connection_set_cipher_preferences(ptr noundef %452, ptr noundef %335) #12
  %454 = icmp eq i32 %453, -1
  br i1 %454, label %455, label %479

455:                                              ; preds = %691, %449
  %456 = tail call ptr @__errno_location() #13
  %457 = load i32, ptr %456, align 4, !tbaa !5
  %458 = load ptr, ptr @stderr, align 8, !tbaa !9
  %459 = call i32 @s2n_print_stacktrace(ptr noundef %458) #12
  %460 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %461 = trunc nuw i8 %460 to i1
  br i1 %461, label %462, label %466

462:                                              ; preds = %455
  %463 = load ptr, ptr @stderr, align 8, !tbaa !9
  %464 = call i32 @fileno(ptr noundef %463) #12
  %465 = call i32 @isatty(i32 noundef %464) #12
  %.not73 = icmp eq i32 %465, 0
  br i1 %.not73, label %466, label %467

466:                                              ; preds = %462, %455
  br label %467

467:                                              ; preds = %462, %466
  %.str.5.sink253 = phi ptr [ @.str.5, %466 ], [ @.str.2, %462 ]
  store i32 %457, ptr %456, align 4, !tbaa !5
  %468 = load ptr, ptr @stderr, align 8, !tbaa !9
  %469 = load i32, ptr @test_count, align 4, !tbaa !5
  %470 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %471 = load i32, ptr %470, align 4, !tbaa !5
  %472 = call ptr @s2n_strerror(i32 noundef %471, ptr noundef nonnull @.str.4) #12
  %473 = load i32, ptr %470, align 4, !tbaa !5
  %474 = call ptr @s2n_strerror_debug(i32 noundef %473, ptr noundef nonnull @.str.4) #12
  %475 = load i32, ptr %456, align 4, !tbaa !5
  %476 = call ptr @strerror(i32 noundef %475) #12
  %477 = load i32, ptr %456, align 4, !tbaa !5
  %478 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %468, ptr noundef nonnull %.str.5.sink253, i32 noundef %469, ptr noundef nonnull @.str.25, ptr noundef nonnull @.str.1, i32 noundef 69, ptr noundef %472, ptr noundef %474, ptr noundef %476, i32 noundef %477) #14
  call void @exit(i32 noundef 1) #15
  unreachable

479:                                              ; preds = %449
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %9) #12
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(80) %9, i8 0, i64 80, i1 false)
  %480 = load i32, ptr @test_count, align 4, !tbaa !5
  %481 = add nsw i32 %480, 1
  store i32 %481, ptr @test_count, align 4, !tbaa !5
  %482 = call i32 @s2n_io_stuffer_pair_init(ptr noundef nonnull %9) #12
  %483 = call zeroext i1 @s2n_result_is_ok(i32 %482)
  br i1 %483, label %508, label %484

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

491:                                              ; preds = %484
  %492 = load ptr, ptr @stderr, align 8, !tbaa !9
  %493 = call i32 @fileno(ptr noundef %492) #12
  %494 = call i32 @isatty(i32 noundef %493) #12
  %.not67 = icmp eq i32 %494, 0
  br i1 %.not67, label %495, label %496

495:                                              ; preds = %491, %484
  br label %496

496:                                              ; preds = %491, %495
  %.str.5.sink264 = phi ptr [ @.str.5, %495 ], [ @.str.2, %491 ]
  store i32 %486, ptr %485, align 4, !tbaa !5
  %497 = load ptr, ptr @stderr, align 8, !tbaa !9
  %498 = load i32, ptr @test_count, align 4, !tbaa !5
  %499 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %500 = load i32, ptr %499, align 4, !tbaa !5
  %501 = call ptr @s2n_strerror(i32 noundef %500, ptr noundef nonnull @.str.4) #12
  %502 = load i32, ptr %499, align 4, !tbaa !5
  %503 = call ptr @s2n_strerror_debug(i32 noundef %502, ptr noundef nonnull @.str.4) #12
  %504 = load i32, ptr %485, align 4, !tbaa !5
  %505 = call ptr @strerror(i32 noundef %504) #12
  %506 = load i32, ptr %485, align 4, !tbaa !5
  %507 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %497, ptr noundef nonnull %.str.5.sink264, i32 noundef %498, ptr noundef nonnull @.str.26, ptr noundef nonnull @.str.1, i32 noundef 72, ptr noundef %501, ptr noundef %503, ptr noundef %505, i32 noundef %506) #14
  call void @exit(i32 noundef 1) #15
  unreachable

508:                                              ; preds = %479
  %509 = load i32, ptr @test_count, align 4, !tbaa !5
  %510 = add nsw i32 %509, 1
  store i32 %510, ptr @test_count, align 4, !tbaa !5
  %511 = load ptr, ptr %7, align 8, !tbaa !9
  %512 = load ptr, ptr %8, align 8, !tbaa !9
  %513 = call i32 @s2n_connections_set_io_stuffer_pair(ptr noundef %511, ptr noundef %512, ptr noundef nonnull %9) #12
  %514 = call zeroext i1 @s2n_result_is_ok(i32 %513)
  br i1 %514, label %539, label %515

515:                                              ; preds = %702, %508
  %516 = tail call ptr @__errno_location() #13
  %517 = load i32, ptr %516, align 4, !tbaa !5
  %518 = load ptr, ptr @stderr, align 8, !tbaa !9
  %519 = call i32 @s2n_print_stacktrace(ptr noundef %518) #12
  %520 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %521 = trunc nuw i8 %520 to i1
  br i1 %521, label %522, label %526

522:                                              ; preds = %515
  %523 = load ptr, ptr @stderr, align 8, !tbaa !9
  %524 = call i32 @fileno(ptr noundef %523) #12
  %525 = call i32 @isatty(i32 noundef %524) #12
  %.not68 = icmp eq i32 %525, 0
  br i1 %.not68, label %526, label %527

526:                                              ; preds = %522, %515
  br label %527

527:                                              ; preds = %522, %526
  %.str.5.sink275 = phi ptr [ @.str.5, %526 ], [ @.str.2, %522 ]
  store i32 %517, ptr %516, align 4, !tbaa !5
  %528 = load ptr, ptr @stderr, align 8, !tbaa !9
  %529 = load i32, ptr @test_count, align 4, !tbaa !5
  %530 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %531 = load i32, ptr %530, align 4, !tbaa !5
  %532 = call ptr @s2n_strerror(i32 noundef %531, ptr noundef nonnull @.str.4) #12
  %533 = load i32, ptr %530, align 4, !tbaa !5
  %534 = call ptr @s2n_strerror_debug(i32 noundef %533, ptr noundef nonnull @.str.4) #12
  %535 = load i32, ptr %516, align 4, !tbaa !5
  %536 = call ptr @strerror(i32 noundef %535) #12
  %537 = load i32, ptr %516, align 4, !tbaa !5
  %538 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %528, ptr noundef nonnull %.str.5.sink275, i32 noundef %529, ptr noundef nonnull @.str.27, ptr noundef nonnull @.str.1, i32 noundef 73, ptr noundef %532, ptr noundef %534, ptr noundef %536, i32 noundef %537) #14
  call void @exit(i32 noundef 1) #15
  unreachable

539:                                              ; preds = %508
  %540 = load i32, ptr @test_count, align 4, !tbaa !5
  %541 = add nsw i32 %540, 1
  store i32 %541, ptr @test_count, align 4, !tbaa !5
  %542 = load ptr, ptr %8, align 8, !tbaa !9
  %543 = load ptr, ptr %7, align 8, !tbaa !9
  %544 = call i32 @s2n_negotiate_test_server_and_client(ptr noundef %542, ptr noundef %543) #12
  %545 = icmp eq i32 %544, -1
  br i1 %545, label %546, label %570

546:                                              ; preds = %709, %539
  %547 = tail call ptr @__errno_location() #13
  %548 = load i32, ptr %547, align 4, !tbaa !5
  %549 = load ptr, ptr @stderr, align 8, !tbaa !9
  %550 = call i32 @s2n_print_stacktrace(ptr noundef %549) #12
  %551 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %552 = trunc nuw i8 %551 to i1
  br i1 %552, label %553, label %557

553:                                              ; preds = %546
  %554 = load ptr, ptr @stderr, align 8, !tbaa !9
  %555 = call i32 @fileno(ptr noundef %554) #12
  %556 = call i32 @isatty(i32 noundef %555) #12
  %.not72 = icmp eq i32 %556, 0
  br i1 %.not72, label %557, label %558

557:                                              ; preds = %553, %546
  br label %558

558:                                              ; preds = %553, %557
  %.str.5.sink286 = phi ptr [ @.str.5, %557 ], [ @.str.2, %553 ]
  store i32 %548, ptr %547, align 4, !tbaa !5
  %559 = load ptr, ptr @stderr, align 8, !tbaa !9
  %560 = load i32, ptr @test_count, align 4, !tbaa !5
  %561 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %562 = load i32, ptr %561, align 4, !tbaa !5
  %563 = call ptr @s2n_strerror(i32 noundef %562, ptr noundef nonnull @.str.4) #12
  %564 = load i32, ptr %561, align 4, !tbaa !5
  %565 = call ptr @s2n_strerror_debug(i32 noundef %564, ptr noundef nonnull @.str.4) #12
  %566 = load i32, ptr %547, align 4, !tbaa !5
  %567 = call ptr @strerror(i32 noundef %566) #12
  %568 = load i32, ptr %547, align 4, !tbaa !5
  %569 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %559, ptr noundef nonnull %.str.5.sink286, i32 noundef %560, ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.1, i32 noundef 74, ptr noundef %563, ptr noundef %565, ptr noundef %567, i32 noundef %568) #14
  call void @exit(i32 noundef 1) #15
  unreachable

570:                                              ; preds = %539
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %10) #12
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(12) %10, ptr noundef nonnull align 1 dereferenceable(12) @__const.main.data, i64 12, i1 false)
  call void @llvm.lifetime.start.p0(i64 100, ptr nonnull %11) #12
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(100) %11, i8 0, i64 100, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %12) #12
  store i32 0, ptr %12, align 4, !tbaa !5
  %571 = load i32, ptr @test_count, align 4, !tbaa !5
  %572 = add nsw i32 %571, 1
  store i32 %572, ptr @test_count, align 4, !tbaa !5
  %573 = load ptr, ptr %7, align 8, !tbaa !9
  %574 = call i64 @s2n_send(ptr noundef %573, ptr noundef nonnull %10, i64 noundef 12, ptr noundef nonnull %12) #12
  %575 = icmp eq i64 %574, 12
  br i1 %575, label %600, label %576

576:                                              ; preds = %716, %570
  %577 = tail call ptr @__errno_location() #13
  %578 = load i32, ptr %577, align 4, !tbaa !5
  %579 = load ptr, ptr @stderr, align 8, !tbaa !9
  %580 = call i32 @s2n_print_stacktrace(ptr noundef %579) #12
  %581 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %582 = trunc nuw i8 %581 to i1
  br i1 %582, label %583, label %587

583:                                              ; preds = %576
  %584 = load ptr, ptr @stderr, align 8, !tbaa !9
  %585 = call i32 @fileno(ptr noundef %584) #12
  %586 = call i32 @isatty(i32 noundef %585) #12
  %.not69 = icmp eq i32 %586, 0
  br i1 %.not69, label %587, label %588

587:                                              ; preds = %583, %576
  br label %588

588:                                              ; preds = %583, %587
  %.str.5.sink297 = phi ptr [ @.str.5, %587 ], [ @.str.2, %583 ]
  store i32 %578, ptr %577, align 4, !tbaa !5
  %589 = load ptr, ptr @stderr, align 8, !tbaa !9
  %590 = load i32, ptr @test_count, align 4, !tbaa !5
  %591 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %592 = load i32, ptr %591, align 4, !tbaa !5
  %593 = call ptr @s2n_strerror(i32 noundef %592, ptr noundef nonnull @.str.4) #12
  %594 = load i32, ptr %591, align 4, !tbaa !5
  %595 = call ptr @s2n_strerror_debug(i32 noundef %594, ptr noundef nonnull @.str.4) #12
  %596 = load i32, ptr %577, align 4, !tbaa !5
  %597 = call ptr @strerror(i32 noundef %596) #12
  %598 = load i32, ptr %577, align 4, !tbaa !5
  %599 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %589, ptr noundef nonnull %.str.5.sink297, i32 noundef %590, ptr noundef nonnull @.str.29, ptr noundef nonnull @.str.1, i32 noundef 79, ptr noundef %593, ptr noundef %595, ptr noundef %597, i32 noundef %598) #14
  call void @exit(i32 noundef 1) #15
  unreachable

600:                                              ; preds = %570
  %601 = load i32, ptr @test_count, align 4, !tbaa !5
  %602 = add nsw i32 %601, 1
  store i32 %602, ptr @test_count, align 4, !tbaa !5
  %603 = load ptr, ptr %8, align 8, !tbaa !9
  %604 = call i64 @s2n_recv(ptr noundef %603, ptr noundef nonnull %11, i64 noundef 100, ptr noundef nonnull %12) #12
  %605 = icmp eq i64 %604, 12
  br i1 %605, label %630, label %606

606:                                              ; preds = %722, %600
  %607 = tail call ptr @__errno_location() #13
  %608 = load i32, ptr %607, align 4, !tbaa !5
  %609 = load ptr, ptr @stderr, align 8, !tbaa !9
  %610 = call i32 @s2n_print_stacktrace(ptr noundef %609) #12
  %611 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %612 = trunc nuw i8 %611 to i1
  br i1 %612, label %613, label %617

613:                                              ; preds = %606
  %614 = load ptr, ptr @stderr, align 8, !tbaa !9
  %615 = call i32 @fileno(ptr noundef %614) #12
  %616 = call i32 @isatty(i32 noundef %615) #12
  %.not70 = icmp eq i32 %616, 0
  br i1 %.not70, label %617, label %618

617:                                              ; preds = %613, %606
  br label %618

618:                                              ; preds = %613, %617
  %.str.5.sink308 = phi ptr [ @.str.5, %617 ], [ @.str.2, %613 ]
  store i32 %608, ptr %607, align 4, !tbaa !5
  %619 = load ptr, ptr @stderr, align 8, !tbaa !9
  %620 = load i32, ptr @test_count, align 4, !tbaa !5
  %621 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %622 = load i32, ptr %621, align 4, !tbaa !5
  %623 = call ptr @s2n_strerror(i32 noundef %622, ptr noundef nonnull @.str.4) #12
  %624 = load i32, ptr %621, align 4, !tbaa !5
  %625 = call ptr @s2n_strerror_debug(i32 noundef %624, ptr noundef nonnull @.str.4) #12
  %626 = load i32, ptr %607, align 4, !tbaa !5
  %627 = call ptr @strerror(i32 noundef %626) #12
  %628 = load i32, ptr %607, align 4, !tbaa !5
  %629 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %619, ptr noundef nonnull %.str.5.sink308, i32 noundef %620, ptr noundef nonnull @.str.30, ptr noundef nonnull @.str.1, i32 noundef 80, ptr noundef %623, ptr noundef %625, ptr noundef %627, i32 noundef %628) #14
  call void @exit(i32 noundef 1) #15
  unreachable

630:                                              ; preds = %600
  %631 = load i32, ptr @test_count, align 4, !tbaa !5
  %632 = add nsw i32 %631, 1
  store i32 %632, ptr @test_count, align 4, !tbaa !5
  %bcmp = call i32 @bcmp(ptr noundef nonnull dereferenceable(12) %11, ptr noundef nonnull dereferenceable(12) %10, i64 12)
  %633 = icmp eq i32 %bcmp, 0
  br i1 %633, label %.preheader.1, label %634

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

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

645:                                              ; preds = %641, %634
  br label %646

646:                                              ; preds = %641, %645
  %.str.5.sink319 = phi ptr [ @.str.5, %645 ], [ @.str.2, %641 ]
  store i32 %636, ptr %635, align 4, !tbaa !5
  %647 = load ptr, ptr @stderr, align 8, !tbaa !9
  %648 = load i32, ptr @test_count, align 4, !tbaa !5
  %649 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %650 = load i32, ptr %649, align 4, !tbaa !5
  %651 = call ptr @s2n_strerror(i32 noundef %650, ptr noundef nonnull @.str.4) #12
  %652 = load i32, ptr %649, align 4, !tbaa !5
  %653 = call ptr @s2n_strerror_debug(i32 noundef %652, ptr noundef nonnull @.str.4) #12
  %654 = load i32, ptr %635, align 4, !tbaa !5
  %655 = call ptr @strerror(i32 noundef %654) #12
  %656 = load i32, ptr %635, align 4, !tbaa !5
  %657 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %647, ptr noundef nonnull %.str.5.sink319, i32 noundef %648, ptr noundef nonnull @.str.31, ptr noundef nonnull @.str.1, i32 noundef 81, ptr noundef %651, ptr noundef %653, ptr noundef %655, i32 noundef %656) #14
  call void @exit(i32 noundef 1) #15
  unreachable

.preheader.1:                                     ; preds = %630
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #12
  call void @llvm.lifetime.end.p0(i64 100, ptr nonnull %11) #12
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %10) #12
  %658 = call i32 @s2n_io_stuffer_pair_free(ptr noundef nonnull %9) #12
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %9) #12
  %659 = call i32 @s2n_connection_ptr_free(ptr noundef nonnull %8) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #12
  %660 = call i32 @s2n_connection_ptr_free(ptr noundef nonnull %7) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #12
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #12
  %661 = call ptr @s2n_connection_new(i32 noundef 1) #12
  store ptr %661, ptr %7, align 8, !tbaa !9
  %662 = load i32, ptr @test_count, align 4, !tbaa !5
  %663 = add nsw i32 %662, 1
  store i32 %663, ptr @test_count, align 4, !tbaa !5
  %664 = icmp eq ptr %661, null
  br i1 %664, label %279, label %665

665:                                              ; preds = %.preheader.1
  %666 = add nsw i32 %662, 2
  store i32 %666, ptr @test_count, align 4, !tbaa !5
  %667 = call i32 @s2n_connection_set_config(ptr noundef nonnull %661, ptr noundef %217) #12
  %668 = icmp eq i32 %667, -1
  br i1 %668, label %307, label %669

669:                                              ; preds = %665
  %670 = load i32, ptr @test_count, align 4, !tbaa !5
  %671 = add nsw i32 %670, 1
  store i32 %671, ptr @test_count, align 4, !tbaa !5
  %672 = load ptr, ptr %7, align 8, !tbaa !9
  %673 = load ptr, ptr getelementptr inbounds (i8, ptr @__const.main.security_policies, i64 8), align 8, !tbaa !9
  %674 = call i32 @s2n_connection_set_cipher_preferences(ptr noundef %672, ptr noundef %673) #12
  %675 = icmp eq i32 %674, -1
  br i1 %675, label %338, label %676

676:                                              ; preds = %669
  %677 = load i32, ptr @test_count, align 4, !tbaa !5
  %678 = add nsw i32 %677, 1
  store i32 %678, ptr @test_count, align 4, !tbaa !5
  %679 = load ptr, ptr %7, align 8, !tbaa !9
  %680 = call i32 @s2n_set_server_name(ptr noundef %679, ptr noundef nonnull @.str.21) #12
  %681 = icmp eq i32 %680, -1
  br i1 %681, label %368, label %682

682:                                              ; preds = %676
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #12
  %683 = call ptr @s2n_connection_new(i32 noundef 0) #12
  store ptr %683, ptr %8, align 8, !tbaa !9
  %684 = load i32, ptr @test_count, align 4, !tbaa !5
  %685 = add nsw i32 %684, 1
  store i32 %685, ptr @test_count, align 4, !tbaa !5
  %686 = icmp eq ptr %683, null
  br i1 %686, label %397, label %687

687:                                              ; preds = %682
  %688 = add nsw i32 %684, 2
  store i32 %688, ptr @test_count, align 4, !tbaa !5
  %689 = call i32 @s2n_connection_set_config(ptr noundef nonnull %683, ptr noundef %217) #12
  %690 = icmp eq i32 %689, -1
  br i1 %690, label %425, label %691

691:                                              ; preds = %687
  %692 = load i32, ptr @test_count, align 4, !tbaa !5
  %693 = add nsw i32 %692, 1
  store i32 %693, ptr @test_count, align 4, !tbaa !5
  %694 = load ptr, ptr %8, align 8, !tbaa !9
  %695 = call i32 @s2n_connection_set_cipher_preferences(ptr noundef %694, ptr noundef %673) #12
  %696 = icmp eq i32 %695, -1
  br i1 %696, label %455, label %697

697:                                              ; preds = %691
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %9) #12
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(80) %9, i8 0, i64 80, i1 false)
  %698 = load i32, ptr @test_count, align 4, !tbaa !5
  %699 = add nsw i32 %698, 1
  store i32 %699, ptr @test_count, align 4, !tbaa !5
  %700 = call i32 @s2n_io_stuffer_pair_init(ptr noundef nonnull %9) #12
  %701 = call zeroext i1 @s2n_result_is_ok(i32 %700)
  br i1 %701, label %702, label %484

702:                                              ; preds = %697
  %703 = load i32, ptr @test_count, align 4, !tbaa !5
  %704 = add nsw i32 %703, 1
  store i32 %704, ptr @test_count, align 4, !tbaa !5
  %705 = load ptr, ptr %7, align 8, !tbaa !9
  %706 = load ptr, ptr %8, align 8, !tbaa !9
  %707 = call i32 @s2n_connections_set_io_stuffer_pair(ptr noundef %705, ptr noundef %706, ptr noundef nonnull %9) #12
  %708 = call zeroext i1 @s2n_result_is_ok(i32 %707)
  br i1 %708, label %709, label %515

709:                                              ; preds = %702
  %710 = load i32, ptr @test_count, align 4, !tbaa !5
  %711 = add nsw i32 %710, 1
  store i32 %711, ptr @test_count, align 4, !tbaa !5
  %712 = load ptr, ptr %8, align 8, !tbaa !9
  %713 = load ptr, ptr %7, align 8, !tbaa !9
  %714 = call i32 @s2n_negotiate_test_server_and_client(ptr noundef %712, ptr noundef %713) #12
  %715 = icmp eq i32 %714, -1
  br i1 %715, label %546, label %716

716:                                              ; preds = %709
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %10) #12
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(12) %10, ptr noundef nonnull align 1 dereferenceable(12) @__const.main.data, i64 12, i1 false)
  call void @llvm.lifetime.start.p0(i64 100, ptr nonnull %11) #12
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(100) %11, i8 0, i64 100, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %12) #12
  store i32 0, ptr %12, align 4, !tbaa !5
  %717 = load i32, ptr @test_count, align 4, !tbaa !5
  %718 = add nsw i32 %717, 1
  store i32 %718, ptr @test_count, align 4, !tbaa !5
  %719 = load ptr, ptr %7, align 8, !tbaa !9
  %720 = call i64 @s2n_send(ptr noundef %719, ptr noundef nonnull %10, i64 noundef 12, ptr noundef nonnull %12) #12
  %721 = icmp eq i64 %720, 12
  br i1 %721, label %722, label %576

722:                                              ; preds = %716
  %723 = load i32, ptr @test_count, align 4, !tbaa !5
  %724 = add nsw i32 %723, 1
  store i32 %724, ptr @test_count, align 4, !tbaa !5
  %725 = load ptr, ptr %8, align 8, !tbaa !9
  %726 = call i64 @s2n_recv(ptr noundef %725, ptr noundef nonnull %11, i64 noundef 100, ptr noundef nonnull %12) #12
  %727 = icmp eq i64 %726, 12
  br i1 %727, label %728, label %606

728:                                              ; preds = %722
  %729 = load i32, ptr @test_count, align 4, !tbaa !5
  %730 = add nsw i32 %729, 1
  store i32 %730, ptr @test_count, align 4, !tbaa !5
  %bcmp.1 = call i32 @bcmp(ptr noundef nonnull dereferenceable(12) %11, ptr noundef nonnull dereferenceable(12) %10, i64 12)
  %731 = icmp eq i32 %bcmp.1, 0
  br i1 %731, label %732, label %634

732:                                              ; preds = %728
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #12
  call void @llvm.lifetime.end.p0(i64 100, ptr nonnull %11) #12
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %10) #12
  %733 = call i32 @s2n_io_stuffer_pair_free(ptr noundef nonnull %9) #12
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %9) #12
  %734 = call i32 @s2n_connection_ptr_free(ptr noundef nonnull %8) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #12
  %735 = call i32 @s2n_connection_ptr_free(ptr noundef nonnull %7) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #12
  %736 = call i32 @s2n_cleanup() #12
  %737 = icmp eq i32 %736, -1
  br i1 %737, label %738, label %762

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

745:                                              ; preds = %738
  %746 = load ptr, ptr @stderr, align 8, !tbaa !9
  %747 = call i32 @fileno(ptr noundef %746) #12
  %748 = call i32 @isatty(i32 noundef %747) #12
  %.not66 = icmp eq i32 %748, 0
  br i1 %.not66, label %749, label %750

749:                                              ; preds = %745, %738
  br label %750

750:                                              ; preds = %745, %749
  %.str.5.sink330 = phi ptr [ @.str.5, %749 ], [ @.str.2, %745 ]
  store i32 %740, ptr %739, align 4, !tbaa !5
  %751 = load ptr, ptr @stderr, align 8, !tbaa !9
  %752 = load i32, ptr @test_count, align 4, !tbaa !5
  %753 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %754 = load i32, ptr %753, align 4, !tbaa !5
  %755 = call ptr @s2n_strerror(i32 noundef %754, ptr noundef nonnull @.str.4) #12
  %756 = load i32, ptr %753, align 4, !tbaa !5
  %757 = call ptr @s2n_strerror_debug(i32 noundef %756, ptr noundef nonnull @.str.4) #12
  %758 = load i32, ptr %739, align 4, !tbaa !5
  %759 = call ptr @strerror(i32 noundef %758) #12
  %760 = load i32, ptr %739, align 4, !tbaa !5
  %761 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %751, ptr noundef nonnull %.str.5.sink330, i32 noundef %752, ptr noundef nonnull @.str.32, ptr noundef nonnull @.str.1, i32 noundef 84, ptr noundef %755, ptr noundef %757, ptr noundef %759, i32 noundef %760) #14
  call void @exit(i32 noundef 1) #15
  unreachable

762:                                              ; preds = %732
  %763 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #12
  %764 = icmp eq i32 %763, -1
  br i1 %764, label %765, label %789

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

772:                                              ; preds = %765
  %773 = load ptr, ptr @stderr, align 8, !tbaa !9
  %774 = call i32 @fileno(ptr noundef %773) #12
  %775 = call i32 @isatty(i32 noundef %774) #12
  %.not65 = icmp eq i32 %775, 0
  br i1 %.not65, label %776, label %777

776:                                              ; preds = %772, %765
  br label %777

777:                                              ; preds = %772, %776
  %.str.5.sink341 = phi ptr [ @.str.5, %776 ], [ @.str.2, %772 ]
  store i32 %767, ptr %766, align 4, !tbaa !5
  %778 = load ptr, ptr @stderr, align 8, !tbaa !9
  %779 = load i32, ptr @test_count, align 4, !tbaa !5
  %780 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %781 = load i32, ptr %780, align 4, !tbaa !5
  %782 = call ptr @s2n_strerror(i32 noundef %781, ptr noundef nonnull @.str.4) #12
  %783 = load i32, ptr %780, align 4, !tbaa !5
  %784 = call ptr @s2n_strerror_debug(i32 noundef %783, ptr noundef nonnull @.str.4) #12
  %785 = load i32, ptr %766, align 4, !tbaa !5
  %786 = call ptr @strerror(i32 noundef %785) #12
  %787 = load i32, ptr %766, align 4, !tbaa !5
  %788 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %778, ptr noundef nonnull %.str.5.sink341, i32 noundef %779, ptr noundef nonnull @.str.33, ptr noundef nonnull @.str.1, i32 noundef 84, ptr noundef %782, ptr noundef %784, ptr noundef %786, i32 noundef %787) #14
  call void @exit(i32 noundef 1) #15
  unreachable

789:                                              ; preds = %762
  %790 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %791 = trunc nuw i8 %790 to i1
  br i1 %791, label %792, label %803

792:                                              ; preds = %789
  %793 = load ptr, ptr @stdout, align 8, !tbaa !9
  %794 = call i32 @fileno(ptr noundef %793) #12
  %795 = call i32 @isatty(i32 noundef %794) #12
  %.not62 = icmp eq i32 %795, 0
  br i1 %.not62, label %803, label %796

796:                                              ; preds = %792
  %797 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not64 = icmp eq i32 %797, 0
  %798 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not64, label %801, label %799

799:                                              ; preds = %796
  %800 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %798, ptr noundef nonnull @.str.34, i32 noundef %797) #12
  br label %810

801:                                              ; preds = %796
  %802 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %798, ptr noundef nonnull @.str.35) #12
  br label %810

803:                                              ; preds = %792, %789
  %804 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not63 = icmp eq i32 %804, 0
  %805 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not63, label %808, label %806

806:                                              ; preds = %803
  %807 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %805, ptr noundef nonnull @.str.36, i32 noundef %804) #12
  br label %810

808:                                              ; preds = %803
  %809 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %805, ptr noundef nonnull @.str.37) #12
  br label %810

810:                                              ; preds = %806, %808, %799, %801
  %811 = call i32 @s2n_config_ptr_free(ptr noundef nonnull %6) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #12
  %812 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef nonnull %5) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #12
  call void @llvm.lifetime.end.p0(i64 12000, ptr nonnull %4) #12
  call void @llvm.lifetime.end.p0(i64 12000, ptr nonnull %3) #12
  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

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

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

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

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

declare ptr @s2n_cert_chain_and_key_new() local_unnamed_addr #2

declare i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef) local_unnamed_addr #2

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

declare ptr @s2n_config_new_minimal() local_unnamed_addr #2

declare i32 @s2n_config_ptr_free(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_config_add_pem_to_trust_store(ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress 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) #10

declare ptr @s2n_connection_new(i32 noundef) local_unnamed_addr #2

declare i32 @s2n_connection_ptr_free(ptr noundef) local_unnamed_addr #2

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

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

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

declare i32 @s2n_io_stuffer_pair_free(ptr noundef) local_unnamed_addr #2

declare i32 @s2n_io_stuffer_pair_init(ptr noundef) local_unnamed_addr #2

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

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

declare i64 @s2n_send(ptr noundef, ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #2

declare i64 @s2n_recv(ptr noundef, ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #2

declare i32 @s2n_cleanup() local_unnamed_addr #2

; Function Attrs: nofree nounwind willreturn memory(argmem: read)
declare i32 @bcmp(ptr nocapture, ptr nocapture, i64) local_unnamed_addr #11

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 nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #10 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #11 = { nofree nounwind willreturn memory(argmem: read) }
attributes #12 = { nounwind }
attributes #13 = { nounwind willreturn memory(none) }
attributes #14 = { cold nounwind }
attributes #15 = { noreturn nounwind }

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

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


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