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

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

%struct.s2n_test_case = type { ptr, ptr }
%struct.s2n_blob = type { ptr, i32, i32, i8 }
%struct.s2n_stuffer = type { %struct.s2n_blob, i32, i32, i32, i8 }
%struct.s2n_result = type { i32 }
%struct.s2n_cert_chain_and_key = type { ptr, ptr, %struct.s2n_blob, %struct.s2n_blob, ptr, ptr, ptr }
%struct.s2n_cert_chain = type { i32, ptr }
%struct.s2n_cert = type { i32, %struct.s2n_pkey, %struct.s2n_cert_info, %struct.s2n_blob, ptr }
%struct.s2n_pkey = type { ptr, ptr, ptr, ptr, ptr, ptr }
%struct.s2n_cert_info = type { i32, i32, 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 [87 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
@__const.main.expected_cert_strs = external hidden unnamed_addr constant [3 x ptr], align 16
@.str.11 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [123 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [79 x i8], align 1
@__const.main.test_cases = external hidden unnamed_addr constant [17 x %struct.s2n_test_case], align 16
@.str.50 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [128 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [40 x i8], align 1
@__const.main.bad_test_cases = external hidden unnamed_addr constant [14 x %struct.s2n_test_case], align 16
@.str.84 = external hidden unnamed_addr constant [85 x i8], align 1
@.str.85 = external hidden unnamed_addr constant [133 x i8], align 1
@.str.86 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.87 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.88 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.89 = external hidden unnamed_addr constant [133 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [88 x i8], align 1
@.str.91 = external hidden unnamed_addr constant [85 x i8], align 1
@.str.92 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.93 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.94 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.95 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.96 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.97 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.98 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.99 = 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 [3 x ptr], align 16
  %10 = alloca [3 x %struct.s2n_blob], align 16
  %11 = alloca i64, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca %struct.s2n_stuffer, align 8
  %16 = alloca i32, align 4
  %17 = alloca %struct.s2n_stuffer, align 8
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca [17 x %struct.s2n_test_case], align 16
  %22 = alloca i64, align 8
  %23 = alloca i32, align 4
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca %struct.s2n_stuffer, align 8
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca ptr, align 8
  %30 = alloca i32, align 4
  %31 = alloca ptr, align 8
  %32 = alloca i64, align 8
  %33 = alloca %struct.s2n_result, align 4
  %34 = alloca i32, align 4
  %35 = alloca %struct.s2n_result, align 4
  %36 = alloca [14 x %struct.s2n_test_case], align 16
  %37 = alloca i64, align 8
  %38 = alloca ptr, align 8
  %39 = alloca ptr, align 8
  %40 = alloca %struct.s2n_stuffer, align 8
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca ptr, align 8
  %44 = alloca i32, align 4
  %45 = alloca %struct.s2n_result, align 4
  %46 = alloca ptr, align 8
  %47 = alloca i64, align 8
  %48 = alloca ptr, align 8
  %49 = alloca i64, align 8
  %50 = alloca %struct.s2n_stuffer, align 8
  %51 = alloca i32, align 4
  %52 = alloca i32, align 4
  %53 = alloca ptr, align 8
  %54 = alloca ptr, align 8
  %55 = alloca i32, align 4
  %56 = alloca i32, align 4
  %57 = alloca i32, align 4
  %58 = alloca i32, align 4
  %59 = alloca ptr, align 8
  %60 = alloca ptr, align 8
  %61 = alloca i32, align 4
  %62 = alloca %struct.s2n_result, align 4
  %63 = alloca %struct.s2n_result, align 4
  %64 = alloca i64, align 8
  %65 = alloca i32, align 4
  %66 = alloca i32, align 4
  %67 = alloca i32, align 4
  store i32 0, ptr %3, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !9
  br label %68

68:                                               ; preds = %2
  br label %69

69:                                               ; preds = %68
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %70 = load ptr, ptr @stdout, align 8, !tbaa !9
  %71 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %70, ptr noundef @.str, ptr noundef @.str.1) #11
  %72 = load ptr, ptr @stdout, align 8, !tbaa !9
  %73 = call i32 @fflush(ptr noundef %72)
  br label %74

74:                                               ; preds = %69
  %75 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %76 = icmp eq i32 %75, -1
  br i1 %76, label %77, label %128

77:                                               ; preds = %74
  br label %78

78:                                               ; preds = %77
  br label %79

79:                                               ; preds = %78
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #11
  %80 = call ptr @__errno_location() #12
  %81 = load i32, ptr %80, align 4, !tbaa !5
  store i32 %81, ptr %6, align 4, !tbaa !5
  %82 = load ptr, ptr @stderr, align 8, !tbaa !9
  %83 = call i32 @s2n_print_stacktrace(ptr noundef %82)
  %84 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %85 = trunc i8 %84 to i1
  br i1 %85, label %86, label %108

86:                                               ; preds = %79
  %87 = load ptr, ptr @stderr, align 8, !tbaa !9
  %88 = call i32 @fileno(ptr noundef %87) #11
  %89 = call i32 @isatty(i32 noundef %88) #11
  %90 = icmp ne i32 %89, 0
  br i1 %90, label %91, label %108

91:                                               ; preds = %86
  %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.2, i32 noundef %95, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 73, ptr noundef %98, ptr noundef %101, ptr noundef %104, i32 noundef %106) #11
  br label %125

108:                                              ; preds = %86, %79
  %109 = load i32, ptr %6, align 4, !tbaa !5
  %110 = call ptr @__errno_location() #12
  store i32 %109, ptr %110, align 4, !tbaa !5
  %111 = load ptr, ptr @stderr, align 8, !tbaa !9
  %112 = load i32, ptr @test_count, align 4, !tbaa !5
  %113 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %114 = load i32, ptr %113, align 4, !tbaa !5
  %115 = call ptr @s2n_strerror(i32 noundef %114, ptr noundef @.str.4)
  %116 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %117 = load i32, ptr %116, align 4, !tbaa !5
  %118 = call ptr @s2n_strerror_debug(i32 noundef %117, ptr noundef @.str.4)
  %119 = call ptr @__errno_location() #12
  %120 = load i32, ptr %119, align 4, !tbaa !5
  %121 = call ptr @strerror(i32 noundef %120) #11
  %122 = call ptr @__errno_location() #12
  %123 = load i32, ptr %122, align 4, !tbaa !5
  %124 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %111, ptr noundef @.str.5, i32 noundef %112, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 73, ptr noundef %115, ptr noundef %118, ptr noundef %121, i32 noundef %123) #11
  br label %125

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

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

127:                                              ; No predecessors!
  br label %128

128:                                              ; preds = %127, %74
  br label %129

129:                                              ; preds = %128
  br label %130

130:                                              ; preds = %129
  %131 = load i32, ptr @test_count, align 4, !tbaa !5
  %132 = add nsw i32 %131, 1
  store i32 %132, ptr @test_count, align 4, !tbaa !5
  %133 = call i32 @s2n_enable_atexit()
  %134 = icmp eq i32 %133, -1
  br i1 %134, label %135, label %186

135:                                              ; preds = %130
  br label %136

136:                                              ; preds = %135
  br label %137

137:                                              ; preds = %136
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #11
  %138 = call ptr @__errno_location() #12
  %139 = load i32, ptr %138, align 4, !tbaa !5
  store i32 %139, ptr %7, align 4, !tbaa !5
  %140 = load ptr, ptr @stderr, align 8, !tbaa !9
  %141 = call i32 @s2n_print_stacktrace(ptr noundef %140)
  %142 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %143 = trunc i8 %142 to i1
  br i1 %143, label %144, label %166

144:                                              ; preds = %137
  %145 = load ptr, ptr @stderr, align 8, !tbaa !9
  %146 = call i32 @fileno(ptr noundef %145) #11
  %147 = call i32 @isatty(i32 noundef %146) #11
  %148 = icmp ne i32 %147, 0
  br i1 %148, label %149, label %166

149:                                              ; preds = %144
  %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.2, i32 noundef %153, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 73, ptr noundef %156, ptr noundef %159, ptr noundef %162, i32 noundef %164) #11
  br label %183

166:                                              ; preds = %144, %137
  %167 = load i32, ptr %7, align 4, !tbaa !5
  %168 = call ptr @__errno_location() #12
  store i32 %167, ptr %168, align 4, !tbaa !5
  %169 = load ptr, ptr @stderr, align 8, !tbaa !9
  %170 = load i32, ptr @test_count, align 4, !tbaa !5
  %171 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %172 = load i32, ptr %171, align 4, !tbaa !5
  %173 = call ptr @s2n_strerror(i32 noundef %172, ptr noundef @.str.4)
  %174 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %175 = load i32, ptr %174, align 4, !tbaa !5
  %176 = call ptr @s2n_strerror_debug(i32 noundef %175, ptr noundef @.str.4)
  %177 = call ptr @__errno_location() #12
  %178 = load i32, ptr %177, align 4, !tbaa !5
  %179 = call ptr @strerror(i32 noundef %178) #11
  %180 = call ptr @__errno_location() #12
  %181 = load i32, ptr %180, align 4, !tbaa !5
  %182 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %169, ptr noundef @.str.5, i32 noundef %170, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 73, ptr noundef %173, ptr noundef %176, ptr noundef %179, i32 noundef %181) #11
  br label %183

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

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

185:                                              ; No predecessors!
  br label %186

186:                                              ; preds = %185, %130
  br label %187

187:                                              ; preds = %186
  br label %188

188:                                              ; preds = %187
  br label %189

189:                                              ; preds = %188
  %190 = call i32 @s2n_init()
  %191 = icmp eq i32 %190, -1
  br i1 %191, label %192, label %243

192:                                              ; preds = %189
  br label %193

193:                                              ; preds = %192
  br label %194

194:                                              ; preds = %193
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #11
  %195 = call ptr @__errno_location() #12
  %196 = load i32, ptr %195, align 4, !tbaa !5
  store i32 %196, ptr %8, align 4, !tbaa !5
  %197 = load ptr, ptr @stderr, align 8, !tbaa !9
  %198 = call i32 @s2n_print_stacktrace(ptr noundef %197)
  %199 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %200 = trunc i8 %199 to i1
  br i1 %200, label %201, label %223

201:                                              ; preds = %194
  %202 = load ptr, ptr @stderr, align 8, !tbaa !9
  %203 = call i32 @fileno(ptr noundef %202) #11
  %204 = call i32 @isatty(i32 noundef %203) #11
  %205 = icmp ne i32 %204, 0
  br i1 %205, label %206, label %223

206:                                              ; preds = %201
  %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.2, i32 noundef %210, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 73, ptr noundef %213, ptr noundef %216, ptr noundef %219, i32 noundef %221) #11
  br label %240

223:                                              ; preds = %201, %194
  %224 = load i32, ptr %8, align 4, !tbaa !5
  %225 = call ptr @__errno_location() #12
  store i32 %224, ptr %225, align 4, !tbaa !5
  %226 = load ptr, ptr @stderr, align 8, !tbaa !9
  %227 = load i32, ptr @test_count, align 4, !tbaa !5
  %228 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %229 = load i32, ptr %228, align 4, !tbaa !5
  %230 = call ptr @s2n_strerror(i32 noundef %229, ptr noundef @.str.4)
  %231 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %232 = load i32, ptr %231, align 4, !tbaa !5
  %233 = call ptr @s2n_strerror_debug(i32 noundef %232, ptr noundef @.str.4)
  %234 = call ptr @__errno_location() #12
  %235 = load i32, ptr %234, align 4, !tbaa !5
  %236 = call ptr @strerror(i32 noundef %235) #11
  %237 = call ptr @__errno_location() #12
  %238 = load i32, ptr %237, align 4, !tbaa !5
  %239 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %226, ptr noundef @.str.5, i32 noundef %227, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 73, ptr noundef %230, ptr noundef %233, ptr noundef %236, i32 noundef %238) #11
  br label %240

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

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

242:                                              ; No predecessors!
  br label %243

243:                                              ; preds = %242, %189
  br label %244

244:                                              ; preds = %243
  br label %245

245:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 24, ptr %9) #11
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %9, ptr align 16 @__const.main.expected_cert_strs, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 72, ptr %10) #11
  call void @llvm.memset.p0.i64(ptr align 16 %10, i8 0, i64 72, i1 false)
  br label %246

246:                                              ; preds = %245
  %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
  br label %249

249:                                              ; preds = %246
  br label %250

250:                                              ; preds = %249
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #11
  store i64 0, ptr %11, align 8, !tbaa !15
  br label %251

251:                                              ; preds = %586, %250
  %252 = load i64, ptr %11, align 8, !tbaa !15
  %253 = icmp ult i64 %252, 3
  br i1 %253, label %255, label %254

254:                                              ; preds = %251
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #11
  br label %589

255:                                              ; preds = %251
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #11
  %256 = load i64, ptr %11, align 8, !tbaa !15
  %257 = getelementptr inbounds [3 x ptr], ptr %9, i64 0, i64 %256
  %258 = load ptr, ptr %257, align 8, !tbaa !9
  store ptr %258, ptr %12, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #11
  %259 = load i64, ptr %11, align 8, !tbaa !15
  %260 = getelementptr inbounds [3 x %struct.s2n_blob], ptr %10, i64 0, i64 %259
  store ptr %260, ptr %13, align 8, !tbaa !9
  br label %261

261:                                              ; preds = %255
  %262 = load i32, ptr @test_count, align 4, !tbaa !5
  %263 = add nsw i32 %262, 1
  store i32 %263, ptr @test_count, align 4, !tbaa !5
  %264 = load ptr, ptr %13, align 8, !tbaa !9
  %265 = load ptr, ptr %12, align 8, !tbaa !9
  %266 = call i64 @strlen(ptr noundef %265) #14
  %267 = trunc i64 %266 to i32
  %268 = call i32 @s2n_alloc(ptr noundef %264, i32 noundef %267)
  %269 = icmp eq i32 %268, -1
  br i1 %269, label %270, label %323

270:                                              ; preds = %261
  br label %271

271:                                              ; preds = %270
  br label %272

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

279:                                              ; preds = %272
  %280 = load ptr, ptr @stderr, align 8, !tbaa !9
  %281 = call i32 @fileno(ptr noundef %280) #11
  %282 = call i32 @isatty(i32 noundef %281) #11
  %283 = icmp ne i32 %282, 0
  br i1 %283, label %284, label %301

284:                                              ; preds = %279
  %285 = load i32, ptr %14, align 4, !tbaa !5
  %286 = call ptr @__errno_location() #12
  store i32 %285, ptr %286, align 4, !tbaa !5
  %287 = load ptr, ptr @stderr, align 8, !tbaa !9
  %288 = load i32, ptr @test_count, align 4, !tbaa !5
  %289 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %290 = load i32, ptr %289, align 4, !tbaa !5
  %291 = call ptr @s2n_strerror(i32 noundef %290, ptr noundef @.str.4)
  %292 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %293 = load i32, ptr %292, align 4, !tbaa !5
  %294 = call ptr @s2n_strerror_debug(i32 noundef %293, ptr noundef @.str.4)
  %295 = call ptr @__errno_location() #12
  %296 = load i32, ptr %295, align 4, !tbaa !5
  %297 = call ptr @strerror(i32 noundef %296) #11
  %298 = call ptr @__errno_location() #12
  %299 = load i32, ptr %298, align 4, !tbaa !5
  %300 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %287, ptr noundef @.str.2, i32 noundef %288, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 90, ptr noundef %291, ptr noundef %294, ptr noundef %297, i32 noundef %299) #11
  br label %318

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

318:                                              ; preds = %301, %284
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #11
  br label %319

319:                                              ; preds = %318
  br label %320

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

321:                                              ; No predecessors!
  br label %322

322:                                              ; preds = %321
  br label %323

323:                                              ; preds = %322, %261
  br label %324

324:                                              ; preds = %323
  br label %325

325:                                              ; preds = %324
  call void @llvm.lifetime.start.p0(i64 40, ptr %15) #11
  call void @llvm.memset.p0.i64(ptr align 8 %15, i8 0, i64 40, i1 false)
  br label %326

326:                                              ; preds = %325
  %327 = load i32, ptr @test_count, align 4, !tbaa !5
  %328 = add nsw i32 %327, 1
  store i32 %328, ptr @test_count, align 4, !tbaa !5
  %329 = load ptr, ptr %13, align 8, !tbaa !9
  %330 = call i32 @s2n_stuffer_init(ptr noundef %15, ptr noundef %329)
  %331 = icmp eq i32 %330, -1
  br i1 %331, label %332, label %385

332:                                              ; preds = %326
  br label %333

333:                                              ; preds = %332
  br label %334

334:                                              ; preds = %333
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #11
  %335 = call ptr @__errno_location() #12
  %336 = load i32, ptr %335, align 4, !tbaa !5
  store i32 %336, ptr %16, align 4, !tbaa !5
  %337 = load ptr, ptr @stderr, align 8, !tbaa !9
  %338 = call i32 @s2n_print_stacktrace(ptr noundef %337)
  %339 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %340 = trunc i8 %339 to i1
  br i1 %340, label %341, label %363

341:                                              ; preds = %334
  %342 = load ptr, ptr @stderr, align 8, !tbaa !9
  %343 = call i32 @fileno(ptr noundef %342) #11
  %344 = call i32 @isatty(i32 noundef %343) #11
  %345 = icmp ne i32 %344, 0
  br i1 %345, label %346, label %363

346:                                              ; preds = %341
  %347 = load i32, ptr %16, align 4, !tbaa !5
  %348 = call ptr @__errno_location() #12
  store i32 %347, ptr %348, align 4, !tbaa !5
  %349 = load ptr, ptr @stderr, align 8, !tbaa !9
  %350 = load i32, ptr @test_count, align 4, !tbaa !5
  %351 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %352 = load i32, ptr %351, align 4, !tbaa !5
  %353 = call ptr @s2n_strerror(i32 noundef %352, ptr noundef @.str.4)
  %354 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %355 = load i32, ptr %354, align 4, !tbaa !5
  %356 = call ptr @s2n_strerror_debug(i32 noundef %355, ptr noundef @.str.4)
  %357 = call ptr @__errno_location() #12
  %358 = load i32, ptr %357, align 4, !tbaa !5
  %359 = call ptr @strerror(i32 noundef %358) #11
  %360 = call ptr @__errno_location() #12
  %361 = load i32, ptr %360, align 4, !tbaa !5
  %362 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %349, ptr noundef @.str.2, i32 noundef %350, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 93, ptr noundef %353, ptr noundef %356, ptr noundef %359, i32 noundef %361) #11
  br label %380

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

380:                                              ; preds = %363, %346
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #11
  br label %381

381:                                              ; preds = %380
  br label %382

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

383:                                              ; No predecessors!
  br label %384

384:                                              ; preds = %383
  br label %385

385:                                              ; preds = %384, %326
  br label %386

386:                                              ; preds = %385
  br label %387

387:                                              ; preds = %386
  call void @llvm.lifetime.start.p0(i64 40, ptr %17) #11
  call void @llvm.memset.p0.i64(ptr align 8 %17, i8 0, i64 40, i1 false)
  br label %388

388:                                              ; preds = %387
  %389 = load i32, ptr @test_count, align 4, !tbaa !5
  %390 = add nsw i32 %389, 1
  store i32 %390, ptr @test_count, align 4, !tbaa !5
  %391 = load ptr, ptr %12, align 8, !tbaa !9
  %392 = call i64 @strlen(ptr noundef %391) #14
  %393 = trunc i64 %392 to i32
  %394 = call i32 @s2n_stuffer_alloc(ptr noundef %17, i32 noundef %393)
  %395 = icmp eq i32 %394, -1
  br i1 %395, label %396, label %449

396:                                              ; preds = %388
  br label %397

397:                                              ; preds = %396
  br label %398

398:                                              ; preds = %397
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #11
  %399 = call ptr @__errno_location() #12
  %400 = load i32, ptr %399, align 4, !tbaa !5
  store i32 %400, ptr %18, align 4, !tbaa !5
  %401 = load ptr, ptr @stderr, align 8, !tbaa !9
  %402 = call i32 @s2n_print_stacktrace(ptr noundef %401)
  %403 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %404 = trunc i8 %403 to i1
  br i1 %404, label %405, label %427

405:                                              ; preds = %398
  %406 = load ptr, ptr @stderr, align 8, !tbaa !9
  %407 = call i32 @fileno(ptr noundef %406) #11
  %408 = call i32 @isatty(i32 noundef %407) #11
  %409 = icmp ne i32 %408, 0
  br i1 %409, label %410, label %427

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

427:                                              ; preds = %405, %398
  %428 = load i32, ptr %18, align 4, !tbaa !5
  %429 = call ptr @__errno_location() #12
  store i32 %428, ptr %429, align 4, !tbaa !5
  %430 = load ptr, ptr @stderr, align 8, !tbaa !9
  %431 = load i32, ptr @test_count, align 4, !tbaa !5
  %432 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %433 = load i32, ptr %432, align 4, !tbaa !5
  %434 = call ptr @s2n_strerror(i32 noundef %433, ptr noundef @.str.4)
  %435 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %436 = load i32, ptr %435, align 4, !tbaa !5
  %437 = call ptr @s2n_strerror_debug(i32 noundef %436, ptr noundef @.str.4)
  %438 = call ptr @__errno_location() #12
  %439 = load i32, ptr %438, align 4, !tbaa !5
  %440 = call ptr @strerror(i32 noundef %439) #11
  %441 = call ptr @__errno_location() #12
  %442 = load i32, ptr %441, align 4, !tbaa !5
  %443 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %430, ptr noundef @.str.5, i32 noundef %431, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 96, ptr noundef %434, ptr noundef %437, ptr noundef %440, i32 noundef %442) #11
  br label %444

444:                                              ; preds = %427, %410
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #11
  br label %445

445:                                              ; preds = %444
  br label %446

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

447:                                              ; No predecessors!
  br label %448

448:                                              ; preds = %447
  br label %449

449:                                              ; preds = %448, %388
  br label %450

450:                                              ; preds = %449
  br label %451

451:                                              ; preds = %450
  br label %452

452:                                              ; preds = %451
  %453 = load i32, ptr @test_count, align 4, !tbaa !5
  %454 = add nsw i32 %453, 1
  store i32 %454, ptr @test_count, align 4, !tbaa !5
  %455 = load ptr, ptr %12, align 8, !tbaa !9
  %456 = load ptr, ptr %12, align 8, !tbaa !9
  %457 = call i64 @strlen(ptr noundef %456) #14
  %458 = trunc i64 %457 to i32
  %459 = call i32 @s2n_stuffer_write_bytes(ptr noundef %17, ptr noundef %455, i32 noundef %458)
  %460 = icmp eq i32 %459, -1
  br i1 %460, label %461, label %514

461:                                              ; preds = %452
  br label %462

462:                                              ; preds = %461
  br label %463

463:                                              ; preds = %462
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #11
  %464 = call ptr @__errno_location() #12
  %465 = load i32, ptr %464, align 4, !tbaa !5
  store i32 %465, ptr %19, align 4, !tbaa !5
  %466 = load ptr, ptr @stderr, align 8, !tbaa !9
  %467 = call i32 @s2n_print_stacktrace(ptr noundef %466)
  %468 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %469 = trunc i8 %468 to i1
  br i1 %469, label %470, label %492

470:                                              ; preds = %463
  %471 = load ptr, ptr @stderr, align 8, !tbaa !9
  %472 = call i32 @fileno(ptr noundef %471) #11
  %473 = call i32 @isatty(i32 noundef %472) #11
  %474 = icmp ne i32 %473, 0
  br i1 %474, label %475, label %492

475:                                              ; preds = %470
  %476 = load i32, ptr %19, align 4, !tbaa !5
  %477 = call ptr @__errno_location() #12
  store i32 %476, ptr %477, align 4, !tbaa !5
  %478 = load ptr, ptr @stderr, align 8, !tbaa !9
  %479 = load i32, ptr @test_count, align 4, !tbaa !5
  %480 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %481 = load i32, ptr %480, align 4, !tbaa !5
  %482 = call ptr @s2n_strerror(i32 noundef %481, ptr noundef @.str.4)
  %483 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %484 = load i32, ptr %483, align 4, !tbaa !5
  %485 = call ptr @s2n_strerror_debug(i32 noundef %484, ptr noundef @.str.4)
  %486 = call ptr @__errno_location() #12
  %487 = load i32, ptr %486, align 4, !tbaa !5
  %488 = call ptr @strerror(i32 noundef %487) #11
  %489 = call ptr @__errno_location() #12
  %490 = load i32, ptr %489, align 4, !tbaa !5
  %491 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %478, ptr noundef @.str.2, i32 noundef %479, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 97, ptr noundef %482, ptr noundef %485, ptr noundef %488, i32 noundef %490) #11
  br label %509

492:                                              ; preds = %470, %463
  %493 = load i32, ptr %19, align 4, !tbaa !5
  %494 = call ptr @__errno_location() #12
  store i32 %493, ptr %494, align 4, !tbaa !5
  %495 = load ptr, ptr @stderr, align 8, !tbaa !9
  %496 = load i32, ptr @test_count, align 4, !tbaa !5
  %497 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %498 = load i32, ptr %497, align 4, !tbaa !5
  %499 = call ptr @s2n_strerror(i32 noundef %498, ptr noundef @.str.4)
  %500 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %501 = load i32, ptr %500, align 4, !tbaa !5
  %502 = call ptr @s2n_strerror_debug(i32 noundef %501, ptr noundef @.str.4)
  %503 = call ptr @__errno_location() #12
  %504 = load i32, ptr %503, align 4, !tbaa !5
  %505 = call ptr @strerror(i32 noundef %504) #11
  %506 = call ptr @__errno_location() #12
  %507 = load i32, ptr %506, align 4, !tbaa !5
  %508 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %495, ptr noundef @.str.5, i32 noundef %496, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 97, ptr noundef %499, ptr noundef %502, ptr noundef %505, i32 noundef %507) #11
  br label %509

509:                                              ; preds = %492, %475
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #11
  br label %510

510:                                              ; preds = %509
  br label %511

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

512:                                              ; No predecessors!
  br label %513

513:                                              ; preds = %512
  br label %514

514:                                              ; preds = %513, %452
  br label %515

515:                                              ; preds = %514
  br label %516

516:                                              ; preds = %515
  br label %517

517:                                              ; preds = %516
  %518 = load i32, ptr @test_count, align 4, !tbaa !5
  %519 = add nsw i32 %518, 1
  store i32 %519, ptr @test_count, align 4, !tbaa !5
  %520 = call i32 @s2n_stuffer_read_base64(ptr noundef %17, ptr noundef %15)
  %521 = icmp eq i32 %520, -1
  br i1 %521, label %522, label %575

522:                                              ; preds = %517
  br label %523

523:                                              ; preds = %522
  br label %524

524:                                              ; preds = %523
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #11
  %525 = call ptr @__errno_location() #12
  %526 = load i32, ptr %525, align 4, !tbaa !5
  store i32 %526, ptr %20, align 4, !tbaa !5
  %527 = load ptr, ptr @stderr, align 8, !tbaa !9
  %528 = call i32 @s2n_print_stacktrace(ptr noundef %527)
  %529 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %530 = trunc i8 %529 to i1
  br i1 %530, label %531, label %553

531:                                              ; preds = %524
  %532 = load ptr, ptr @stderr, align 8, !tbaa !9
  %533 = call i32 @fileno(ptr noundef %532) #11
  %534 = call i32 @isatty(i32 noundef %533) #11
  %535 = icmp ne i32 %534, 0
  br i1 %535, label %536, label %553

536:                                              ; preds = %531
  %537 = load i32, ptr %20, align 4, !tbaa !5
  %538 = call ptr @__errno_location() #12
  store i32 %537, ptr %538, align 4, !tbaa !5
  %539 = load ptr, ptr @stderr, align 8, !tbaa !9
  %540 = load i32, ptr @test_count, align 4, !tbaa !5
  %541 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %542 = load i32, ptr %541, align 4, !tbaa !5
  %543 = call ptr @s2n_strerror(i32 noundef %542, ptr noundef @.str.4)
  %544 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %545 = load i32, ptr %544, align 4, !tbaa !5
  %546 = call ptr @s2n_strerror_debug(i32 noundef %545, ptr noundef @.str.4)
  %547 = call ptr @__errno_location() #12
  %548 = load i32, ptr %547, align 4, !tbaa !5
  %549 = call ptr @strerror(i32 noundef %548) #11
  %550 = call ptr @__errno_location() #12
  %551 = load i32, ptr %550, align 4, !tbaa !5
  %552 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %539, ptr noundef @.str.2, i32 noundef %540, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 99, ptr noundef %543, ptr noundef %546, ptr noundef %549, i32 noundef %551) #11
  br label %570

553:                                              ; preds = %531, %524
  %554 = load i32, ptr %20, align 4, !tbaa !5
  %555 = call ptr @__errno_location() #12
  store i32 %554, ptr %555, align 4, !tbaa !5
  %556 = load ptr, ptr @stderr, align 8, !tbaa !9
  %557 = load i32, ptr @test_count, align 4, !tbaa !5
  %558 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %559 = load i32, ptr %558, align 4, !tbaa !5
  %560 = call ptr @s2n_strerror(i32 noundef %559, ptr noundef @.str.4)
  %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_debug(i32 noundef %562, ptr noundef @.str.4)
  %564 = call ptr @__errno_location() #12
  %565 = load i32, ptr %564, align 4, !tbaa !5
  %566 = call ptr @strerror(i32 noundef %565) #11
  %567 = call ptr @__errno_location() #12
  %568 = load i32, ptr %567, align 4, !tbaa !5
  %569 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %556, ptr noundef @.str.5, i32 noundef %557, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 99, ptr noundef %560, ptr noundef %563, ptr noundef %566, i32 noundef %568) #11
  br label %570

570:                                              ; preds = %553, %536
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #11
  br label %571

571:                                              ; preds = %570
  br label %572

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

573:                                              ; No predecessors!
  br label %574

574:                                              ; preds = %573
  br label %575

575:                                              ; preds = %574, %517
  br label %576

576:                                              ; preds = %575
  br label %577

577:                                              ; preds = %576
  %578 = getelementptr inbounds %struct.s2n_stuffer, ptr %15, i32 0, i32 2
  %579 = load i32, ptr %578, align 4, !tbaa !17
  %580 = getelementptr inbounds %struct.s2n_stuffer, ptr %15, i32 0, i32 1
  %581 = load i32, ptr %580, align 8, !tbaa !20
  %582 = sub i32 %579, %581
  %583 = load ptr, ptr %13, align 8, !tbaa !9
  %584 = getelementptr inbounds %struct.s2n_blob, ptr %583, i32 0, i32 1
  store i32 %582, ptr %584, align 8, !tbaa !21
  %585 = call i32 @s2n_stuffer_free(ptr noundef %17)
  call void @llvm.lifetime.end.p0(i64 40, ptr %17) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr %15) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #11
  br label %586

586:                                              ; preds = %577
  %587 = load i64, ptr %11, align 8, !tbaa !15
  %588 = add i64 %587, 1
  store i64 %588, ptr %11, align 8, !tbaa !15
  br label %251, !llvm.loop !22

589:                                              ; preds = %254
  call void @llvm.lifetime.start.p0(i64 272, ptr %21) #11
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %21, ptr align 16 @__const.main.test_cases, i64 272, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #11
  store i64 0, ptr %22, align 8, !tbaa !15
  br label %590

590:                                              ; preds = %884, %589
  %591 = load i64, ptr %22, align 8, !tbaa !15
  %592 = icmp ult i64 %591, 17
  br i1 %592, label %594, label %593

593:                                              ; preds = %590
  store i32 59, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #11
  br label %887

594:                                              ; preds = %590
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #11
  %595 = call ptr @s2n_cert_chain_and_key_new()
  store ptr %595, ptr %24, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #11
  %596 = load i64, ptr %22, align 8, !tbaa !15
  %597 = getelementptr inbounds [17 x %struct.s2n_test_case], ptr %21, i64 0, i64 %596
  store ptr %597, ptr %25, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 40, ptr %26) #11
  call void @llvm.memset.p0.i64(ptr align 8 %26, i8 0, i64 40, i1 false)
  br label %598

598:                                              ; preds = %594
  %599 = load i32, ptr @test_count, align 4, !tbaa !5
  %600 = add nsw i32 %599, 1
  store i32 %600, ptr @test_count, align 4, !tbaa !5
  %601 = load ptr, ptr %25, align 8, !tbaa !9
  %602 = getelementptr inbounds %struct.s2n_test_case, ptr %601, i32 0, i32 1
  %603 = load ptr, ptr %602, align 8, !tbaa !24
  %604 = call i64 @strlen(ptr noundef %603) #14
  %605 = trunc i64 %604 to i32
  %606 = call i32 @s2n_stuffer_alloc(ptr noundef %26, i32 noundef %605)
  %607 = icmp eq i32 %606, -1
  br i1 %607, label %608, label %661

608:                                              ; preds = %598
  br label %609

609:                                              ; preds = %608
  br label %610

610:                                              ; preds = %609
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #11
  %611 = call ptr @__errno_location() #12
  %612 = load i32, ptr %611, align 4, !tbaa !5
  store i32 %612, ptr %27, align 4, !tbaa !5
  %613 = load ptr, ptr @stderr, align 8, !tbaa !9
  %614 = call i32 @s2n_print_stacktrace(ptr noundef %613)
  %615 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %616 = trunc i8 %615 to i1
  br i1 %616, label %617, label %639

617:                                              ; preds = %610
  %618 = load ptr, ptr @stderr, align 8, !tbaa !9
  %619 = call i32 @fileno(ptr noundef %618) #11
  %620 = call i32 @isatty(i32 noundef %619) #11
  %621 = icmp ne i32 %620, 0
  br i1 %621, label %622, label %639

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

639:                                              ; preds = %617, %610
  %640 = load i32, ptr %27, align 4, !tbaa !5
  %641 = call ptr @__errno_location() #12
  store i32 %640, ptr %641, align 4, !tbaa !5
  %642 = load ptr, ptr @stderr, align 8, !tbaa !9
  %643 = load i32, ptr @test_count, align 4, !tbaa !5
  %644 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %645 = load i32, ptr %644, align 4, !tbaa !5
  %646 = call ptr @s2n_strerror(i32 noundef %645, ptr noundef @.str.4)
  %647 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %648 = load i32, ptr %647, align 4, !tbaa !5
  %649 = call ptr @s2n_strerror_debug(i32 noundef %648, ptr noundef @.str.4)
  %650 = call ptr @__errno_location() #12
  %651 = load i32, ptr %650, align 4, !tbaa !5
  %652 = call ptr @strerror(i32 noundef %651) #11
  %653 = call ptr @__errno_location() #12
  %654 = load i32, ptr %653, align 4, !tbaa !5
  %655 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %642, ptr noundef @.str.5, i32 noundef %643, ptr noundef @.str.50, ptr noundef @.str.1, i32 noundef 377, ptr noundef %646, ptr noundef %649, ptr noundef %652, i32 noundef %654) #11
  br label %656

656:                                              ; preds = %639, %622
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #11
  br label %657

657:                                              ; preds = %656
  br label %658

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

659:                                              ; No predecessors!
  br label %660

660:                                              ; preds = %659
  br label %661

661:                                              ; preds = %660, %598
  br label %662

662:                                              ; preds = %661
  br label %663

663:                                              ; preds = %662
  br label %664

664:                                              ; preds = %663
  %665 = load i32, ptr @test_count, align 4, !tbaa !5
  %666 = add nsw i32 %665, 1
  store i32 %666, ptr @test_count, align 4, !tbaa !5
  %667 = load ptr, ptr %25, align 8, !tbaa !9
  %668 = getelementptr inbounds %struct.s2n_test_case, ptr %667, i32 0, i32 1
  %669 = load ptr, ptr %668, align 8, !tbaa !24
  %670 = load ptr, ptr %25, align 8, !tbaa !9
  %671 = getelementptr inbounds %struct.s2n_test_case, ptr %670, i32 0, i32 1
  %672 = load ptr, ptr %671, align 8, !tbaa !24
  %673 = call i64 @strlen(ptr noundef %672) #14
  %674 = trunc i64 %673 to i32
  %675 = call i32 @s2n_stuffer_write_bytes(ptr noundef %26, ptr noundef %669, i32 noundef %674)
  %676 = icmp eq i32 %675, -1
  br i1 %676, label %677, label %730

677:                                              ; preds = %664
  br label %678

678:                                              ; preds = %677
  br label %679

679:                                              ; preds = %678
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #11
  %680 = call ptr @__errno_location() #12
  %681 = load i32, ptr %680, align 4, !tbaa !5
  store i32 %681, ptr %28, align 4, !tbaa !5
  %682 = load ptr, ptr @stderr, align 8, !tbaa !9
  %683 = call i32 @s2n_print_stacktrace(ptr noundef %682)
  %684 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %685 = trunc i8 %684 to i1
  br i1 %685, label %686, label %708

686:                                              ; preds = %679
  %687 = load ptr, ptr @stderr, align 8, !tbaa !9
  %688 = call i32 @fileno(ptr noundef %687) #11
  %689 = call i32 @isatty(i32 noundef %688) #11
  %690 = icmp ne i32 %689, 0
  br i1 %690, label %691, label %708

691:                                              ; preds = %686
  %692 = load i32, ptr %28, align 4, !tbaa !5
  %693 = call ptr @__errno_location() #12
  store i32 %692, ptr %693, align 4, !tbaa !5
  %694 = load ptr, ptr @stderr, align 8, !tbaa !9
  %695 = load i32, ptr @test_count, align 4, !tbaa !5
  %696 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %697 = load i32, ptr %696, align 4, !tbaa !5
  %698 = call ptr @s2n_strerror(i32 noundef %697, ptr noundef @.str.4)
  %699 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %700 = load i32, ptr %699, align 4, !tbaa !5
  %701 = call ptr @s2n_strerror_debug(i32 noundef %700, ptr noundef @.str.4)
  %702 = call ptr @__errno_location() #12
  %703 = load i32, ptr %702, align 4, !tbaa !5
  %704 = call ptr @strerror(i32 noundef %703) #11
  %705 = call ptr @__errno_location() #12
  %706 = load i32, ptr %705, align 4, !tbaa !5
  %707 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %694, ptr noundef @.str.2, i32 noundef %695, ptr noundef @.str.51, ptr noundef @.str.1, i32 noundef 378, ptr noundef %698, ptr noundef %701, ptr noundef %704, i32 noundef %706) #11
  br label %725

708:                                              ; preds = %686, %679
  %709 = load i32, ptr %28, align 4, !tbaa !5
  %710 = call ptr @__errno_location() #12
  store i32 %709, ptr %710, align 4, !tbaa !5
  %711 = load ptr, ptr @stderr, align 8, !tbaa !9
  %712 = load i32, ptr @test_count, align 4, !tbaa !5
  %713 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %714 = load i32, ptr %713, align 4, !tbaa !5
  %715 = call ptr @s2n_strerror(i32 noundef %714, ptr noundef @.str.4)
  %716 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %717 = load i32, ptr %716, align 4, !tbaa !5
  %718 = call ptr @s2n_strerror_debug(i32 noundef %717, ptr noundef @.str.4)
  %719 = call ptr @__errno_location() #12
  %720 = load i32, ptr %719, align 4, !tbaa !5
  %721 = call ptr @strerror(i32 noundef %720) #11
  %722 = call ptr @__errno_location() #12
  %723 = load i32, ptr %722, align 4, !tbaa !5
  %724 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %711, ptr noundef @.str.5, i32 noundef %712, ptr noundef @.str.51, ptr noundef @.str.1, i32 noundef 378, ptr noundef %715, ptr noundef %718, ptr noundef %721, i32 noundef %723) #11
  br label %725

725:                                              ; preds = %708, %691
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #11
  br label %726

726:                                              ; preds = %725
  br label %727

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

728:                                              ; No predecessors!
  br label %729

729:                                              ; preds = %728
  br label %730

730:                                              ; preds = %729, %664
  br label %731

731:                                              ; preds = %730
  br label %732

732:                                              ; preds = %731
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #11
  %733 = load ptr, ptr %24, align 8, !tbaa !9
  %734 = getelementptr inbounds %struct.s2n_cert_chain_and_key, ptr %733, i32 0, i32 0
  %735 = load ptr, ptr %734, align 8, !tbaa !26
  store ptr %735, ptr %29, align 8, !tbaa !9
  %736 = load ptr, ptr %29, align 8, !tbaa !9
  %737 = call i32 @s2n_create_cert_chain_from_stuffer(ptr noundef %736, ptr noundef %26)
  %738 = icmp ne i32 %737, 0
  br i1 %738, label %739, label %797

739:                                              ; preds = %732
  %740 = load ptr, ptr @stderr, align 8, !tbaa !9
  %741 = load ptr, ptr %25, align 8, !tbaa !9
  %742 = getelementptr inbounds %struct.s2n_test_case, ptr %741, i32 0, i32 0
  %743 = load ptr, ptr %742, align 8, !tbaa !28
  %744 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %740, ptr noundef @.str.52, ptr noundef %743) #11
  br label %745

745:                                              ; preds = %739
  br label %746

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

753:                                              ; preds = %746
  %754 = load ptr, ptr @stderr, align 8, !tbaa !9
  %755 = call i32 @fileno(ptr noundef %754) #11
  %756 = call i32 @isatty(i32 noundef %755) #11
  %757 = icmp ne i32 %756, 0
  br i1 %757, label %758, label %775

758:                                              ; preds = %753
  %759 = load i32, ptr %30, align 4, !tbaa !5
  %760 = call ptr @__errno_location() #12
  store i32 %759, ptr %760, align 4, !tbaa !5
  %761 = load ptr, ptr @stderr, align 8, !tbaa !9
  %762 = load i32, ptr @test_count, align 4, !tbaa !5
  %763 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %764 = load i32, ptr %763, align 4, !tbaa !5
  %765 = call ptr @s2n_strerror(i32 noundef %764, ptr noundef @.str.4)
  %766 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %767 = load i32, ptr %766, align 4, !tbaa !5
  %768 = call ptr @s2n_strerror_debug(i32 noundef %767, ptr noundef @.str.4)
  %769 = call ptr @__errno_location() #12
  %770 = load i32, ptr %769, align 4, !tbaa !5
  %771 = call ptr @strerror(i32 noundef %770) #11
  %772 = call ptr @__errno_location() #12
  %773 = load i32, ptr %772, align 4, !tbaa !5
  %774 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %761, ptr noundef @.str.2, i32 noundef %762, ptr noundef @.str.53, ptr noundef @.str.1, i32 noundef 383, ptr noundef %765, ptr noundef %768, ptr noundef %771, i32 noundef %773) #11
  br label %792

775:                                              ; preds = %753, %746
  %776 = load i32, ptr %30, align 4, !tbaa !5
  %777 = call ptr @__errno_location() #12
  store i32 %776, ptr %777, 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 @.str.4)
  %783 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %784 = load i32, ptr %783, align 4, !tbaa !5
  %785 = call ptr @s2n_strerror_debug(i32 noundef %784, ptr noundef @.str.4)
  %786 = call ptr @__errno_location() #12
  %787 = load i32, ptr %786, align 4, !tbaa !5
  %788 = call ptr @strerror(i32 noundef %787) #11
  %789 = call ptr @__errno_location() #12
  %790 = load i32, ptr %789, align 4, !tbaa !5
  %791 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %778, ptr noundef @.str.5, i32 noundef %779, ptr noundef @.str.53, ptr noundef @.str.1, i32 noundef 383, ptr noundef %782, ptr noundef %785, ptr noundef %788, i32 noundef %790) #11
  br label %792

792:                                              ; preds = %775, %758
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #11
  br label %793

793:                                              ; preds = %792
  br label %794

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

795:                                              ; No predecessors!
  br label %796

796:                                              ; preds = %795
  br label %797

797:                                              ; preds = %796, %732
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #11
  %798 = load ptr, ptr %29, align 8, !tbaa !9
  %799 = getelementptr inbounds %struct.s2n_cert_chain, ptr %798, i32 0, i32 1
  %800 = load ptr, ptr %799, align 8, !tbaa !29
  store ptr %800, ptr %31, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #11
  store i64 0, ptr %32, align 8, !tbaa !15
  br label %801

801:                                              ; preds = %877, %797
  %802 = load i64, ptr %32, align 8, !tbaa !15
  %803 = icmp ult i64 %802, 3
  br i1 %803, label %805, label %804

804:                                              ; preds = %801
  store i32 78, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #11
  br label %880

805:                                              ; preds = %801
  %806 = load ptr, ptr %31, align 8, !tbaa !9
  %807 = load i64, ptr %32, align 8, !tbaa !15
  %808 = getelementptr inbounds [3 x %struct.s2n_blob], ptr %10, i64 0, i64 %807
  %809 = call i32 @s2n_test_validate_cert(ptr noundef %806, ptr noundef %808)
  %810 = getelementptr inbounds %struct.s2n_result, ptr %33, i32 0, i32 0
  store i32 %809, ptr %810, align 4
  %811 = getelementptr inbounds %struct.s2n_result, ptr %33, i32 0, i32 0
  %812 = load i32, ptr %811, align 4
  %813 = call zeroext i1 @s2n_result_is_error(i32 %812)
  br i1 %813, label %814, label %873

814:                                              ; preds = %805
  %815 = load ptr, ptr @stderr, align 8, !tbaa !9
  %816 = load ptr, ptr %25, align 8, !tbaa !9
  %817 = getelementptr inbounds %struct.s2n_test_case, ptr %816, i32 0, i32 0
  %818 = load ptr, ptr %817, align 8, !tbaa !28
  %819 = load i64, ptr %32, align 8, !tbaa !15
  %820 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %815, ptr noundef @.str.54, ptr noundef %818, i64 noundef %819) #11
  br label %821

821:                                              ; preds = %814
  br label %822

822:                                              ; preds = %821
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #11
  %823 = call ptr @__errno_location() #12
  %824 = load i32, ptr %823, align 4, !tbaa !5
  store i32 %824, ptr %34, align 4, !tbaa !5
  %825 = load ptr, ptr @stderr, align 8, !tbaa !9
  %826 = call i32 @s2n_print_stacktrace(ptr noundef %825)
  %827 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %828 = trunc i8 %827 to i1
  br i1 %828, label %829, label %851

829:                                              ; preds = %822
  %830 = load ptr, ptr @stderr, align 8, !tbaa !9
  %831 = call i32 @fileno(ptr noundef %830) #11
  %832 = call i32 @isatty(i32 noundef %831) #11
  %833 = icmp ne i32 %832, 0
  br i1 %833, label %834, label %851

834:                                              ; preds = %829
  %835 = load i32, ptr %34, align 4, !tbaa !5
  %836 = call ptr @__errno_location() #12
  store i32 %835, ptr %836, align 4, !tbaa !5
  %837 = load ptr, ptr @stderr, align 8, !tbaa !9
  %838 = load i32, ptr @test_count, align 4, !tbaa !5
  %839 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %840 = load i32, ptr %839, align 4, !tbaa !5
  %841 = call ptr @s2n_strerror(i32 noundef %840, ptr noundef @.str.4)
  %842 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %843 = load i32, ptr %842, align 4, !tbaa !5
  %844 = call ptr @s2n_strerror_debug(i32 noundef %843, ptr noundef @.str.4)
  %845 = call ptr @__errno_location() #12
  %846 = load i32, ptr %845, align 4, !tbaa !5
  %847 = call ptr @strerror(i32 noundef %846) #11
  %848 = call ptr @__errno_location() #12
  %849 = load i32, ptr %848, align 4, !tbaa !5
  %850 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %837, ptr noundef @.str.2, i32 noundef %838, ptr noundef @.str.55, ptr noundef @.str.1, i32 noundef 390, ptr noundef %841, ptr noundef %844, ptr noundef %847, i32 noundef %849) #11
  br label %868

851:                                              ; preds = %829, %822
  %852 = load i32, ptr %34, align 4, !tbaa !5
  %853 = call ptr @__errno_location() #12
  store i32 %852, ptr %853, align 4, !tbaa !5
  %854 = load ptr, ptr @stderr, align 8, !tbaa !9
  %855 = load i32, ptr @test_count, align 4, !tbaa !5
  %856 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %857 = load i32, ptr %856, align 4, !tbaa !5
  %858 = call ptr @s2n_strerror(i32 noundef %857, ptr noundef @.str.4)
  %859 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %860 = load i32, ptr %859, align 4, !tbaa !5
  %861 = call ptr @s2n_strerror_debug(i32 noundef %860, ptr noundef @.str.4)
  %862 = call ptr @__errno_location() #12
  %863 = load i32, ptr %862, align 4, !tbaa !5
  %864 = call ptr @strerror(i32 noundef %863) #11
  %865 = call ptr @__errno_location() #12
  %866 = load i32, ptr %865, align 4, !tbaa !5
  %867 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %854, ptr noundef @.str.5, i32 noundef %855, ptr noundef @.str.55, ptr noundef @.str.1, i32 noundef 390, ptr noundef %858, ptr noundef %861, ptr noundef %864, i32 noundef %866) #11
  br label %868

868:                                              ; preds = %851, %834
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #11
  br label %869

869:                                              ; preds = %868
  br label %870

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

871:                                              ; No predecessors!
  br label %872

872:                                              ; preds = %871
  br label %873

873:                                              ; preds = %872, %805
  %874 = load ptr, ptr %31, align 8, !tbaa !9
  %875 = getelementptr inbounds %struct.s2n_cert, ptr %874, i32 0, i32 4
  %876 = load ptr, ptr %875, align 8, !tbaa !31
  store ptr %876, ptr %31, align 8, !tbaa !9
  br label %877

877:                                              ; preds = %873
  %878 = load i64, ptr %32, align 8, !tbaa !15
  %879 = add i64 %878, 1
  store i64 %879, ptr %32, align 8, !tbaa !15
  br label %801, !llvm.loop !35

880:                                              ; preds = %804
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #11
  %881 = call i32 @s2n_stuffer_free(ptr noundef %26)
  call void @llvm.lifetime.end.p0(i64 40, ptr %26) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #11
  %882 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef %24)
  %883 = getelementptr inbounds %struct.s2n_result, ptr %35, i32 0, i32 0
  store i32 %882, ptr %883, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #11
  br label %884

884:                                              ; preds = %880
  %885 = load i64, ptr %22, align 8, !tbaa !15
  %886 = add i64 %885, 1
  store i64 %886, ptr %22, align 8, !tbaa !15
  br label %590, !llvm.loop !36

887:                                              ; preds = %593
  call void @llvm.lifetime.start.p0(i64 224, ptr %36) #11
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %36, ptr align 16 @__const.main.bad_test_cases, i64 224, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #11
  store i64 0, ptr %37, align 8, !tbaa !15
  br label %888

888:                                              ; preds = %1099, %887
  %889 = load i64, ptr %37, align 8, !tbaa !15
  %890 = icmp ult i64 %889, 14
  br i1 %890, label %892, label %891

891:                                              ; preds = %888
  store i32 85, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #11
  br label %1102

892:                                              ; preds = %888
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #11
  %893 = call ptr @s2n_cert_chain_and_key_new()
  store ptr %893, ptr %38, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #11
  %894 = load i64, ptr %37, align 8, !tbaa !15
  %895 = getelementptr inbounds [14 x %struct.s2n_test_case], ptr %36, i64 0, i64 %894
  store ptr %895, ptr %39, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 40, ptr %40) #11
  call void @llvm.memset.p0.i64(ptr align 8 %40, i8 0, i64 40, i1 false)
  br label %896

896:                                              ; preds = %892
  %897 = load i32, ptr @test_count, align 4, !tbaa !5
  %898 = add nsw i32 %897, 1
  store i32 %898, ptr @test_count, align 4, !tbaa !5
  %899 = load ptr, ptr %39, align 8, !tbaa !9
  %900 = getelementptr inbounds %struct.s2n_test_case, ptr %899, i32 0, i32 1
  %901 = load ptr, ptr %900, align 8, !tbaa !24
  %902 = call i64 @strlen(ptr noundef %901) #14
  %903 = trunc i64 %902 to i32
  %904 = call i32 @s2n_stuffer_alloc(ptr noundef %40, i32 noundef %903)
  %905 = icmp eq i32 %904, -1
  br i1 %905, label %906, label %959

906:                                              ; preds = %896
  br label %907

907:                                              ; preds = %906
  br label %908

908:                                              ; preds = %907
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #11
  %909 = call ptr @__errno_location() #12
  %910 = load i32, ptr %909, align 4, !tbaa !5
  store i32 %910, ptr %41, align 4, !tbaa !5
  %911 = load ptr, ptr @stderr, align 8, !tbaa !9
  %912 = call i32 @s2n_print_stacktrace(ptr noundef %911)
  %913 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %914 = trunc i8 %913 to i1
  br i1 %914, label %915, label %937

915:                                              ; preds = %908
  %916 = load ptr, ptr @stderr, align 8, !tbaa !9
  %917 = call i32 @fileno(ptr noundef %916) #11
  %918 = call i32 @isatty(i32 noundef %917) #11
  %919 = icmp ne i32 %918, 0
  br i1 %919, label %920, label %937

920:                                              ; preds = %915
  %921 = load i32, ptr %41, align 4, !tbaa !5
  %922 = call ptr @__errno_location() #12
  store i32 %921, ptr %922, align 4, !tbaa !5
  %923 = load ptr, ptr @stderr, align 8, !tbaa !9
  %924 = load i32, ptr @test_count, align 4, !tbaa !5
  %925 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %926 = load i32, ptr %925, align 4, !tbaa !5
  %927 = call ptr @s2n_strerror(i32 noundef %926, ptr noundef @.str.4)
  %928 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %929 = load i32, ptr %928, align 4, !tbaa !5
  %930 = call ptr @s2n_strerror_debug(i32 noundef %929, ptr noundef @.str.4)
  %931 = call ptr @__errno_location() #12
  %932 = load i32, ptr %931, align 4, !tbaa !5
  %933 = call ptr @strerror(i32 noundef %932) #11
  %934 = call ptr @__errno_location() #12
  %935 = load i32, ptr %934, align 4, !tbaa !5
  %936 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %923, ptr noundef @.str.2, i32 noundef %924, ptr noundef @.str.84, ptr noundef @.str.1, i32 noundef 519, ptr noundef %927, ptr noundef %930, ptr noundef %933, i32 noundef %935) #11
  br label %954

937:                                              ; preds = %915, %908
  %938 = load i32, ptr %41, align 4, !tbaa !5
  %939 = call ptr @__errno_location() #12
  store i32 %938, ptr %939, align 4, !tbaa !5
  %940 = load ptr, ptr @stderr, align 8, !tbaa !9
  %941 = load i32, ptr @test_count, align 4, !tbaa !5
  %942 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %943 = load i32, ptr %942, align 4, !tbaa !5
  %944 = call ptr @s2n_strerror(i32 noundef %943, ptr noundef @.str.4)
  %945 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %946 = load i32, ptr %945, align 4, !tbaa !5
  %947 = call ptr @s2n_strerror_debug(i32 noundef %946, ptr noundef @.str.4)
  %948 = call ptr @__errno_location() #12
  %949 = load i32, ptr %948, align 4, !tbaa !5
  %950 = call ptr @strerror(i32 noundef %949) #11
  %951 = call ptr @__errno_location() #12
  %952 = load i32, ptr %951, align 4, !tbaa !5
  %953 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %940, ptr noundef @.str.5, i32 noundef %941, ptr noundef @.str.84, ptr noundef @.str.1, i32 noundef 519, ptr noundef %944, ptr noundef %947, ptr noundef %950, i32 noundef %952) #11
  br label %954

954:                                              ; preds = %937, %920
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #11
  br label %955

955:                                              ; preds = %954
  br label %956

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

957:                                              ; No predecessors!
  br label %958

958:                                              ; preds = %957
  br label %959

959:                                              ; preds = %958, %896
  br label %960

960:                                              ; preds = %959
  br label %961

961:                                              ; preds = %960
  br label %962

962:                                              ; preds = %961
  %963 = load i32, ptr @test_count, align 4, !tbaa !5
  %964 = add nsw i32 %963, 1
  store i32 %964, ptr @test_count, align 4, !tbaa !5
  %965 = load ptr, ptr %39, align 8, !tbaa !9
  %966 = getelementptr inbounds %struct.s2n_test_case, ptr %965, i32 0, i32 1
  %967 = load ptr, ptr %966, align 8, !tbaa !24
  %968 = load ptr, ptr %39, align 8, !tbaa !9
  %969 = getelementptr inbounds %struct.s2n_test_case, ptr %968, i32 0, i32 1
  %970 = load ptr, ptr %969, align 8, !tbaa !24
  %971 = call i64 @strlen(ptr noundef %970) #14
  %972 = trunc i64 %971 to i32
  %973 = call i32 @s2n_stuffer_write_bytes(ptr noundef %40, ptr noundef %967, i32 noundef %972)
  %974 = icmp eq i32 %973, -1
  br i1 %974, label %975, label %1028

975:                                              ; preds = %962
  br label %976

976:                                              ; preds = %975
  br label %977

977:                                              ; preds = %976
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #11
  %978 = call ptr @__errno_location() #12
  %979 = load i32, ptr %978, align 4, !tbaa !5
  store i32 %979, ptr %42, align 4, !tbaa !5
  %980 = load ptr, ptr @stderr, align 8, !tbaa !9
  %981 = call i32 @s2n_print_stacktrace(ptr noundef %980)
  %982 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %983 = trunc i8 %982 to i1
  br i1 %983, label %984, label %1006

984:                                              ; preds = %977
  %985 = load ptr, ptr @stderr, align 8, !tbaa !9
  %986 = call i32 @fileno(ptr noundef %985) #11
  %987 = call i32 @isatty(i32 noundef %986) #11
  %988 = icmp ne i32 %987, 0
  br i1 %988, label %989, label %1006

989:                                              ; preds = %984
  %990 = load i32, ptr %42, align 4, !tbaa !5
  %991 = call ptr @__errno_location() #12
  store i32 %990, ptr %991, align 4, !tbaa !5
  %992 = load ptr, ptr @stderr, align 8, !tbaa !9
  %993 = load i32, ptr @test_count, align 4, !tbaa !5
  %994 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %995 = load i32, ptr %994, align 4, !tbaa !5
  %996 = call ptr @s2n_strerror(i32 noundef %995, ptr noundef @.str.4)
  %997 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %998 = load i32, ptr %997, align 4, !tbaa !5
  %999 = call ptr @s2n_strerror_debug(i32 noundef %998, ptr noundef @.str.4)
  %1000 = call ptr @__errno_location() #12
  %1001 = load i32, ptr %1000, align 4, !tbaa !5
  %1002 = call ptr @strerror(i32 noundef %1001) #11
  %1003 = call ptr @__errno_location() #12
  %1004 = load i32, ptr %1003, align 4, !tbaa !5
  %1005 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %992, ptr noundef @.str.2, i32 noundef %993, ptr noundef @.str.85, ptr noundef @.str.1, i32 noundef 520, ptr noundef %996, ptr noundef %999, ptr noundef %1002, i32 noundef %1004) #11
  br label %1023

1006:                                             ; preds = %984, %977
  %1007 = load i32, ptr %42, align 4, !tbaa !5
  %1008 = call ptr @__errno_location() #12
  store i32 %1007, ptr %1008, align 4, !tbaa !5
  %1009 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1010 = load i32, ptr @test_count, align 4, !tbaa !5
  %1011 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1012 = load i32, ptr %1011, align 4, !tbaa !5
  %1013 = call ptr @s2n_strerror(i32 noundef %1012, ptr noundef @.str.4)
  %1014 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1015 = load i32, ptr %1014, align 4, !tbaa !5
  %1016 = call ptr @s2n_strerror_debug(i32 noundef %1015, ptr noundef @.str.4)
  %1017 = call ptr @__errno_location() #12
  %1018 = load i32, ptr %1017, align 4, !tbaa !5
  %1019 = call ptr @strerror(i32 noundef %1018) #11
  %1020 = call ptr @__errno_location() #12
  %1021 = load i32, ptr %1020, align 4, !tbaa !5
  %1022 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1009, ptr noundef @.str.5, i32 noundef %1010, ptr noundef @.str.85, ptr noundef @.str.1, i32 noundef 520, ptr noundef %1013, ptr noundef %1016, ptr noundef %1019, i32 noundef %1021) #11
  br label %1023

1023:                                             ; preds = %1006, %989
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #11
  br label %1024

1024:                                             ; preds = %1023
  br label %1025

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

1026:                                             ; No predecessors!
  br label %1027

1027:                                             ; preds = %1026
  br label %1028

1028:                                             ; preds = %1027, %962
  br label %1029

1029:                                             ; preds = %1028
  br label %1030

1030:                                             ; preds = %1029
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #11
  %1031 = load ptr, ptr %38, align 8, !tbaa !9
  %1032 = getelementptr inbounds %struct.s2n_cert_chain_and_key, ptr %1031, i32 0, i32 0
  %1033 = load ptr, ptr %1032, align 8, !tbaa !26
  store ptr %1033, ptr %43, align 8, !tbaa !9
  %1034 = load ptr, ptr %43, align 8, !tbaa !9
  %1035 = call i32 @s2n_create_cert_chain_from_stuffer(ptr noundef %1034, ptr noundef %40)
  %1036 = icmp eq i32 %1035, 0
  br i1 %1036, label %1037, label %1095

1037:                                             ; preds = %1030
  %1038 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1039 = load ptr, ptr %39, align 8, !tbaa !9
  %1040 = getelementptr inbounds %struct.s2n_test_case, ptr %1039, i32 0, i32 0
  %1041 = load ptr, ptr %1040, align 8, !tbaa !28
  %1042 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1038, ptr noundef @.str.86, ptr noundef %1041) #11
  br label %1043

1043:                                             ; preds = %1037
  br label %1044

1044:                                             ; preds = %1043
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #11
  %1045 = call ptr @__errno_location() #12
  %1046 = load i32, ptr %1045, align 4, !tbaa !5
  store i32 %1046, ptr %44, align 4, !tbaa !5
  %1047 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1048 = call i32 @s2n_print_stacktrace(ptr noundef %1047)
  %1049 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1050 = trunc i8 %1049 to i1
  br i1 %1050, label %1051, label %1073

1051:                                             ; preds = %1044
  %1052 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1053 = call i32 @fileno(ptr noundef %1052) #11
  %1054 = call i32 @isatty(i32 noundef %1053) #11
  %1055 = icmp ne i32 %1054, 0
  br i1 %1055, label %1056, label %1073

1056:                                             ; preds = %1051
  %1057 = load i32, ptr %44, align 4, !tbaa !5
  %1058 = call ptr @__errno_location() #12
  store i32 %1057, ptr %1058, align 4, !tbaa !5
  %1059 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1060 = load i32, ptr @test_count, align 4, !tbaa !5
  %1061 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1062 = load i32, ptr %1061, align 4, !tbaa !5
  %1063 = call ptr @s2n_strerror(i32 noundef %1062, ptr noundef @.str.4)
  %1064 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1065 = load i32, ptr %1064, align 4, !tbaa !5
  %1066 = call ptr @s2n_strerror_debug(i32 noundef %1065, ptr noundef @.str.4)
  %1067 = call ptr @__errno_location() #12
  %1068 = load i32, ptr %1067, align 4, !tbaa !5
  %1069 = call ptr @strerror(i32 noundef %1068) #11
  %1070 = call ptr @__errno_location() #12
  %1071 = load i32, ptr %1070, align 4, !tbaa !5
  %1072 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1059, ptr noundef @.str.2, i32 noundef %1060, ptr noundef @.str.87, ptr noundef @.str.1, i32 noundef 525, ptr noundef %1063, ptr noundef %1066, ptr noundef %1069, i32 noundef %1071) #11
  br label %1090

1073:                                             ; preds = %1051, %1044
  %1074 = load i32, ptr %44, align 4, !tbaa !5
  %1075 = call ptr @__errno_location() #12
  store i32 %1074, ptr %1075, align 4, !tbaa !5
  %1076 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1077 = load i32, ptr @test_count, align 4, !tbaa !5
  %1078 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1079 = load i32, ptr %1078, align 4, !tbaa !5
  %1080 = call ptr @s2n_strerror(i32 noundef %1079, ptr noundef @.str.4)
  %1081 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1082 = load i32, ptr %1081, align 4, !tbaa !5
  %1083 = call ptr @s2n_strerror_debug(i32 noundef %1082, ptr noundef @.str.4)
  %1084 = call ptr @__errno_location() #12
  %1085 = load i32, ptr %1084, align 4, !tbaa !5
  %1086 = call ptr @strerror(i32 noundef %1085) #11
  %1087 = call ptr @__errno_location() #12
  %1088 = load i32, ptr %1087, align 4, !tbaa !5
  %1089 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1076, ptr noundef @.str.5, i32 noundef %1077, ptr noundef @.str.87, ptr noundef @.str.1, i32 noundef 525, ptr noundef %1080, ptr noundef %1083, ptr noundef %1086, i32 noundef %1088) #11
  br label %1090

1090:                                             ; preds = %1073, %1056
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #11
  br label %1091

1091:                                             ; preds = %1090
  br label %1092

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

1093:                                             ; No predecessors!
  br label %1094

1094:                                             ; preds = %1093
  br label %1095

1095:                                             ; preds = %1094, %1030
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #11
  %1096 = call i32 @s2n_stuffer_free(ptr noundef %40)
  call void @llvm.lifetime.end.p0(i64 40, ptr %40) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #11
  %1097 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef %38)
  %1098 = getelementptr inbounds %struct.s2n_result, ptr %45, i32 0, i32 0
  store i32 %1097, ptr %1098, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #11
  br label %1099

1099:                                             ; preds = %1095
  %1100 = load i64, ptr %37, align 8, !tbaa !15
  %1101 = add i64 %1100, 1
  store i64 %1101, ptr %37, align 8, !tbaa !15
  br label %888, !llvm.loop !37

1102:                                             ; preds = %891
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #11
  %1103 = getelementptr inbounds [17 x %struct.s2n_test_case], ptr %21, i64 0, i64 0
  %1104 = getelementptr inbounds %struct.s2n_test_case, ptr %1103, i32 0, i32 1
  %1105 = load ptr, ptr %1104, align 8, !tbaa !24
  store ptr %1105, ptr %46, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #11
  store i64 0, ptr %47, align 8, !tbaa !15
  br label %1106

1106:                                             ; preds = %1577, %1102
  %1107 = load i64, ptr %47, align 8, !tbaa !15
  %1108 = icmp ult i64 %1107, 14
  br i1 %1108, label %1110, label %1109

1109:                                             ; preds = %1106
  store i32 104, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #11
  br label %1580

1110:                                             ; preds = %1106
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #11
  %1111 = load i64, ptr %47, align 8, !tbaa !15
  %1112 = getelementptr inbounds [14 x %struct.s2n_test_case], ptr %36, i64 0, i64 %1111
  store ptr %1112, ptr %48, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #11
  %1113 = load ptr, ptr %48, align 8, !tbaa !9
  %1114 = getelementptr inbounds %struct.s2n_test_case, ptr %1113, i32 0, i32 1
  %1115 = load ptr, ptr %1114, align 8, !tbaa !24
  %1116 = call i64 @strlen(ptr noundef %1115) #14
  %1117 = load ptr, ptr %46, align 8, !tbaa !9
  %1118 = call i64 @strlen(ptr noundef %1117) #14
  %1119 = add i64 %1116, %1118
  %1120 = add i64 %1119, 1
  store i64 %1120, ptr %49, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 40, ptr %50) #11
  call void @llvm.memset.p0.i64(ptr align 8 %50, i8 0, i64 40, i1 false)
  br label %1121

1121:                                             ; preds = %1110
  %1122 = load i32, ptr @test_count, align 4, !tbaa !5
  %1123 = add nsw i32 %1122, 1
  store i32 %1123, ptr @test_count, align 4, !tbaa !5
  %1124 = load i64, ptr %49, align 8, !tbaa !15
  %1125 = trunc i64 %1124 to i32
  %1126 = call i32 @s2n_stuffer_alloc(ptr noundef %50, i32 noundef %1125)
  %1127 = icmp eq i32 %1126, -1
  br i1 %1127, label %1128, label %1181

1128:                                             ; preds = %1121
  br label %1129

1129:                                             ; preds = %1128
  br label %1130

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

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

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

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

1176:                                             ; preds = %1159, %1142
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #11
  br label %1177

1177:                                             ; preds = %1176
  br label %1178

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

1179:                                             ; No predecessors!
  br label %1180

1180:                                             ; preds = %1179
  br label %1181

1181:                                             ; preds = %1180, %1121
  br label %1182

1182:                                             ; preds = %1181
  br label %1183

1183:                                             ; preds = %1182
  br label %1184

1184:                                             ; preds = %1183
  %1185 = load i32, ptr @test_count, align 4, !tbaa !5
  %1186 = add nsw i32 %1185, 1
  store i32 %1186, ptr @test_count, align 4, !tbaa !5
  %1187 = load ptr, ptr %46, align 8, !tbaa !9
  %1188 = load ptr, ptr %46, align 8, !tbaa !9
  %1189 = call i64 @strlen(ptr noundef %1188) #14
  %1190 = trunc i64 %1189 to i32
  %1191 = call i32 @s2n_stuffer_write_bytes(ptr noundef %50, ptr noundef %1187, i32 noundef %1190)
  %1192 = icmp eq i32 %1191, -1
  br i1 %1192, label %1193, label %1246

1193:                                             ; preds = %1184
  br label %1194

1194:                                             ; preds = %1193
  br label %1195

1195:                                             ; preds = %1194
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #11
  %1196 = call ptr @__errno_location() #12
  %1197 = load i32, ptr %1196, align 4, !tbaa !5
  store i32 %1197, ptr %52, 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 %52, 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.89, ptr noundef @.str.1, i32 noundef 542, ptr noundef %1214, ptr noundef %1217, ptr noundef %1220, i32 noundef %1222) #11
  br label %1241

1224:                                             ; preds = %1202, %1195
  %1225 = load i32, ptr %52, 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.89, ptr noundef @.str.1, i32 noundef 542, 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 %52) #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, %1184
  br label %1247

1247:                                             ; preds = %1246
  br label %1248

1248:                                             ; preds = %1247
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #11
  %1249 = call ptr @s2n_cert_chain_and_key_new()
  store ptr %1249, ptr %53, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #11
  %1250 = load ptr, ptr %53, align 8, !tbaa !9
  %1251 = getelementptr inbounds %struct.s2n_cert_chain_and_key, ptr %1250, i32 0, i32 0
  %1252 = load ptr, ptr %1251, align 8, !tbaa !26
  store ptr %1252, ptr %54, align 8, !tbaa !9
  br label %1253

1253:                                             ; preds = %1248
  %1254 = load i32, ptr @test_count, align 4, !tbaa !5
  %1255 = add nsw i32 %1254, 1
  store i32 %1255, ptr @test_count, align 4, !tbaa !5
  %1256 = load ptr, ptr %54, align 8, !tbaa !9
  %1257 = call i32 @s2n_create_cert_chain_from_stuffer(ptr noundef %1256, ptr noundef %50)
  %1258 = icmp eq i32 %1257, -1
  br i1 %1258, label %1259, label %1312

1259:                                             ; preds = %1253
  br label %1260

1260:                                             ; preds = %1259
  br label %1261

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

1268:                                             ; preds = %1261
  %1269 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1270 = call i32 @fileno(ptr noundef %1269) #11
  %1271 = call i32 @isatty(i32 noundef %1270) #11
  %1272 = icmp ne i32 %1271, 0
  br i1 %1272, label %1273, label %1290

1273:                                             ; preds = %1268
  %1274 = load i32, ptr %55, align 4, !tbaa !5
  %1275 = call ptr @__errno_location() #12
  store i32 %1274, ptr %1275, align 4, !tbaa !5
  %1276 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1277 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %1279, ptr noundef @.str.4)
  %1281 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1282 = load i32, ptr %1281, align 4, !tbaa !5
  %1283 = call ptr @s2n_strerror_debug(i32 noundef %1282, ptr noundef @.str.4)
  %1284 = call ptr @__errno_location() #12
  %1285 = load i32, ptr %1284, align 4, !tbaa !5
  %1286 = call ptr @strerror(i32 noundef %1285) #11
  %1287 = call ptr @__errno_location() #12
  %1288 = load i32, ptr %1287, align 4, !tbaa !5
  %1289 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1276, ptr noundef @.str.2, i32 noundef %1277, ptr noundef @.str.90, ptr noundef @.str.1, i32 noundef 548, ptr noundef %1280, ptr noundef %1283, ptr noundef %1286, i32 noundef %1288) #11
  br label %1307

1290:                                             ; preds = %1268, %1261
  %1291 = load i32, ptr %55, align 4, !tbaa !5
  %1292 = call ptr @__errno_location() #12
  store i32 %1291, ptr %1292, align 4, !tbaa !5
  %1293 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1294 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %1296, ptr noundef @.str.4)
  %1298 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1299 = load i32, ptr %1298, align 4, !tbaa !5
  %1300 = call ptr @s2n_strerror_debug(i32 noundef %1299, ptr noundef @.str.4)
  %1301 = call ptr @__errno_location() #12
  %1302 = load i32, ptr %1301, align 4, !tbaa !5
  %1303 = call ptr @strerror(i32 noundef %1302) #11
  %1304 = call ptr @__errno_location() #12
  %1305 = load i32, ptr %1304, align 4, !tbaa !5
  %1306 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1293, ptr noundef @.str.5, i32 noundef %1294, ptr noundef @.str.90, ptr noundef @.str.1, i32 noundef 548, ptr noundef %1297, ptr noundef %1300, ptr noundef %1303, i32 noundef %1305) #11
  br label %1307

1307:                                             ; preds = %1290, %1273
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #11
  br label %1308

1308:                                             ; preds = %1307
  br label %1309

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

1310:                                             ; No predecessors!
  br label %1311

1311:                                             ; preds = %1310
  br label %1312

1312:                                             ; preds = %1311, %1253
  br label %1313

1313:                                             ; preds = %1312
  br label %1314

1314:                                             ; preds = %1313
  br label %1315

1315:                                             ; preds = %1314
  %1316 = load i32, ptr @test_count, align 4, !tbaa !5
  %1317 = add nsw i32 %1316, 1
  store i32 %1317, ptr @test_count, align 4, !tbaa !5
  %1318 = call i32 @s2n_stuffer_write_uint8(ptr noundef %50, i8 noundef zeroext 10)
  %1319 = icmp eq i32 %1318, -1
  br i1 %1319, label %1320, label %1373

1320:                                             ; preds = %1315
  br label %1321

1321:                                             ; preds = %1320
  br label %1322

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

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

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

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

1368:                                             ; preds = %1351, %1334
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #11
  br label %1369

1369:                                             ; preds = %1368
  br label %1370

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

1371:                                             ; No predecessors!
  br label %1372

1372:                                             ; preds = %1371
  br label %1373

1373:                                             ; preds = %1372, %1315
  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 = load ptr, ptr %48, align 8, !tbaa !9
  %1380 = getelementptr inbounds %struct.s2n_test_case, ptr %1379, i32 0, i32 1
  %1381 = load ptr, ptr %1380, align 8, !tbaa !24
  %1382 = load ptr, ptr %48, align 8, !tbaa !9
  %1383 = getelementptr inbounds %struct.s2n_test_case, ptr %1382, i32 0, i32 1
  %1384 = load ptr, ptr %1383, align 8, !tbaa !24
  %1385 = call i64 @strlen(ptr noundef %1384) #14
  %1386 = trunc i64 %1385 to i32
  %1387 = call i32 @s2n_stuffer_write_bytes(ptr noundef %50, ptr noundef %1381, i32 noundef %1386)
  %1388 = icmp eq i32 %1387, -1
  br i1 %1388, label %1389, label %1442

1389:                                             ; preds = %1376
  br label %1390

1390:                                             ; preds = %1389
  br label %1391

1391:                                             ; preds = %1390
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #11
  %1392 = call ptr @__errno_location() #12
  %1393 = load i32, ptr %1392, align 4, !tbaa !5
  store i32 %1393, ptr %57, align 4, !tbaa !5
  %1394 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1395 = call i32 @s2n_print_stacktrace(ptr noundef %1394)
  %1396 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1397 = trunc i8 %1396 to i1
  br i1 %1397, label %1398, label %1420

1398:                                             ; preds = %1391
  %1399 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1400 = call i32 @fileno(ptr noundef %1399) #11
  %1401 = call i32 @isatty(i32 noundef %1400) #11
  %1402 = icmp ne i32 %1401, 0
  br i1 %1402, label %1403, label %1420

1403:                                             ; preds = %1398
  %1404 = load i32, ptr %57, align 4, !tbaa !5
  %1405 = call ptr @__errno_location() #12
  store i32 %1404, ptr %1405, align 4, !tbaa !5
  %1406 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1407 = load i32, ptr @test_count, align 4, !tbaa !5
  %1408 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1409 = load i32, ptr %1408, align 4, !tbaa !5
  %1410 = call ptr @s2n_strerror(i32 noundef %1409, ptr noundef @.str.4)
  %1411 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1412 = load i32, ptr %1411, align 4, !tbaa !5
  %1413 = call ptr @s2n_strerror_debug(i32 noundef %1412, ptr noundef @.str.4)
  %1414 = call ptr @__errno_location() #12
  %1415 = load i32, ptr %1414, align 4, !tbaa !5
  %1416 = call ptr @strerror(i32 noundef %1415) #11
  %1417 = call ptr @__errno_location() #12
  %1418 = load i32, ptr %1417, align 4, !tbaa !5
  %1419 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1406, ptr noundef @.str.2, i32 noundef %1407, ptr noundef @.str.85, ptr noundef @.str.1, i32 noundef 552, ptr noundef %1410, ptr noundef %1413, ptr noundef %1416, i32 noundef %1418) #11
  br label %1437

1420:                                             ; preds = %1398, %1391
  %1421 = load i32, ptr %57, align 4, !tbaa !5
  %1422 = call ptr @__errno_location() #12
  store i32 %1421, ptr %1422, align 4, !tbaa !5
  %1423 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1424 = load i32, ptr @test_count, align 4, !tbaa !5
  %1425 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1426 = load i32, ptr %1425, align 4, !tbaa !5
  %1427 = call ptr @s2n_strerror(i32 noundef %1426, ptr noundef @.str.4)
  %1428 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1429 = load i32, ptr %1428, align 4, !tbaa !5
  %1430 = call ptr @s2n_strerror_debug(i32 noundef %1429, ptr noundef @.str.4)
  %1431 = call ptr @__errno_location() #12
  %1432 = load i32, ptr %1431, align 4, !tbaa !5
  %1433 = call ptr @strerror(i32 noundef %1432) #11
  %1434 = call ptr @__errno_location() #12
  %1435 = load i32, ptr %1434, align 4, !tbaa !5
  %1436 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1423, ptr noundef @.str.5, i32 noundef %1424, ptr noundef @.str.85, ptr noundef @.str.1, i32 noundef 552, ptr noundef %1427, ptr noundef %1430, ptr noundef %1433, i32 noundef %1435) #11
  br label %1437

1437:                                             ; preds = %1420, %1403
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #11
  br label %1438

1438:                                             ; preds = %1437
  br label %1439

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

1440:                                             ; No predecessors!
  br label %1441

1441:                                             ; preds = %1440
  br label %1442

1442:                                             ; preds = %1441, %1376
  br label %1443

1443:                                             ; preds = %1442
  br label %1444

1444:                                             ; preds = %1443
  br label %1445

1445:                                             ; preds = %1444
  %1446 = load i32, ptr @test_count, align 4, !tbaa !5
  %1447 = add nsw i32 %1446, 1
  store i32 %1447, ptr @test_count, align 4, !tbaa !5
  %1448 = call i32 @s2n_stuffer_reread(ptr noundef %50)
  %1449 = icmp eq i32 %1448, -1
  br i1 %1449, label %1450, label %1503

1450:                                             ; preds = %1445
  br label %1451

1451:                                             ; preds = %1450
  br label %1452

1452:                                             ; preds = %1451
  call void @llvm.lifetime.start.p0(i64 4, ptr %58) #11
  %1453 = call ptr @__errno_location() #12
  %1454 = load i32, ptr %1453, align 4, !tbaa !5
  store i32 %1454, ptr %58, align 4, !tbaa !5
  %1455 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1456 = call i32 @s2n_print_stacktrace(ptr noundef %1455)
  %1457 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1458 = trunc i8 %1457 to i1
  br i1 %1458, label %1459, label %1481

1459:                                             ; preds = %1452
  %1460 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1461 = call i32 @fileno(ptr noundef %1460) #11
  %1462 = call i32 @isatty(i32 noundef %1461) #11
  %1463 = icmp ne i32 %1462, 0
  br i1 %1463, label %1464, label %1481

1464:                                             ; preds = %1459
  %1465 = load i32, ptr %58, align 4, !tbaa !5
  %1466 = call ptr @__errno_location() #12
  store i32 %1465, ptr %1466, align 4, !tbaa !5
  %1467 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1468 = load i32, ptr @test_count, align 4, !tbaa !5
  %1469 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1470 = load i32, ptr %1469, align 4, !tbaa !5
  %1471 = call ptr @s2n_strerror(i32 noundef %1470, ptr noundef @.str.4)
  %1472 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1473 = load i32, ptr %1472, align 4, !tbaa !5
  %1474 = call ptr @s2n_strerror_debug(i32 noundef %1473, ptr noundef @.str.4)
  %1475 = call ptr @__errno_location() #12
  %1476 = load i32, ptr %1475, align 4, !tbaa !5
  %1477 = call ptr @strerror(i32 noundef %1476) #11
  %1478 = call ptr @__errno_location() #12
  %1479 = load i32, ptr %1478, align 4, !tbaa !5
  %1480 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1467, ptr noundef @.str.2, i32 noundef %1468, ptr noundef @.str.92, ptr noundef @.str.1, i32 noundef 553, ptr noundef %1471, ptr noundef %1474, ptr noundef %1477, i32 noundef %1479) #11
  br label %1498

1481:                                             ; preds = %1459, %1452
  %1482 = load i32, ptr %58, align 4, !tbaa !5
  %1483 = call ptr @__errno_location() #12
  store i32 %1482, ptr %1483, align 4, !tbaa !5
  %1484 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1485 = load i32, ptr @test_count, align 4, !tbaa !5
  %1486 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1487 = load i32, ptr %1486, align 4, !tbaa !5
  %1488 = call ptr @s2n_strerror(i32 noundef %1487, ptr noundef @.str.4)
  %1489 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1490 = load i32, ptr %1489, align 4, !tbaa !5
  %1491 = call ptr @s2n_strerror_debug(i32 noundef %1490, ptr noundef @.str.4)
  %1492 = call ptr @__errno_location() #12
  %1493 = load i32, ptr %1492, align 4, !tbaa !5
  %1494 = call ptr @strerror(i32 noundef %1493) #11
  %1495 = call ptr @__errno_location() #12
  %1496 = load i32, ptr %1495, align 4, !tbaa !5
  %1497 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1484, ptr noundef @.str.5, i32 noundef %1485, ptr noundef @.str.92, ptr noundef @.str.1, i32 noundef 553, ptr noundef %1488, ptr noundef %1491, ptr noundef %1494, i32 noundef %1496) #11
  br label %1498

1498:                                             ; preds = %1481, %1464
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #11
  br label %1499

1499:                                             ; preds = %1498
  br label %1500

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

1501:                                             ; No predecessors!
  br label %1502

1502:                                             ; preds = %1501
  br label %1503

1503:                                             ; preds = %1502, %1445
  br label %1504

1504:                                             ; preds = %1503
  br label %1505

1505:                                             ; preds = %1504
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #11
  %1506 = call ptr @s2n_cert_chain_and_key_new()
  store ptr %1506, ptr %59, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #11
  %1507 = load ptr, ptr %59, align 8, !tbaa !9
  %1508 = getelementptr inbounds %struct.s2n_cert_chain_and_key, ptr %1507, i32 0, i32 0
  %1509 = load ptr, ptr %1508, align 8, !tbaa !26
  store ptr %1509, ptr %60, align 8, !tbaa !9
  %1510 = load ptr, ptr %60, align 8, !tbaa !9
  %1511 = call i32 @s2n_create_cert_chain_from_stuffer(ptr noundef %1510, ptr noundef %50)
  %1512 = icmp eq i32 %1511, 0
  br i1 %1512, label %1513, label %1571

1513:                                             ; preds = %1505
  %1514 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1515 = load ptr, ptr %48, align 8, !tbaa !9
  %1516 = getelementptr inbounds %struct.s2n_test_case, ptr %1515, i32 0, i32 0
  %1517 = load ptr, ptr %1516, align 8, !tbaa !28
  %1518 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1514, ptr noundef @.str.86, ptr noundef %1517) #11
  br label %1519

1519:                                             ; preds = %1513
  br label %1520

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

1527:                                             ; preds = %1520
  %1528 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1529 = call i32 @fileno(ptr noundef %1528) #11
  %1530 = call i32 @isatty(i32 noundef %1529) #11
  %1531 = icmp ne i32 %1530, 0
  br i1 %1531, label %1532, label %1549

1532:                                             ; preds = %1527
  %1533 = load i32, ptr %61, align 4, !tbaa !5
  %1534 = call ptr @__errno_location() #12
  store i32 %1533, ptr %1534, align 4, !tbaa !5
  %1535 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1536 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %1538, ptr noundef @.str.4)
  %1540 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1541 = load i32, ptr %1540, align 4, !tbaa !5
  %1542 = call ptr @s2n_strerror_debug(i32 noundef %1541, ptr noundef @.str.4)
  %1543 = call ptr @__errno_location() #12
  %1544 = load i32, ptr %1543, align 4, !tbaa !5
  %1545 = call ptr @strerror(i32 noundef %1544) #11
  %1546 = call ptr @__errno_location() #12
  %1547 = load i32, ptr %1546, align 4, !tbaa !5
  %1548 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1535, ptr noundef @.str.2, i32 noundef %1536, ptr noundef @.str.87, ptr noundef @.str.1, i32 noundef 561, ptr noundef %1539, ptr noundef %1542, ptr noundef %1545, i32 noundef %1547) #11
  br label %1566

1549:                                             ; preds = %1527, %1520
  %1550 = load i32, ptr %61, align 4, !tbaa !5
  %1551 = call ptr @__errno_location() #12
  store i32 %1550, ptr %1551, align 4, !tbaa !5
  %1552 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1553 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %1555, ptr noundef @.str.4)
  %1557 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1558 = load i32, ptr %1557, align 4, !tbaa !5
  %1559 = call ptr @s2n_strerror_debug(i32 noundef %1558, ptr noundef @.str.4)
  %1560 = call ptr @__errno_location() #12
  %1561 = load i32, ptr %1560, align 4, !tbaa !5
  %1562 = call ptr @strerror(i32 noundef %1561) #11
  %1563 = call ptr @__errno_location() #12
  %1564 = load i32, ptr %1563, align 4, !tbaa !5
  %1565 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1552, ptr noundef @.str.5, i32 noundef %1553, ptr noundef @.str.87, ptr noundef @.str.1, i32 noundef 561, ptr noundef %1556, ptr noundef %1559, ptr noundef %1562, i32 noundef %1564) #11
  br label %1566

1566:                                             ; preds = %1549, %1532
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #11
  br label %1567

1567:                                             ; preds = %1566
  br label %1568

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

1569:                                             ; No predecessors!
  br label %1570

1570:                                             ; preds = %1569
  br label %1571

1571:                                             ; preds = %1570, %1505
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #11
  %1572 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef %59)
  %1573 = getelementptr inbounds %struct.s2n_result, ptr %62, i32 0, i32 0
  store i32 %1572, ptr %1573, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #11
  %1574 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef %53)
  %1575 = getelementptr inbounds %struct.s2n_result, ptr %63, i32 0, i32 0
  store i32 %1574, ptr %1575, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #11
  %1576 = call i32 @s2n_stuffer_free(ptr noundef %50)
  call void @llvm.lifetime.end.p0(i64 40, ptr %50) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #11
  br label %1577

1577:                                             ; preds = %1571
  %1578 = load i64, ptr %47, align 8, !tbaa !15
  %1579 = add i64 %1578, 1
  store i64 %1579, ptr %47, align 8, !tbaa !15
  br label %1106, !llvm.loop !38

1580:                                             ; preds = %1109
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #11
  store i64 0, ptr %64, align 8, !tbaa !15
  br label %1581

1581:                                             ; preds = %1649, %1580
  %1582 = load i64, ptr %64, align 8, !tbaa !15
  %1583 = icmp ult i64 %1582, 3
  br i1 %1583, label %1585, label %1584

1584:                                             ; preds = %1581
  store i32 147, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #11
  br label %1652

1585:                                             ; preds = %1581
  br label %1586

1586:                                             ; preds = %1585
  %1587 = load i32, ptr @test_count, align 4, !tbaa !5
  %1588 = add nsw i32 %1587, 1
  store i32 %1588, ptr @test_count, align 4, !tbaa !5
  %1589 = load i64, ptr %64, align 8, !tbaa !15
  %1590 = getelementptr inbounds [3 x %struct.s2n_blob], ptr %10, i64 0, i64 %1589
  %1591 = call i32 @s2n_free(ptr noundef %1590)
  %1592 = icmp eq i32 %1591, -1
  br i1 %1592, label %1593, label %1646

1593:                                             ; preds = %1586
  br label %1594

1594:                                             ; preds = %1593
  br label %1595

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

1602:                                             ; preds = %1595
  %1603 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1604 = call i32 @fileno(ptr noundef %1603) #11
  %1605 = call i32 @isatty(i32 noundef %1604) #11
  %1606 = icmp ne i32 %1605, 0
  br i1 %1606, label %1607, label %1624

1607:                                             ; preds = %1602
  %1608 = load i32, ptr %65, align 4, !tbaa !5
  %1609 = call ptr @__errno_location() #12
  store i32 %1608, ptr %1609, align 4, !tbaa !5
  %1610 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1611 = load i32, ptr @test_count, align 4, !tbaa !5
  %1612 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1613 = load i32, ptr %1612, align 4, !tbaa !5
  %1614 = call ptr @s2n_strerror(i32 noundef %1613, ptr noundef @.str.4)
  %1615 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1616 = load i32, ptr %1615, align 4, !tbaa !5
  %1617 = call ptr @s2n_strerror_debug(i32 noundef %1616, ptr noundef @.str.4)
  %1618 = call ptr @__errno_location() #12
  %1619 = load i32, ptr %1618, align 4, !tbaa !5
  %1620 = call ptr @strerror(i32 noundef %1619) #11
  %1621 = call ptr @__errno_location() #12
  %1622 = load i32, ptr %1621, align 4, !tbaa !5
  %1623 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1610, ptr noundef @.str.2, i32 noundef %1611, ptr noundef @.str.93, ptr noundef @.str.1, i32 noundef 566, ptr noundef %1614, ptr noundef %1617, ptr noundef %1620, i32 noundef %1622) #11
  br label %1641

1624:                                             ; preds = %1602, %1595
  %1625 = load i32, ptr %65, align 4, !tbaa !5
  %1626 = call ptr @__errno_location() #12
  store i32 %1625, ptr %1626, align 4, !tbaa !5
  %1627 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1628 = load i32, ptr @test_count, align 4, !tbaa !5
  %1629 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1630 = load i32, ptr %1629, align 4, !tbaa !5
  %1631 = call ptr @s2n_strerror(i32 noundef %1630, ptr noundef @.str.4)
  %1632 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1633 = load i32, ptr %1632, align 4, !tbaa !5
  %1634 = call ptr @s2n_strerror_debug(i32 noundef %1633, ptr noundef @.str.4)
  %1635 = call ptr @__errno_location() #12
  %1636 = load i32, ptr %1635, align 4, !tbaa !5
  %1637 = call ptr @strerror(i32 noundef %1636) #11
  %1638 = call ptr @__errno_location() #12
  %1639 = load i32, ptr %1638, align 4, !tbaa !5
  %1640 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1627, ptr noundef @.str.5, i32 noundef %1628, ptr noundef @.str.93, ptr noundef @.str.1, i32 noundef 566, ptr noundef %1631, ptr noundef %1634, ptr noundef %1637, i32 noundef %1639) #11
  br label %1641

1641:                                             ; preds = %1624, %1607
  call void @llvm.lifetime.end.p0(i64 4, ptr %65) #11
  br label %1642

1642:                                             ; preds = %1641
  br label %1643

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

1644:                                             ; No predecessors!
  br label %1645

1645:                                             ; preds = %1644
  br label %1646

1646:                                             ; preds = %1645, %1586
  br label %1647

1647:                                             ; preds = %1646
  br label %1648

1648:                                             ; preds = %1647
  br label %1649

1649:                                             ; preds = %1648
  %1650 = load i64, ptr %64, align 8, !tbaa !15
  %1651 = add i64 %1650, 1
  store i64 %1651, ptr %64, align 8, !tbaa !15
  br label %1581, !llvm.loop !39

1652:                                             ; preds = %1584
  br label %1653

1653:                                             ; preds = %1652
  br label %1654

1654:                                             ; preds = %1653
  %1655 = call i32 @s2n_cleanup()
  %1656 = icmp eq i32 %1655, -1
  br i1 %1656, label %1657, label %1710

1657:                                             ; preds = %1654
  br label %1658

1658:                                             ; preds = %1657
  br label %1659

1659:                                             ; preds = %1658
  call void @llvm.lifetime.start.p0(i64 4, ptr %66) #11
  %1660 = call ptr @__errno_location() #12
  %1661 = load i32, ptr %1660, align 4, !tbaa !5
  store i32 %1661, ptr %66, align 4, !tbaa !5
  %1662 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1663 = call i32 @s2n_print_stacktrace(ptr noundef %1662)
  %1664 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1665 = trunc i8 %1664 to i1
  br i1 %1665, label %1666, label %1688

1666:                                             ; preds = %1659
  %1667 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1668 = call i32 @fileno(ptr noundef %1667) #11
  %1669 = call i32 @isatty(i32 noundef %1668) #11
  %1670 = icmp ne i32 %1669, 0
  br i1 %1670, label %1671, label %1688

1671:                                             ; preds = %1666
  %1672 = load i32, ptr %66, align 4, !tbaa !5
  %1673 = call ptr @__errno_location() #12
  store i32 %1672, ptr %1673, align 4, !tbaa !5
  %1674 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1675 = load i32, ptr @test_count, align 4, !tbaa !5
  %1676 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1677 = load i32, ptr %1676, align 4, !tbaa !5
  %1678 = call ptr @s2n_strerror(i32 noundef %1677, ptr noundef @.str.4)
  %1679 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1680 = load i32, ptr %1679, align 4, !tbaa !5
  %1681 = call ptr @s2n_strerror_debug(i32 noundef %1680, ptr noundef @.str.4)
  %1682 = call ptr @__errno_location() #12
  %1683 = load i32, ptr %1682, align 4, !tbaa !5
  %1684 = call ptr @strerror(i32 noundef %1683) #11
  %1685 = call ptr @__errno_location() #12
  %1686 = load i32, ptr %1685, align 4, !tbaa !5
  %1687 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1674, ptr noundef @.str.2, i32 noundef %1675, ptr noundef @.str.94, ptr noundef @.str.1, i32 noundef 568, ptr noundef %1678, ptr noundef %1681, ptr noundef %1684, i32 noundef %1686) #11
  br label %1705

1688:                                             ; preds = %1666, %1659
  %1689 = load i32, ptr %66, align 4, !tbaa !5
  %1690 = call ptr @__errno_location() #12
  store i32 %1689, ptr %1690, align 4, !tbaa !5
  %1691 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1692 = load i32, ptr @test_count, align 4, !tbaa !5
  %1693 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1694 = load i32, ptr %1693, align 4, !tbaa !5
  %1695 = call ptr @s2n_strerror(i32 noundef %1694, ptr noundef @.str.4)
  %1696 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1697 = load i32, ptr %1696, align 4, !tbaa !5
  %1698 = call ptr @s2n_strerror_debug(i32 noundef %1697, ptr noundef @.str.4)
  %1699 = call ptr @__errno_location() #12
  %1700 = load i32, ptr %1699, align 4, !tbaa !5
  %1701 = call ptr @strerror(i32 noundef %1700) #11
  %1702 = call ptr @__errno_location() #12
  %1703 = load i32, ptr %1702, align 4, !tbaa !5
  %1704 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1691, ptr noundef @.str.5, i32 noundef %1692, ptr noundef @.str.94, ptr noundef @.str.1, i32 noundef 568, ptr noundef %1695, ptr noundef %1698, ptr noundef %1701, i32 noundef %1703) #11
  br label %1705

1705:                                             ; preds = %1688, %1671
  call void @llvm.lifetime.end.p0(i64 4, ptr %66) #11
  br label %1706

1706:                                             ; preds = %1705
  br label %1707

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

1708:                                             ; No predecessors!
  br label %1709

1709:                                             ; preds = %1708
  br label %1710

1710:                                             ; preds = %1709, %1654
  br label %1711

1711:                                             ; preds = %1710
  br label %1712

1712:                                             ; preds = %1711
  br label %1713

1713:                                             ; preds = %1712
  br label %1714

1714:                                             ; preds = %1713
  %1715 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %1716 = icmp eq i32 %1715, -1
  br i1 %1716, label %1717, label %1770

1717:                                             ; preds = %1714
  br label %1718

1718:                                             ; preds = %1717
  br label %1719

1719:                                             ; preds = %1718
  call void @llvm.lifetime.start.p0(i64 4, ptr %67) #11
  %1720 = call ptr @__errno_location() #12
  %1721 = load i32, ptr %1720, align 4, !tbaa !5
  store i32 %1721, ptr %67, align 4, !tbaa !5
  %1722 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1723 = call i32 @s2n_print_stacktrace(ptr noundef %1722)
  %1724 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1725 = trunc i8 %1724 to i1
  br i1 %1725, label %1726, label %1748

1726:                                             ; preds = %1719
  %1727 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1728 = call i32 @fileno(ptr noundef %1727) #11
  %1729 = call i32 @isatty(i32 noundef %1728) #11
  %1730 = icmp ne i32 %1729, 0
  br i1 %1730, label %1731, label %1748

1731:                                             ; preds = %1726
  %1732 = load i32, ptr %67, align 4, !tbaa !5
  %1733 = call ptr @__errno_location() #12
  store i32 %1732, ptr %1733, align 4, !tbaa !5
  %1734 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1735 = load i32, ptr @test_count, align 4, !tbaa !5
  %1736 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1737 = load i32, ptr %1736, align 4, !tbaa !5
  %1738 = call ptr @s2n_strerror(i32 noundef %1737, ptr noundef @.str.4)
  %1739 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1740 = load i32, ptr %1739, align 4, !tbaa !5
  %1741 = call ptr @s2n_strerror_debug(i32 noundef %1740, ptr noundef @.str.4)
  %1742 = call ptr @__errno_location() #12
  %1743 = load i32, ptr %1742, align 4, !tbaa !5
  %1744 = call ptr @strerror(i32 noundef %1743) #11
  %1745 = call ptr @__errno_location() #12
  %1746 = load i32, ptr %1745, align 4, !tbaa !5
  %1747 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1734, ptr noundef @.str.2, i32 noundef %1735, ptr noundef @.str.95, ptr noundef @.str.1, i32 noundef 568, ptr noundef %1738, ptr noundef %1741, ptr noundef %1744, i32 noundef %1746) #11
  br label %1765

1748:                                             ; preds = %1726, %1719
  %1749 = load i32, ptr %67, align 4, !tbaa !5
  %1750 = call ptr @__errno_location() #12
  store i32 %1749, ptr %1750, align 4, !tbaa !5
  %1751 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1752 = load i32, ptr @test_count, align 4, !tbaa !5
  %1753 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1754 = load i32, ptr %1753, align 4, !tbaa !5
  %1755 = call ptr @s2n_strerror(i32 noundef %1754, ptr noundef @.str.4)
  %1756 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1757 = load i32, ptr %1756, align 4, !tbaa !5
  %1758 = call ptr @s2n_strerror_debug(i32 noundef %1757, ptr noundef @.str.4)
  %1759 = call ptr @__errno_location() #12
  %1760 = load i32, ptr %1759, align 4, !tbaa !5
  %1761 = call ptr @strerror(i32 noundef %1760) #11
  %1762 = call ptr @__errno_location() #12
  %1763 = load i32, ptr %1762, align 4, !tbaa !5
  %1764 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1751, ptr noundef @.str.5, i32 noundef %1752, ptr noundef @.str.95, ptr noundef @.str.1, i32 noundef 568, ptr noundef %1755, ptr noundef %1758, ptr noundef %1761, i32 noundef %1763) #11
  br label %1765

1765:                                             ; preds = %1748, %1731
  call void @llvm.lifetime.end.p0(i64 4, ptr %67) #11
  br label %1766

1766:                                             ; preds = %1765
  br label %1767

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

1768:                                             ; No predecessors!
  br label %1769

1769:                                             ; preds = %1768
  br label %1770

1770:                                             ; preds = %1769, %1714
  br label %1771

1771:                                             ; preds = %1770
  br label %1772

1772:                                             ; preds = %1771
  %1773 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1774 = trunc i8 %1773 to i1
  br i1 %1774, label %1775, label %1791

1775:                                             ; preds = %1772
  %1776 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1777 = call i32 @fileno(ptr noundef %1776) #11
  %1778 = call i32 @isatty(i32 noundef %1777) #11
  %1779 = icmp ne i32 %1778, 0
  br i1 %1779, label %1780, label %1791

1780:                                             ; preds = %1775
  %1781 = load i32, ptr @test_count, align 4, !tbaa !5
  %1782 = icmp ne i32 %1781, 0
  br i1 %1782, label %1783, label %1787

1783:                                             ; preds = %1780
  %1784 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1785 = load i32, ptr @test_count, align 4, !tbaa !5
  %1786 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1784, ptr noundef @.str.96, i32 noundef %1785) #11
  br label %1790

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

1790:                                             ; preds = %1787, %1783
  br label %1802

1791:                                             ; preds = %1775, %1772
  %1792 = load i32, ptr @test_count, align 4, !tbaa !5
  %1793 = icmp ne i32 %1792, 0
  br i1 %1793, label %1794, label %1798

1794:                                             ; preds = %1791
  %1795 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1796 = load i32, ptr @test_count, align 4, !tbaa !5
  %1797 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1795, ptr noundef @.str.98, i32 noundef %1796) #11
  br label %1801

1798:                                             ; preds = %1791
  %1799 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1800 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1799, ptr noundef @.str.99) #11
  br label %1801

1801:                                             ; preds = %1798, %1794
  br label %1802

1802:                                             ; preds = %1801, %1790
  store i32 0, ptr %3, align 4
  store i32 1, ptr %23, align 4
  br label %1807

1803:                                             ; No predecessors!
  br label %1804

1804:                                             ; preds = %1803
  br label %1805

1805:                                             ; preds = %1804
  br label %1806

1806:                                             ; preds = %1805
  store i32 0, ptr %23, align 4
  br label %1807

1807:                                             ; preds = %1806, %1802
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #11
  call void @llvm.lifetime.end.p0(i64 224, ptr %36) #11
  call void @llvm.lifetime.end.p0(i64 272, ptr %21) #11
  call void @llvm.lifetime.end.p0(i64 72, ptr %10) #11
  call void @llvm.lifetime.end.p0(i64 24, ptr %9) #11
  %1808 = load i32, ptr %23, align 4
  switch i32 %1808, label %1811 [
    i32 0, label %1809
    i32 1, label %1809
  ]

1809:                                             ; preds = %1807, %1807
  %1810 = load i32, ptr %3, align 4
  ret i32 %1810

1811:                                             ; preds = %1807
  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: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #7

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

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

; Function Attrs: nounwind willreturn memory(read)
declare i64 @strlen(ptr noundef) #9

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

declare i32 @s2n_stuffer_free(ptr noundef) #2

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

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

declare i32 @s2n_stuffer_read_base64(ptr noundef, ptr noundef) #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_create_cert_chain_from_stuffer(ptr noundef, ptr noundef) #2

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

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

declare i32 @s2n_stuffer_write_uint8(ptr noundef, i8 noundef zeroext) #2

declare i32 @s2n_stuffer_reread(ptr noundef) #2

declare i32 @s2n_free(ptr noundef) #2

declare i32 @s2n_cleanup() #2

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #8 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { 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 #10 = { 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 #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 = !{!18, !6, i64 28}
!18 = !{!"s2n_stuffer", !19, i64 0, !6, i64 24, !6, i64 28, !6, i64 32, !6, i64 36, !6, i64 36, !6, i64 36}
!19 = !{!"s2n_blob", !10, i64 0, !6, i64 8, !6, i64 12, !6, i64 16}
!20 = !{!18, !6, i64 24}
!21 = !{!19, !6, i64 8}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}
!24 = !{!25, !10, i64 8}
!25 = !{!"s2n_test_case", !10, i64 0, !10, i64 8}
!26 = !{!27, !10, i64 0}
!27 = !{!"s2n_cert_chain_and_key", !10, i64 0, !10, i64 8, !19, i64 16, !19, i64 40, !10, i64 64, !10, i64 72, !10, i64 80}
!28 = !{!25, !10, i64 0}
!29 = !{!30, !10, i64 8}
!30 = !{!"s2n_cert_chain", !6, i64 0, !10, i64 8}
!31 = !{!32, !10, i64 104}
!32 = !{!"s2n_cert", !6, i64 0, !33, i64 8, !34, i64 56, !19, i64 80, !10, i64 104}
!33 = !{!"s2n_pkey", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40}
!34 = !{!"s2n_cert_info", !6, i64 0, !6, i64 4, !6, i64 8, !6, i64 12, !12, i64 16}
!35 = distinct !{!35, !23}
!36 = distinct !{!36, !23}
!37 = distinct !{!37, !23}
!38 = distinct !{!38, !23}
!39 = distinct !{!39, !23}


; 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_case = type { ptr, ptr }
%struct.s2n_blob = type { ptr, i32, i32, i8 }
%struct.s2n_stuffer = type { %struct.s2n_blob, i32, 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 [87 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
@__const.main.expected_cert_strs = external hidden unnamed_addr constant [3 x ptr], align 16
@.str.11 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [123 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [79 x i8], align 1
@__const.main.test_cases = external hidden unnamed_addr constant [17 x %struct.s2n_test_case], align 16
@.str.50 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [128 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [40 x i8], align 1
@__const.main.bad_test_cases = external hidden unnamed_addr constant [14 x %struct.s2n_test_case], align 16
@.str.84 = external hidden unnamed_addr constant [85 x i8], align 1
@.str.85 = external hidden unnamed_addr constant [133 x i8], align 1
@.str.86 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.87 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.88 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.89 = external hidden unnamed_addr constant [133 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [88 x i8], align 1
@.str.91 = external hidden unnamed_addr constant [85 x i8], align 1
@.str.92 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.93 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.94 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.95 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.96 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.97 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.98 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.99 = 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 [3 x %struct.s2n_blob], align 16
  %4 = alloca %struct.s2n_stuffer, align 8
  %5 = alloca %struct.s2n_stuffer, align 8
  %6 = alloca ptr, align 8
  %7 = alloca %struct.s2n_stuffer, align 8
  %8 = alloca ptr, align 8
  %9 = alloca %struct.s2n_stuffer, align 8
  %10 = alloca %struct.s2n_stuffer, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  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) #11
  %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) #11
  %18 = icmp eq i32 %17, -1
  br i1 %18, label %19, label %43

19:                                               ; preds = %2
  %20 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %29 = tail call i32 @isatty(i32 noundef %28) #11
  %.not140 = icmp eq i32 %29, 0
  br i1 %.not140, 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) #11
  %37 = load i32, ptr %34, align 4, !tbaa !5
  %38 = tail call ptr @s2n_strerror_debug(i32 noundef %37, ptr noundef nonnull @.str.4) #11
  %39 = load i32, ptr %20, align 4, !tbaa !5
  %40 = tail call ptr @strerror(i32 noundef %39) #11
  %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 73, ptr noundef %36, ptr noundef %38, ptr noundef %40, i32 noundef %41) #13
  tail call void @exit(i32 noundef 1) #14
  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() #11
  %47 = icmp eq i32 %46, -1
  br i1 %47, label %48, label %72

48:                                               ; preds = %43
  %49 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %58 = tail call i32 @isatty(i32 noundef %57) #11
  %.not139 = icmp eq i32 %58, 0
  br i1 %.not139, label %59, label %60

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

60:                                               ; preds = %55, %59
  %.str.5.sink205 = 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) #11
  %66 = load i32, ptr %63, align 4, !tbaa !5
  %67 = tail call ptr @s2n_strerror_debug(i32 noundef %66, ptr noundef nonnull @.str.4) #11
  %68 = load i32, ptr %49, align 4, !tbaa !5
  %69 = tail call ptr @strerror(i32 noundef %68) #11
  %70 = load i32, ptr %49, align 4, !tbaa !5
  %71 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %61, ptr noundef nonnull %.str.5.sink205, i32 noundef %62, ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 73, ptr noundef %65, ptr noundef %67, ptr noundef %69, i32 noundef %70) #13
  tail call void @exit(i32 noundef 1) #14
  unreachable

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

75:                                               ; preds = %72
  %76 = tail call ptr @__errno_location() #12
  %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) #11
  %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) #11
  %85 = tail call i32 @isatty(i32 noundef %84) #11
  %.not138 = icmp eq i32 %85, 0
  br i1 %.not138, label %86, label %87

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

87:                                               ; preds = %82, %86
  %.str.5.sink216 = 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) #11
  %93 = load i32, ptr %90, align 4, !tbaa !5
  %94 = tail call ptr @s2n_strerror_debug(i32 noundef %93, ptr noundef nonnull @.str.4) #11
  %95 = load i32, ptr %76, align 4, !tbaa !5
  %96 = tail call ptr @strerror(i32 noundef %95) #11
  %97 = load i32, ptr %76, align 4, !tbaa !5
  %98 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %88, ptr noundef nonnull %.str.5.sink216, i32 noundef %89, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 73, ptr noundef %92, ptr noundef %94, ptr noundef %96, i32 noundef %97) #13
  tail call void @exit(i32 noundef 1) #14
  unreachable

99:                                               ; preds = %72
  call void @llvm.lifetime.start.p0(i64 72, ptr nonnull %3) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(72) %3, i8 0, i64 72, i1 false)
  %100 = load i32, ptr @test_count, align 4, !tbaa !5
  %101 = getelementptr inbounds i8, ptr %4, i64 28
  %102 = getelementptr inbounds i8, ptr %4, i64 24
  %103 = load ptr, ptr @__const.main.expected_cert_strs, align 16, !tbaa !9
  %104 = add nsw i32 %100, 2
  store i32 %104, ptr @test_count, align 4, !tbaa !5
  %105 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %103) #15
  %106 = trunc i64 %105 to i32
  %107 = call i32 @s2n_alloc(ptr noundef nonnull %3, i32 noundef %106) #11
  %108 = icmp eq i32 %107, -1
  br i1 %108, label %109, label %133

109:                                              ; preds = %291, %253, %99
  %110 = tail call ptr @__errno_location() #12
  %111 = load i32, ptr %110, align 4, !tbaa !5
  %112 = load ptr, ptr @stderr, align 8, !tbaa !9
  %113 = call i32 @s2n_print_stacktrace(ptr noundef %112) #11
  %114 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %115 = trunc nuw i8 %114 to i1
  br i1 %115, label %116, label %120

116:                                              ; preds = %109
  %117 = load ptr, ptr @stderr, align 8, !tbaa !9
  %118 = call i32 @fileno(ptr noundef %117) #11
  %119 = call i32 @isatty(i32 noundef %118) #11
  %.not137 = icmp eq i32 %119, 0
  br i1 %.not137, label %120, label %121

120:                                              ; preds = %116, %109
  br label %121

121:                                              ; preds = %116, %120
  %.str.5.sink227 = phi ptr [ @.str.5, %120 ], [ @.str.2, %116 ]
  store i32 %111, ptr %110, align 4, !tbaa !5
  %122 = load ptr, ptr @stderr, align 8, !tbaa !9
  %123 = load i32, ptr @test_count, align 4, !tbaa !5
  %124 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %125 = load i32, ptr %124, align 4, !tbaa !5
  %126 = call ptr @s2n_strerror(i32 noundef %125, ptr noundef nonnull @.str.4) #11
  %127 = load i32, ptr %124, align 4, !tbaa !5
  %128 = call ptr @s2n_strerror_debug(i32 noundef %127, ptr noundef nonnull @.str.4) #11
  %129 = load i32, ptr %110, align 4, !tbaa !5
  %130 = call ptr @strerror(i32 noundef %129) #11
  %131 = load i32, ptr %110, align 4, !tbaa !5
  %132 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %122, ptr noundef nonnull %.str.5.sink227, i32 noundef %123, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 90, ptr noundef %126, ptr noundef %128, ptr noundef %130, i32 noundef %131) #13
  call void @exit(i32 noundef 1) #14
  unreachable

133:                                              ; preds = %99
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %4) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %4, i8 0, i64 40, i1 false)
  %134 = load i32, ptr @test_count, align 4, !tbaa !5
  %135 = add nsw i32 %134, 1
  store i32 %135, ptr @test_count, align 4, !tbaa !5
  %136 = call i32 @s2n_stuffer_init(ptr noundef nonnull %4, ptr noundef nonnull %3) #11
  %137 = icmp eq i32 %136, -1
  br i1 %137, label %138, label %162

138:                                              ; preds = %305, %267, %133
  %139 = tail call ptr @__errno_location() #12
  %140 = load i32, ptr %139, align 4, !tbaa !5
  %141 = load ptr, ptr @stderr, align 8, !tbaa !9
  %142 = call i32 @s2n_print_stacktrace(ptr noundef %141) #11
  %143 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %144 = trunc nuw i8 %143 to i1
  br i1 %144, label %145, label %149

145:                                              ; preds = %138
  %146 = load ptr, ptr @stderr, align 8, !tbaa !9
  %147 = call i32 @fileno(ptr noundef %146) #11
  %148 = call i32 @isatty(i32 noundef %147) #11
  %.not136 = icmp eq i32 %148, 0
  br i1 %.not136, label %149, label %150

149:                                              ; preds = %145, %138
  br label %150

150:                                              ; preds = %145, %149
  %.str.5.sink238 = phi ptr [ @.str.5, %149 ], [ @.str.2, %145 ]
  store i32 %140, ptr %139, align 4, !tbaa !5
  %151 = load ptr, ptr @stderr, align 8, !tbaa !9
  %152 = load i32, ptr @test_count, align 4, !tbaa !5
  %153 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %154 = load i32, ptr %153, align 4, !tbaa !5
  %155 = call ptr @s2n_strerror(i32 noundef %154, ptr noundef nonnull @.str.4) #11
  %156 = load i32, ptr %153, align 4, !tbaa !5
  %157 = call ptr @s2n_strerror_debug(i32 noundef %156, ptr noundef nonnull @.str.4) #11
  %158 = load i32, ptr %139, align 4, !tbaa !5
  %159 = call ptr @strerror(i32 noundef %158) #11
  %160 = load i32, ptr %139, align 4, !tbaa !5
  %161 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %151, ptr noundef nonnull %.str.5.sink238, i32 noundef %152, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i32 noundef 93, ptr noundef %155, ptr noundef %157, ptr noundef %159, i32 noundef %160) #13
  call void @exit(i32 noundef 1) #14
  unreachable

162:                                              ; preds = %133
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %5) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %5, i8 0, i64 40, i1 false)
  %163 = load i32, ptr @test_count, align 4, !tbaa !5
  %164 = add nsw i32 %163, 1
  store i32 %164, ptr @test_count, align 4, !tbaa !5
  %165 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %103) #15
  %166 = trunc i64 %165 to i32
  %167 = call i32 @s2n_stuffer_alloc(ptr noundef nonnull %5, i32 noundef %166) #11
  %168 = icmp eq i32 %167, -1
  br i1 %168, label %169, label %193

169:                                              ; preds = %310, %272, %162
  %170 = tail call ptr @__errno_location() #12
  %171 = load i32, ptr %170, align 4, !tbaa !5
  %172 = load ptr, ptr @stderr, align 8, !tbaa !9
  %173 = call i32 @s2n_print_stacktrace(ptr noundef %172) #11
  %174 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %175 = trunc nuw i8 %174 to i1
  br i1 %175, label %176, label %180

176:                                              ; preds = %169
  %177 = load ptr, ptr @stderr, align 8, !tbaa !9
  %178 = call i32 @fileno(ptr noundef %177) #11
  %179 = call i32 @isatty(i32 noundef %178) #11
  %.not135 = icmp eq i32 %179, 0
  br i1 %.not135, label %180, label %181

180:                                              ; preds = %176, %169
  br label %181

181:                                              ; preds = %176, %180
  %.str.5.sink249 = phi ptr [ @.str.5, %180 ], [ @.str.2, %176 ]
  store i32 %171, ptr %170, align 4, !tbaa !5
  %182 = load ptr, ptr @stderr, align 8, !tbaa !9
  %183 = load i32, ptr @test_count, align 4, !tbaa !5
  %184 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %185 = load i32, ptr %184, align 4, !tbaa !5
  %186 = call ptr @s2n_strerror(i32 noundef %185, ptr noundef nonnull @.str.4) #11
  %187 = load i32, ptr %184, align 4, !tbaa !5
  %188 = call ptr @s2n_strerror_debug(i32 noundef %187, ptr noundef nonnull @.str.4) #11
  %189 = load i32, ptr %170, align 4, !tbaa !5
  %190 = call ptr @strerror(i32 noundef %189) #11
  %191 = load i32, ptr %170, align 4, !tbaa !5
  %192 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %182, ptr noundef nonnull %.str.5.sink249, i32 noundef %183, ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.1, i32 noundef 96, ptr noundef %186, ptr noundef %188, ptr noundef %190, i32 noundef %191) #13
  call void @exit(i32 noundef 1) #14
  unreachable

193:                                              ; preds = %162
  %194 = load i32, ptr @test_count, align 4, !tbaa !5
  %195 = add nsw i32 %194, 1
  store i32 %195, ptr @test_count, align 4, !tbaa !5
  %196 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %103) #15
  %197 = trunc i64 %196 to i32
  %198 = call i32 @s2n_stuffer_write_bytes(ptr noundef nonnull %5, ptr noundef %103, i32 noundef %197) #11
  %199 = icmp eq i32 %198, -1
  br i1 %199, label %200, label %224

200:                                              ; preds = %317, %279, %193
  %201 = tail call ptr @__errno_location() #12
  %202 = load i32, ptr %201, align 4, !tbaa !5
  %203 = load ptr, ptr @stderr, align 8, !tbaa !9
  %204 = call i32 @s2n_print_stacktrace(ptr noundef %203) #11
  %205 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %206 = trunc nuw i8 %205 to i1
  br i1 %206, label %207, label %211

207:                                              ; preds = %200
  %208 = load ptr, ptr @stderr, align 8, !tbaa !9
  %209 = call i32 @fileno(ptr noundef %208) #11
  %210 = call i32 @isatty(i32 noundef %209) #11
  %.not134 = icmp eq i32 %210, 0
  br i1 %.not134, label %211, label %212

211:                                              ; preds = %207, %200
  br label %212

212:                                              ; preds = %207, %211
  %.str.5.sink260 = phi ptr [ @.str.5, %211 ], [ @.str.2, %207 ]
  store i32 %202, ptr %201, align 4, !tbaa !5
  %213 = load ptr, ptr @stderr, align 8, !tbaa !9
  %214 = load i32, ptr @test_count, align 4, !tbaa !5
  %215 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %216 = load i32, ptr %215, align 4, !tbaa !5
  %217 = call ptr @s2n_strerror(i32 noundef %216, ptr noundef nonnull @.str.4) #11
  %218 = load i32, ptr %215, align 4, !tbaa !5
  %219 = call ptr @s2n_strerror_debug(i32 noundef %218, ptr noundef nonnull @.str.4) #11
  %220 = load i32, ptr %201, align 4, !tbaa !5
  %221 = call ptr @strerror(i32 noundef %220) #11
  %222 = load i32, ptr %201, align 4, !tbaa !5
  %223 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %213, ptr noundef nonnull %.str.5.sink260, i32 noundef %214, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 97, ptr noundef %217, ptr noundef %219, ptr noundef %221, i32 noundef %222) #13
  call void @exit(i32 noundef 1) #14
  unreachable

224:                                              ; preds = %193
  %225 = load i32, ptr @test_count, align 4, !tbaa !5
  %226 = add nsw i32 %225, 1
  store i32 %226, ptr @test_count, align 4, !tbaa !5
  %227 = call i32 @s2n_stuffer_read_base64(ptr noundef nonnull %5, ptr noundef nonnull %4) #11
  %228 = icmp eq i32 %227, -1
  br i1 %228, label %229, label %253

229:                                              ; preds = %324, %286, %224
  %230 = tail call ptr @__errno_location() #12
  %231 = load i32, ptr %230, align 4, !tbaa !5
  %232 = load ptr, ptr @stderr, align 8, !tbaa !9
  %233 = call i32 @s2n_print_stacktrace(ptr noundef %232) #11
  %234 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %235 = trunc nuw i8 %234 to i1
  br i1 %235, label %236, label %240

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

240:                                              ; preds = %236, %229
  br label %241

241:                                              ; preds = %236, %240
  %.str.5.sink271 = phi ptr [ @.str.5, %240 ], [ @.str.2, %236 ]
  store i32 %231, ptr %230, align 4, !tbaa !5
  %242 = load ptr, ptr @stderr, align 8, !tbaa !9
  %243 = load i32, ptr @test_count, align 4, !tbaa !5
  %244 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %245 = load i32, ptr %244, align 4, !tbaa !5
  %246 = call ptr @s2n_strerror(i32 noundef %245, ptr noundef nonnull @.str.4) #11
  %247 = load i32, ptr %244, align 4, !tbaa !5
  %248 = call ptr @s2n_strerror_debug(i32 noundef %247, ptr noundef nonnull @.str.4) #11
  %249 = load i32, ptr %230, align 4, !tbaa !5
  %250 = call ptr @strerror(i32 noundef %249) #11
  %251 = load i32, ptr %230, align 4, !tbaa !5
  %252 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %242, ptr noundef nonnull %.str.5.sink271, i32 noundef %243, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.1, i32 noundef 99, ptr noundef %246, ptr noundef %248, ptr noundef %250, i32 noundef %251) #13
  call void @exit(i32 noundef 1) #14
  unreachable

253:                                              ; preds = %224
  %254 = load i32, ptr %101, align 4, !tbaa !15
  %255 = load i32, ptr %102, align 8, !tbaa !18
  %256 = sub i32 %254, %255
  %257 = getelementptr inbounds i8, ptr %3, i64 8
  store i32 %256, ptr %257, align 8, !tbaa !19
  %258 = call i32 @s2n_stuffer_free(ptr noundef nonnull %5) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %5) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %4) #11
  %259 = load ptr, ptr getelementptr inbounds (i8, ptr @__const.main.expected_cert_strs, i64 8), align 8, !tbaa !9
  %260 = getelementptr inbounds i8, ptr %3, i64 24
  %261 = load i32, ptr @test_count, align 4, !tbaa !5
  %262 = add nsw i32 %261, 1
  store i32 %262, ptr @test_count, align 4, !tbaa !5
  %263 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %259) #15
  %264 = trunc i64 %263 to i32
  %265 = call i32 @s2n_alloc(ptr noundef nonnull %260, i32 noundef %264) #11
  %266 = icmp eq i32 %265, -1
  br i1 %266, label %109, label %267

267:                                              ; preds = %253
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %4) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %4, i8 0, i64 40, i1 false)
  %268 = load i32, ptr @test_count, align 4, !tbaa !5
  %269 = add nsw i32 %268, 1
  store i32 %269, ptr @test_count, align 4, !tbaa !5
  %270 = call i32 @s2n_stuffer_init(ptr noundef nonnull %4, ptr noundef nonnull %260) #11
  %271 = icmp eq i32 %270, -1
  br i1 %271, label %138, label %272

272:                                              ; preds = %267
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %5) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %5, i8 0, i64 40, i1 false)
  %273 = load i32, ptr @test_count, align 4, !tbaa !5
  %274 = add nsw i32 %273, 1
  store i32 %274, ptr @test_count, align 4, !tbaa !5
  %275 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %259) #15
  %276 = trunc i64 %275 to i32
  %277 = call i32 @s2n_stuffer_alloc(ptr noundef nonnull %5, i32 noundef %276) #11
  %278 = icmp eq i32 %277, -1
  br i1 %278, label %169, label %279

279:                                              ; preds = %272
  %280 = load i32, ptr @test_count, align 4, !tbaa !5
  %281 = add nsw i32 %280, 1
  store i32 %281, ptr @test_count, align 4, !tbaa !5
  %282 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %259) #15
  %283 = trunc i64 %282 to i32
  %284 = call i32 @s2n_stuffer_write_bytes(ptr noundef nonnull %5, ptr noundef %259, i32 noundef %283) #11
  %285 = icmp eq i32 %284, -1
  br i1 %285, label %200, label %286

286:                                              ; preds = %279
  %287 = load i32, ptr @test_count, align 4, !tbaa !5
  %288 = add nsw i32 %287, 1
  store i32 %288, ptr @test_count, align 4, !tbaa !5
  %289 = call i32 @s2n_stuffer_read_base64(ptr noundef nonnull %5, ptr noundef nonnull %4) #11
  %290 = icmp eq i32 %289, -1
  br i1 %290, label %229, label %291

291:                                              ; preds = %286
  %292 = load i32, ptr %101, align 4, !tbaa !15
  %293 = load i32, ptr %102, align 8, !tbaa !18
  %294 = sub i32 %292, %293
  %295 = getelementptr inbounds i8, ptr %3, i64 32
  store i32 %294, ptr %295, align 16, !tbaa !19
  %296 = call i32 @s2n_stuffer_free(ptr noundef nonnull %5) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %5) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %4) #11
  %297 = load ptr, ptr getelementptr inbounds (i8, ptr @__const.main.expected_cert_strs, i64 16), align 16, !tbaa !9
  %298 = getelementptr inbounds i8, ptr %3, i64 48
  %299 = load i32, ptr @test_count, align 4, !tbaa !5
  %300 = add nsw i32 %299, 1
  store i32 %300, ptr @test_count, align 4, !tbaa !5
  %301 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %297) #15
  %302 = trunc i64 %301 to i32
  %303 = call i32 @s2n_alloc(ptr noundef nonnull %298, i32 noundef %302) #11
  %304 = icmp eq i32 %303, -1
  br i1 %304, label %109, label %305

305:                                              ; preds = %291
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %4) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %4, i8 0, i64 40, i1 false)
  %306 = load i32, ptr @test_count, align 4, !tbaa !5
  %307 = add nsw i32 %306, 1
  store i32 %307, ptr @test_count, align 4, !tbaa !5
  %308 = call i32 @s2n_stuffer_init(ptr noundef nonnull %4, ptr noundef nonnull %298) #11
  %309 = icmp eq i32 %308, -1
  br i1 %309, label %138, label %310

310:                                              ; preds = %305
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %5) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %5, i8 0, i64 40, i1 false)
  %311 = load i32, ptr @test_count, align 4, !tbaa !5
  %312 = add nsw i32 %311, 1
  store i32 %312, ptr @test_count, align 4, !tbaa !5
  %313 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %297) #15
  %314 = trunc i64 %313 to i32
  %315 = call i32 @s2n_stuffer_alloc(ptr noundef nonnull %5, i32 noundef %314) #11
  %316 = icmp eq i32 %315, -1
  br i1 %316, label %169, label %317

317:                                              ; preds = %310
  %318 = load i32, ptr @test_count, align 4, !tbaa !5
  %319 = add nsw i32 %318, 1
  store i32 %319, ptr @test_count, align 4, !tbaa !5
  %320 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %297) #15
  %321 = trunc i64 %320 to i32
  %322 = call i32 @s2n_stuffer_write_bytes(ptr noundef nonnull %5, ptr noundef %297, i32 noundef %321) #11
  %323 = icmp eq i32 %322, -1
  br i1 %323, label %200, label %324

324:                                              ; preds = %317
  %325 = load i32, ptr @test_count, align 4, !tbaa !5
  %326 = add nsw i32 %325, 1
  store i32 %326, ptr @test_count, align 4, !tbaa !5
  %327 = call i32 @s2n_stuffer_read_base64(ptr noundef nonnull %5, ptr noundef nonnull %4) #11
  %328 = icmp eq i32 %327, -1
  br i1 %328, label %229, label %.preheader142.preheader

.preheader142.preheader:                          ; preds = %324
  %329 = load i32, ptr %101, align 4, !tbaa !15
  %330 = load i32, ptr %102, align 8, !tbaa !18
  %331 = sub i32 %329, %330
  %332 = getelementptr inbounds i8, ptr %3, i64 56
  store i32 %331, ptr %332, align 8, !tbaa !19
  %333 = call i32 @s2n_stuffer_free(ptr noundef nonnull %5) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %5) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %4) #11
  br label %.preheader142

.preheader142:                                    ; preds = %.preheader142.preheader, %469
  %.0105159 = phi i64 [ %472, %469 ], [ 0, %.preheader142.preheader ]
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #11
  %334 = call ptr @s2n_cert_chain_and_key_new() #11
  store ptr %334, ptr %6, align 8, !tbaa !9
  %335 = getelementptr inbounds [17 x %struct.s2n_test_case], ptr @__const.main.test_cases, i64 0, i64 %.0105159
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %7) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %7, i8 0, i64 40, i1 false)
  %336 = load i32, ptr @test_count, align 4, !tbaa !5
  %337 = add nsw i32 %336, 1
  store i32 %337, ptr @test_count, align 4, !tbaa !5
  %338 = getelementptr inbounds i8, ptr %335, i64 8
  %339 = load ptr, ptr %338, align 8, !tbaa !20
  %340 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %339) #15
  %341 = trunc i64 %340 to i32
  %342 = call i32 @s2n_stuffer_alloc(ptr noundef nonnull %7, i32 noundef %341) #11
  %343 = icmp eq i32 %342, -1
  br i1 %343, label %344, label %368

344:                                              ; preds = %.preheader142
  %345 = tail call ptr @__errno_location() #12
  %346 = load i32, ptr %345, align 4, !tbaa !5
  %347 = load ptr, ptr @stderr, align 8, !tbaa !9
  %348 = call i32 @s2n_print_stacktrace(ptr noundef %347) #11
  %349 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %350 = trunc nuw i8 %349 to i1
  br i1 %350, label %351, label %355

351:                                              ; preds = %344
  %352 = load ptr, ptr @stderr, align 8, !tbaa !9
  %353 = call i32 @fileno(ptr noundef %352) #11
  %354 = call i32 @isatty(i32 noundef %353) #11
  %.not132 = icmp eq i32 %354, 0
  br i1 %.not132, label %355, label %356

355:                                              ; preds = %351, %344
  br label %356

356:                                              ; preds = %351, %355
  %.str.5.sink282 = phi ptr [ @.str.5, %355 ], [ @.str.2, %351 ]
  store i32 %346, ptr %345, align 4, !tbaa !5
  %357 = load ptr, ptr @stderr, align 8, !tbaa !9
  %358 = load i32, ptr @test_count, align 4, !tbaa !5
  %359 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %360 = load i32, ptr %359, align 4, !tbaa !5
  %361 = call ptr @s2n_strerror(i32 noundef %360, ptr noundef nonnull @.str.4) #11
  %362 = load i32, ptr %359, align 4, !tbaa !5
  %363 = call ptr @s2n_strerror_debug(i32 noundef %362, ptr noundef nonnull @.str.4) #11
  %364 = load i32, ptr %345, align 4, !tbaa !5
  %365 = call ptr @strerror(i32 noundef %364) #11
  %366 = load i32, ptr %345, align 4, !tbaa !5
  %367 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %357, ptr noundef nonnull %.str.5.sink282, i32 noundef %358, ptr noundef nonnull @.str.50, ptr noundef nonnull @.str.1, i32 noundef 377, ptr noundef %361, ptr noundef %363, ptr noundef %365, i32 noundef %366) #13
  call void @exit(i32 noundef 1) #14
  unreachable

368:                                              ; preds = %.preheader142
  %369 = load i32, ptr @test_count, align 4, !tbaa !5
  %370 = add nsw i32 %369, 1
  store i32 %370, ptr @test_count, align 4, !tbaa !5
  %371 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %339) #15
  %372 = trunc i64 %371 to i32
  %373 = call i32 @s2n_stuffer_write_bytes(ptr noundef nonnull %7, ptr noundef %339, i32 noundef %372) #11
  %374 = icmp eq i32 %373, -1
  br i1 %374, label %375, label %399

375:                                              ; preds = %368
  %376 = tail call ptr @__errno_location() #12
  %377 = load i32, ptr %376, align 4, !tbaa !5
  %378 = load ptr, ptr @stderr, align 8, !tbaa !9
  %379 = call i32 @s2n_print_stacktrace(ptr noundef %378) #11
  %380 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %381 = trunc nuw i8 %380 to i1
  br i1 %381, label %382, label %386

382:                                              ; preds = %375
  %383 = load ptr, ptr @stderr, align 8, !tbaa !9
  %384 = call i32 @fileno(ptr noundef %383) #11
  %385 = call i32 @isatty(i32 noundef %384) #11
  %.not131 = icmp eq i32 %385, 0
  br i1 %.not131, label %386, label %387

386:                                              ; preds = %382, %375
  br label %387

387:                                              ; preds = %382, %386
  %.str.5.sink293 = phi ptr [ @.str.5, %386 ], [ @.str.2, %382 ]
  store i32 %377, ptr %376, align 4, !tbaa !5
  %388 = load ptr, ptr @stderr, align 8, !tbaa !9
  %389 = load i32, ptr @test_count, align 4, !tbaa !5
  %390 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %391 = load i32, ptr %390, align 4, !tbaa !5
  %392 = call ptr @s2n_strerror(i32 noundef %391, ptr noundef nonnull @.str.4) #11
  %393 = load i32, ptr %390, align 4, !tbaa !5
  %394 = call ptr @s2n_strerror_debug(i32 noundef %393, ptr noundef nonnull @.str.4) #11
  %395 = load i32, ptr %376, align 4, !tbaa !5
  %396 = call ptr @strerror(i32 noundef %395) #11
  %397 = load i32, ptr %376, align 4, !tbaa !5
  %398 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %388, ptr noundef nonnull %.str.5.sink293, i32 noundef %389, ptr noundef nonnull @.str.51, ptr noundef nonnull @.str.1, i32 noundef 378, ptr noundef %392, ptr noundef %394, ptr noundef %396, i32 noundef %397) #13
  call void @exit(i32 noundef 1) #14
  unreachable

399:                                              ; preds = %368
  %400 = load ptr, ptr %6, align 8, !tbaa !9
  %401 = load ptr, ptr %400, align 8, !tbaa !22
  %402 = call i32 @s2n_create_cert_chain_from_stuffer(ptr noundef %401, ptr noundef nonnull %7) #11
  %.not128 = icmp eq i32 %402, 0
  br i1 %.not128, label %430, label %403

403:                                              ; preds = %399
  %404 = load ptr, ptr @stderr, align 8, !tbaa !9
  %405 = load ptr, ptr %335, align 8, !tbaa !24
  %406 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %404, ptr noundef nonnull @.str.52, ptr noundef %405) #13
  %407 = tail call ptr @__errno_location() #12
  %408 = load i32, ptr %407, align 4, !tbaa !5
  %409 = load ptr, ptr @stderr, align 8, !tbaa !9
  %410 = call i32 @s2n_print_stacktrace(ptr noundef %409) #11
  %411 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %412 = trunc nuw i8 %411 to i1
  br i1 %412, label %413, label %417

413:                                              ; preds = %403
  %414 = load ptr, ptr @stderr, align 8, !tbaa !9
  %415 = call i32 @fileno(ptr noundef %414) #11
  %416 = call i32 @isatty(i32 noundef %415) #11
  %.not130 = icmp eq i32 %416, 0
  br i1 %.not130, label %417, label %418

417:                                              ; preds = %413, %403
  br label %418

418:                                              ; preds = %413, %417
  %.str.5.sink304 = phi ptr [ @.str.5, %417 ], [ @.str.2, %413 ]
  store i32 %408, ptr %407, align 4, !tbaa !5
  %419 = load ptr, ptr @stderr, align 8, !tbaa !9
  %420 = load i32, ptr @test_count, align 4, !tbaa !5
  %421 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %422 = load i32, ptr %421, align 4, !tbaa !5
  %423 = call ptr @s2n_strerror(i32 noundef %422, ptr noundef nonnull @.str.4) #11
  %424 = load i32, ptr %421, align 4, !tbaa !5
  %425 = call ptr @s2n_strerror_debug(i32 noundef %424, ptr noundef nonnull @.str.4) #11
  %426 = load i32, ptr %407, align 4, !tbaa !5
  %427 = call ptr @strerror(i32 noundef %426) #11
  %428 = load i32, ptr %407, align 4, !tbaa !5
  %429 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %419, ptr noundef nonnull %.str.5.sink304, i32 noundef %420, ptr noundef nonnull @.str.53, ptr noundef nonnull @.str.1, i32 noundef 383, ptr noundef %423, ptr noundef %425, ptr noundef %427, i32 noundef %428) #13
  call void @exit(i32 noundef 1) #14
  unreachable

430:                                              ; preds = %399
  %431 = getelementptr inbounds i8, ptr %401, i64 8
  %.0107158 = load ptr, ptr %431, align 8, !tbaa !9
  %432 = call i32 @s2n_test_validate_cert(ptr noundef %.0107158, ptr noundef nonnull %3)
  %433 = call zeroext i1 @s2n_result_is_error(i32 %432)
  br i1 %433, label %434, label %461

434:                                              ; preds = %465, %461, %430
  %.0108157.lcssa = phi i64 [ 0, %430 ], [ 1, %461 ], [ 2, %465 ]
  %435 = load ptr, ptr @stderr, align 8, !tbaa !9
  %436 = load ptr, ptr %335, align 8, !tbaa !24
  %437 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %435, ptr noundef nonnull @.str.54, ptr noundef %436, i64 noundef %.0108157.lcssa) #13
  %438 = tail call ptr @__errno_location() #12
  %439 = load i32, ptr %438, align 4, !tbaa !5
  %440 = load ptr, ptr @stderr, align 8, !tbaa !9
  %441 = call i32 @s2n_print_stacktrace(ptr noundef %440) #11
  %442 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %443 = trunc nuw i8 %442 to i1
  br i1 %443, label %444, label %448

444:                                              ; preds = %434
  %445 = load ptr, ptr @stderr, align 8, !tbaa !9
  %446 = call i32 @fileno(ptr noundef %445) #11
  %447 = call i32 @isatty(i32 noundef %446) #11
  %.not129 = icmp eq i32 %447, 0
  br i1 %.not129, label %448, label %449

448:                                              ; preds = %444, %434
  br label %449

449:                                              ; preds = %444, %448
  %.str.5.sink315 = phi ptr [ @.str.5, %448 ], [ @.str.2, %444 ]
  store i32 %439, ptr %438, align 4, !tbaa !5
  %450 = load ptr, ptr @stderr, align 8, !tbaa !9
  %451 = load i32, ptr @test_count, align 4, !tbaa !5
  %452 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %453 = load i32, ptr %452, align 4, !tbaa !5
  %454 = call ptr @s2n_strerror(i32 noundef %453, ptr noundef nonnull @.str.4) #11
  %455 = load i32, ptr %452, align 4, !tbaa !5
  %456 = call ptr @s2n_strerror_debug(i32 noundef %455, ptr noundef nonnull @.str.4) #11
  %457 = load i32, ptr %438, align 4, !tbaa !5
  %458 = call ptr @strerror(i32 noundef %457) #11
  %459 = load i32, ptr %438, align 4, !tbaa !5
  %460 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %450, ptr noundef nonnull %.str.5.sink315, i32 noundef %451, ptr noundef nonnull @.str.55, ptr noundef nonnull @.str.1, i32 noundef 390, ptr noundef %454, ptr noundef %456, ptr noundef %458, i32 noundef %459) #13
  call void @exit(i32 noundef 1) #14
  unreachable

461:                                              ; preds = %430
  %462 = getelementptr inbounds i8, ptr %.0107158, i64 104
  %.0107158.1 = load ptr, ptr %462, align 8, !tbaa !9
  %463 = call i32 @s2n_test_validate_cert(ptr noundef %.0107158.1, ptr noundef nonnull %260)
  %464 = call zeroext i1 @s2n_result_is_error(i32 %463)
  br i1 %464, label %434, label %465

465:                                              ; preds = %461
  %466 = getelementptr inbounds i8, ptr %.0107158.1, i64 104
  %.0107158.2 = load ptr, ptr %466, align 8, !tbaa !9
  %467 = call i32 @s2n_test_validate_cert(ptr noundef %.0107158.2, ptr noundef nonnull %298)
  %468 = call zeroext i1 @s2n_result_is_error(i32 %467)
  br i1 %468, label %434, label %469

469:                                              ; preds = %465
  %470 = call i32 @s2n_stuffer_free(ptr noundef nonnull %7) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %7) #11
  %471 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef nonnull %6) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #11
  %472 = add nuw nsw i64 %.0105159, 1
  %exitcond.not = icmp eq i64 %472, 17
  br i1 %exitcond.not, label %.preheader141, label %.preheader142, !llvm.loop !25

473:                                              ; preds = %572
  %474 = load ptr, ptr getelementptr inbounds (i8, ptr @__const.main.test_cases, i64 8), align 8, !tbaa !20
  br label %576

.preheader141:                                    ; preds = %469, %572
  %.0109160 = phi i64 [ %575, %572 ], [ 0, %469 ]
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #11
  %475 = call ptr @s2n_cert_chain_and_key_new() #11
  store ptr %475, ptr %8, align 8, !tbaa !9
  %476 = getelementptr inbounds [14 x %struct.s2n_test_case], ptr @__const.main.bad_test_cases, i64 0, i64 %.0109160
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %9) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %9, i8 0, i64 40, i1 false)
  %477 = load i32, ptr @test_count, align 4, !tbaa !5
  %478 = add nsw i32 %477, 1
  store i32 %478, ptr @test_count, align 4, !tbaa !5
  %479 = getelementptr inbounds i8, ptr %476, i64 8
  %480 = load ptr, ptr %479, align 8, !tbaa !20
  %481 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %480) #15
  %482 = trunc i64 %481 to i32
  %483 = call i32 @s2n_stuffer_alloc(ptr noundef nonnull %9, i32 noundef %482) #11
  %484 = icmp eq i32 %483, -1
  br i1 %484, label %485, label %509

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

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

496:                                              ; preds = %492, %485
  br label %497

497:                                              ; preds = %492, %496
  %.str.5.sink326 = phi ptr [ @.str.5, %496 ], [ @.str.2, %492 ]
  store i32 %487, ptr %486, align 4, !tbaa !5
  %498 = load ptr, ptr @stderr, align 8, !tbaa !9
  %499 = load i32, ptr @test_count, align 4, !tbaa !5
  %500 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %501 = load i32, ptr %500, align 4, !tbaa !5
  %502 = call ptr @s2n_strerror(i32 noundef %501, ptr noundef nonnull @.str.4) #11
  %503 = load i32, ptr %500, align 4, !tbaa !5
  %504 = call ptr @s2n_strerror_debug(i32 noundef %503, ptr noundef nonnull @.str.4) #11
  %505 = load i32, ptr %486, align 4, !tbaa !5
  %506 = call ptr @strerror(i32 noundef %505) #11
  %507 = load i32, ptr %486, align 4, !tbaa !5
  %508 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %498, ptr noundef nonnull %.str.5.sink326, i32 noundef %499, ptr noundef nonnull @.str.84, ptr noundef nonnull @.str.1, i32 noundef 519, ptr noundef %502, ptr noundef %504, ptr noundef %506, i32 noundef %507) #13
  call void @exit(i32 noundef 1) #14
  unreachable

509:                                              ; preds = %.preheader141
  %510 = load i32, ptr @test_count, align 4, !tbaa !5
  %511 = add nsw i32 %510, 1
  store i32 %511, ptr @test_count, align 4, !tbaa !5
  %512 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %480) #15
  %513 = trunc i64 %512 to i32
  %514 = call i32 @s2n_stuffer_write_bytes(ptr noundef nonnull %9, ptr noundef %480, i32 noundef %513) #11
  %515 = icmp eq i32 %514, -1
  br i1 %515, label %516, label %540

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

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

527:                                              ; preds = %523, %516
  br label %528

528:                                              ; preds = %523, %527
  %.str.5.sink337 = phi ptr [ @.str.5, %527 ], [ @.str.2, %523 ]
  store i32 %518, ptr %517, align 4, !tbaa !5
  %529 = load ptr, ptr @stderr, align 8, !tbaa !9
  %530 = load i32, ptr @test_count, align 4, !tbaa !5
  %531 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %532 = load i32, ptr %531, align 4, !tbaa !5
  %533 = call ptr @s2n_strerror(i32 noundef %532, ptr noundef nonnull @.str.4) #11
  %534 = load i32, ptr %531, align 4, !tbaa !5
  %535 = call ptr @s2n_strerror_debug(i32 noundef %534, ptr noundef nonnull @.str.4) #11
  %536 = load i32, ptr %517, align 4, !tbaa !5
  %537 = call ptr @strerror(i32 noundef %536) #11
  %538 = load i32, ptr %517, align 4, !tbaa !5
  %539 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %529, ptr noundef nonnull %.str.5.sink337, i32 noundef %530, ptr noundef nonnull @.str.85, ptr noundef nonnull @.str.1, i32 noundef 520, ptr noundef %533, ptr noundef %535, ptr noundef %537, i32 noundef %538) #13
  call void @exit(i32 noundef 1) #14
  unreachable

540:                                              ; preds = %509
  %541 = load ptr, ptr %8, align 8, !tbaa !9
  %542 = load ptr, ptr %541, align 8, !tbaa !22
  %543 = call i32 @s2n_create_cert_chain_from_stuffer(ptr noundef %542, ptr noundef nonnull %9) #11
  %544 = icmp eq i32 %543, 0
  br i1 %544, label %545, label %572

545:                                              ; preds = %540
  %546 = load ptr, ptr @stderr, align 8, !tbaa !9
  %547 = load ptr, ptr %476, align 8, !tbaa !24
  %548 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %546, ptr noundef nonnull @.str.86, ptr noundef %547) #13
  %549 = tail call ptr @__errno_location() #12
  %550 = load i32, ptr %549, align 4, !tbaa !5
  %551 = load ptr, ptr @stderr, align 8, !tbaa !9
  %552 = call i32 @s2n_print_stacktrace(ptr noundef %551) #11
  %553 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %554 = trunc nuw i8 %553 to i1
  br i1 %554, label %555, label %559

555:                                              ; preds = %545
  %556 = load ptr, ptr @stderr, align 8, !tbaa !9
  %557 = call i32 @fileno(ptr noundef %556) #11
  %558 = call i32 @isatty(i32 noundef %557) #11
  %.not125 = icmp eq i32 %558, 0
  br i1 %.not125, label %559, label %560

559:                                              ; preds = %555, %545
  br label %560

560:                                              ; preds = %555, %559
  %.str.5.sink348 = phi ptr [ @.str.5, %559 ], [ @.str.2, %555 ]
  store i32 %550, ptr %549, align 4, !tbaa !5
  %561 = load ptr, ptr @stderr, align 8, !tbaa !9
  %562 = load i32, ptr @test_count, align 4, !tbaa !5
  %563 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %564 = load i32, ptr %563, align 4, !tbaa !5
  %565 = call ptr @s2n_strerror(i32 noundef %564, ptr noundef nonnull @.str.4) #11
  %566 = load i32, ptr %563, align 4, !tbaa !5
  %567 = call ptr @s2n_strerror_debug(i32 noundef %566, ptr noundef nonnull @.str.4) #11
  %568 = load i32, ptr %549, align 4, !tbaa !5
  %569 = call ptr @strerror(i32 noundef %568) #11
  %570 = load i32, ptr %549, align 4, !tbaa !5
  %571 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %561, ptr noundef nonnull %.str.5.sink348, i32 noundef %562, ptr noundef nonnull @.str.87, ptr noundef nonnull @.str.1, i32 noundef 525, ptr noundef %565, ptr noundef %567, ptr noundef %569, i32 noundef %570) #13
  call void @exit(i32 noundef 1) #14
  unreachable

572:                                              ; preds = %540
  %573 = call i32 @s2n_stuffer_free(ptr noundef nonnull %9) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %9) #11
  %574 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef nonnull %8) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #11
  %575 = add nuw nsw i64 %.0109160, 1
  %exitcond178.not = icmp eq i64 %575, 14
  br i1 %exitcond178.not, label %473, label %.preheader141, !llvm.loop !27

576:                                              ; preds = %473, %796
  %.0110161 = phi i64 [ 0, %473 ], [ %800, %796 ]
  %577 = getelementptr inbounds [14 x %struct.s2n_test_case], ptr @__const.main.bad_test_cases, i64 0, i64 %.0110161
  %578 = getelementptr inbounds i8, ptr %577, i64 8
  %579 = load ptr, ptr %578, align 8, !tbaa !20
  %580 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %579) #15
  %581 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %474) #15
  %582 = add i64 %581, %580
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %10) #11
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %10, i8 0, i64 40, i1 false)
  %583 = load i32, ptr @test_count, align 4, !tbaa !5
  %584 = add nsw i32 %583, 1
  store i32 %584, ptr @test_count, align 4, !tbaa !5
  %585 = trunc i64 %582 to i32
  %586 = add i32 %585, 1
  %587 = call i32 @s2n_stuffer_alloc(ptr noundef nonnull %10, i32 noundef %586) #11
  %588 = icmp eq i32 %587, -1
  br i1 %588, label %589, label %613

589:                                              ; preds = %576
  %590 = tail call ptr @__errno_location() #12
  %591 = load i32, ptr %590, align 4, !tbaa !5
  %592 = load ptr, ptr @stderr, align 8, !tbaa !9
  %593 = call i32 @s2n_print_stacktrace(ptr noundef %592) #11
  %594 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %595 = trunc nuw i8 %594 to i1
  br i1 %595, label %596, label %600

596:                                              ; preds = %589
  %597 = load ptr, ptr @stderr, align 8, !tbaa !9
  %598 = call i32 @fileno(ptr noundef %597) #11
  %599 = call i32 @isatty(i32 noundef %598) #11
  %.not124 = icmp eq i32 %599, 0
  br i1 %.not124, label %600, label %601

600:                                              ; preds = %596, %589
  br label %601

601:                                              ; preds = %596, %600
  %.str.5.sink359 = phi ptr [ @.str.5, %600 ], [ @.str.2, %596 ]
  store i32 %591, ptr %590, align 4, !tbaa !5
  %602 = load ptr, ptr @stderr, align 8, !tbaa !9
  %603 = load i32, ptr @test_count, align 4, !tbaa !5
  %604 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %605 = load i32, ptr %604, align 4, !tbaa !5
  %606 = call ptr @s2n_strerror(i32 noundef %605, ptr noundef nonnull @.str.4) #11
  %607 = load i32, ptr %604, align 4, !tbaa !5
  %608 = call ptr @s2n_strerror_debug(i32 noundef %607, ptr noundef nonnull @.str.4) #11
  %609 = load i32, ptr %590, align 4, !tbaa !5
  %610 = call ptr @strerror(i32 noundef %609) #11
  %611 = load i32, ptr %590, align 4, !tbaa !5
  %612 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %602, ptr noundef nonnull %.str.5.sink359, i32 noundef %603, ptr noundef nonnull @.str.88, ptr noundef nonnull @.str.1, i32 noundef 541, ptr noundef %606, ptr noundef %608, ptr noundef %610, i32 noundef %611) #13
  call void @exit(i32 noundef 1) #14
  unreachable

613:                                              ; preds = %576
  %614 = load i32, ptr @test_count, align 4, !tbaa !5
  %615 = add nsw i32 %614, 1
  store i32 %615, ptr @test_count, align 4, !tbaa !5
  %616 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %474) #15
  %617 = trunc i64 %616 to i32
  %618 = call i32 @s2n_stuffer_write_bytes(ptr noundef nonnull %10, ptr noundef %474, i32 noundef %617) #11
  %619 = icmp eq i32 %618, -1
  br i1 %619, label %620, label %644

620:                                              ; preds = %613
  %621 = tail call ptr @__errno_location() #12
  %622 = load i32, ptr %621, align 4, !tbaa !5
  %623 = load ptr, ptr @stderr, align 8, !tbaa !9
  %624 = call i32 @s2n_print_stacktrace(ptr noundef %623) #11
  %625 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %626 = trunc nuw i8 %625 to i1
  br i1 %626, label %627, label %631

627:                                              ; preds = %620
  %628 = load ptr, ptr @stderr, align 8, !tbaa !9
  %629 = call i32 @fileno(ptr noundef %628) #11
  %630 = call i32 @isatty(i32 noundef %629) #11
  %.not123 = icmp eq i32 %630, 0
  br i1 %.not123, label %631, label %632

631:                                              ; preds = %627, %620
  br label %632

632:                                              ; preds = %627, %631
  %.str.5.sink370 = phi ptr [ @.str.5, %631 ], [ @.str.2, %627 ]
  store i32 %622, ptr %621, align 4, !tbaa !5
  %633 = load ptr, ptr @stderr, align 8, !tbaa !9
  %634 = load i32, ptr @test_count, align 4, !tbaa !5
  %635 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %636 = load i32, ptr %635, align 4, !tbaa !5
  %637 = call ptr @s2n_strerror(i32 noundef %636, ptr noundef nonnull @.str.4) #11
  %638 = load i32, ptr %635, align 4, !tbaa !5
  %639 = call ptr @s2n_strerror_debug(i32 noundef %638, ptr noundef nonnull @.str.4) #11
  %640 = load i32, ptr %621, align 4, !tbaa !5
  %641 = call ptr @strerror(i32 noundef %640) #11
  %642 = load i32, ptr %621, align 4, !tbaa !5
  %643 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %633, ptr noundef nonnull %.str.5.sink370, i32 noundef %634, ptr noundef nonnull @.str.89, ptr noundef nonnull @.str.1, i32 noundef 542, ptr noundef %637, ptr noundef %639, ptr noundef %641, i32 noundef %642) #13
  call void @exit(i32 noundef 1) #14
  unreachable

644:                                              ; preds = %613
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #11
  %645 = call ptr @s2n_cert_chain_and_key_new() #11
  store ptr %645, ptr %11, align 8, !tbaa !9
  %646 = load ptr, ptr %645, align 8, !tbaa !22
  %647 = load i32, ptr @test_count, align 4, !tbaa !5
  %648 = add nsw i32 %647, 1
  store i32 %648, ptr @test_count, align 4, !tbaa !5
  %649 = call i32 @s2n_create_cert_chain_from_stuffer(ptr noundef %646, ptr noundef nonnull %10) #11
  %650 = icmp eq i32 %649, -1
  br i1 %650, label %651, label %675

651:                                              ; preds = %644
  %652 = tail call ptr @__errno_location() #12
  %653 = load i32, ptr %652, align 4, !tbaa !5
  %654 = load ptr, ptr @stderr, align 8, !tbaa !9
  %655 = call i32 @s2n_print_stacktrace(ptr noundef %654) #11
  %656 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %657 = trunc nuw i8 %656 to i1
  br i1 %657, label %658, label %662

658:                                              ; preds = %651
  %659 = load ptr, ptr @stderr, align 8, !tbaa !9
  %660 = call i32 @fileno(ptr noundef %659) #11
  %661 = call i32 @isatty(i32 noundef %660) #11
  %.not122 = icmp eq i32 %661, 0
  br i1 %.not122, label %662, label %663

662:                                              ; preds = %658, %651
  br label %663

663:                                              ; preds = %658, %662
  %.str.5.sink381 = phi ptr [ @.str.5, %662 ], [ @.str.2, %658 ]
  store i32 %653, ptr %652, align 4, !tbaa !5
  %664 = load ptr, ptr @stderr, align 8, !tbaa !9
  %665 = load i32, ptr @test_count, align 4, !tbaa !5
  %666 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %667 = load i32, ptr %666, align 4, !tbaa !5
  %668 = call ptr @s2n_strerror(i32 noundef %667, ptr noundef nonnull @.str.4) #11
  %669 = load i32, ptr %666, align 4, !tbaa !5
  %670 = call ptr @s2n_strerror_debug(i32 noundef %669, ptr noundef nonnull @.str.4) #11
  %671 = load i32, ptr %652, align 4, !tbaa !5
  %672 = call ptr @strerror(i32 noundef %671) #11
  %673 = load i32, ptr %652, align 4, !tbaa !5
  %674 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %664, ptr noundef nonnull %.str.5.sink381, i32 noundef %665, ptr noundef nonnull @.str.90, ptr noundef nonnull @.str.1, i32 noundef 548, ptr noundef %668, ptr noundef %670, ptr noundef %672, i32 noundef %673) #13
  call void @exit(i32 noundef 1) #14
  unreachable

675:                                              ; preds = %644
  %676 = load i32, ptr @test_count, align 4, !tbaa !5
  %677 = add nsw i32 %676, 1
  store i32 %677, ptr @test_count, align 4, !tbaa !5
  %678 = call i32 @s2n_stuffer_write_uint8(ptr noundef nonnull %10, i8 noundef zeroext 10) #11
  %679 = icmp eq i32 %678, -1
  br i1 %679, label %680, label %704

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

687:                                              ; preds = %680
  %688 = load ptr, ptr @stderr, align 8, !tbaa !9
  %689 = call i32 @fileno(ptr noundef %688) #11
  %690 = call i32 @isatty(i32 noundef %689) #11
  %.not121 = icmp eq i32 %690, 0
  br i1 %.not121, label %691, label %692

691:                                              ; preds = %687, %680
  br label %692

692:                                              ; preds = %687, %691
  %.str.5.sink392 = phi ptr [ @.str.5, %691 ], [ @.str.2, %687 ]
  store i32 %682, ptr %681, align 4, !tbaa !5
  %693 = load ptr, ptr @stderr, align 8, !tbaa !9
  %694 = load i32, ptr @test_count, align 4, !tbaa !5
  %695 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %696 = load i32, ptr %695, align 4, !tbaa !5
  %697 = call ptr @s2n_strerror(i32 noundef %696, ptr noundef nonnull @.str.4) #11
  %698 = load i32, ptr %695, align 4, !tbaa !5
  %699 = call ptr @s2n_strerror_debug(i32 noundef %698, ptr noundef nonnull @.str.4) #11
  %700 = load i32, ptr %681, align 4, !tbaa !5
  %701 = call ptr @strerror(i32 noundef %700) #11
  %702 = load i32, ptr %681, align 4, !tbaa !5
  %703 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %693, ptr noundef nonnull %.str.5.sink392, i32 noundef %694, ptr noundef nonnull @.str.91, ptr noundef nonnull @.str.1, i32 noundef 551, ptr noundef %697, ptr noundef %699, ptr noundef %701, i32 noundef %702) #13
  call void @exit(i32 noundef 1) #14
  unreachable

704:                                              ; preds = %675
  %705 = load i32, ptr @test_count, align 4, !tbaa !5
  %706 = add nsw i32 %705, 1
  store i32 %706, ptr @test_count, align 4, !tbaa !5
  %707 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %579) #15
  %708 = trunc i64 %707 to i32
  %709 = call i32 @s2n_stuffer_write_bytes(ptr noundef nonnull %10, ptr noundef %579, i32 noundef %708) #11
  %710 = icmp eq i32 %709, -1
  br i1 %710, label %711, label %735

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

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

722:                                              ; preds = %718, %711
  br label %723

723:                                              ; preds = %718, %722
  %.str.5.sink403 = phi ptr [ @.str.5, %722 ], [ @.str.2, %718 ]
  store i32 %713, ptr %712, align 4, !tbaa !5
  %724 = load ptr, ptr @stderr, align 8, !tbaa !9
  %725 = load i32, ptr @test_count, align 4, !tbaa !5
  %726 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %727 = load i32, ptr %726, align 4, !tbaa !5
  %728 = call ptr @s2n_strerror(i32 noundef %727, ptr noundef nonnull @.str.4) #11
  %729 = load i32, ptr %726, align 4, !tbaa !5
  %730 = call ptr @s2n_strerror_debug(i32 noundef %729, ptr noundef nonnull @.str.4) #11
  %731 = load i32, ptr %712, align 4, !tbaa !5
  %732 = call ptr @strerror(i32 noundef %731) #11
  %733 = load i32, ptr %712, align 4, !tbaa !5
  %734 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %724, ptr noundef nonnull %.str.5.sink403, i32 noundef %725, ptr noundef nonnull @.str.85, ptr noundef nonnull @.str.1, i32 noundef 552, ptr noundef %728, ptr noundef %730, ptr noundef %732, i32 noundef %733) #13
  call void @exit(i32 noundef 1) #14
  unreachable

735:                                              ; preds = %704
  %736 = load i32, ptr @test_count, align 4, !tbaa !5
  %737 = add nsw i32 %736, 1
  store i32 %737, ptr @test_count, align 4, !tbaa !5
  %738 = call i32 @s2n_stuffer_reread(ptr noundef nonnull %10) #11
  %739 = icmp eq i32 %738, -1
  br i1 %739, label %740, label %764

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

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

751:                                              ; preds = %747, %740
  br label %752

752:                                              ; preds = %747, %751
  %.str.5.sink414 = phi ptr [ @.str.5, %751 ], [ @.str.2, %747 ]
  store i32 %742, ptr %741, align 4, !tbaa !5
  %753 = load ptr, ptr @stderr, align 8, !tbaa !9
  %754 = load i32, ptr @test_count, align 4, !tbaa !5
  %755 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %756 = load i32, ptr %755, align 4, !tbaa !5
  %757 = call ptr @s2n_strerror(i32 noundef %756, ptr noundef nonnull @.str.4) #11
  %758 = load i32, ptr %755, align 4, !tbaa !5
  %759 = call ptr @s2n_strerror_debug(i32 noundef %758, ptr noundef nonnull @.str.4) #11
  %760 = load i32, ptr %741, align 4, !tbaa !5
  %761 = call ptr @strerror(i32 noundef %760) #11
  %762 = load i32, ptr %741, align 4, !tbaa !5
  %763 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %753, ptr noundef nonnull %.str.5.sink414, i32 noundef %754, ptr noundef nonnull @.str.92, ptr noundef nonnull @.str.1, i32 noundef 553, ptr noundef %757, ptr noundef %759, ptr noundef %761, i32 noundef %762) #13
  call void @exit(i32 noundef 1) #14
  unreachable

764:                                              ; preds = %735
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #11
  %765 = call ptr @s2n_cert_chain_and_key_new() #11
  store ptr %765, ptr %12, align 8, !tbaa !9
  %766 = load ptr, ptr %765, align 8, !tbaa !22
  %767 = call i32 @s2n_create_cert_chain_from_stuffer(ptr noundef %766, ptr noundef nonnull %10) #11
  %768 = icmp eq i32 %767, 0
  br i1 %768, label %769, label %796

769:                                              ; preds = %764
  %770 = load ptr, ptr @stderr, align 8, !tbaa !9
  %771 = load ptr, ptr %577, align 8, !tbaa !24
  %772 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %770, ptr noundef nonnull @.str.86, ptr noundef %771) #13
  %773 = tail call ptr @__errno_location() #12
  %774 = load i32, ptr %773, align 4, !tbaa !5
  %775 = load ptr, ptr @stderr, align 8, !tbaa !9
  %776 = call i32 @s2n_print_stacktrace(ptr noundef %775) #11
  %777 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %778 = trunc nuw i8 %777 to i1
  br i1 %778, label %779, label %783

779:                                              ; preds = %769
  %780 = load ptr, ptr @stderr, align 8, !tbaa !9
  %781 = call i32 @fileno(ptr noundef %780) #11
  %782 = call i32 @isatty(i32 noundef %781) #11
  %.not118 = icmp eq i32 %782, 0
  br i1 %.not118, label %783, label %784

783:                                              ; preds = %779, %769
  br label %784

784:                                              ; preds = %779, %783
  %.str.5.sink425 = phi ptr [ @.str.5, %783 ], [ @.str.2, %779 ]
  store i32 %774, ptr %773, align 4, !tbaa !5
  %785 = load ptr, ptr @stderr, align 8, !tbaa !9
  %786 = load i32, ptr @test_count, align 4, !tbaa !5
  %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(i32 noundef %788, ptr noundef nonnull @.str.4) #11
  %790 = load i32, ptr %787, align 4, !tbaa !5
  %791 = call ptr @s2n_strerror_debug(i32 noundef %790, ptr noundef nonnull @.str.4) #11
  %792 = load i32, ptr %773, align 4, !tbaa !5
  %793 = call ptr @strerror(i32 noundef %792) #11
  %794 = load i32, ptr %773, align 4, !tbaa !5
  %795 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %785, ptr noundef nonnull %.str.5.sink425, i32 noundef %786, ptr noundef nonnull @.str.87, ptr noundef nonnull @.str.1, i32 noundef 561, ptr noundef %789, ptr noundef %791, ptr noundef %793, i32 noundef %794) #13
  call void @exit(i32 noundef 1) #14
  unreachable

796:                                              ; preds = %764
  %797 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef nonnull %12) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #11
  %798 = call i32 @s2n_cert_chain_and_key_ptr_free(ptr noundef nonnull %11) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #11
  %799 = call i32 @s2n_stuffer_free(ptr noundef nonnull %10) #11
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %10) #11
  %800 = add nuw nsw i64 %.0110161, 1
  %exitcond179.not = icmp eq i64 %800, 14
  br i1 %exitcond179.not, label %.preheader.preheader, label %576, !llvm.loop !28

.preheader.preheader:                             ; preds = %796
  %801 = load i32, ptr @test_count, align 4, !tbaa !5
  %802 = add nsw i32 %801, 1
  store i32 %802, ptr @test_count, align 4, !tbaa !5
  %803 = call i32 @s2n_free(ptr noundef nonnull %3) #11
  %804 = icmp eq i32 %803, -1
  br i1 %804, label %816, label %.preheader.1

.preheader.1:                                     ; preds = %.preheader.preheader
  %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 = call i32 @s2n_free(ptr noundef nonnull %260) #11
  %808 = icmp eq i32 %807, -1
  br i1 %808, label %816, label %.preheader.2

.preheader.2:                                     ; preds = %.preheader.1
  %809 = load i32, ptr @test_count, align 4, !tbaa !5
  %810 = add nsw i32 %809, 1
  store i32 %810, ptr @test_count, align 4, !tbaa !5
  %811 = call i32 @s2n_free(ptr noundef nonnull %298) #11
  %812 = icmp eq i32 %811, -1
  br i1 %812, label %816, label %813

813:                                              ; preds = %.preheader.2
  %814 = call i32 @s2n_cleanup() #11
  %815 = icmp eq i32 %814, -1
  br i1 %815, label %840, label %864

816:                                              ; preds = %.preheader.2, %.preheader.1, %.preheader.preheader
  %817 = tail call ptr @__errno_location() #12
  %818 = load i32, ptr %817, align 4, !tbaa !5
  %819 = load ptr, ptr @stderr, align 8, !tbaa !9
  %820 = call i32 @s2n_print_stacktrace(ptr noundef %819) #11
  %821 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %822 = trunc nuw i8 %821 to i1
  br i1 %822, label %823, label %827

823:                                              ; preds = %816
  %824 = load ptr, ptr @stderr, align 8, !tbaa !9
  %825 = call i32 @fileno(ptr noundef %824) #11
  %826 = call i32 @isatty(i32 noundef %825) #11
  %.not117 = icmp eq i32 %826, 0
  br i1 %.not117, label %827, label %828

827:                                              ; preds = %823, %816
  br label %828

828:                                              ; preds = %823, %827
  %.str.5.sink436 = phi ptr [ @.str.5, %827 ], [ @.str.2, %823 ]
  store i32 %818, ptr %817, align 4, !tbaa !5
  %829 = load ptr, ptr @stderr, align 8, !tbaa !9
  %830 = load i32, ptr @test_count, align 4, !tbaa !5
  %831 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %832 = load i32, ptr %831, align 4, !tbaa !5
  %833 = call ptr @s2n_strerror(i32 noundef %832, ptr noundef nonnull @.str.4) #11
  %834 = load i32, ptr %831, align 4, !tbaa !5
  %835 = call ptr @s2n_strerror_debug(i32 noundef %834, ptr noundef nonnull @.str.4) #11
  %836 = load i32, ptr %817, align 4, !tbaa !5
  %837 = call ptr @strerror(i32 noundef %836) #11
  %838 = load i32, ptr %817, align 4, !tbaa !5
  %839 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %829, ptr noundef nonnull %.str.5.sink436, i32 noundef %830, ptr noundef nonnull @.str.93, ptr noundef nonnull @.str.1, i32 noundef 566, ptr noundef %833, ptr noundef %835, ptr noundef %837, i32 noundef %838) #13
  call void @exit(i32 noundef 1) #14
  unreachable

840:                                              ; preds = %813
  %841 = tail call ptr @__errno_location() #12
  %842 = load i32, ptr %841, align 4, !tbaa !5
  %843 = load ptr, ptr @stderr, align 8, !tbaa !9
  %844 = call i32 @s2n_print_stacktrace(ptr noundef %843) #11
  %845 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %846 = trunc nuw i8 %845 to i1
  br i1 %846, label %847, label %851

847:                                              ; preds = %840
  %848 = load ptr, ptr @stderr, align 8, !tbaa !9
  %849 = call i32 @fileno(ptr noundef %848) #11
  %850 = call i32 @isatty(i32 noundef %849) #11
  %.not116 = icmp eq i32 %850, 0
  br i1 %.not116, label %851, label %852

851:                                              ; preds = %847, %840
  br label %852

852:                                              ; preds = %847, %851
  %.str.5.sink447 = phi ptr [ @.str.5, %851 ], [ @.str.2, %847 ]
  store i32 %842, ptr %841, align 4, !tbaa !5
  %853 = load ptr, ptr @stderr, align 8, !tbaa !9
  %854 = load i32, ptr @test_count, align 4, !tbaa !5
  %855 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %856 = load i32, ptr %855, align 4, !tbaa !5
  %857 = call ptr @s2n_strerror(i32 noundef %856, ptr noundef nonnull @.str.4) #11
  %858 = load i32, ptr %855, align 4, !tbaa !5
  %859 = call ptr @s2n_strerror_debug(i32 noundef %858, ptr noundef nonnull @.str.4) #11
  %860 = load i32, ptr %841, align 4, !tbaa !5
  %861 = call ptr @strerror(i32 noundef %860) #11
  %862 = load i32, ptr %841, align 4, !tbaa !5
  %863 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %853, ptr noundef nonnull %.str.5.sink447, i32 noundef %854, ptr noundef nonnull @.str.94, ptr noundef nonnull @.str.1, i32 noundef 568, ptr noundef %857, ptr noundef %859, ptr noundef %861, i32 noundef %862) #13
  call void @exit(i32 noundef 1) #14
  unreachable

864:                                              ; preds = %813
  %865 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #11
  %866 = icmp eq i32 %865, -1
  br i1 %866, label %867, label %891

867:                                              ; preds = %864
  %868 = tail call ptr @__errno_location() #12
  %869 = load i32, ptr %868, align 4, !tbaa !5
  %870 = load ptr, ptr @stderr, align 8, !tbaa !9
  %871 = call i32 @s2n_print_stacktrace(ptr noundef %870) #11
  %872 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %873 = trunc nuw i8 %872 to i1
  br i1 %873, label %874, label %878

874:                                              ; preds = %867
  %875 = load ptr, ptr @stderr, align 8, !tbaa !9
  %876 = call i32 @fileno(ptr noundef %875) #11
  %877 = call i32 @isatty(i32 noundef %876) #11
  %.not115 = icmp eq i32 %877, 0
  br i1 %.not115, label %878, label %879

878:                                              ; preds = %874, %867
  br label %879

879:                                              ; preds = %874, %878
  %.str.5.sink458 = phi ptr [ @.str.5, %878 ], [ @.str.2, %874 ]
  store i32 %869, ptr %868, align 4, !tbaa !5
  %880 = load ptr, ptr @stderr, align 8, !tbaa !9
  %881 = load i32, ptr @test_count, align 4, !tbaa !5
  %882 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %883 = load i32, ptr %882, align 4, !tbaa !5
  %884 = call ptr @s2n_strerror(i32 noundef %883, ptr noundef nonnull @.str.4) #11
  %885 = load i32, ptr %882, align 4, !tbaa !5
  %886 = call ptr @s2n_strerror_debug(i32 noundef %885, ptr noundef nonnull @.str.4) #11
  %887 = load i32, ptr %868, align 4, !tbaa !5
  %888 = call ptr @strerror(i32 noundef %887) #11
  %889 = load i32, ptr %868, align 4, !tbaa !5
  %890 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %880, ptr noundef nonnull %.str.5.sink458, i32 noundef %881, ptr noundef nonnull @.str.95, ptr noundef nonnull @.str.1, i32 noundef 568, ptr noundef %884, ptr noundef %886, ptr noundef %888, i32 noundef %889) #13
  call void @exit(i32 noundef 1) #14
  unreachable

891:                                              ; preds = %864
  %892 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %893 = trunc nuw i8 %892 to i1
  br i1 %893, label %894, label %905

894:                                              ; preds = %891
  %895 = load ptr, ptr @stdout, align 8, !tbaa !9
  %896 = call i32 @fileno(ptr noundef %895) #11
  %897 = call i32 @isatty(i32 noundef %896) #11
  %.not = icmp eq i32 %897, 0
  br i1 %.not, label %905, label %898

898:                                              ; preds = %894
  %899 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not114 = icmp eq i32 %899, 0
  %900 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not114, label %903, label %901

901:                                              ; preds = %898
  %902 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %900, ptr noundef nonnull @.str.96, i32 noundef %899) #11
  br label %912

903:                                              ; preds = %898
  %904 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %900, ptr noundef nonnull @.str.97) #11
  br label %912

905:                                              ; preds = %894, %891
  %906 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not113 = icmp eq i32 %906, 0
  %907 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not113, label %910, label %908

908:                                              ; preds = %905
  %909 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %907, ptr noundef nonnull @.str.98, i32 noundef %906) #11
  br label %912

910:                                              ; preds = %905
  %911 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %907, ptr noundef nonnull @.str.99) #11
  br label %912

912:                                              ; preds = %908, %910, %901, %903
  call void @llvm.lifetime.end.p0(i64 72, ptr nonnull %3) #11
  ret i32 0
}

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

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

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

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

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

declare i32 @s2n_print_stacktrace(ptr noundef) local_unnamed_addr #2

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

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

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

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

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

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

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

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

declare i32 @s2n_enable_atexit() local_unnamed_addr #2

declare i32 @s2n_init() local_unnamed_addr #2

; 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_alloc(ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i64 @strlen(ptr nocapture noundef) local_unnamed_addr #9

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

declare i32 @s2n_stuffer_free(ptr noundef) local_unnamed_addr #2

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

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

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

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

; Function Attrs: nounwind uwtable
declare hidden i32 @s2n_test_validate_cert(ptr noundef, ptr noundef) local_unnamed_addr #0

declare i32 @s2n_stuffer_write_uint8(ptr noundef, i8 noundef zeroext) local_unnamed_addr #2

declare i32 @s2n_stuffer_reread(ptr noundef) local_unnamed_addr #2

declare i32 @s2n_free(ptr noundef) local_unnamed_addr #2

declare i32 @s2n_cleanup() local_unnamed_addr #2

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress nofree nosync nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { mustprogress nofree nounwind willreturn memory(argmem: 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 #10 = { 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 #11 = { nounwind }
attributes #12 = { nounwind willreturn memory(none) }
attributes #13 = { cold nounwind }
attributes #14 = { noreturn nounwind }
attributes #15 = { 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, !6, i64 28}
!16 = !{!"s2n_stuffer", !17, i64 0, !6, i64 24, !6, i64 28, !6, i64 32, !6, i64 36, !6, i64 36, !6, i64 36}
!17 = !{!"s2n_blob", !10, i64 0, !6, i64 8, !6, i64 12, !6, i64 16}
!18 = !{!16, !6, i64 24}
!19 = !{!17, !6, i64 8}
!20 = !{!21, !10, i64 8}
!21 = !{!"s2n_test_case", !10, i64 0, !10, i64 8}
!22 = !{!23, !10, i64 0}
!23 = !{!"s2n_cert_chain_and_key", !10, i64 0, !10, i64 8, !17, i64 16, !17, i64 40, !10, i64 64, !10, i64 72, !10, i64 80}
!24 = !{!21, !10, i64 0}
!25 = distinct !{!25, !26}
!26 = !{!"llvm.loop.mustprogress"}
!27 = distinct !{!27, !26}
!28 = distinct !{!28, !26}


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