; LLVM IR from aws/s2n-tls :: tests/unit (s2n_libcrypto_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"

@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 [77 x i8], align 1
@stderr = external global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [48 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 ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  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 %34

34:                                               ; preds = %2
  br label %35

35:                                               ; preds = %34
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %36 = load ptr, ptr @stdout, align 8, !tbaa !9
  %37 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %36, ptr noundef @.str, ptr noundef @.str.1) #8
  %38 = load ptr, ptr @stdout, align 8, !tbaa !9
  %39 = call i32 @fflush(ptr noundef %38)
  br label %40

40:                                               ; preds = %35
  %41 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %42 = icmp eq i32 %41, -1
  br i1 %42, label %43, label %94

43:                                               ; preds = %40
  br label %44

44:                                               ; preds = %43
  br label %45

45:                                               ; preds = %44
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #8
  %46 = call ptr @__errno_location() #9
  %47 = load i32, ptr %46, align 4, !tbaa !5
  store i32 %47, ptr %6, align 4, !tbaa !5
  %48 = load ptr, ptr @stderr, align 8, !tbaa !9
  %49 = call i32 @s2n_print_stacktrace(ptr noundef %48)
  %50 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %51 = trunc i8 %50 to i1
  br i1 %51, label %52, label %74

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

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

74:                                               ; preds = %52, %45
  %75 = load i32, ptr %6, align 4, !tbaa !5
  %76 = call ptr @__errno_location() #9
  store i32 %75, ptr %76, align 4, !tbaa !5
  %77 = load ptr, ptr @stderr, align 8, !tbaa !9
  %78 = load i32, ptr @test_count, align 4, !tbaa !5
  %79 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %80 = load i32, ptr %79, align 4, !tbaa !5
  %81 = call ptr @s2n_strerror(i32 noundef %80, ptr noundef @.str.4)
  %82 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %83 = load i32, ptr %82, align 4, !tbaa !5
  %84 = call ptr @s2n_strerror_debug(i32 noundef %83, ptr noundef @.str.4)
  %85 = call ptr @__errno_location() #9
  %86 = load i32, ptr %85, align 4, !tbaa !5
  %87 = call ptr @strerror(i32 noundef %86) #8
  %88 = call ptr @__errno_location() #9
  %89 = load i32, ptr %88, align 4, !tbaa !5
  %90 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %77, ptr noundef @.str.5, i32 noundef %78, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 23, ptr noundef %81, ptr noundef %84, ptr noundef %87, i32 noundef %89) #8
  br label %91

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

92:                                               ; preds = %91
  call void @exit(i32 noundef 1) #10
  unreachable

93:                                               ; No predecessors!
  br label %94

94:                                               ; preds = %93, %40
  br label %95

95:                                               ; preds = %94
  br label %96

96:                                               ; preds = %95
  %97 = load i32, ptr @test_count, align 4, !tbaa !5
  %98 = add nsw i32 %97, 1
  store i32 %98, ptr @test_count, align 4, !tbaa !5
  %99 = call i32 @s2n_enable_atexit()
  %100 = icmp eq i32 %99, -1
  br i1 %100, label %101, label %152

101:                                              ; preds = %96
  br label %102

102:                                              ; preds = %101
  br label %103

103:                                              ; preds = %102
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #8
  %104 = call ptr @__errno_location() #9
  %105 = load i32, ptr %104, align 4, !tbaa !5
  store i32 %105, ptr %7, align 4, !tbaa !5
  %106 = load ptr, ptr @stderr, align 8, !tbaa !9
  %107 = call i32 @s2n_print_stacktrace(ptr noundef %106)
  %108 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %109 = trunc i8 %108 to i1
  br i1 %109, label %110, label %132

110:                                              ; preds = %103
  %111 = load ptr, ptr @stderr, align 8, !tbaa !9
  %112 = call i32 @fileno(ptr noundef %111) #8
  %113 = call i32 @isatty(i32 noundef %112) #8
  %114 = icmp ne i32 %113, 0
  br i1 %114, label %115, label %132

115:                                              ; preds = %110
  %116 = load i32, ptr %7, align 4, !tbaa !5
  %117 = call ptr @__errno_location() #9
  store i32 %116, ptr %117, align 4, !tbaa !5
  %118 = load ptr, ptr @stderr, align 8, !tbaa !9
  %119 = load i32, ptr @test_count, align 4, !tbaa !5
  %120 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %121 = load i32, ptr %120, align 4, !tbaa !5
  %122 = call ptr @s2n_strerror(i32 noundef %121, ptr noundef @.str.4)
  %123 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %124 = load i32, ptr %123, align 4, !tbaa !5
  %125 = call ptr @s2n_strerror_debug(i32 noundef %124, ptr noundef @.str.4)
  %126 = call ptr @__errno_location() #9
  %127 = load i32, ptr %126, align 4, !tbaa !5
  %128 = call ptr @strerror(i32 noundef %127) #8
  %129 = call ptr @__errno_location() #9
  %130 = load i32, ptr %129, align 4, !tbaa !5
  %131 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %118, ptr noundef @.str.2, i32 noundef %119, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 23, ptr noundef %122, ptr noundef %125, ptr noundef %128, i32 noundef %130) #8
  br label %149

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

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

150:                                              ; preds = %149
  call void @exit(i32 noundef 1) #10
  unreachable

151:                                              ; No predecessors!
  br label %152

152:                                              ; preds = %151, %96
  br label %153

153:                                              ; preds = %152
  br label %154

154:                                              ; preds = %153
  br label %155

155:                                              ; preds = %154
  %156 = call i32 @s2n_init()
  %157 = icmp eq i32 %156, -1
  br i1 %157, label %158, label %209

158:                                              ; preds = %155
  br label %159

159:                                              ; preds = %158
  br label %160

160:                                              ; preds = %159
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #8
  %161 = call ptr @__errno_location() #9
  %162 = load i32, ptr %161, align 4, !tbaa !5
  store i32 %162, ptr %8, align 4, !tbaa !5
  %163 = load ptr, ptr @stderr, align 8, !tbaa !9
  %164 = call i32 @s2n_print_stacktrace(ptr noundef %163)
  %165 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %166 = trunc i8 %165 to i1
  br i1 %166, label %167, label %189

167:                                              ; preds = %160
  %168 = load ptr, ptr @stderr, align 8, !tbaa !9
  %169 = call i32 @fileno(ptr noundef %168) #8
  %170 = call i32 @isatty(i32 noundef %169) #8
  %171 = icmp ne i32 %170, 0
  br i1 %171, label %172, label %189

172:                                              ; preds = %167
  %173 = load i32, ptr %8, align 4, !tbaa !5
  %174 = call ptr @__errno_location() #9
  store i32 %173, ptr %174, align 4, !tbaa !5
  %175 = load ptr, ptr @stderr, align 8, !tbaa !9
  %176 = load i32, ptr @test_count, align 4, !tbaa !5
  %177 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %178 = load i32, ptr %177, align 4, !tbaa !5
  %179 = call ptr @s2n_strerror(i32 noundef %178, ptr noundef @.str.4)
  %180 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %181 = load i32, ptr %180, align 4, !tbaa !5
  %182 = call ptr @s2n_strerror_debug(i32 noundef %181, ptr noundef @.str.4)
  %183 = call ptr @__errno_location() #9
  %184 = load i32, ptr %183, align 4, !tbaa !5
  %185 = call ptr @strerror(i32 noundef %184) #8
  %186 = call ptr @__errno_location() #9
  %187 = load i32, ptr %186, align 4, !tbaa !5
  %188 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %175, ptr noundef @.str.2, i32 noundef %176, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 23, ptr noundef %179, ptr noundef %182, ptr noundef %185, i32 noundef %187) #8
  br label %206

189:                                              ; preds = %167, %160
  %190 = load i32, ptr %8, align 4, !tbaa !5
  %191 = call ptr @__errno_location() #9
  store i32 %190, ptr %191, align 4, !tbaa !5
  %192 = load ptr, ptr @stderr, align 8, !tbaa !9
  %193 = load i32, ptr @test_count, align 4, !tbaa !5
  %194 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %195 = load i32, ptr %194, align 4, !tbaa !5
  %196 = call ptr @s2n_strerror(i32 noundef %195, ptr noundef @.str.4)
  %197 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %198 = load i32, ptr %197, align 4, !tbaa !5
  %199 = call ptr @s2n_strerror_debug(i32 noundef %198, ptr noundef @.str.4)
  %200 = call ptr @__errno_location() #9
  %201 = load i32, ptr %200, align 4, !tbaa !5
  %202 = call ptr @strerror(i32 noundef %201) #8
  %203 = call ptr @__errno_location() #9
  %204 = load i32, ptr %203, align 4, !tbaa !5
  %205 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %192, ptr noundef @.str.5, i32 noundef %193, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 23, ptr noundef %196, ptr noundef %199, ptr noundef %202, i32 noundef %204) #8
  br label %206

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

207:                                              ; preds = %206
  call void @exit(i32 noundef 1) #10
  unreachable

208:                                              ; No predecessors!
  br label %209

209:                                              ; preds = %208, %155
  br label %210

210:                                              ; preds = %209
  br label %211

211:                                              ; preds = %210
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #8
  %212 = call ptr @getenv(ptr noundef @.str.8) #8
  store ptr %212, ptr %9, align 8, !tbaa !9
  %213 = load ptr, ptr %9, align 8, !tbaa !9
  %214 = icmp eq ptr %213, null
  br i1 %214, label %215, label %370

215:                                              ; preds = %211
  br label %216

216:                                              ; preds = %215
  br label %217

217:                                              ; preds = %216
  %218 = call i32 @s2n_cleanup()
  %219 = icmp eq i32 %218, -1
  br i1 %219, label %220, label %273

220:                                              ; preds = %217
  br label %221

221:                                              ; preds = %220
  br label %222

222:                                              ; preds = %221
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #8
  %223 = call ptr @__errno_location() #9
  %224 = load i32, ptr %223, align 4, !tbaa !5
  store i32 %224, ptr %10, align 4, !tbaa !5
  %225 = load ptr, ptr @stderr, align 8, !tbaa !9
  %226 = call i32 @s2n_print_stacktrace(ptr noundef %225)
  %227 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %228 = trunc i8 %227 to i1
  br i1 %228, label %229, label %251

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

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

251:                                              ; preds = %229, %222
  %252 = load i32, ptr %10, align 4, !tbaa !5
  %253 = call ptr @__errno_location() #9
  store i32 %252, ptr %253, align 4, !tbaa !5
  %254 = load ptr, ptr @stderr, align 8, !tbaa !9
  %255 = load i32, ptr @test_count, align 4, !tbaa !5
  %256 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %257 = load i32, ptr %256, align 4, !tbaa !5
  %258 = call ptr @s2n_strerror(i32 noundef %257, ptr noundef @.str.4)
  %259 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %260 = load i32, ptr %259, align 4, !tbaa !5
  %261 = call ptr @s2n_strerror_debug(i32 noundef %260, ptr noundef @.str.4)
  %262 = call ptr @__errno_location() #9
  %263 = load i32, ptr %262, align 4, !tbaa !5
  %264 = call ptr @strerror(i32 noundef %263) #8
  %265 = call ptr @__errno_location() #9
  %266 = load i32, ptr %265, align 4, !tbaa !5
  %267 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %254, ptr noundef @.str.5, i32 noundef %255, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 27, ptr noundef %258, ptr noundef %261, ptr noundef %264, i32 noundef %266) #8
  br label %268

268:                                              ; preds = %251, %234
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #8
  br label %269

269:                                              ; preds = %268
  br label %270

270:                                              ; preds = %269
  call void @exit(i32 noundef 1) #10
  unreachable

271:                                              ; No predecessors!
  br label %272

272:                                              ; preds = %271
  br label %273

273:                                              ; preds = %272, %217
  br label %274

274:                                              ; preds = %273
  br label %275

275:                                              ; preds = %274
  br label %276

276:                                              ; preds = %275
  br label %277

277:                                              ; preds = %276
  %278 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %279 = icmp eq i32 %278, -1
  br i1 %279, label %280, label %333

280:                                              ; preds = %277
  br label %281

281:                                              ; preds = %280
  br label %282

282:                                              ; preds = %281
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #8
  %283 = call ptr @__errno_location() #9
  %284 = load i32, ptr %283, align 4, !tbaa !5
  store i32 %284, ptr %11, align 4, !tbaa !5
  %285 = load ptr, ptr @stderr, align 8, !tbaa !9
  %286 = call i32 @s2n_print_stacktrace(ptr noundef %285)
  %287 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %288 = trunc i8 %287 to i1
  br i1 %288, label %289, label %311

289:                                              ; preds = %282
  %290 = load ptr, ptr @stderr, align 8, !tbaa !9
  %291 = call i32 @fileno(ptr noundef %290) #8
  %292 = call i32 @isatty(i32 noundef %291) #8
  %293 = icmp ne i32 %292, 0
  br i1 %293, label %294, label %311

294:                                              ; preds = %289
  %295 = load i32, ptr %11, align 4, !tbaa !5
  %296 = call ptr @__errno_location() #9
  store i32 %295, ptr %296, align 4, !tbaa !5
  %297 = load ptr, ptr @stderr, align 8, !tbaa !9
  %298 = load i32, ptr @test_count, align 4, !tbaa !5
  %299 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %300 = load i32, ptr %299, align 4, !tbaa !5
  %301 = call ptr @s2n_strerror(i32 noundef %300, ptr noundef @.str.4)
  %302 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %303 = load i32, ptr %302, align 4, !tbaa !5
  %304 = call ptr @s2n_strerror_debug(i32 noundef %303, ptr noundef @.str.4)
  %305 = call ptr @__errno_location() #9
  %306 = load i32, ptr %305, align 4, !tbaa !5
  %307 = call ptr @strerror(i32 noundef %306) #8
  %308 = call ptr @__errno_location() #9
  %309 = load i32, ptr %308, align 4, !tbaa !5
  %310 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %297, ptr noundef @.str.2, i32 noundef %298, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 27, ptr noundef %301, ptr noundef %304, ptr noundef %307, i32 noundef %309) #8
  br label %328

311:                                              ; preds = %289, %282
  %312 = load i32, ptr %11, align 4, !tbaa !5
  %313 = call ptr @__errno_location() #9
  store i32 %312, ptr %313, align 4, !tbaa !5
  %314 = load ptr, ptr @stderr, align 8, !tbaa !9
  %315 = load i32, ptr @test_count, align 4, !tbaa !5
  %316 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %317 = load i32, ptr %316, align 4, !tbaa !5
  %318 = call ptr @s2n_strerror(i32 noundef %317, ptr noundef @.str.4)
  %319 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %320 = load i32, ptr %319, align 4, !tbaa !5
  %321 = call ptr @s2n_strerror_debug(i32 noundef %320, ptr noundef @.str.4)
  %322 = call ptr @__errno_location() #9
  %323 = load i32, ptr %322, align 4, !tbaa !5
  %324 = call ptr @strerror(i32 noundef %323) #8
  %325 = call ptr @__errno_location() #9
  %326 = load i32, ptr %325, align 4, !tbaa !5
  %327 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %314, ptr noundef @.str.5, i32 noundef %315, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 27, ptr noundef %318, ptr noundef %321, ptr noundef %324, i32 noundef %326) #8
  br label %328

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

329:                                              ; preds = %328
  br label %330

330:                                              ; preds = %329
  call void @exit(i32 noundef 1) #10
  unreachable

331:                                              ; No predecessors!
  br label %332

332:                                              ; preds = %331
  br label %333

333:                                              ; preds = %332, %277
  br label %334

334:                                              ; preds = %333
  br label %335

335:                                              ; preds = %334
  %336 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %337 = trunc i8 %336 to i1
  br i1 %337, label %338, label %354

338:                                              ; preds = %335
  %339 = load ptr, ptr @stdout, align 8, !tbaa !9
  %340 = call i32 @fileno(ptr noundef %339) #8
  %341 = call i32 @isatty(i32 noundef %340) #8
  %342 = icmp ne i32 %341, 0
  br i1 %342, label %343, label %354

343:                                              ; preds = %338
  %344 = load i32, ptr @test_count, align 4, !tbaa !5
  %345 = icmp ne i32 %344, 0
  br i1 %345, label %346, label %350

346:                                              ; preds = %343
  %347 = load ptr, ptr @stdout, align 8, !tbaa !9
  %348 = load i32, ptr @test_count, align 4, !tbaa !5
  %349 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %347, ptr noundef @.str.11, i32 noundef %348) #8
  br label %353

350:                                              ; preds = %343
  %351 = load ptr, ptr @stdout, align 8, !tbaa !9
  %352 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %351, ptr noundef @.str.12) #8
  br label %353

353:                                              ; preds = %350, %346
  br label %365

354:                                              ; preds = %338, %335
  %355 = load i32, ptr @test_count, align 4, !tbaa !5
  %356 = icmp ne i32 %355, 0
  br i1 %356, label %357, label %361

357:                                              ; preds = %354
  %358 = load ptr, ptr @stdout, align 8, !tbaa !9
  %359 = load i32, ptr @test_count, align 4, !tbaa !5
  %360 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %358, ptr noundef @.str.13, i32 noundef %359) #8
  br label %364

361:                                              ; preds = %354
  %362 = load ptr, ptr @stdout, align 8, !tbaa !9
  %363 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %362, ptr noundef @.str.14) #8
  br label %364

364:                                              ; preds = %361, %357
  br label %365

365:                                              ; preds = %364, %353
  store i32 0, ptr %3, align 4
  store i32 1, ptr %12, align 4
  br label %1701

366:                                              ; No predecessors!
  br label %367

367:                                              ; preds = %366
  br label %368

368:                                              ; preds = %367
  br label %369

369:                                              ; preds = %368
  br label %370

370:                                              ; preds = %369, %211
  %371 = load ptr, ptr %9, align 8, !tbaa !9
  %372 = call ptr @strstr(ptr noundef %371, ptr noundef @.str.15) #11
  %373 = icmp ne ptr %372, null
  br i1 %373, label %374, label %615

374:                                              ; preds = %370
  br label %375

375:                                              ; preds = %374
  %376 = load i32, ptr @test_count, align 4, !tbaa !5
  %377 = add nsw i32 %376, 1
  store i32 %377, ptr @test_count, align 4, !tbaa !5
  %378 = call zeroext i1 @s2n_libcrypto_is_awslc()
  br i1 %378, label %432, label %379

379:                                              ; preds = %375
  br label %380

380:                                              ; preds = %379
  br label %381

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

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

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

410:                                              ; preds = %388, %381
  %411 = load i32, ptr %13, align 4, !tbaa !5
  %412 = call ptr @__errno_location() #9
  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() #9
  %422 = load i32, ptr %421, align 4, !tbaa !5
  %423 = call ptr @strerror(i32 noundef %422) #8
  %424 = call ptr @__errno_location() #9
  %425 = load i32, ptr %424, align 4, !tbaa !5
  %426 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %413, ptr noundef @.str.5, i32 noundef %414, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 32, ptr noundef %417, ptr noundef %420, ptr noundef %423, i32 noundef %425) #8
  br label %427

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

428:                                              ; preds = %427
  br label %429

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

430:                                              ; No predecessors!
  br label %431

431:                                              ; preds = %430
  br label %432

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

433:                                              ; preds = %432
  br label %434

434:                                              ; preds = %433
  br label %435

435:                                              ; preds = %434
  %436 = load i32, ptr @test_count, align 4, !tbaa !5
  %437 = add nsw i32 %436, 1
  store i32 %437, ptr @test_count, align 4, !tbaa !5
  %438 = call zeroext i1 @s2n_libcrypto_is_boringssl()
  br i1 %438, label %439, label %492

439:                                              ; preds = %435
  br label %440

440:                                              ; preds = %439
  br label %441

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

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

453:                                              ; preds = %448
  %454 = load i32, ptr %14, align 4, !tbaa !5
  %455 = call ptr @__errno_location() #9
  store i32 %454, ptr %455, align 4, !tbaa !5
  %456 = load ptr, ptr @stderr, align 8, !tbaa !9
  %457 = load i32, ptr @test_count, align 4, !tbaa !5
  %458 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %459 = load i32, ptr %458, align 4, !tbaa !5
  %460 = call ptr @s2n_strerror(i32 noundef %459, ptr noundef @.str.4)
  %461 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %462 = load i32, ptr %461, align 4, !tbaa !5
  %463 = call ptr @s2n_strerror_debug(i32 noundef %462, ptr noundef @.str.4)
  %464 = call ptr @__errno_location() #9
  %465 = load i32, ptr %464, align 4, !tbaa !5
  %466 = call ptr @strerror(i32 noundef %465) #8
  %467 = call ptr @__errno_location() #9
  %468 = load i32, ptr %467, align 4, !tbaa !5
  %469 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %456, ptr noundef @.str.2, i32 noundef %457, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 33, ptr noundef %460, ptr noundef %463, ptr noundef %466, i32 noundef %468) #8
  br label %487

470:                                              ; preds = %448, %441
  %471 = load i32, ptr %14, align 4, !tbaa !5
  %472 = call ptr @__errno_location() #9
  store i32 %471, ptr %472, align 4, !tbaa !5
  %473 = load ptr, ptr @stderr, align 8, !tbaa !9
  %474 = load i32, ptr @test_count, align 4, !tbaa !5
  %475 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %476 = load i32, ptr %475, align 4, !tbaa !5
  %477 = call ptr @s2n_strerror(i32 noundef %476, ptr noundef @.str.4)
  %478 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %479 = load i32, ptr %478, align 4, !tbaa !5
  %480 = call ptr @s2n_strerror_debug(i32 noundef %479, ptr noundef @.str.4)
  %481 = call ptr @__errno_location() #9
  %482 = load i32, ptr %481, align 4, !tbaa !5
  %483 = call ptr @strerror(i32 noundef %482) #8
  %484 = call ptr @__errno_location() #9
  %485 = load i32, ptr %484, align 4, !tbaa !5
  %486 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %473, ptr noundef @.str.5, i32 noundef %474, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 33, ptr noundef %477, ptr noundef %480, ptr noundef %483, i32 noundef %485) #8
  br label %487

487:                                              ; preds = %470, %453
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #8
  br label %488

488:                                              ; preds = %487
  br label %489

489:                                              ; preds = %488
  call void @exit(i32 noundef 1) #10
  unreachable

490:                                              ; No predecessors!
  br label %491

491:                                              ; preds = %490
  br label %492

492:                                              ; preds = %491, %435
  br label %493

493:                                              ; preds = %492
  br label %494

494:                                              ; preds = %493
  br label %495

495:                                              ; preds = %494
  %496 = load i32, ptr @test_count, align 4, !tbaa !5
  %497 = add nsw i32 %496, 1
  store i32 %497, ptr @test_count, align 4, !tbaa !5
  %498 = call zeroext i1 @s2n_libcrypto_is_libressl()
  br i1 %498, label %499, label %552

499:                                              ; preds = %495
  br label %500

500:                                              ; preds = %499
  br label %501

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

508:                                              ; preds = %501
  %509 = load ptr, ptr @stderr, align 8, !tbaa !9
  %510 = call i32 @fileno(ptr noundef %509) #8
  %511 = call i32 @isatty(i32 noundef %510) #8
  %512 = icmp ne i32 %511, 0
  br i1 %512, label %513, label %530

513:                                              ; preds = %508
  %514 = load i32, ptr %15, align 4, !tbaa !5
  %515 = call ptr @__errno_location() #9
  store i32 %514, ptr %515, align 4, !tbaa !5
  %516 = load ptr, ptr @stderr, align 8, !tbaa !9
  %517 = load i32, ptr @test_count, align 4, !tbaa !5
  %518 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %519 = load i32, ptr %518, align 4, !tbaa !5
  %520 = call ptr @s2n_strerror(i32 noundef %519, ptr noundef @.str.4)
  %521 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %522 = load i32, ptr %521, align 4, !tbaa !5
  %523 = call ptr @s2n_strerror_debug(i32 noundef %522, ptr noundef @.str.4)
  %524 = call ptr @__errno_location() #9
  %525 = load i32, ptr %524, align 4, !tbaa !5
  %526 = call ptr @strerror(i32 noundef %525) #8
  %527 = call ptr @__errno_location() #9
  %528 = load i32, ptr %527, align 4, !tbaa !5
  %529 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %516, ptr noundef @.str.2, i32 noundef %517, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 34, ptr noundef %520, ptr noundef %523, ptr noundef %526, i32 noundef %528) #8
  br label %547

530:                                              ; preds = %508, %501
  %531 = load i32, ptr %15, align 4, !tbaa !5
  %532 = call ptr @__errno_location() #9
  store i32 %531, ptr %532, align 4, !tbaa !5
  %533 = load ptr, ptr @stderr, align 8, !tbaa !9
  %534 = load i32, ptr @test_count, align 4, !tbaa !5
  %535 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %536 = load i32, ptr %535, align 4, !tbaa !5
  %537 = call ptr @s2n_strerror(i32 noundef %536, ptr noundef @.str.4)
  %538 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %539 = load i32, ptr %538, align 4, !tbaa !5
  %540 = call ptr @s2n_strerror_debug(i32 noundef %539, ptr noundef @.str.4)
  %541 = call ptr @__errno_location() #9
  %542 = load i32, ptr %541, align 4, !tbaa !5
  %543 = call ptr @strerror(i32 noundef %542) #8
  %544 = call ptr @__errno_location() #9
  %545 = load i32, ptr %544, align 4, !tbaa !5
  %546 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %533, ptr noundef @.str.5, i32 noundef %534, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 34, ptr noundef %537, ptr noundef %540, ptr noundef %543, i32 noundef %545) #8
  br label %547

547:                                              ; preds = %530, %513
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #8
  br label %548

548:                                              ; preds = %547
  br label %549

549:                                              ; preds = %548
  call void @exit(i32 noundef 1) #10
  unreachable

550:                                              ; No predecessors!
  br label %551

551:                                              ; preds = %550
  br label %552

552:                                              ; preds = %551, %495
  br label %553

553:                                              ; preds = %552
  br label %554

554:                                              ; preds = %553
  br label %555

555:                                              ; preds = %554
  %556 = load i32, ptr @test_count, align 4, !tbaa !5
  %557 = add nsw i32 %556, 1
  store i32 %557, ptr @test_count, align 4, !tbaa !5
  %558 = call zeroext i1 @s2n_libcrypto_is_openssl()
  br i1 %558, label %559, label %612

559:                                              ; preds = %555
  br label %560

560:                                              ; preds = %559
  br label %561

561:                                              ; preds = %560
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #8
  %562 = call ptr @__errno_location() #9
  %563 = load i32, ptr %562, align 4, !tbaa !5
  store i32 %563, ptr %16, align 4, !tbaa !5
  %564 = load ptr, ptr @stderr, align 8, !tbaa !9
  %565 = call i32 @s2n_print_stacktrace(ptr noundef %564)
  %566 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %567 = trunc i8 %566 to i1
  br i1 %567, label %568, label %590

568:                                              ; preds = %561
  %569 = load ptr, ptr @stderr, align 8, !tbaa !9
  %570 = call i32 @fileno(ptr noundef %569) #8
  %571 = call i32 @isatty(i32 noundef %570) #8
  %572 = icmp ne i32 %571, 0
  br i1 %572, label %573, label %590

573:                                              ; preds = %568
  %574 = load i32, ptr %16, align 4, !tbaa !5
  %575 = call ptr @__errno_location() #9
  store i32 %574, ptr %575, align 4, !tbaa !5
  %576 = load ptr, ptr @stderr, align 8, !tbaa !9
  %577 = load i32, ptr @test_count, align 4, !tbaa !5
  %578 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %579 = load i32, ptr %578, align 4, !tbaa !5
  %580 = call ptr @s2n_strerror(i32 noundef %579, ptr noundef @.str.4)
  %581 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %582 = load i32, ptr %581, align 4, !tbaa !5
  %583 = call ptr @s2n_strerror_debug(i32 noundef %582, ptr noundef @.str.4)
  %584 = call ptr @__errno_location() #9
  %585 = load i32, ptr %584, align 4, !tbaa !5
  %586 = call ptr @strerror(i32 noundef %585) #8
  %587 = call ptr @__errno_location() #9
  %588 = load i32, ptr %587, align 4, !tbaa !5
  %589 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %576, ptr noundef @.str.2, i32 noundef %577, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 35, ptr noundef %580, ptr noundef %583, ptr noundef %586, i32 noundef %588) #8
  br label %607

590:                                              ; preds = %568, %561
  %591 = load i32, ptr %16, align 4, !tbaa !5
  %592 = call ptr @__errno_location() #9
  store i32 %591, ptr %592, align 4, !tbaa !5
  %593 = load ptr, ptr @stderr, align 8, !tbaa !9
  %594 = load i32, ptr @test_count, align 4, !tbaa !5
  %595 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %596 = load i32, ptr %595, align 4, !tbaa !5
  %597 = call ptr @s2n_strerror(i32 noundef %596, ptr noundef @.str.4)
  %598 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %599 = load i32, ptr %598, align 4, !tbaa !5
  %600 = call ptr @s2n_strerror_debug(i32 noundef %599, ptr noundef @.str.4)
  %601 = call ptr @__errno_location() #9
  %602 = load i32, ptr %601, align 4, !tbaa !5
  %603 = call ptr @strerror(i32 noundef %602) #8
  %604 = call ptr @__errno_location() #9
  %605 = load i32, ptr %604, align 4, !tbaa !5
  %606 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %593, ptr noundef @.str.5, i32 noundef %594, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 35, ptr noundef %597, ptr noundef %600, ptr noundef %603, i32 noundef %605) #8
  br label %607

607:                                              ; preds = %590, %573
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  br label %608

608:                                              ; preds = %607
  br label %609

609:                                              ; preds = %608
  call void @exit(i32 noundef 1) #10
  unreachable

610:                                              ; No predecessors!
  br label %611

611:                                              ; preds = %610
  br label %612

612:                                              ; preds = %611, %555
  br label %613

613:                                              ; preds = %612
  br label %614

614:                                              ; preds = %613
  br label %1412

615:                                              ; preds = %370
  %616 = load ptr, ptr %9, align 8, !tbaa !9
  %617 = call i32 @strcmp(ptr noundef %616, ptr noundef @.str.20) #11
  %618 = icmp eq i32 %617, 0
  br i1 %618, label %619, label %860

619:                                              ; preds = %615
  br label %620

620:                                              ; preds = %619
  %621 = load i32, ptr @test_count, align 4, !tbaa !5
  %622 = add nsw i32 %621, 1
  store i32 %622, ptr @test_count, align 4, !tbaa !5
  %623 = call zeroext i1 @s2n_libcrypto_is_awslc()
  br i1 %623, label %624, label %677

624:                                              ; preds = %620
  br label %625

625:                                              ; preds = %624
  br label %626

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

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

638:                                              ; preds = %633
  %639 = load i32, ptr %17, align 4, !tbaa !5
  %640 = call ptr @__errno_location() #9
  store i32 %639, ptr %640, align 4, !tbaa !5
  %641 = load ptr, ptr @stderr, align 8, !tbaa !9
  %642 = load i32, ptr @test_count, align 4, !tbaa !5
  %643 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %644 = load i32, ptr %643, align 4, !tbaa !5
  %645 = call ptr @s2n_strerror(i32 noundef %644, ptr noundef @.str.4)
  %646 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %647 = load i32, ptr %646, align 4, !tbaa !5
  %648 = call ptr @s2n_strerror_debug(i32 noundef %647, ptr noundef @.str.4)
  %649 = call ptr @__errno_location() #9
  %650 = load i32, ptr %649, align 4, !tbaa !5
  %651 = call ptr @strerror(i32 noundef %650) #8
  %652 = call ptr @__errno_location() #9
  %653 = load i32, ptr %652, align 4, !tbaa !5
  %654 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %641, ptr noundef @.str.2, i32 noundef %642, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 37, ptr noundef %645, ptr noundef %648, ptr noundef %651, i32 noundef %653) #8
  br label %672

655:                                              ; preds = %633, %626
  %656 = load i32, ptr %17, align 4, !tbaa !5
  %657 = call ptr @__errno_location() #9
  store i32 %656, ptr %657, align 4, !tbaa !5
  %658 = load ptr, ptr @stderr, align 8, !tbaa !9
  %659 = load i32, ptr @test_count, align 4, !tbaa !5
  %660 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %661 = load i32, ptr %660, align 4, !tbaa !5
  %662 = call ptr @s2n_strerror(i32 noundef %661, ptr noundef @.str.4)
  %663 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %664 = load i32, ptr %663, align 4, !tbaa !5
  %665 = call ptr @s2n_strerror_debug(i32 noundef %664, ptr noundef @.str.4)
  %666 = call ptr @__errno_location() #9
  %667 = load i32, ptr %666, align 4, !tbaa !5
  %668 = call ptr @strerror(i32 noundef %667) #8
  %669 = call ptr @__errno_location() #9
  %670 = load i32, ptr %669, align 4, !tbaa !5
  %671 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %658, ptr noundef @.str.5, i32 noundef %659, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 37, ptr noundef %662, ptr noundef %665, ptr noundef %668, i32 noundef %670) #8
  br label %672

672:                                              ; preds = %655, %638
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #8
  br label %673

673:                                              ; preds = %672
  br label %674

674:                                              ; preds = %673
  call void @exit(i32 noundef 1) #10
  unreachable

675:                                              ; No predecessors!
  br label %676

676:                                              ; preds = %675
  br label %677

677:                                              ; preds = %676, %620
  br label %678

678:                                              ; preds = %677
  br label %679

679:                                              ; preds = %678
  br label %680

680:                                              ; preds = %679
  %681 = load i32, ptr @test_count, align 4, !tbaa !5
  %682 = add nsw i32 %681, 1
  store i32 %682, ptr @test_count, align 4, !tbaa !5
  %683 = call zeroext i1 @s2n_libcrypto_is_boringssl()
  br i1 %683, label %737, label %684

684:                                              ; preds = %680
  br label %685

685:                                              ; preds = %684
  br label %686

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

693:                                              ; preds = %686
  %694 = load ptr, ptr @stderr, align 8, !tbaa !9
  %695 = call i32 @fileno(ptr noundef %694) #8
  %696 = call i32 @isatty(i32 noundef %695) #8
  %697 = icmp ne i32 %696, 0
  br i1 %697, label %698, label %715

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

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

732:                                              ; preds = %715, %698
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #8
  br label %733

733:                                              ; preds = %732
  br label %734

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

735:                                              ; No predecessors!
  br label %736

736:                                              ; preds = %735
  br label %737

737:                                              ; preds = %736, %680
  br label %738

738:                                              ; preds = %737
  br label %739

739:                                              ; preds = %738
  br label %740

740:                                              ; preds = %739
  %741 = load i32, ptr @test_count, align 4, !tbaa !5
  %742 = add nsw i32 %741, 1
  store i32 %742, ptr @test_count, align 4, !tbaa !5
  %743 = call zeroext i1 @s2n_libcrypto_is_libressl()
  br i1 %743, label %744, label %797

744:                                              ; preds = %740
  br label %745

745:                                              ; preds = %744
  br label %746

746:                                              ; preds = %745
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #8
  %747 = call ptr @__errno_location() #9
  %748 = load i32, ptr %747, align 4, !tbaa !5
  store i32 %748, ptr %19, 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) #8
  %756 = call i32 @isatty(i32 noundef %755) #8
  %757 = icmp ne i32 %756, 0
  br i1 %757, label %758, label %775

758:                                              ; preds = %753
  %759 = load i32, ptr %19, align 4, !tbaa !5
  %760 = call ptr @__errno_location() #9
  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() #9
  %770 = load i32, ptr %769, align 4, !tbaa !5
  %771 = call ptr @strerror(i32 noundef %770) #8
  %772 = call ptr @__errno_location() #9
  %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.18, ptr noundef @.str.1, i32 noundef 39, ptr noundef %765, ptr noundef %768, ptr noundef %771, i32 noundef %773) #8
  br label %792

775:                                              ; preds = %753, %746
  %776 = load i32, ptr %19, align 4, !tbaa !5
  %777 = call ptr @__errno_location() #9
  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() #9
  %787 = load i32, ptr %786, align 4, !tbaa !5
  %788 = call ptr @strerror(i32 noundef %787) #8
  %789 = call ptr @__errno_location() #9
  %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.18, ptr noundef @.str.1, i32 noundef 39, ptr noundef %782, ptr noundef %785, ptr noundef %788, i32 noundef %790) #8
  br label %792

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

793:                                              ; preds = %792
  br label %794

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

795:                                              ; No predecessors!
  br label %796

796:                                              ; preds = %795
  br label %797

797:                                              ; preds = %796, %740
  br label %798

798:                                              ; preds = %797
  br label %799

799:                                              ; preds = %798
  br label %800

800:                                              ; preds = %799
  %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 zeroext i1 @s2n_libcrypto_is_openssl()
  br i1 %803, label %804, label %857

804:                                              ; preds = %800
  br label %805

805:                                              ; preds = %804
  br label %806

806:                                              ; preds = %805
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #8
  %807 = call ptr @__errno_location() #9
  %808 = load i32, ptr %807, align 4, !tbaa !5
  store i32 %808, ptr %20, align 4, !tbaa !5
  %809 = load ptr, ptr @stderr, align 8, !tbaa !9
  %810 = call i32 @s2n_print_stacktrace(ptr noundef %809)
  %811 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %812 = trunc i8 %811 to i1
  br i1 %812, label %813, label %835

813:                                              ; preds = %806
  %814 = load ptr, ptr @stderr, align 8, !tbaa !9
  %815 = call i32 @fileno(ptr noundef %814) #8
  %816 = call i32 @isatty(i32 noundef %815) #8
  %817 = icmp ne i32 %816, 0
  br i1 %817, label %818, label %835

818:                                              ; preds = %813
  %819 = load i32, ptr %20, align 4, !tbaa !5
  %820 = call ptr @__errno_location() #9
  store i32 %819, ptr %820, align 4, !tbaa !5
  %821 = load ptr, ptr @stderr, align 8, !tbaa !9
  %822 = load i32, ptr @test_count, align 4, !tbaa !5
  %823 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %824 = load i32, ptr %823, align 4, !tbaa !5
  %825 = call ptr @s2n_strerror(i32 noundef %824, ptr noundef @.str.4)
  %826 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %827 = load i32, ptr %826, align 4, !tbaa !5
  %828 = call ptr @s2n_strerror_debug(i32 noundef %827, ptr noundef @.str.4)
  %829 = call ptr @__errno_location() #9
  %830 = load i32, ptr %829, align 4, !tbaa !5
  %831 = call ptr @strerror(i32 noundef %830) #8
  %832 = call ptr @__errno_location() #9
  %833 = load i32, ptr %832, align 4, !tbaa !5
  %834 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %821, ptr noundef @.str.2, i32 noundef %822, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 40, ptr noundef %825, ptr noundef %828, ptr noundef %831, i32 noundef %833) #8
  br label %852

835:                                              ; preds = %813, %806
  %836 = load i32, ptr %20, align 4, !tbaa !5
  %837 = call ptr @__errno_location() #9
  store i32 %836, ptr %837, align 4, !tbaa !5
  %838 = load ptr, ptr @stderr, align 8, !tbaa !9
  %839 = load i32, ptr @test_count, align 4, !tbaa !5
  %840 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %841 = load i32, ptr %840, align 4, !tbaa !5
  %842 = call ptr @s2n_strerror(i32 noundef %841, ptr noundef @.str.4)
  %843 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %844 = load i32, ptr %843, align 4, !tbaa !5
  %845 = call ptr @s2n_strerror_debug(i32 noundef %844, ptr noundef @.str.4)
  %846 = call ptr @__errno_location() #9
  %847 = load i32, ptr %846, align 4, !tbaa !5
  %848 = call ptr @strerror(i32 noundef %847) #8
  %849 = call ptr @__errno_location() #9
  %850 = load i32, ptr %849, align 4, !tbaa !5
  %851 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %838, ptr noundef @.str.5, i32 noundef %839, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 40, ptr noundef %842, ptr noundef %845, ptr noundef %848, i32 noundef %850) #8
  br label %852

852:                                              ; preds = %835, %818
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #8
  br label %853

853:                                              ; preds = %852
  br label %854

854:                                              ; preds = %853
  call void @exit(i32 noundef 1) #10
  unreachable

855:                                              ; No predecessors!
  br label %856

856:                                              ; preds = %855
  br label %857

857:                                              ; preds = %856, %800
  br label %858

858:                                              ; preds = %857
  br label %859

859:                                              ; preds = %858
  br label %1411

860:                                              ; preds = %615
  %861 = load ptr, ptr %9, align 8, !tbaa !9
  %862 = call i32 @strcmp(ptr noundef %861, ptr noundef @.str.23) #11
  %863 = icmp eq i32 %862, 0
  br i1 %863, label %864, label %1105

864:                                              ; preds = %860
  br label %865

865:                                              ; preds = %864
  %866 = load i32, ptr @test_count, align 4, !tbaa !5
  %867 = add nsw i32 %866, 1
  store i32 %867, ptr @test_count, align 4, !tbaa !5
  %868 = call zeroext i1 @s2n_libcrypto_is_awslc()
  br i1 %868, label %869, label %922

869:                                              ; preds = %865
  br label %870

870:                                              ; preds = %869
  br label %871

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

878:                                              ; preds = %871
  %879 = load ptr, ptr @stderr, align 8, !tbaa !9
  %880 = call i32 @fileno(ptr noundef %879) #8
  %881 = call i32 @isatty(i32 noundef %880) #8
  %882 = icmp ne i32 %881, 0
  br i1 %882, label %883, label %900

883:                                              ; preds = %878
  %884 = load i32, ptr %21, align 4, !tbaa !5
  %885 = call ptr @__errno_location() #9
  store i32 %884, ptr %885, align 4, !tbaa !5
  %886 = load ptr, ptr @stderr, align 8, !tbaa !9
  %887 = load i32, ptr @test_count, align 4, !tbaa !5
  %888 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %889 = load i32, ptr %888, align 4, !tbaa !5
  %890 = call ptr @s2n_strerror(i32 noundef %889, ptr noundef @.str.4)
  %891 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %892 = load i32, ptr %891, align 4, !tbaa !5
  %893 = call ptr @s2n_strerror_debug(i32 noundef %892, ptr noundef @.str.4)
  %894 = call ptr @__errno_location() #9
  %895 = load i32, ptr %894, align 4, !tbaa !5
  %896 = call ptr @strerror(i32 noundef %895) #8
  %897 = call ptr @__errno_location() #9
  %898 = load i32, ptr %897, align 4, !tbaa !5
  %899 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %886, ptr noundef @.str.2, i32 noundef %887, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 42, ptr noundef %890, ptr noundef %893, ptr noundef %896, i32 noundef %898) #8
  br label %917

900:                                              ; preds = %878, %871
  %901 = load i32, ptr %21, align 4, !tbaa !5
  %902 = call ptr @__errno_location() #9
  store i32 %901, ptr %902, align 4, !tbaa !5
  %903 = load ptr, ptr @stderr, align 8, !tbaa !9
  %904 = load i32, ptr @test_count, align 4, !tbaa !5
  %905 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %906 = load i32, ptr %905, align 4, !tbaa !5
  %907 = call ptr @s2n_strerror(i32 noundef %906, ptr noundef @.str.4)
  %908 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %909 = load i32, ptr %908, align 4, !tbaa !5
  %910 = call ptr @s2n_strerror_debug(i32 noundef %909, ptr noundef @.str.4)
  %911 = call ptr @__errno_location() #9
  %912 = load i32, ptr %911, align 4, !tbaa !5
  %913 = call ptr @strerror(i32 noundef %912) #8
  %914 = call ptr @__errno_location() #9
  %915 = load i32, ptr %914, align 4, !tbaa !5
  %916 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %903, ptr noundef @.str.5, i32 noundef %904, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 42, ptr noundef %907, ptr noundef %910, ptr noundef %913, i32 noundef %915) #8
  br label %917

917:                                              ; preds = %900, %883
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #8
  br label %918

918:                                              ; preds = %917
  br label %919

919:                                              ; preds = %918
  call void @exit(i32 noundef 1) #10
  unreachable

920:                                              ; No predecessors!
  br label %921

921:                                              ; preds = %920
  br label %922

922:                                              ; preds = %921, %865
  br label %923

923:                                              ; preds = %922
  br label %924

924:                                              ; preds = %923
  br label %925

925:                                              ; preds = %924
  %926 = load i32, ptr @test_count, align 4, !tbaa !5
  %927 = add nsw i32 %926, 1
  store i32 %927, ptr @test_count, align 4, !tbaa !5
  %928 = call zeroext i1 @s2n_libcrypto_is_boringssl()
  br i1 %928, label %929, label %982

929:                                              ; preds = %925
  br label %930

930:                                              ; preds = %929
  br label %931

931:                                              ; preds = %930
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #8
  %932 = call ptr @__errno_location() #9
  %933 = load i32, ptr %932, align 4, !tbaa !5
  store i32 %933, ptr %22, align 4, !tbaa !5
  %934 = load ptr, ptr @stderr, align 8, !tbaa !9
  %935 = call i32 @s2n_print_stacktrace(ptr noundef %934)
  %936 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %937 = trunc i8 %936 to i1
  br i1 %937, label %938, label %960

938:                                              ; preds = %931
  %939 = load ptr, ptr @stderr, align 8, !tbaa !9
  %940 = call i32 @fileno(ptr noundef %939) #8
  %941 = call i32 @isatty(i32 noundef %940) #8
  %942 = icmp ne i32 %941, 0
  br i1 %942, label %943, label %960

943:                                              ; preds = %938
  %944 = load i32, ptr %22, align 4, !tbaa !5
  %945 = call ptr @__errno_location() #9
  store i32 %944, ptr %945, align 4, !tbaa !5
  %946 = load ptr, ptr @stderr, align 8, !tbaa !9
  %947 = load i32, ptr @test_count, align 4, !tbaa !5
  %948 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %949 = load i32, ptr %948, align 4, !tbaa !5
  %950 = call ptr @s2n_strerror(i32 noundef %949, ptr noundef @.str.4)
  %951 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %952 = load i32, ptr %951, align 4, !tbaa !5
  %953 = call ptr @s2n_strerror_debug(i32 noundef %952, ptr noundef @.str.4)
  %954 = call ptr @__errno_location() #9
  %955 = load i32, ptr %954, align 4, !tbaa !5
  %956 = call ptr @strerror(i32 noundef %955) #8
  %957 = call ptr @__errno_location() #9
  %958 = load i32, ptr %957, align 4, !tbaa !5
  %959 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %946, ptr noundef @.str.2, i32 noundef %947, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 43, ptr noundef %950, ptr noundef %953, ptr noundef %956, i32 noundef %958) #8
  br label %977

960:                                              ; preds = %938, %931
  %961 = load i32, ptr %22, align 4, !tbaa !5
  %962 = call ptr @__errno_location() #9
  store i32 %961, ptr %962, align 4, !tbaa !5
  %963 = load ptr, ptr @stderr, align 8, !tbaa !9
  %964 = load i32, ptr @test_count, align 4, !tbaa !5
  %965 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %966 = load i32, ptr %965, align 4, !tbaa !5
  %967 = call ptr @s2n_strerror(i32 noundef %966, ptr noundef @.str.4)
  %968 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %969 = load i32, ptr %968, align 4, !tbaa !5
  %970 = call ptr @s2n_strerror_debug(i32 noundef %969, ptr noundef @.str.4)
  %971 = call ptr @__errno_location() #9
  %972 = load i32, ptr %971, align 4, !tbaa !5
  %973 = call ptr @strerror(i32 noundef %972) #8
  %974 = call ptr @__errno_location() #9
  %975 = load i32, ptr %974, align 4, !tbaa !5
  %976 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %963, ptr noundef @.str.5, i32 noundef %964, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 43, ptr noundef %967, ptr noundef %970, ptr noundef %973, i32 noundef %975) #8
  br label %977

977:                                              ; preds = %960, %943
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #8
  br label %978

978:                                              ; preds = %977
  br label %979

979:                                              ; preds = %978
  call void @exit(i32 noundef 1) #10
  unreachable

980:                                              ; No predecessors!
  br label %981

981:                                              ; preds = %980
  br label %982

982:                                              ; preds = %981, %925
  br label %983

983:                                              ; preds = %982
  br label %984

984:                                              ; preds = %983
  br label %985

985:                                              ; preds = %984
  %986 = load i32, ptr @test_count, align 4, !tbaa !5
  %987 = add nsw i32 %986, 1
  store i32 %987, ptr @test_count, align 4, !tbaa !5
  %988 = call zeroext i1 @s2n_libcrypto_is_libressl()
  br i1 %988, label %1042, label %989

989:                                              ; preds = %985
  br label %990

990:                                              ; preds = %989
  br label %991

991:                                              ; preds = %990
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #8
  %992 = call ptr @__errno_location() #9
  %993 = load i32, ptr %992, align 4, !tbaa !5
  store i32 %993, ptr %23, align 4, !tbaa !5
  %994 = load ptr, ptr @stderr, align 8, !tbaa !9
  %995 = call i32 @s2n_print_stacktrace(ptr noundef %994)
  %996 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %997 = trunc i8 %996 to i1
  br i1 %997, label %998, label %1020

998:                                              ; preds = %991
  %999 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1000 = call i32 @fileno(ptr noundef %999) #8
  %1001 = call i32 @isatty(i32 noundef %1000) #8
  %1002 = icmp ne i32 %1001, 0
  br i1 %1002, label %1003, label %1020

1003:                                             ; preds = %998
  %1004 = load i32, ptr %23, align 4, !tbaa !5
  %1005 = call ptr @__errno_location() #9
  store i32 %1004, ptr %1005, align 4, !tbaa !5
  %1006 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1007 = load i32, ptr @test_count, align 4, !tbaa !5
  %1008 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1009 = load i32, ptr %1008, align 4, !tbaa !5
  %1010 = call ptr @s2n_strerror(i32 noundef %1009, ptr noundef @.str.4)
  %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_debug(i32 noundef %1012, ptr noundef @.str.4)
  %1014 = call ptr @__errno_location() #9
  %1015 = load i32, ptr %1014, align 4, !tbaa !5
  %1016 = call ptr @strerror(i32 noundef %1015) #8
  %1017 = call ptr @__errno_location() #9
  %1018 = load i32, ptr %1017, align 4, !tbaa !5
  %1019 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1006, ptr noundef @.str.2, i32 noundef %1007, ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 44, ptr noundef %1010, ptr noundef %1013, ptr noundef %1016, i32 noundef %1018) #8
  br label %1037

1020:                                             ; preds = %998, %991
  %1021 = load i32, ptr %23, align 4, !tbaa !5
  %1022 = call ptr @__errno_location() #9
  store i32 %1021, ptr %1022, align 4, !tbaa !5
  %1023 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1024 = load i32, ptr @test_count, align 4, !tbaa !5
  %1025 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1026 = load i32, ptr %1025, align 4, !tbaa !5
  %1027 = call ptr @s2n_strerror(i32 noundef %1026, ptr noundef @.str.4)
  %1028 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1029 = load i32, ptr %1028, align 4, !tbaa !5
  %1030 = call ptr @s2n_strerror_debug(i32 noundef %1029, ptr noundef @.str.4)
  %1031 = call ptr @__errno_location() #9
  %1032 = load i32, ptr %1031, align 4, !tbaa !5
  %1033 = call ptr @strerror(i32 noundef %1032) #8
  %1034 = call ptr @__errno_location() #9
  %1035 = load i32, ptr %1034, align 4, !tbaa !5
  %1036 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1023, ptr noundef @.str.5, i32 noundef %1024, ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 44, ptr noundef %1027, ptr noundef %1030, ptr noundef %1033, i32 noundef %1035) #8
  br label %1037

1037:                                             ; preds = %1020, %1003
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #8
  br label %1038

1038:                                             ; preds = %1037
  br label %1039

1039:                                             ; preds = %1038
  call void @exit(i32 noundef 1) #10
  unreachable

1040:                                             ; No predecessors!
  br label %1041

1041:                                             ; preds = %1040
  br label %1042

1042:                                             ; preds = %1041, %985
  br label %1043

1043:                                             ; preds = %1042
  br label %1044

1044:                                             ; preds = %1043
  br label %1045

1045:                                             ; preds = %1044
  %1046 = load i32, ptr @test_count, align 4, !tbaa !5
  %1047 = add nsw i32 %1046, 1
  store i32 %1047, ptr @test_count, align 4, !tbaa !5
  %1048 = call zeroext i1 @s2n_libcrypto_is_openssl()
  br i1 %1048, label %1049, label %1102

1049:                                             ; preds = %1045
  br label %1050

1050:                                             ; preds = %1049
  br label %1051

1051:                                             ; preds = %1050
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #8
  %1052 = call ptr @__errno_location() #9
  %1053 = load i32, ptr %1052, align 4, !tbaa !5
  store i32 %1053, ptr %24, align 4, !tbaa !5
  %1054 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1055 = call i32 @s2n_print_stacktrace(ptr noundef %1054)
  %1056 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1057 = trunc i8 %1056 to i1
  br i1 %1057, label %1058, label %1080

1058:                                             ; preds = %1051
  %1059 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1060 = call i32 @fileno(ptr noundef %1059) #8
  %1061 = call i32 @isatty(i32 noundef %1060) #8
  %1062 = icmp ne i32 %1061, 0
  br i1 %1062, label %1063, label %1080

1063:                                             ; preds = %1058
  %1064 = load i32, ptr %24, align 4, !tbaa !5
  %1065 = call ptr @__errno_location() #9
  store i32 %1064, ptr %1065, align 4, !tbaa !5
  %1066 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1067 = load i32, ptr @test_count, align 4, !tbaa !5
  %1068 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1069 = load i32, ptr %1068, align 4, !tbaa !5
  %1070 = call ptr @s2n_strerror(i32 noundef %1069, ptr noundef @.str.4)
  %1071 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1072 = load i32, ptr %1071, align 4, !tbaa !5
  %1073 = call ptr @s2n_strerror_debug(i32 noundef %1072, ptr noundef @.str.4)
  %1074 = call ptr @__errno_location() #9
  %1075 = load i32, ptr %1074, align 4, !tbaa !5
  %1076 = call ptr @strerror(i32 noundef %1075) #8
  %1077 = call ptr @__errno_location() #9
  %1078 = load i32, ptr %1077, align 4, !tbaa !5
  %1079 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1066, ptr noundef @.str.2, i32 noundef %1067, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 45, ptr noundef %1070, ptr noundef %1073, ptr noundef %1076, i32 noundef %1078) #8
  br label %1097

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

1097:                                             ; preds = %1080, %1063
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #8
  br label %1098

1098:                                             ; preds = %1097
  br label %1099

1099:                                             ; preds = %1098
  call void @exit(i32 noundef 1) #10
  unreachable

1100:                                             ; No predecessors!
  br label %1101

1101:                                             ; preds = %1100
  br label %1102

1102:                                             ; preds = %1101, %1045
  br label %1103

1103:                                             ; preds = %1102
  br label %1104

1104:                                             ; preds = %1103
  br label %1410

1105:                                             ; preds = %860
  %1106 = load ptr, ptr %9, align 8, !tbaa !9
  %1107 = call ptr @strstr(ptr noundef %1106, ptr noundef @.str.25) #11
  %1108 = icmp ne ptr %1107, null
  br i1 %1108, label %1109, label %1350

1109:                                             ; preds = %1105
  br label %1110

1110:                                             ; preds = %1109
  %1111 = load i32, ptr @test_count, align 4, !tbaa !5
  %1112 = add nsw i32 %1111, 1
  store i32 %1112, ptr @test_count, align 4, !tbaa !5
  %1113 = call zeroext i1 @s2n_libcrypto_is_awslc()
  br i1 %1113, label %1114, label %1167

1114:                                             ; preds = %1110
  br label %1115

1115:                                             ; preds = %1114
  br label %1116

1116:                                             ; preds = %1115
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #8
  %1117 = call ptr @__errno_location() #9
  %1118 = load i32, ptr %1117, align 4, !tbaa !5
  store i32 %1118, ptr %25, align 4, !tbaa !5
  %1119 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1120 = call i32 @s2n_print_stacktrace(ptr noundef %1119)
  %1121 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1122 = trunc i8 %1121 to i1
  br i1 %1122, label %1123, label %1145

1123:                                             ; preds = %1116
  %1124 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1125 = call i32 @fileno(ptr noundef %1124) #8
  %1126 = call i32 @isatty(i32 noundef %1125) #8
  %1127 = icmp ne i32 %1126, 0
  br i1 %1127, label %1128, label %1145

1128:                                             ; preds = %1123
  %1129 = load i32, ptr %25, align 4, !tbaa !5
  %1130 = call ptr @__errno_location() #9
  store i32 %1129, ptr %1130, align 4, !tbaa !5
  %1131 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1132 = load i32, ptr @test_count, align 4, !tbaa !5
  %1133 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1134 = load i32, ptr %1133, align 4, !tbaa !5
  %1135 = call ptr @s2n_strerror(i32 noundef %1134, ptr noundef @.str.4)
  %1136 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1137 = load i32, ptr %1136, align 4, !tbaa !5
  %1138 = call ptr @s2n_strerror_debug(i32 noundef %1137, ptr noundef @.str.4)
  %1139 = call ptr @__errno_location() #9
  %1140 = load i32, ptr %1139, align 4, !tbaa !5
  %1141 = call ptr @strerror(i32 noundef %1140) #8
  %1142 = call ptr @__errno_location() #9
  %1143 = load i32, ptr %1142, align 4, !tbaa !5
  %1144 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1131, ptr noundef @.str.2, i32 noundef %1132, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 47, ptr noundef %1135, ptr noundef %1138, ptr noundef %1141, i32 noundef %1143) #8
  br label %1162

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

1162:                                             ; preds = %1145, %1128
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #8
  br label %1163

1163:                                             ; preds = %1162
  br label %1164

1164:                                             ; preds = %1163
  call void @exit(i32 noundef 1) #10
  unreachable

1165:                                             ; No predecessors!
  br label %1166

1166:                                             ; preds = %1165
  br label %1167

1167:                                             ; preds = %1166, %1110
  br label %1168

1168:                                             ; preds = %1167
  br label %1169

1169:                                             ; preds = %1168
  br label %1170

1170:                                             ; preds = %1169
  %1171 = load i32, ptr @test_count, align 4, !tbaa !5
  %1172 = add nsw i32 %1171, 1
  store i32 %1172, ptr @test_count, align 4, !tbaa !5
  %1173 = call zeroext i1 @s2n_libcrypto_is_boringssl()
  br i1 %1173, label %1174, label %1227

1174:                                             ; preds = %1170
  br label %1175

1175:                                             ; preds = %1174
  br label %1176

1176:                                             ; preds = %1175
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #8
  %1177 = call ptr @__errno_location() #9
  %1178 = load i32, ptr %1177, align 4, !tbaa !5
  store i32 %1178, ptr %26, align 4, !tbaa !5
  %1179 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1180 = call i32 @s2n_print_stacktrace(ptr noundef %1179)
  %1181 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1182 = trunc i8 %1181 to i1
  br i1 %1182, label %1183, label %1205

1183:                                             ; preds = %1176
  %1184 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1185 = call i32 @fileno(ptr noundef %1184) #8
  %1186 = call i32 @isatty(i32 noundef %1185) #8
  %1187 = icmp ne i32 %1186, 0
  br i1 %1187, label %1188, label %1205

1188:                                             ; preds = %1183
  %1189 = load i32, ptr %26, align 4, !tbaa !5
  %1190 = call ptr @__errno_location() #9
  store i32 %1189, ptr %1190, align 4, !tbaa !5
  %1191 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1192 = load i32, ptr @test_count, align 4, !tbaa !5
  %1193 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1194 = load i32, ptr %1193, align 4, !tbaa !5
  %1195 = call ptr @s2n_strerror(i32 noundef %1194, ptr noundef @.str.4)
  %1196 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1197 = load i32, ptr %1196, align 4, !tbaa !5
  %1198 = call ptr @s2n_strerror_debug(i32 noundef %1197, ptr noundef @.str.4)
  %1199 = call ptr @__errno_location() #9
  %1200 = load i32, ptr %1199, align 4, !tbaa !5
  %1201 = call ptr @strerror(i32 noundef %1200) #8
  %1202 = call ptr @__errno_location() #9
  %1203 = load i32, ptr %1202, align 4, !tbaa !5
  %1204 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1191, ptr noundef @.str.2, i32 noundef %1192, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 48, ptr noundef %1195, ptr noundef %1198, ptr noundef %1201, i32 noundef %1203) #8
  br label %1222

1205:                                             ; preds = %1183, %1176
  %1206 = load i32, ptr %26, align 4, !tbaa !5
  %1207 = call ptr @__errno_location() #9
  store i32 %1206, ptr %1207, align 4, !tbaa !5
  %1208 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1209 = load i32, ptr @test_count, align 4, !tbaa !5
  %1210 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1211 = load i32, ptr %1210, align 4, !tbaa !5
  %1212 = call ptr @s2n_strerror(i32 noundef %1211, ptr noundef @.str.4)
  %1213 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1214 = load i32, ptr %1213, align 4, !tbaa !5
  %1215 = call ptr @s2n_strerror_debug(i32 noundef %1214, ptr noundef @.str.4)
  %1216 = call ptr @__errno_location() #9
  %1217 = load i32, ptr %1216, align 4, !tbaa !5
  %1218 = call ptr @strerror(i32 noundef %1217) #8
  %1219 = call ptr @__errno_location() #9
  %1220 = load i32, ptr %1219, align 4, !tbaa !5
  %1221 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1208, ptr noundef @.str.5, i32 noundef %1209, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 48, ptr noundef %1212, ptr noundef %1215, ptr noundef %1218, i32 noundef %1220) #8
  br label %1222

1222:                                             ; preds = %1205, %1188
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #8
  br label %1223

1223:                                             ; preds = %1222
  br label %1224

1224:                                             ; preds = %1223
  call void @exit(i32 noundef 1) #10
  unreachable

1225:                                             ; No predecessors!
  br label %1226

1226:                                             ; preds = %1225
  br label %1227

1227:                                             ; preds = %1226, %1170
  br label %1228

1228:                                             ; preds = %1227
  br label %1229

1229:                                             ; preds = %1228
  br label %1230

1230:                                             ; preds = %1229
  %1231 = load i32, ptr @test_count, align 4, !tbaa !5
  %1232 = add nsw i32 %1231, 1
  store i32 %1232, ptr @test_count, align 4, !tbaa !5
  %1233 = call zeroext i1 @s2n_libcrypto_is_libressl()
  br i1 %1233, label %1234, label %1287

1234:                                             ; preds = %1230
  br label %1235

1235:                                             ; preds = %1234
  br label %1236

1236:                                             ; preds = %1235
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #8
  %1237 = call ptr @__errno_location() #9
  %1238 = load i32, ptr %1237, align 4, !tbaa !5
  store i32 %1238, ptr %27, align 4, !tbaa !5
  %1239 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1240 = call i32 @s2n_print_stacktrace(ptr noundef %1239)
  %1241 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1242 = trunc i8 %1241 to i1
  br i1 %1242, label %1243, label %1265

1243:                                             ; preds = %1236
  %1244 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1245 = call i32 @fileno(ptr noundef %1244) #8
  %1246 = call i32 @isatty(i32 noundef %1245) #8
  %1247 = icmp ne i32 %1246, 0
  br i1 %1247, label %1248, label %1265

1248:                                             ; preds = %1243
  %1249 = load i32, ptr %27, align 4, !tbaa !5
  %1250 = call ptr @__errno_location() #9
  store i32 %1249, ptr %1250, align 4, !tbaa !5
  %1251 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1252 = load i32, ptr @test_count, align 4, !tbaa !5
  %1253 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1254 = load i32, ptr %1253, align 4, !tbaa !5
  %1255 = call ptr @s2n_strerror(i32 noundef %1254, ptr noundef @.str.4)
  %1256 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1257 = load i32, ptr %1256, align 4, !tbaa !5
  %1258 = call ptr @s2n_strerror_debug(i32 noundef %1257, ptr noundef @.str.4)
  %1259 = call ptr @__errno_location() #9
  %1260 = load i32, ptr %1259, align 4, !tbaa !5
  %1261 = call ptr @strerror(i32 noundef %1260) #8
  %1262 = call ptr @__errno_location() #9
  %1263 = load i32, ptr %1262, align 4, !tbaa !5
  %1264 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1251, ptr noundef @.str.2, i32 noundef %1252, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 49, ptr noundef %1255, ptr noundef %1258, ptr noundef %1261, i32 noundef %1263) #8
  br label %1282

1265:                                             ; preds = %1243, %1236
  %1266 = load i32, ptr %27, align 4, !tbaa !5
  %1267 = call ptr @__errno_location() #9
  store i32 %1266, ptr %1267, align 4, !tbaa !5
  %1268 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1269 = load i32, ptr @test_count, align 4, !tbaa !5
  %1270 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1271 = load i32, ptr %1270, align 4, !tbaa !5
  %1272 = call ptr @s2n_strerror(i32 noundef %1271, ptr noundef @.str.4)
  %1273 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1274 = load i32, ptr %1273, align 4, !tbaa !5
  %1275 = call ptr @s2n_strerror_debug(i32 noundef %1274, ptr noundef @.str.4)
  %1276 = call ptr @__errno_location() #9
  %1277 = load i32, ptr %1276, align 4, !tbaa !5
  %1278 = call ptr @strerror(i32 noundef %1277) #8
  %1279 = call ptr @__errno_location() #9
  %1280 = load i32, ptr %1279, align 4, !tbaa !5
  %1281 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1268, ptr noundef @.str.5, i32 noundef %1269, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 49, ptr noundef %1272, ptr noundef %1275, ptr noundef %1278, i32 noundef %1280) #8
  br label %1282

1282:                                             ; preds = %1265, %1248
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  br label %1283

1283:                                             ; preds = %1282
  br label %1284

1284:                                             ; preds = %1283
  call void @exit(i32 noundef 1) #10
  unreachable

1285:                                             ; No predecessors!
  br label %1286

1286:                                             ; preds = %1285
  br label %1287

1287:                                             ; preds = %1286, %1230
  br label %1288

1288:                                             ; preds = %1287
  br label %1289

1289:                                             ; preds = %1288
  br label %1290

1290:                                             ; preds = %1289
  %1291 = load i32, ptr @test_count, align 4, !tbaa !5
  %1292 = add nsw i32 %1291, 1
  store i32 %1292, ptr @test_count, align 4, !tbaa !5
  %1293 = call zeroext i1 @s2n_libcrypto_is_openssl()
  br i1 %1293, label %1347, label %1294

1294:                                             ; preds = %1290
  br label %1295

1295:                                             ; preds = %1294
  br label %1296

1296:                                             ; preds = %1295
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #8
  %1297 = call ptr @__errno_location() #9
  %1298 = load i32, ptr %1297, align 4, !tbaa !5
  store i32 %1298, ptr %28, align 4, !tbaa !5
  %1299 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1300 = call i32 @s2n_print_stacktrace(ptr noundef %1299)
  %1301 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1302 = trunc i8 %1301 to i1
  br i1 %1302, label %1303, label %1325

1303:                                             ; preds = %1296
  %1304 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1305 = call i32 @fileno(ptr noundef %1304) #8
  %1306 = call i32 @isatty(i32 noundef %1305) #8
  %1307 = icmp ne i32 %1306, 0
  br i1 %1307, label %1308, label %1325

1308:                                             ; preds = %1303
  %1309 = load i32, ptr %28, align 4, !tbaa !5
  %1310 = call ptr @__errno_location() #9
  store i32 %1309, ptr %1310, align 4, !tbaa !5
  %1311 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1312 = load i32, ptr @test_count, align 4, !tbaa !5
  %1313 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1314 = load i32, ptr %1313, align 4, !tbaa !5
  %1315 = call ptr @s2n_strerror(i32 noundef %1314, ptr noundef @.str.4)
  %1316 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1317 = load i32, ptr %1316, align 4, !tbaa !5
  %1318 = call ptr @s2n_strerror_debug(i32 noundef %1317, ptr noundef @.str.4)
  %1319 = call ptr @__errno_location() #9
  %1320 = load i32, ptr %1319, align 4, !tbaa !5
  %1321 = call ptr @strerror(i32 noundef %1320) #8
  %1322 = call ptr @__errno_location() #9
  %1323 = load i32, ptr %1322, align 4, !tbaa !5
  %1324 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1311, ptr noundef @.str.2, i32 noundef %1312, ptr noundef @.str.26, ptr noundef @.str.1, i32 noundef 50, ptr noundef %1315, ptr noundef %1318, ptr noundef %1321, i32 noundef %1323) #8
  br label %1342

1325:                                             ; preds = %1303, %1296
  %1326 = load i32, ptr %28, align 4, !tbaa !5
  %1327 = call ptr @__errno_location() #9
  store i32 %1326, ptr %1327, align 4, !tbaa !5
  %1328 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1329 = load i32, ptr @test_count, align 4, !tbaa !5
  %1330 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1331 = load i32, ptr %1330, align 4, !tbaa !5
  %1332 = call ptr @s2n_strerror(i32 noundef %1331, ptr noundef @.str.4)
  %1333 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1334 = load i32, ptr %1333, align 4, !tbaa !5
  %1335 = call ptr @s2n_strerror_debug(i32 noundef %1334, ptr noundef @.str.4)
  %1336 = call ptr @__errno_location() #9
  %1337 = load i32, ptr %1336, align 4, !tbaa !5
  %1338 = call ptr @strerror(i32 noundef %1337) #8
  %1339 = call ptr @__errno_location() #9
  %1340 = load i32, ptr %1339, align 4, !tbaa !5
  %1341 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1328, ptr noundef @.str.5, i32 noundef %1329, ptr noundef @.str.26, ptr noundef @.str.1, i32 noundef 50, ptr noundef %1332, ptr noundef %1335, ptr noundef %1338, i32 noundef %1340) #8
  br label %1342

1342:                                             ; preds = %1325, %1308
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #8
  br label %1343

1343:                                             ; preds = %1342
  br label %1344

1344:                                             ; preds = %1343
  call void @exit(i32 noundef 1) #10
  unreachable

1345:                                             ; No predecessors!
  br label %1346

1346:                                             ; preds = %1345
  br label %1347

1347:                                             ; preds = %1346, %1290
  br label %1348

1348:                                             ; preds = %1347
  br label %1349

1349:                                             ; preds = %1348
  br label %1409

1350:                                             ; preds = %1105
  %1351 = load ptr, ptr %9, align 8, !tbaa !9
  %1352 = call i32 @strcmp(ptr noundef %1351, ptr noundef @.str.27) #11
  %1353 = icmp eq i32 %1352, 0
  br i1 %1353, label %1354, label %1355

1354:                                             ; preds = %1350
  br label %1408

1355:                                             ; preds = %1350
  br label %1356

1356:                                             ; preds = %1355
  br label %1357

1357:                                             ; preds = %1356
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #8
  %1358 = call ptr @__errno_location() #9
  %1359 = load i32, ptr %1358, align 4, !tbaa !5
  store i32 %1359, ptr %29, align 4, !tbaa !5
  %1360 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1361 = call i32 @s2n_print_stacktrace(ptr noundef %1360)
  %1362 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1363 = trunc i8 %1362 to i1
  br i1 %1363, label %1364, label %1386

1364:                                             ; preds = %1357
  %1365 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1366 = call i32 @fileno(ptr noundef %1365) #8
  %1367 = call i32 @isatty(i32 noundef %1366) #8
  %1368 = icmp ne i32 %1367, 0
  br i1 %1368, label %1369, label %1386

1369:                                             ; preds = %1364
  %1370 = load i32, ptr %29, align 4, !tbaa !5
  %1371 = call ptr @__errno_location() #9
  store i32 %1370, ptr %1371, align 4, !tbaa !5
  %1372 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1373 = load i32, ptr @test_count, align 4, !tbaa !5
  %1374 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1375 = load i32, ptr %1374, align 4, !tbaa !5
  %1376 = call ptr @s2n_strerror(i32 noundef %1375, ptr noundef @.str.4)
  %1377 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1378 = load i32, ptr %1377, align 4, !tbaa !5
  %1379 = call ptr @s2n_strerror_debug(i32 noundef %1378, ptr noundef @.str.4)
  %1380 = call ptr @__errno_location() #9
  %1381 = load i32, ptr %1380, align 4, !tbaa !5
  %1382 = call ptr @strerror(i32 noundef %1381) #8
  %1383 = call ptr @__errno_location() #9
  %1384 = load i32, ptr %1383, align 4, !tbaa !5
  %1385 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1372, ptr noundef @.str.2, i32 noundef %1373, ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 54, ptr noundef %1376, ptr noundef %1379, ptr noundef %1382, i32 noundef %1384) #8
  br label %1403

1386:                                             ; preds = %1364, %1357
  %1387 = load i32, ptr %29, align 4, !tbaa !5
  %1388 = call ptr @__errno_location() #9
  store i32 %1387, ptr %1388, align 4, !tbaa !5
  %1389 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1390 = load i32, ptr @test_count, align 4, !tbaa !5
  %1391 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1392 = load i32, ptr %1391, align 4, !tbaa !5
  %1393 = call ptr @s2n_strerror(i32 noundef %1392, ptr noundef @.str.4)
  %1394 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1395 = load i32, ptr %1394, align 4, !tbaa !5
  %1396 = call ptr @s2n_strerror_debug(i32 noundef %1395, ptr noundef @.str.4)
  %1397 = call ptr @__errno_location() #9
  %1398 = load i32, ptr %1397, align 4, !tbaa !5
  %1399 = call ptr @strerror(i32 noundef %1398) #8
  %1400 = call ptr @__errno_location() #9
  %1401 = load i32, ptr %1400, align 4, !tbaa !5
  %1402 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1389, ptr noundef @.str.5, i32 noundef %1390, ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 54, ptr noundef %1393, ptr noundef %1396, ptr noundef %1399, i32 noundef %1401) #8
  br label %1403

1403:                                             ; preds = %1386, %1369
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #8
  br label %1404

1404:                                             ; preds = %1403
  br label %1405

1405:                                             ; preds = %1404
  call void @exit(i32 noundef 1) #10
  unreachable

1406:                                             ; No predecessors!
  br label %1407

1407:                                             ; preds = %1406
  br label %1408

1408:                                             ; preds = %1407, %1354
  br label %1409

1409:                                             ; preds = %1408, %1349
  br label %1410

1410:                                             ; preds = %1409, %1104
  br label %1411

1411:                                             ; preds = %1410, %859
  br label %1412

1412:                                             ; preds = %1411, %614
  %1413 = load ptr, ptr %9, align 8, !tbaa !9
  %1414 = call i32 @strcmp(ptr noundef @.str.29, ptr noundef %1413) #11
  %1415 = icmp eq i32 %1414, 0
  br i1 %1415, label %1416, label %1477

1416:                                             ; preds = %1412
  br label %1417

1417:                                             ; preds = %1416
  %1418 = load i32, ptr @test_count, align 4, !tbaa !5
  %1419 = add nsw i32 %1418, 1
  store i32 %1419, ptr @test_count, align 4, !tbaa !5
  %1420 = call zeroext i1 @s2n_supports_custom_rand()
  br i1 %1420, label %1421, label %1474

1421:                                             ; preds = %1417
  br label %1422

1422:                                             ; preds = %1421
  br label %1423

1423:                                             ; preds = %1422
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #8
  %1424 = call ptr @__errno_location() #9
  %1425 = load i32, ptr %1424, align 4, !tbaa !5
  store i32 %1425, ptr %30, align 4, !tbaa !5
  %1426 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1427 = call i32 @s2n_print_stacktrace(ptr noundef %1426)
  %1428 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1429 = trunc i8 %1428 to i1
  br i1 %1429, label %1430, label %1452

1430:                                             ; preds = %1423
  %1431 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1432 = call i32 @fileno(ptr noundef %1431) #8
  %1433 = call i32 @isatty(i32 noundef %1432) #8
  %1434 = icmp ne i32 %1433, 0
  br i1 %1434, label %1435, label %1452

1435:                                             ; preds = %1430
  %1436 = load i32, ptr %30, align 4, !tbaa !5
  %1437 = call ptr @__errno_location() #9
  store i32 %1436, ptr %1437, align 4, !tbaa !5
  %1438 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1439 = load i32, ptr @test_count, align 4, !tbaa !5
  %1440 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1441 = load i32, ptr %1440, align 4, !tbaa !5
  %1442 = call ptr @s2n_strerror(i32 noundef %1441, ptr noundef @.str.4)
  %1443 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1444 = load i32, ptr %1443, align 4, !tbaa !5
  %1445 = call ptr @s2n_strerror_debug(i32 noundef %1444, ptr noundef @.str.4)
  %1446 = call ptr @__errno_location() #9
  %1447 = load i32, ptr %1446, align 4, !tbaa !5
  %1448 = call ptr @strerror(i32 noundef %1447) #8
  %1449 = call ptr @__errno_location() #9
  %1450 = load i32, ptr %1449, align 4, !tbaa !5
  %1451 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1438, ptr noundef @.str.2, i32 noundef %1439, ptr noundef @.str.30, ptr noundef @.str.1, i32 noundef 61, ptr noundef %1442, ptr noundef %1445, ptr noundef %1448, i32 noundef %1450) #8
  br label %1469

1452:                                             ; preds = %1430, %1423
  %1453 = load i32, ptr %30, align 4, !tbaa !5
  %1454 = call ptr @__errno_location() #9
  store i32 %1453, ptr %1454, align 4, !tbaa !5
  %1455 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1456 = load i32, ptr @test_count, align 4, !tbaa !5
  %1457 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1458 = load i32, ptr %1457, align 4, !tbaa !5
  %1459 = call ptr @s2n_strerror(i32 noundef %1458, ptr noundef @.str.4)
  %1460 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1461 = load i32, ptr %1460, align 4, !tbaa !5
  %1462 = call ptr @s2n_strerror_debug(i32 noundef %1461, ptr noundef @.str.4)
  %1463 = call ptr @__errno_location() #9
  %1464 = load i32, ptr %1463, align 4, !tbaa !5
  %1465 = call ptr @strerror(i32 noundef %1464) #8
  %1466 = call ptr @__errno_location() #9
  %1467 = load i32, ptr %1466, align 4, !tbaa !5
  %1468 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1455, ptr noundef @.str.5, i32 noundef %1456, ptr noundef @.str.30, ptr noundef @.str.1, i32 noundef 61, ptr noundef %1459, ptr noundef %1462, ptr noundef %1465, i32 noundef %1467) #8
  br label %1469

1469:                                             ; preds = %1452, %1435
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #8
  br label %1470

1470:                                             ; preds = %1469
  br label %1471

1471:                                             ; preds = %1470
  call void @exit(i32 noundef 1) #10
  unreachable

1472:                                             ; No predecessors!
  br label %1473

1473:                                             ; preds = %1472
  br label %1474

1474:                                             ; preds = %1473, %1417
  br label %1475

1475:                                             ; preds = %1474
  br label %1476

1476:                                             ; preds = %1475
  br label %1477

1477:                                             ; preds = %1476, %1412
  %1478 = load ptr, ptr %9, align 8, !tbaa !9
  %1479 = call ptr @strstr(ptr noundef %1478, ptr noundef @.str.25) #11
  %1480 = icmp ne ptr %1479, null
  br i1 %1480, label %1481, label %1546

1481:                                             ; preds = %1477
  %1482 = load ptr, ptr %9, align 8, !tbaa !9
  %1483 = call ptr @strstr(ptr noundef %1482, ptr noundef @.str.31) #11
  %1484 = icmp ne ptr %1483, null
  br i1 %1484, label %1485, label %1546

1485:                                             ; preds = %1481
  br label %1486

1486:                                             ; preds = %1485
  %1487 = load i32, ptr @test_count, align 4, !tbaa !5
  %1488 = add nsw i32 %1487, 1
  store i32 %1488, ptr @test_count, align 4, !tbaa !5
  %1489 = call zeroext i1 @s2n_libcrypto_supports_providers()
  br i1 %1489, label %1543, label %1490

1490:                                             ; preds = %1486
  br label %1491

1491:                                             ; preds = %1490
  br label %1492

1492:                                             ; preds = %1491
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #8
  %1493 = call ptr @__errno_location() #9
  %1494 = load i32, ptr %1493, align 4, !tbaa !5
  store i32 %1494, ptr %31, align 4, !tbaa !5
  %1495 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1496 = call i32 @s2n_print_stacktrace(ptr noundef %1495)
  %1497 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1498 = trunc i8 %1497 to i1
  br i1 %1498, label %1499, label %1521

1499:                                             ; preds = %1492
  %1500 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1501 = call i32 @fileno(ptr noundef %1500) #8
  %1502 = call i32 @isatty(i32 noundef %1501) #8
  %1503 = icmp ne i32 %1502, 0
  br i1 %1503, label %1504, label %1521

1504:                                             ; preds = %1499
  %1505 = load i32, ptr %31, align 4, !tbaa !5
  %1506 = call ptr @__errno_location() #9
  store i32 %1505, ptr %1506, align 4, !tbaa !5
  %1507 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1508 = load i32, ptr @test_count, align 4, !tbaa !5
  %1509 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1510 = load i32, ptr %1509, align 4, !tbaa !5
  %1511 = call ptr @s2n_strerror(i32 noundef %1510, ptr noundef @.str.4)
  %1512 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1513 = load i32, ptr %1512, align 4, !tbaa !5
  %1514 = call ptr @s2n_strerror_debug(i32 noundef %1513, ptr noundef @.str.4)
  %1515 = call ptr @__errno_location() #9
  %1516 = load i32, ptr %1515, align 4, !tbaa !5
  %1517 = call ptr @strerror(i32 noundef %1516) #8
  %1518 = call ptr @__errno_location() #9
  %1519 = load i32, ptr %1518, align 4, !tbaa !5
  %1520 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1507, ptr noundef @.str.2, i32 noundef %1508, ptr noundef @.str.32, ptr noundef @.str.1, i32 noundef 66, ptr noundef %1511, ptr noundef %1514, ptr noundef %1517, i32 noundef %1519) #8
  br label %1538

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

1538:                                             ; preds = %1521, %1504
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #8
  br label %1539

1539:                                             ; preds = %1538
  br label %1540

1540:                                             ; preds = %1539
  call void @exit(i32 noundef 1) #10
  unreachable

1541:                                             ; No predecessors!
  br label %1542

1542:                                             ; preds = %1541
  br label %1543

1543:                                             ; preds = %1542, %1486
  br label %1544

1544:                                             ; preds = %1543
  br label %1545

1545:                                             ; preds = %1544
  br label %1546

1546:                                             ; preds = %1545, %1481, %1477
  br label %1547

1547:                                             ; preds = %1546
  br label %1548

1548:                                             ; preds = %1547
  %1549 = call i32 @s2n_cleanup()
  %1550 = icmp eq i32 %1549, -1
  br i1 %1550, label %1551, label %1604

1551:                                             ; preds = %1548
  br label %1552

1552:                                             ; preds = %1551
  br label %1553

1553:                                             ; preds = %1552
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #8
  %1554 = call ptr @__errno_location() #9
  %1555 = load i32, ptr %1554, align 4, !tbaa !5
  store i32 %1555, ptr %32, align 4, !tbaa !5
  %1556 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1557 = call i32 @s2n_print_stacktrace(ptr noundef %1556)
  %1558 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1559 = trunc i8 %1558 to i1
  br i1 %1559, label %1560, label %1582

1560:                                             ; preds = %1553
  %1561 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1562 = call i32 @fileno(ptr noundef %1561) #8
  %1563 = call i32 @isatty(i32 noundef %1562) #8
  %1564 = icmp ne i32 %1563, 0
  br i1 %1564, label %1565, label %1582

1565:                                             ; preds = %1560
  %1566 = load i32, ptr %32, align 4, !tbaa !5
  %1567 = call ptr @__errno_location() #9
  store i32 %1566, ptr %1567, align 4, !tbaa !5
  %1568 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1569 = load i32, ptr @test_count, align 4, !tbaa !5
  %1570 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1571 = load i32, ptr %1570, align 4, !tbaa !5
  %1572 = call ptr @s2n_strerror(i32 noundef %1571, ptr noundef @.str.4)
  %1573 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1574 = load i32, ptr %1573, align 4, !tbaa !5
  %1575 = call ptr @s2n_strerror_debug(i32 noundef %1574, ptr noundef @.str.4)
  %1576 = call ptr @__errno_location() #9
  %1577 = load i32, ptr %1576, align 4, !tbaa !5
  %1578 = call ptr @strerror(i32 noundef %1577) #8
  %1579 = call ptr @__errno_location() #9
  %1580 = load i32, ptr %1579, align 4, !tbaa !5
  %1581 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1568, ptr noundef @.str.2, i32 noundef %1569, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 69, ptr noundef %1572, ptr noundef %1575, ptr noundef %1578, i32 noundef %1580) #8
  br label %1599

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

1599:                                             ; preds = %1582, %1565
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #8
  br label %1600

1600:                                             ; preds = %1599
  br label %1601

1601:                                             ; preds = %1600
  call void @exit(i32 noundef 1) #10
  unreachable

1602:                                             ; No predecessors!
  br label %1603

1603:                                             ; preds = %1602
  br label %1604

1604:                                             ; preds = %1603, %1548
  br label %1605

1605:                                             ; preds = %1604
  br label %1606

1606:                                             ; preds = %1605
  br label %1607

1607:                                             ; preds = %1606
  br label %1608

1608:                                             ; preds = %1607
  %1609 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %1610 = icmp eq i32 %1609, -1
  br i1 %1610, label %1611, label %1664

1611:                                             ; preds = %1608
  br label %1612

1612:                                             ; preds = %1611
  br label %1613

1613:                                             ; preds = %1612
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #8
  %1614 = call ptr @__errno_location() #9
  %1615 = load i32, ptr %1614, align 4, !tbaa !5
  store i32 %1615, ptr %33, align 4, !tbaa !5
  %1616 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1617 = call i32 @s2n_print_stacktrace(ptr noundef %1616)
  %1618 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1619 = trunc i8 %1618 to i1
  br i1 %1619, label %1620, label %1642

1620:                                             ; preds = %1613
  %1621 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1622 = call i32 @fileno(ptr noundef %1621) #8
  %1623 = call i32 @isatty(i32 noundef %1622) #8
  %1624 = icmp ne i32 %1623, 0
  br i1 %1624, label %1625, label %1642

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

1642:                                             ; preds = %1620, %1613
  %1643 = load i32, ptr %33, align 4, !tbaa !5
  %1644 = call ptr @__errno_location() #9
  store i32 %1643, ptr %1644, align 4, !tbaa !5
  %1645 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1646 = load i32, ptr @test_count, align 4, !tbaa !5
  %1647 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1648 = load i32, ptr %1647, align 4, !tbaa !5
  %1649 = call ptr @s2n_strerror(i32 noundef %1648, ptr noundef @.str.4)
  %1650 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1651 = load i32, ptr %1650, align 4, !tbaa !5
  %1652 = call ptr @s2n_strerror_debug(i32 noundef %1651, ptr noundef @.str.4)
  %1653 = call ptr @__errno_location() #9
  %1654 = load i32, ptr %1653, align 4, !tbaa !5
  %1655 = call ptr @strerror(i32 noundef %1654) #8
  %1656 = call ptr @__errno_location() #9
  %1657 = load i32, ptr %1656, align 4, !tbaa !5
  %1658 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1645, ptr noundef @.str.5, i32 noundef %1646, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 69, ptr noundef %1649, ptr noundef %1652, ptr noundef %1655, i32 noundef %1657) #8
  br label %1659

1659:                                             ; preds = %1642, %1625
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #8
  br label %1660

1660:                                             ; preds = %1659
  br label %1661

1661:                                             ; preds = %1660
  call void @exit(i32 noundef 1) #10
  unreachable

1662:                                             ; No predecessors!
  br label %1663

1663:                                             ; preds = %1662
  br label %1664

1664:                                             ; preds = %1663, %1608
  br label %1665

1665:                                             ; preds = %1664
  br label %1666

1666:                                             ; preds = %1665
  %1667 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1668 = trunc i8 %1667 to i1
  br i1 %1668, label %1669, label %1685

1669:                                             ; preds = %1666
  %1670 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1671 = call i32 @fileno(ptr noundef %1670) #8
  %1672 = call i32 @isatty(i32 noundef %1671) #8
  %1673 = icmp ne i32 %1672, 0
  br i1 %1673, label %1674, label %1685

1674:                                             ; preds = %1669
  %1675 = load i32, ptr @test_count, align 4, !tbaa !5
  %1676 = icmp ne i32 %1675, 0
  br i1 %1676, label %1677, label %1681

1677:                                             ; preds = %1674
  %1678 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1679 = load i32, ptr @test_count, align 4, !tbaa !5
  %1680 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1678, ptr noundef @.str.11, i32 noundef %1679) #8
  br label %1684

1681:                                             ; preds = %1674
  %1682 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1683 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1682, ptr noundef @.str.12) #8
  br label %1684

1684:                                             ; preds = %1681, %1677
  br label %1696

1685:                                             ; preds = %1669, %1666
  %1686 = load i32, ptr @test_count, align 4, !tbaa !5
  %1687 = icmp ne i32 %1686, 0
  br i1 %1687, label %1688, label %1692

1688:                                             ; preds = %1685
  %1689 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1690 = load i32, ptr @test_count, align 4, !tbaa !5
  %1691 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1689, ptr noundef @.str.13, i32 noundef %1690) #8
  br label %1695

1692:                                             ; preds = %1685
  %1693 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1694 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1693, ptr noundef @.str.14) #8
  br label %1695

1695:                                             ; preds = %1692, %1688
  br label %1696

1696:                                             ; preds = %1695, %1684
  store i32 0, ptr %3, align 4
  store i32 1, ptr %12, align 4
  br label %1701

1697:                                             ; No predecessors!
  br label %1698

1698:                                             ; preds = %1697
  br label %1699

1699:                                             ; preds = %1698
  br label %1700

1700:                                             ; preds = %1699
  store i32 0, ptr %12, align 4
  br label %1701

1701:                                             ; preds = %1700, %1696, %365
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #8
  %1702 = load i32, ptr %12, align 4
  switch i32 %1702, label %1705 [
    i32 0, label %1703
    i32 1, label %1703
  ]

1703:                                             ; preds = %1701, %1701
  %1704 = load i32, ptr %3, align 4
  ret i32 %1704

1705:                                             ; preds = %1701
  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: nounwind
declare ptr @getenv(ptr noundef) #1

declare i32 @s2n_cleanup() #2

; Function Attrs: nounwind willreturn memory(read)
declare ptr @strstr(ptr noundef, ptr noundef) #7

declare zeroext i1 @s2n_libcrypto_is_awslc() #2

declare zeroext i1 @s2n_libcrypto_is_boringssl() #2

declare zeroext i1 @s2n_libcrypto_is_libressl() #2

declare zeroext i1 @s2n_libcrypto_is_openssl() #2

; Function Attrs: nounwind willreturn memory(read)
declare i32 @strcmp(ptr noundef, ptr noundef) #7

declare zeroext i1 @s2n_supports_custom_rand() #2

declare zeroext i1 @s2n_libcrypto_supports_providers() #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 = { 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 #8 = { nounwind }
attributes #9 = { nounwind willreturn memory(none) }
attributes #10 = { noreturn nounwind }
attributes #11 = { 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 = !{}


; 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"

@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 [77 x i8], align 1
@stderr = external local_unnamed_addr global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local local_unnamed_addr global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [48 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 {
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %3 = load ptr, ptr @stdout, align 8, !tbaa !9
  %4 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %3, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1) #9
  %5 = load ptr, ptr @stdout, align 8, !tbaa !9
  %6 = tail call i32 @fflush(ptr noundef %5)
  %7 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext true) #9
  %8 = icmp eq i32 %7, -1
  br i1 %8, label %9, label %33

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

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

20:                                               ; preds = %16, %9
  br label %21

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

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

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

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

49:                                               ; preds = %45, %38
  br label %50

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

62:                                               ; preds = %33
  %63 = tail call i32 @s2n_init() #9
  %64 = icmp eq i32 %63, -1
  br i1 %64, label %65, label %89

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

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

76:                                               ; preds = %72, %65
  br label %77

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

89:                                               ; preds = %62
  %90 = tail call ptr @getenv(ptr noundef nonnull @.str.8) #9
  %91 = icmp eq ptr %90, null
  br i1 %91, label %92, label %167

92:                                               ; preds = %89
  %93 = tail call i32 @s2n_cleanup() #9
  %94 = icmp eq i32 %93, -1
  br i1 %94, label %95, label %119

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

102:                                              ; preds = %95
  %103 = load ptr, ptr @stderr, align 8, !tbaa !9
  %104 = tail call i32 @fileno(ptr noundef %103) #9
  %105 = tail call i32 @isatty(i32 noundef %104) #9
  %.not96 = icmp eq i32 %105, 0
  br i1 %.not96, label %106, label %107

106:                                              ; preds = %102, %95
  br label %107

107:                                              ; preds = %102, %106
  %.str.5.sink132 = phi ptr [ @.str.5, %106 ], [ @.str.2, %102 ]
  store i32 %97, ptr %96, align 4, !tbaa !5
  %108 = load ptr, ptr @stderr, align 8, !tbaa !9
  %109 = load i32, ptr @test_count, align 4, !tbaa !5
  %110 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %111 = load i32, ptr %110, align 4, !tbaa !5
  %112 = tail call ptr @s2n_strerror(i32 noundef %111, ptr noundef nonnull @.str.4) #9
  %113 = load i32, ptr %110, align 4, !tbaa !5
  %114 = tail call ptr @s2n_strerror_debug(i32 noundef %113, ptr noundef nonnull @.str.4) #9
  %115 = load i32, ptr %96, align 4, !tbaa !5
  %116 = tail call ptr @strerror(i32 noundef %115) #9
  %117 = load i32, ptr %96, align 4, !tbaa !5
  %118 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %108, ptr noundef nonnull %.str.5.sink132, i32 noundef %109, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 27, ptr noundef %112, ptr noundef %114, ptr noundef %116, i32 noundef %117) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

119:                                              ; preds = %92
  %120 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #9
  %121 = icmp eq i32 %120, -1
  br i1 %121, label %122, label %146

122:                                              ; preds = %119
  %123 = tail call ptr @__errno_location() #10
  %124 = load i32, ptr %123, align 4, !tbaa !5
  %125 = load ptr, ptr @stderr, align 8, !tbaa !9
  %126 = tail call i32 @s2n_print_stacktrace(ptr noundef %125) #9
  %127 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %128 = trunc nuw i8 %127 to i1
  br i1 %128, label %129, label %133

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

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

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

146:                                              ; preds = %119
  %147 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %148 = trunc nuw i8 %147 to i1
  br i1 %148, label %149, label %160

149:                                              ; preds = %146
  %150 = load ptr, ptr @stdout, align 8, !tbaa !9
  %151 = tail call i32 @fileno(ptr noundef %150) #9
  %152 = tail call i32 @isatty(i32 noundef %151) #9
  %.not92 = icmp eq i32 %152, 0
  br i1 %.not92, label %160, label %153

153:                                              ; preds = %149
  %154 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not94 = icmp eq i32 %154, 0
  %155 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not94, label %158, label %156

156:                                              ; preds = %153
  %157 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %155, ptr noundef nonnull @.str.11, i32 noundef %154) #9
  br label %790

158:                                              ; preds = %153
  %159 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %155, ptr noundef nonnull @.str.12) #9
  br label %790

160:                                              ; preds = %149, %146
  %161 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not93 = icmp eq i32 %161, 0
  %162 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not93, label %165, label %163

163:                                              ; preds = %160
  %164 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %162, ptr noundef nonnull @.str.13, i32 noundef %161) #9
  br label %790

165:                                              ; preds = %160
  %166 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %162, ptr noundef nonnull @.str.14) #9
  br label %790

167:                                              ; preds = %89
  %168 = tail call ptr @strstr(ptr noundef nonnull dereferenceable(1) %90, ptr noundef nonnull dereferenceable(1) @.str.15) #13
  %.not = icmp eq ptr %168, null
  br i1 %.not, label %281, label %169

169:                                              ; preds = %167
  %170 = load i32, ptr @test_count, align 4, !tbaa !5
  %171 = add nsw i32 %170, 1
  store i32 %171, ptr @test_count, align 4, !tbaa !5
  %172 = tail call zeroext i1 @s2n_libcrypto_is_awslc() #9
  br i1 %172, label %197, label %173

173:                                              ; preds = %169
  %174 = tail call ptr @__errno_location() #10
  %175 = load i32, ptr %174, align 4, !tbaa !5
  %176 = load ptr, ptr @stderr, align 8, !tbaa !9
  %177 = tail call i32 @s2n_print_stacktrace(ptr noundef %176) #9
  %178 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %179 = trunc nuw i8 %178 to i1
  br i1 %179, label %180, label %184

180:                                              ; preds = %173
  %181 = load ptr, ptr @stderr, align 8, !tbaa !9
  %182 = tail call i32 @fileno(ptr noundef %181) #9
  %183 = tail call i32 @isatty(i32 noundef %182) #9
  %.not79 = icmp eq i32 %183, 0
  br i1 %.not79, label %184, label %185

184:                                              ; preds = %180, %173
  br label %185

185:                                              ; preds = %180, %184
  %.str.5.sink154 = phi ptr [ @.str.5, %184 ], [ @.str.2, %180 ]
  store i32 %175, ptr %174, align 4, !tbaa !5
  %186 = load ptr, ptr @stderr, align 8, !tbaa !9
  %187 = load i32, ptr @test_count, align 4, !tbaa !5
  %188 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %189 = load i32, ptr %188, align 4, !tbaa !5
  %190 = tail call ptr @s2n_strerror(i32 noundef %189, ptr noundef nonnull @.str.4) #9
  %191 = load i32, ptr %188, align 4, !tbaa !5
  %192 = tail call ptr @s2n_strerror_debug(i32 noundef %191, ptr noundef nonnull @.str.4) #9
  %193 = load i32, ptr %174, align 4, !tbaa !5
  %194 = tail call ptr @strerror(i32 noundef %193) #9
  %195 = load i32, ptr %174, align 4, !tbaa !5
  %196 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %186, ptr noundef nonnull %.str.5.sink154, i32 noundef %187, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.1, i32 noundef 32, ptr noundef %190, ptr noundef %192, ptr noundef %194, i32 noundef %195) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

197:                                              ; preds = %169
  %198 = load i32, ptr @test_count, align 4, !tbaa !5
  %199 = add nsw i32 %198, 1
  store i32 %199, ptr @test_count, align 4, !tbaa !5
  %200 = tail call zeroext i1 @s2n_libcrypto_is_boringssl() #9
  br i1 %200, label %201, label %225

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

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

212:                                              ; preds = %208, %201
  br label %213

213:                                              ; preds = %208, %212
  %.str.5.sink165 = phi ptr [ @.str.5, %212 ], [ @.str.2, %208 ]
  store i32 %203, ptr %202, align 4, !tbaa !5
  %214 = load ptr, ptr @stderr, align 8, !tbaa !9
  %215 = load i32, ptr @test_count, align 4, !tbaa !5
  %216 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %217 = load i32, ptr %216, align 4, !tbaa !5
  %218 = tail call ptr @s2n_strerror(i32 noundef %217, ptr noundef nonnull @.str.4) #9
  %219 = load i32, ptr %216, align 4, !tbaa !5
  %220 = tail call ptr @s2n_strerror_debug(i32 noundef %219, ptr noundef nonnull @.str.4) #9
  %221 = load i32, ptr %202, align 4, !tbaa !5
  %222 = tail call ptr @strerror(i32 noundef %221) #9
  %223 = load i32, ptr %202, align 4, !tbaa !5
  %224 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %214, ptr noundef nonnull %.str.5.sink165, i32 noundef %215, ptr noundef nonnull @.str.17, ptr noundef nonnull @.str.1, i32 noundef 33, ptr noundef %218, ptr noundef %220, ptr noundef %222, i32 noundef %223) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

225:                                              ; preds = %197
  %226 = load i32, ptr @test_count, align 4, !tbaa !5
  %227 = add nsw i32 %226, 1
  store i32 %227, ptr @test_count, align 4, !tbaa !5
  %228 = tail call zeroext i1 @s2n_libcrypto_is_libressl() #9
  br i1 %228, label %229, label %253

229:                                              ; preds = %225
  %230 = tail call ptr @__errno_location() #10
  %231 = load i32, ptr %230, align 4, !tbaa !5
  %232 = load ptr, ptr @stderr, align 8, !tbaa !9
  %233 = tail call i32 @s2n_print_stacktrace(ptr noundef %232) #9
  %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 = tail call i32 @fileno(ptr noundef %237) #9
  %239 = tail call i32 @isatty(i32 noundef %238) #9
  %.not90 = icmp eq i32 %239, 0
  br i1 %.not90, label %240, label %241

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

241:                                              ; preds = %236, %240
  %.str.5.sink176 = 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 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %245 = load i32, ptr %244, align 4, !tbaa !5
  %246 = tail call ptr @s2n_strerror(i32 noundef %245, ptr noundef nonnull @.str.4) #9
  %247 = load i32, ptr %244, align 4, !tbaa !5
  %248 = tail call ptr @s2n_strerror_debug(i32 noundef %247, ptr noundef nonnull @.str.4) #9
  %249 = load i32, ptr %230, align 4, !tbaa !5
  %250 = tail call ptr @strerror(i32 noundef %249) #9
  %251 = load i32, ptr %230, align 4, !tbaa !5
  %252 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %242, ptr noundef nonnull %.str.5.sink176, i32 noundef %243, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.1, i32 noundef 34, ptr noundef %246, ptr noundef %248, ptr noundef %250, i32 noundef %251) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

253:                                              ; preds = %225
  %254 = load i32, ptr @test_count, align 4, !tbaa !5
  %255 = add nsw i32 %254, 1
  store i32 %255, ptr @test_count, align 4, !tbaa !5
  %256 = tail call zeroext i1 @s2n_libcrypto_is_openssl() #9
  br i1 %256, label %257, label %652

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

264:                                              ; preds = %257
  %265 = load ptr, ptr @stderr, align 8, !tbaa !9
  %266 = tail call i32 @fileno(ptr noundef %265) #9
  %267 = tail call i32 @isatty(i32 noundef %266) #9
  %.not89 = icmp eq i32 %267, 0
  br i1 %.not89, label %268, label %269

268:                                              ; preds = %264, %257
  br label %269

269:                                              ; preds = %264, %268
  %.str.5.sink187 = phi ptr [ @.str.5, %268 ], [ @.str.2, %264 ]
  store i32 %259, ptr %258, align 4, !tbaa !5
  %270 = load ptr, ptr @stderr, align 8, !tbaa !9
  %271 = load i32, ptr @test_count, align 4, !tbaa !5
  %272 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %273 = load i32, ptr %272, align 4, !tbaa !5
  %274 = tail call ptr @s2n_strerror(i32 noundef %273, ptr noundef nonnull @.str.4) #9
  %275 = load i32, ptr %272, align 4, !tbaa !5
  %276 = tail call ptr @s2n_strerror_debug(i32 noundef %275, ptr noundef nonnull @.str.4) #9
  %277 = load i32, ptr %258, align 4, !tbaa !5
  %278 = tail call ptr @strerror(i32 noundef %277) #9
  %279 = load i32, ptr %258, align 4, !tbaa !5
  %280 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %270, ptr noundef nonnull %.str.5.sink187, i32 noundef %271, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.1, i32 noundef 35, ptr noundef %274, ptr noundef %276, ptr noundef %278, i32 noundef %279) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

281:                                              ; preds = %167
  %282 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %90, ptr noundef nonnull dereferenceable(1) @.str.20) #13
  %283 = icmp eq i32 %282, 0
  br i1 %283, label %284, label %396

284:                                              ; preds = %281
  %285 = load i32, ptr @test_count, align 4, !tbaa !5
  %286 = add nsw i32 %285, 1
  store i32 %286, ptr @test_count, align 4, !tbaa !5
  %287 = tail call zeroext i1 @s2n_libcrypto_is_awslc() #9
  br i1 %287, label %288, label %312

288:                                              ; preds = %284
  %289 = tail call ptr @__errno_location() #10
  %290 = load i32, ptr %289, align 4, !tbaa !5
  %291 = load ptr, ptr @stderr, align 8, !tbaa !9
  %292 = tail call i32 @s2n_print_stacktrace(ptr noundef %291) #9
  %293 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %294 = trunc nuw i8 %293 to i1
  br i1 %294, label %295, label %299

295:                                              ; preds = %288
  %296 = load ptr, ptr @stderr, align 8, !tbaa !9
  %297 = tail call i32 @fileno(ptr noundef %296) #9
  %298 = tail call i32 @isatty(i32 noundef %297) #9
  %.not78 = icmp eq i32 %298, 0
  br i1 %.not78, label %299, label %300

299:                                              ; preds = %295, %288
  br label %300

300:                                              ; preds = %295, %299
  %.str.5.sink198 = phi ptr [ @.str.5, %299 ], [ @.str.2, %295 ]
  store i32 %290, ptr %289, align 4, !tbaa !5
  %301 = load ptr, ptr @stderr, align 8, !tbaa !9
  %302 = load i32, ptr @test_count, align 4, !tbaa !5
  %303 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %304 = load i32, ptr %303, align 4, !tbaa !5
  %305 = tail call ptr @s2n_strerror(i32 noundef %304, ptr noundef nonnull @.str.4) #9
  %306 = load i32, ptr %303, align 4, !tbaa !5
  %307 = tail call ptr @s2n_strerror_debug(i32 noundef %306, ptr noundef nonnull @.str.4) #9
  %308 = load i32, ptr %289, align 4, !tbaa !5
  %309 = tail call ptr @strerror(i32 noundef %308) #9
  %310 = load i32, ptr %289, align 4, !tbaa !5
  %311 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %301, ptr noundef nonnull %.str.5.sink198, i32 noundef %302, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.1, i32 noundef 37, ptr noundef %305, ptr noundef %307, ptr noundef %309, i32 noundef %310) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

312:                                              ; preds = %284
  %313 = load i32, ptr @test_count, align 4, !tbaa !5
  %314 = add nsw i32 %313, 1
  store i32 %314, ptr @test_count, align 4, !tbaa !5
  %315 = tail call zeroext i1 @s2n_libcrypto_is_boringssl() #9
  br i1 %315, label %340, label %316

316:                                              ; preds = %312
  %317 = tail call ptr @__errno_location() #10
  %318 = load i32, ptr %317, align 4, !tbaa !5
  %319 = load ptr, ptr @stderr, align 8, !tbaa !9
  %320 = tail call i32 @s2n_print_stacktrace(ptr noundef %319) #9
  %321 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %322 = trunc nuw i8 %321 to i1
  br i1 %322, label %323, label %327

323:                                              ; preds = %316
  %324 = load ptr, ptr @stderr, align 8, !tbaa !9
  %325 = tail call i32 @fileno(ptr noundef %324) #9
  %326 = tail call i32 @isatty(i32 noundef %325) #9
  %.not75 = icmp eq i32 %326, 0
  br i1 %.not75, label %327, label %328

327:                                              ; preds = %323, %316
  br label %328

328:                                              ; preds = %323, %327
  %.str.5.sink209 = phi ptr [ @.str.5, %327 ], [ @.str.2, %323 ]
  store i32 %318, ptr %317, align 4, !tbaa !5
  %329 = load ptr, ptr @stderr, align 8, !tbaa !9
  %330 = load i32, ptr @test_count, align 4, !tbaa !5
  %331 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %332 = load i32, ptr %331, align 4, !tbaa !5
  %333 = tail call ptr @s2n_strerror(i32 noundef %332, ptr noundef nonnull @.str.4) #9
  %334 = load i32, ptr %331, align 4, !tbaa !5
  %335 = tail call ptr @s2n_strerror_debug(i32 noundef %334, ptr noundef nonnull @.str.4) #9
  %336 = load i32, ptr %317, align 4, !tbaa !5
  %337 = tail call ptr @strerror(i32 noundef %336) #9
  %338 = load i32, ptr %317, align 4, !tbaa !5
  %339 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %329, ptr noundef nonnull %.str.5.sink209, i32 noundef %330, ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.1, i32 noundef 38, ptr noundef %333, ptr noundef %335, ptr noundef %337, i32 noundef %338) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

340:                                              ; preds = %312
  %341 = load i32, ptr @test_count, align 4, !tbaa !5
  %342 = add nsw i32 %341, 1
  store i32 %342, ptr @test_count, align 4, !tbaa !5
  %343 = tail call zeroext i1 @s2n_libcrypto_is_libressl() #9
  br i1 %343, label %344, label %368

344:                                              ; preds = %340
  %345 = tail call ptr @__errno_location() #10
  %346 = load i32, ptr %345, align 4, !tbaa !5
  %347 = load ptr, ptr @stderr, align 8, !tbaa !9
  %348 = tail call i32 @s2n_print_stacktrace(ptr noundef %347) #9
  %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 = tail call i32 @fileno(ptr noundef %352) #9
  %354 = tail call i32 @isatty(i32 noundef %353) #9
  %.not77 = icmp eq i32 %354, 0
  br i1 %.not77, label %355, label %356

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

356:                                              ; preds = %351, %355
  %.str.5.sink220 = 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 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %360 = load i32, ptr %359, align 4, !tbaa !5
  %361 = tail call ptr @s2n_strerror(i32 noundef %360, ptr noundef nonnull @.str.4) #9
  %362 = load i32, ptr %359, align 4, !tbaa !5
  %363 = tail call ptr @s2n_strerror_debug(i32 noundef %362, ptr noundef nonnull @.str.4) #9
  %364 = load i32, ptr %345, align 4, !tbaa !5
  %365 = tail call ptr @strerror(i32 noundef %364) #9
  %366 = load i32, ptr %345, align 4, !tbaa !5
  %367 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %357, ptr noundef nonnull %.str.5.sink220, i32 noundef %358, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.1, i32 noundef 39, ptr noundef %361, ptr noundef %363, ptr noundef %365, i32 noundef %366) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

368:                                              ; preds = %340
  %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 = tail call zeroext i1 @s2n_libcrypto_is_openssl() #9
  br i1 %371, label %372, label %652

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

379:                                              ; preds = %372
  %380 = load ptr, ptr @stderr, align 8, !tbaa !9
  %381 = tail call i32 @fileno(ptr noundef %380) #9
  %382 = tail call i32 @isatty(i32 noundef %381) #9
  %.not76 = icmp eq i32 %382, 0
  br i1 %.not76, label %383, label %384

383:                                              ; preds = %379, %372
  br label %384

384:                                              ; preds = %379, %383
  %.str.5.sink231 = phi ptr [ @.str.5, %383 ], [ @.str.2, %379 ]
  store i32 %374, ptr %373, align 4, !tbaa !5
  %385 = load ptr, ptr @stderr, align 8, !tbaa !9
  %386 = load i32, ptr @test_count, align 4, !tbaa !5
  %387 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %388 = load i32, ptr %387, align 4, !tbaa !5
  %389 = tail call ptr @s2n_strerror(i32 noundef %388, ptr noundef nonnull @.str.4) #9
  %390 = load i32, ptr %387, align 4, !tbaa !5
  %391 = tail call ptr @s2n_strerror_debug(i32 noundef %390, ptr noundef nonnull @.str.4) #9
  %392 = load i32, ptr %373, align 4, !tbaa !5
  %393 = tail call ptr @strerror(i32 noundef %392) #9
  %394 = load i32, ptr %373, align 4, !tbaa !5
  %395 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %385, ptr noundef nonnull %.str.5.sink231, i32 noundef %386, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.1, i32 noundef 40, ptr noundef %389, ptr noundef %391, ptr noundef %393, i32 noundef %394) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

396:                                              ; preds = %281
  %397 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %90, ptr noundef nonnull dereferenceable(1) @.str.23) #13
  %398 = icmp eq i32 %397, 0
  br i1 %398, label %399, label %511

399:                                              ; preds = %396
  %400 = load i32, ptr @test_count, align 4, !tbaa !5
  %401 = add nsw i32 %400, 1
  store i32 %401, ptr @test_count, align 4, !tbaa !5
  %402 = tail call zeroext i1 @s2n_libcrypto_is_awslc() #9
  br i1 %402, label %403, label %427

403:                                              ; preds = %399
  %404 = tail call ptr @__errno_location() #10
  %405 = load i32, ptr %404, align 4, !tbaa !5
  %406 = load ptr, ptr @stderr, align 8, !tbaa !9
  %407 = tail call i32 @s2n_print_stacktrace(ptr noundef %406) #9
  %408 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %409 = trunc nuw i8 %408 to i1
  br i1 %409, label %410, label %414

410:                                              ; preds = %403
  %411 = load ptr, ptr @stderr, align 8, !tbaa !9
  %412 = tail call i32 @fileno(ptr noundef %411) #9
  %413 = tail call i32 @isatty(i32 noundef %412) #9
  %.not74 = icmp eq i32 %413, 0
  br i1 %.not74, label %414, label %415

414:                                              ; preds = %410, %403
  br label %415

415:                                              ; preds = %410, %414
  %.str.5.sink242 = phi ptr [ @.str.5, %414 ], [ @.str.2, %410 ]
  store i32 %405, ptr %404, align 4, !tbaa !5
  %416 = load ptr, ptr @stderr, align 8, !tbaa !9
  %417 = load i32, ptr @test_count, align 4, !tbaa !5
  %418 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %419 = load i32, ptr %418, align 4, !tbaa !5
  %420 = tail call ptr @s2n_strerror(i32 noundef %419, ptr noundef nonnull @.str.4) #9
  %421 = load i32, ptr %418, align 4, !tbaa !5
  %422 = tail call ptr @s2n_strerror_debug(i32 noundef %421, ptr noundef nonnull @.str.4) #9
  %423 = load i32, ptr %404, align 4, !tbaa !5
  %424 = tail call ptr @strerror(i32 noundef %423) #9
  %425 = load i32, ptr %404, align 4, !tbaa !5
  %426 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %416, ptr noundef nonnull %.str.5.sink242, i32 noundef %417, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.1, i32 noundef 42, ptr noundef %420, ptr noundef %422, ptr noundef %424, i32 noundef %425) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

427:                                              ; preds = %399
  %428 = load i32, ptr @test_count, align 4, !tbaa !5
  %429 = add nsw i32 %428, 1
  store i32 %429, ptr @test_count, align 4, !tbaa !5
  %430 = tail call zeroext i1 @s2n_libcrypto_is_boringssl() #9
  br i1 %430, label %431, label %455

431:                                              ; preds = %427
  %432 = tail call ptr @__errno_location() #10
  %433 = load i32, ptr %432, align 4, !tbaa !5
  %434 = load ptr, ptr @stderr, align 8, !tbaa !9
  %435 = tail call i32 @s2n_print_stacktrace(ptr noundef %434) #9
  %436 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %437 = trunc nuw i8 %436 to i1
  br i1 %437, label %438, label %442

438:                                              ; preds = %431
  %439 = load ptr, ptr @stderr, align 8, !tbaa !9
  %440 = tail call i32 @fileno(ptr noundef %439) #9
  %441 = tail call i32 @isatty(i32 noundef %440) #9
  %.not73 = icmp eq i32 %441, 0
  br i1 %.not73, label %442, label %443

442:                                              ; preds = %438, %431
  br label %443

443:                                              ; preds = %438, %442
  %.str.5.sink253 = phi ptr [ @.str.5, %442 ], [ @.str.2, %438 ]
  store i32 %433, ptr %432, align 4, !tbaa !5
  %444 = load ptr, ptr @stderr, align 8, !tbaa !9
  %445 = load i32, ptr @test_count, align 4, !tbaa !5
  %446 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %447 = load i32, ptr %446, align 4, !tbaa !5
  %448 = tail call ptr @s2n_strerror(i32 noundef %447, ptr noundef nonnull @.str.4) #9
  %449 = load i32, ptr %446, align 4, !tbaa !5
  %450 = tail call ptr @s2n_strerror_debug(i32 noundef %449, ptr noundef nonnull @.str.4) #9
  %451 = load i32, ptr %432, align 4, !tbaa !5
  %452 = tail call ptr @strerror(i32 noundef %451) #9
  %453 = load i32, ptr %432, align 4, !tbaa !5
  %454 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %444, ptr noundef nonnull %.str.5.sink253, i32 noundef %445, ptr noundef nonnull @.str.17, ptr noundef nonnull @.str.1, i32 noundef 43, ptr noundef %448, ptr noundef %450, ptr noundef %452, i32 noundef %453) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

455:                                              ; preds = %427
  %456 = load i32, ptr @test_count, align 4, !tbaa !5
  %457 = add nsw i32 %456, 1
  store i32 %457, ptr @test_count, align 4, !tbaa !5
  %458 = tail call zeroext i1 @s2n_libcrypto_is_libressl() #9
  br i1 %458, label %483, label %459

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

466:                                              ; preds = %459
  %467 = load ptr, ptr @stderr, align 8, !tbaa !9
  %468 = tail call i32 @fileno(ptr noundef %467) #9
  %469 = tail call i32 @isatty(i32 noundef %468) #9
  %.not71 = icmp eq i32 %469, 0
  br i1 %.not71, label %470, label %471

470:                                              ; preds = %466, %459
  br label %471

471:                                              ; preds = %466, %470
  %.str.5.sink264 = phi ptr [ @.str.5, %470 ], [ @.str.2, %466 ]
  store i32 %461, ptr %460, align 4, !tbaa !5
  %472 = load ptr, ptr @stderr, align 8, !tbaa !9
  %473 = load i32, ptr @test_count, align 4, !tbaa !5
  %474 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %475 = load i32, ptr %474, align 4, !tbaa !5
  %476 = tail call ptr @s2n_strerror(i32 noundef %475, ptr noundef nonnull @.str.4) #9
  %477 = load i32, ptr %474, align 4, !tbaa !5
  %478 = tail call ptr @s2n_strerror_debug(i32 noundef %477, ptr noundef nonnull @.str.4) #9
  %479 = load i32, ptr %460, align 4, !tbaa !5
  %480 = tail call ptr @strerror(i32 noundef %479) #9
  %481 = load i32, ptr %460, align 4, !tbaa !5
  %482 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %472, ptr noundef nonnull %.str.5.sink264, i32 noundef %473, ptr noundef nonnull @.str.24, ptr noundef nonnull @.str.1, i32 noundef 44, ptr noundef %476, ptr noundef %478, ptr noundef %480, i32 noundef %481) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

483:                                              ; preds = %455
  %484 = load i32, ptr @test_count, align 4, !tbaa !5
  %485 = add nsw i32 %484, 1
  store i32 %485, ptr @test_count, align 4, !tbaa !5
  %486 = tail call zeroext i1 @s2n_libcrypto_is_openssl() #9
  br i1 %486, label %487, label %652

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

494:                                              ; preds = %487
  %495 = load ptr, ptr @stderr, align 8, !tbaa !9
  %496 = tail call i32 @fileno(ptr noundef %495) #9
  %497 = tail call i32 @isatty(i32 noundef %496) #9
  %.not72 = icmp eq i32 %497, 0
  br i1 %.not72, label %498, label %499

498:                                              ; preds = %494, %487
  br label %499

499:                                              ; preds = %494, %498
  %.str.5.sink275 = phi ptr [ @.str.5, %498 ], [ @.str.2, %494 ]
  store i32 %489, ptr %488, align 4, !tbaa !5
  %500 = load ptr, ptr @stderr, align 8, !tbaa !9
  %501 = load i32, ptr @test_count, align 4, !tbaa !5
  %502 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %503 = load i32, ptr %502, align 4, !tbaa !5
  %504 = tail call ptr @s2n_strerror(i32 noundef %503, ptr noundef nonnull @.str.4) #9
  %505 = load i32, ptr %502, align 4, !tbaa !5
  %506 = tail call ptr @s2n_strerror_debug(i32 noundef %505, ptr noundef nonnull @.str.4) #9
  %507 = load i32, ptr %488, align 4, !tbaa !5
  %508 = tail call ptr @strerror(i32 noundef %507) #9
  %509 = load i32, ptr %488, align 4, !tbaa !5
  %510 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %500, ptr noundef nonnull %.str.5.sink275, i32 noundef %501, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.1, i32 noundef 45, ptr noundef %504, ptr noundef %506, ptr noundef %508, i32 noundef %509) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

511:                                              ; preds = %396
  %512 = tail call ptr @strstr(ptr noundef nonnull dereferenceable(1) %90, ptr noundef nonnull dereferenceable(1) @.str.25) #13
  %.not65 = icmp eq ptr %512, null
  br i1 %.not65, label %625, label %513

513:                                              ; preds = %511
  %514 = load i32, ptr @test_count, align 4, !tbaa !5
  %515 = add nsw i32 %514, 1
  store i32 %515, ptr @test_count, align 4, !tbaa !5
  %516 = tail call zeroext i1 @s2n_libcrypto_is_awslc() #9
  br i1 %516, label %517, label %541

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

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

528:                                              ; preds = %524, %517
  br label %529

529:                                              ; preds = %524, %528
  %.str.5.sink286 = phi ptr [ @.str.5, %528 ], [ @.str.2, %524 ]
  store i32 %519, ptr %518, align 4, !tbaa !5
  %530 = load ptr, ptr @stderr, align 8, !tbaa !9
  %531 = load i32, ptr @test_count, align 4, !tbaa !5
  %532 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %533 = load i32, ptr %532, align 4, !tbaa !5
  %534 = tail call ptr @s2n_strerror(i32 noundef %533, ptr noundef nonnull @.str.4) #9
  %535 = load i32, ptr %532, align 4, !tbaa !5
  %536 = tail call ptr @s2n_strerror_debug(i32 noundef %535, ptr noundef nonnull @.str.4) #9
  %537 = load i32, ptr %518, align 4, !tbaa !5
  %538 = tail call ptr @strerror(i32 noundef %537) #9
  %539 = load i32, ptr %518, align 4, !tbaa !5
  %540 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %530, ptr noundef nonnull %.str.5.sink286, i32 noundef %531, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.1, i32 noundef 47, ptr noundef %534, ptr noundef %536, ptr noundef %538, i32 noundef %539) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

541:                                              ; preds = %513
  %542 = load i32, ptr @test_count, align 4, !tbaa !5
  %543 = add nsw i32 %542, 1
  store i32 %543, ptr @test_count, align 4, !tbaa !5
  %544 = tail call zeroext i1 @s2n_libcrypto_is_boringssl() #9
  br i1 %544, label %545, label %569

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

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

556:                                              ; preds = %552, %545
  br label %557

557:                                              ; preds = %552, %556
  %.str.5.sink297 = phi ptr [ @.str.5, %556 ], [ @.str.2, %552 ]
  store i32 %547, ptr %546, align 4, !tbaa !5
  %558 = load ptr, ptr @stderr, align 8, !tbaa !9
  %559 = load i32, ptr @test_count, align 4, !tbaa !5
  %560 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %561 = load i32, ptr %560, align 4, !tbaa !5
  %562 = tail call ptr @s2n_strerror(i32 noundef %561, ptr noundef nonnull @.str.4) #9
  %563 = load i32, ptr %560, align 4, !tbaa !5
  %564 = tail call ptr @s2n_strerror_debug(i32 noundef %563, ptr noundef nonnull @.str.4) #9
  %565 = load i32, ptr %546, align 4, !tbaa !5
  %566 = tail call ptr @strerror(i32 noundef %565) #9
  %567 = load i32, ptr %546, align 4, !tbaa !5
  %568 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %558, ptr noundef nonnull %.str.5.sink297, i32 noundef %559, ptr noundef nonnull @.str.17, ptr noundef nonnull @.str.1, i32 noundef 48, ptr noundef %562, ptr noundef %564, ptr noundef %566, i32 noundef %567) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

569:                                              ; preds = %541
  %570 = load i32, ptr @test_count, align 4, !tbaa !5
  %571 = add nsw i32 %570, 1
  store i32 %571, ptr @test_count, align 4, !tbaa !5
  %572 = tail call zeroext i1 @s2n_libcrypto_is_libressl() #9
  br i1 %572, label %573, label %597

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

580:                                              ; preds = %573
  %581 = load ptr, ptr @stderr, align 8, !tbaa !9
  %582 = tail call i32 @fileno(ptr noundef %581) #9
  %583 = tail call i32 @isatty(i32 noundef %582) #9
  %.not68 = icmp eq i32 %583, 0
  br i1 %.not68, label %584, label %585

584:                                              ; preds = %580, %573
  br label %585

585:                                              ; preds = %580, %584
  %.str.5.sink308 = phi ptr [ @.str.5, %584 ], [ @.str.2, %580 ]
  store i32 %575, ptr %574, align 4, !tbaa !5
  %586 = load ptr, ptr @stderr, align 8, !tbaa !9
  %587 = load i32, ptr @test_count, align 4, !tbaa !5
  %588 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %589 = load i32, ptr %588, align 4, !tbaa !5
  %590 = tail call ptr @s2n_strerror(i32 noundef %589, ptr noundef nonnull @.str.4) #9
  %591 = load i32, ptr %588, align 4, !tbaa !5
  %592 = tail call ptr @s2n_strerror_debug(i32 noundef %591, ptr noundef nonnull @.str.4) #9
  %593 = load i32, ptr %574, align 4, !tbaa !5
  %594 = tail call ptr @strerror(i32 noundef %593) #9
  %595 = load i32, ptr %574, align 4, !tbaa !5
  %596 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %586, ptr noundef nonnull %.str.5.sink308, i32 noundef %587, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.1, i32 noundef 49, ptr noundef %590, ptr noundef %592, ptr noundef %594, i32 noundef %595) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

597:                                              ; preds = %569
  %598 = load i32, ptr @test_count, align 4, !tbaa !5
  %599 = add nsw i32 %598, 1
  store i32 %599, ptr @test_count, align 4, !tbaa !5
  %600 = tail call zeroext i1 @s2n_libcrypto_is_openssl() #9
  br i1 %600, label %652, label %601

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

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

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

613:                                              ; preds = %608, %612
  %.str.5.sink319 = phi ptr [ @.str.5, %612 ], [ @.str.2, %608 ]
  store i32 %603, ptr %602, align 4, !tbaa !5
  %614 = load ptr, ptr @stderr, align 8, !tbaa !9
  %615 = load i32, ptr @test_count, align 4, !tbaa !5
  %616 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %617 = load i32, ptr %616, align 4, !tbaa !5
  %618 = tail call ptr @s2n_strerror(i32 noundef %617, ptr noundef nonnull @.str.4) #9
  %619 = load i32, ptr %616, align 4, !tbaa !5
  %620 = tail call ptr @s2n_strerror_debug(i32 noundef %619, ptr noundef nonnull @.str.4) #9
  %621 = load i32, ptr %602, align 4, !tbaa !5
  %622 = tail call ptr @strerror(i32 noundef %621) #9
  %623 = load i32, ptr %602, align 4, !tbaa !5
  %624 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %614, ptr noundef nonnull %.str.5.sink319, i32 noundef %615, ptr noundef nonnull @.str.26, ptr noundef nonnull @.str.1, i32 noundef 50, ptr noundef %618, ptr noundef %620, ptr noundef %622, i32 noundef %623) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

625:                                              ; preds = %511
  %626 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %90, ptr noundef nonnull dereferenceable(1) @.str.27) #13
  %627 = icmp eq i32 %626, 0
  br i1 %627, label %652, label %628

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

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

639:                                              ; preds = %635, %628
  br label %640

640:                                              ; preds = %635, %639
  %.str.5.sink330 = phi ptr [ @.str.5, %639 ], [ @.str.2, %635 ]
  store i32 %630, ptr %629, align 4, !tbaa !5
  %641 = load ptr, ptr @stderr, align 8, !tbaa !9
  %642 = load i32, ptr @test_count, align 4, !tbaa !5
  %643 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %644 = load i32, ptr %643, align 4, !tbaa !5
  %645 = tail call ptr @s2n_strerror(i32 noundef %644, ptr noundef nonnull @.str.4) #9
  %646 = load i32, ptr %643, align 4, !tbaa !5
  %647 = tail call ptr @s2n_strerror_debug(i32 noundef %646, ptr noundef nonnull @.str.4) #9
  %648 = load i32, ptr %629, align 4, !tbaa !5
  %649 = tail call ptr @strerror(i32 noundef %648) #9
  %650 = load i32, ptr %629, align 4, !tbaa !5
  %651 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %641, ptr noundef nonnull %.str.5.sink330, i32 noundef %642, ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.1, i32 noundef 54, ptr noundef %645, ptr noundef %647, ptr noundef %649, i32 noundef %650) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

652:                                              ; preds = %368, %597, %625, %483, %253
  %653 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) @.str.29, ptr noundef nonnull dereferenceable(1) %90) #13
  %654 = icmp eq i32 %653, 0
  br i1 %654, label %655, label %683

655:                                              ; preds = %652
  %656 = load i32, ptr @test_count, align 4, !tbaa !5
  %657 = add nsw i32 %656, 1
  store i32 %657, ptr @test_count, align 4, !tbaa !5
  %658 = tail call zeroext i1 @s2n_supports_custom_rand() #9
  br i1 %658, label %659, label %683

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

666:                                              ; preds = %659
  %667 = load ptr, ptr @stderr, align 8, !tbaa !9
  %668 = tail call i32 @fileno(ptr noundef %667) #9
  %669 = tail call i32 @isatty(i32 noundef %668) #9
  %.not88 = icmp eq i32 %669, 0
  br i1 %.not88, label %670, label %671

670:                                              ; preds = %666, %659
  br label %671

671:                                              ; preds = %666, %670
  %.str.5.sink341 = phi ptr [ @.str.5, %670 ], [ @.str.2, %666 ]
  store i32 %661, ptr %660, align 4, !tbaa !5
  %672 = load ptr, ptr @stderr, align 8, !tbaa !9
  %673 = load i32, ptr @test_count, align 4, !tbaa !5
  %674 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %675 = load i32, ptr %674, align 4, !tbaa !5
  %676 = tail call ptr @s2n_strerror(i32 noundef %675, ptr noundef nonnull @.str.4) #9
  %677 = load i32, ptr %674, align 4, !tbaa !5
  %678 = tail call ptr @s2n_strerror_debug(i32 noundef %677, ptr noundef nonnull @.str.4) #9
  %679 = load i32, ptr %660, align 4, !tbaa !5
  %680 = tail call ptr @strerror(i32 noundef %679) #9
  %681 = load i32, ptr %660, align 4, !tbaa !5
  %682 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %672, ptr noundef nonnull %.str.5.sink341, i32 noundef %673, ptr noundef nonnull @.str.30, ptr noundef nonnull @.str.1, i32 noundef 61, ptr noundef %676, ptr noundef %678, ptr noundef %680, i32 noundef %681) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

683:                                              ; preds = %655, %652
  %684 = tail call ptr @strstr(ptr noundef nonnull dereferenceable(1) %90, ptr noundef nonnull dereferenceable(1) @.str.25) #13
  %.not80 = icmp eq ptr %684, null
  br i1 %.not80, label %715, label %685

685:                                              ; preds = %683
  %686 = tail call ptr @strstr(ptr noundef nonnull dereferenceable(1) %90, ptr noundef nonnull dereferenceable(1) @.str.31) #13
  %.not81 = icmp eq ptr %686, null
  br i1 %.not81, label %715, label %687

687:                                              ; preds = %685
  %688 = load i32, ptr @test_count, align 4, !tbaa !5
  %689 = add nsw i32 %688, 1
  store i32 %689, ptr @test_count, align 4, !tbaa !5
  %690 = tail call zeroext i1 @s2n_libcrypto_supports_providers() #9
  br i1 %690, label %715, label %691

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

698:                                              ; preds = %691
  %699 = load ptr, ptr @stderr, align 8, !tbaa !9
  %700 = tail call i32 @fileno(ptr noundef %699) #9
  %701 = tail call i32 @isatty(i32 noundef %700) #9
  %.not82 = icmp eq i32 %701, 0
  br i1 %.not82, label %702, label %703

702:                                              ; preds = %698, %691
  br label %703

703:                                              ; preds = %698, %702
  %.str.5.sink352 = phi ptr [ @.str.5, %702 ], [ @.str.2, %698 ]
  store i32 %693, ptr %692, align 4, !tbaa !5
  %704 = load ptr, ptr @stderr, align 8, !tbaa !9
  %705 = load i32, ptr @test_count, align 4, !tbaa !5
  %706 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %707 = load i32, ptr %706, align 4, !tbaa !5
  %708 = tail call ptr @s2n_strerror(i32 noundef %707, ptr noundef nonnull @.str.4) #9
  %709 = load i32, ptr %706, align 4, !tbaa !5
  %710 = tail call ptr @s2n_strerror_debug(i32 noundef %709, ptr noundef nonnull @.str.4) #9
  %711 = load i32, ptr %692, align 4, !tbaa !5
  %712 = tail call ptr @strerror(i32 noundef %711) #9
  %713 = load i32, ptr %692, align 4, !tbaa !5
  %714 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %704, ptr noundef nonnull %.str.5.sink352, i32 noundef %705, ptr noundef nonnull @.str.32, ptr noundef nonnull @.str.1, i32 noundef 66, ptr noundef %708, ptr noundef %710, ptr noundef %712, i32 noundef %713) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

715:                                              ; preds = %687, %685, %683
  %716 = tail call i32 @s2n_cleanup() #9
  %717 = icmp eq i32 %716, -1
  br i1 %717, label %718, label %742

718:                                              ; preds = %715
  %719 = tail call ptr @__errno_location() #10
  %720 = load i32, ptr %719, align 4, !tbaa !5
  %721 = load ptr, ptr @stderr, align 8, !tbaa !9
  %722 = tail call i32 @s2n_print_stacktrace(ptr noundef %721) #9
  %723 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %724 = trunc nuw i8 %723 to i1
  br i1 %724, label %725, label %729

725:                                              ; preds = %718
  %726 = load ptr, ptr @stderr, align 8, !tbaa !9
  %727 = tail call i32 @fileno(ptr noundef %726) #9
  %728 = tail call i32 @isatty(i32 noundef %727) #9
  %.not87 = icmp eq i32 %728, 0
  br i1 %.not87, label %729, label %730

729:                                              ; preds = %725, %718
  br label %730

730:                                              ; preds = %725, %729
  %.str.5.sink363 = phi ptr [ @.str.5, %729 ], [ @.str.2, %725 ]
  store i32 %720, ptr %719, align 4, !tbaa !5
  %731 = load ptr, ptr @stderr, align 8, !tbaa !9
  %732 = load i32, ptr @test_count, align 4, !tbaa !5
  %733 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %734 = load i32, ptr %733, align 4, !tbaa !5
  %735 = tail call ptr @s2n_strerror(i32 noundef %734, ptr noundef nonnull @.str.4) #9
  %736 = load i32, ptr %733, align 4, !tbaa !5
  %737 = tail call ptr @s2n_strerror_debug(i32 noundef %736, ptr noundef nonnull @.str.4) #9
  %738 = load i32, ptr %719, align 4, !tbaa !5
  %739 = tail call ptr @strerror(i32 noundef %738) #9
  %740 = load i32, ptr %719, align 4, !tbaa !5
  %741 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %731, ptr noundef nonnull %.str.5.sink363, i32 noundef %732, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 69, ptr noundef %735, ptr noundef %737, ptr noundef %739, i32 noundef %740) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

742:                                              ; preds = %715
  %743 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #9
  %744 = icmp eq i32 %743, -1
  br i1 %744, label %745, label %769

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

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

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

757:                                              ; preds = %752, %756
  %.str.5.sink374 = phi ptr [ @.str.5, %756 ], [ @.str.2, %752 ]
  store i32 %747, ptr %746, align 4, !tbaa !5
  %758 = load ptr, ptr @stderr, align 8, !tbaa !9
  %759 = load i32, ptr @test_count, align 4, !tbaa !5
  %760 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %761 = load i32, ptr %760, align 4, !tbaa !5
  %762 = tail call ptr @s2n_strerror(i32 noundef %761, ptr noundef nonnull @.str.4) #9
  %763 = load i32, ptr %760, align 4, !tbaa !5
  %764 = tail call ptr @s2n_strerror_debug(i32 noundef %763, ptr noundef nonnull @.str.4) #9
  %765 = load i32, ptr %746, align 4, !tbaa !5
  %766 = tail call ptr @strerror(i32 noundef %765) #9
  %767 = load i32, ptr %746, align 4, !tbaa !5
  %768 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %758, ptr noundef nonnull %.str.5.sink374, i32 noundef %759, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 69, ptr noundef %762, ptr noundef %764, ptr noundef %766, i32 noundef %767) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

769:                                              ; preds = %742
  %770 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %771 = trunc nuw i8 %770 to i1
  br i1 %771, label %772, label %783

772:                                              ; preds = %769
  %773 = load ptr, ptr @stdout, align 8, !tbaa !9
  %774 = tail call i32 @fileno(ptr noundef %773) #9
  %775 = tail call i32 @isatty(i32 noundef %774) #9
  %.not83 = icmp eq i32 %775, 0
  br i1 %.not83, label %783, label %776

776:                                              ; preds = %772
  %777 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not85 = icmp eq i32 %777, 0
  %778 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not85, label %781, label %779

779:                                              ; preds = %776
  %780 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %778, ptr noundef nonnull @.str.11, i32 noundef %777) #9
  br label %790

781:                                              ; preds = %776
  %782 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %778, ptr noundef nonnull @.str.12) #9
  br label %790

783:                                              ; preds = %772, %769
  %784 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not84 = icmp eq i32 %784, 0
  %785 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not84, label %788, label %786

786:                                              ; preds = %783
  %787 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %785, ptr noundef nonnull @.str.13, i32 noundef %784) #9
  br label %790

788:                                              ; preds = %783
  %789 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %785, ptr noundef nonnull @.str.14) #9
  br label %790

790:                                              ; preds = %781, %779, %788, %786, %158, %156, %165, %163
  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 nofree nosync nounwind willreturn memory(none)
declare ptr @__errno_location() local_unnamed_addr #3

declare i32 @s2n_print_stacktrace(ptr noundef) local_unnamed_addr #2

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

; 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) #5

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

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

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

declare i32 @s2n_enable_atexit() local_unnamed_addr #2

declare i32 @s2n_init() local_unnamed_addr #2

; Function Attrs: nofree nounwind memory(read)
declare noundef ptr @getenv(ptr nocapture noundef) local_unnamed_addr #7

declare i32 @s2n_cleanup() local_unnamed_addr #2

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare ptr @strstr(ptr noundef, ptr nocapture noundef) local_unnamed_addr #8

declare zeroext i1 @s2n_libcrypto_is_awslc() local_unnamed_addr #2

declare zeroext i1 @s2n_libcrypto_is_boringssl() local_unnamed_addr #2

declare zeroext i1 @s2n_libcrypto_is_libressl() local_unnamed_addr #2

declare zeroext i1 @s2n_libcrypto_is_openssl() local_unnamed_addr #2

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i32 @strcmp(ptr nocapture noundef, ptr nocapture noundef) local_unnamed_addr #8

declare zeroext i1 @s2n_supports_custom_rand() local_unnamed_addr #2

declare zeroext i1 @s2n_libcrypto_supports_providers() 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 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 #4 = { 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 #5 = { mustprogress 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 = { nofree nounwind 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 #8 = { 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 #9 = { nounwind }
attributes #10 = { nounwind willreturn memory(none) }
attributes #11 = { cold nounwind }
attributes #12 = { noreturn nounwind }
attributes #13 = { 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 = !{}


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