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

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

%struct.random_test_case = type { ptr, ptr, i32, i32 }

@s2n_use_color_in_output = external dso_local global i8, align 1
@test_count = external dso_local global i32, align 4
@stderr = external global ptr, align 8
@.str = external hidden unnamed_addr constant [101 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [74 x i8], align 1
@s2n_errno = external thread_local global i32, align 4
@.str.3 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [90 x i8], align 1
@random_test_cases = external dso_local global [10 x %struct.random_test_case], align 16
@stdout = external global ptr, align 8
@.str.18 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [25 x i8], align 1

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

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

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

declare i32 @s2n_print_stacktrace(ptr noundef) #2

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

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

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

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) #4

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

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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @main(i32 noundef %0, ptr noundef %1) #6 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i64, align 8
  %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
  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 %18

18:                                               ; preds = %2
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %19 = load ptr, ptr @stdout, align 8, !tbaa !9
  %20 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %19, ptr noundef @.str.18, ptr noundef @.str.2) #7
  %21 = load ptr, ptr @stdout, align 8, !tbaa !9
  %22 = call i32 @fflush(ptr noundef %21)
  br label %23

23:                                               ; preds = %18
  %24 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %25 = icmp eq i32 %24, -1
  br i1 %25, label %26, label %77

26:                                               ; preds = %23
  br label %27

27:                                               ; preds = %26
  br label %28

28:                                               ; preds = %27
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #7
  %29 = call ptr @__errno_location() #8
  %30 = load i32, ptr %29, align 4, !tbaa !5
  store i32 %30, ptr %6, align 4, !tbaa !5
  %31 = load ptr, ptr @stderr, align 8, !tbaa !9
  %32 = call i32 @s2n_print_stacktrace(ptr noundef %31)
  %33 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %34 = trunc i8 %33 to i1
  br i1 %34, label %35, label %57

35:                                               ; preds = %28
  %36 = load ptr, ptr @stderr, align 8, !tbaa !9
  %37 = call i32 @fileno(ptr noundef %36) #7
  %38 = call i32 @isatty(i32 noundef %37) #7
  %39 = icmp ne i32 %38, 0
  br i1 %39, label %40, label %57

40:                                               ; preds = %35
  %41 = load i32, ptr %6, align 4, !tbaa !5
  %42 = call ptr @__errno_location() #8
  store i32 %41, ptr %42, align 4, !tbaa !5
  %43 = load ptr, ptr @stderr, align 8, !tbaa !9
  %44 = load i32, ptr @test_count, align 4, !tbaa !5
  %45 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %46 = load i32, ptr %45, align 4, !tbaa !5
  %47 = call ptr @s2n_strerror(i32 noundef %46, ptr noundef @.str.3)
  %48 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %49 = load i32, ptr %48, align 4, !tbaa !5
  %50 = call ptr @s2n_strerror_debug(i32 noundef %49, ptr noundef @.str.3)
  %51 = call ptr @__errno_location() #8
  %52 = load i32, ptr %51, align 4, !tbaa !5
  %53 = call ptr @strerror(i32 noundef %52) #7
  %54 = call ptr @__errno_location() #8
  %55 = load i32, ptr %54, align 4, !tbaa !5
  %56 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %43, ptr noundef @.str, i32 noundef %44, ptr noundef @.str.19, ptr noundef @.str.2, i32 noundef 898, ptr noundef %47, ptr noundef %50, ptr noundef %53, i32 noundef %55) #7
  br label %74

57:                                               ; preds = %35, %28
  %58 = load i32, ptr %6, align 4, !tbaa !5
  %59 = call ptr @__errno_location() #8
  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.3)
  %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.3)
  %68 = call ptr @__errno_location() #8
  %69 = load i32, ptr %68, align 4, !tbaa !5
  %70 = call ptr @strerror(i32 noundef %69) #7
  %71 = call ptr @__errno_location() #8
  %72 = load i32, ptr %71, align 4, !tbaa !5
  %73 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %60, ptr noundef @.str.4, i32 noundef %61, ptr noundef @.str.19, ptr noundef @.str.2, i32 noundef 898, ptr noundef %64, ptr noundef %67, ptr noundef %70, i32 noundef %72) #7
  br label %74

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

75:                                               ; preds = %74
  call void @exit(i32 noundef 1) #9
  unreachable

76:                                               ; No predecessors!
  br label %77

77:                                               ; preds = %76, %23
  br label %78

78:                                               ; preds = %77
  br label %79

79:                                               ; preds = %78
  %80 = load i32, ptr @test_count, align 4, !tbaa !5
  %81 = add nsw i32 %80, 1
  store i32 %81, ptr @test_count, align 4, !tbaa !5
  %82 = call i32 @s2n_enable_atexit()
  %83 = icmp eq i32 %82, -1
  br i1 %83, label %84, label %135

84:                                               ; preds = %79
  br label %85

85:                                               ; preds = %84
  br label %86

86:                                               ; preds = %85
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #7
  %87 = call ptr @__errno_location() #8
  %88 = load i32, ptr %87, align 4, !tbaa !5
  store i32 %88, ptr %7, align 4, !tbaa !5
  %89 = load ptr, ptr @stderr, align 8, !tbaa !9
  %90 = call i32 @s2n_print_stacktrace(ptr noundef %89)
  %91 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %92 = trunc i8 %91 to i1
  br i1 %92, label %93, label %115

93:                                               ; preds = %86
  %94 = load ptr, ptr @stderr, align 8, !tbaa !9
  %95 = call i32 @fileno(ptr noundef %94) #7
  %96 = call i32 @isatty(i32 noundef %95) #7
  %97 = icmp ne i32 %96, 0
  br i1 %97, label %98, label %115

98:                                               ; preds = %93
  %99 = load i32, ptr %7, align 4, !tbaa !5
  %100 = call ptr @__errno_location() #8
  store i32 %99, ptr %100, align 4, !tbaa !5
  %101 = load ptr, ptr @stderr, align 8, !tbaa !9
  %102 = load i32, ptr @test_count, align 4, !tbaa !5
  %103 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %104 = load i32, ptr %103, align 4, !tbaa !5
  %105 = call ptr @s2n_strerror(i32 noundef %104, ptr noundef @.str.3)
  %106 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %107 = load i32, ptr %106, align 4, !tbaa !5
  %108 = call ptr @s2n_strerror_debug(i32 noundef %107, ptr noundef @.str.3)
  %109 = call ptr @__errno_location() #8
  %110 = load i32, ptr %109, align 4, !tbaa !5
  %111 = call ptr @strerror(i32 noundef %110) #7
  %112 = call ptr @__errno_location() #8
  %113 = load i32, ptr %112, align 4, !tbaa !5
  %114 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %101, ptr noundef @.str, i32 noundef %102, ptr noundef @.str.20, ptr noundef @.str.2, i32 noundef 898, ptr noundef %105, ptr noundef %108, ptr noundef %111, i32 noundef %113) #7
  br label %132

115:                                              ; preds = %93, %86
  %116 = load i32, ptr %7, align 4, !tbaa !5
  %117 = call ptr @__errno_location() #8
  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.3)
  %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.3)
  %126 = call ptr @__errno_location() #8
  %127 = load i32, ptr %126, align 4, !tbaa !5
  %128 = call ptr @strerror(i32 noundef %127) #7
  %129 = call ptr @__errno_location() #8
  %130 = load i32, ptr %129, align 4, !tbaa !5
  %131 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %118, ptr noundef @.str.4, i32 noundef %119, ptr noundef @.str.20, ptr noundef @.str.2, i32 noundef 898, ptr noundef %122, ptr noundef %125, ptr noundef %128, i32 noundef %130) #7
  br label %132

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

133:                                              ; preds = %132
  call void @exit(i32 noundef 1) #9
  unreachable

134:                                              ; No predecessors!
  br label %135

135:                                              ; preds = %134, %79
  br label %136

136:                                              ; preds = %135
  br label %137

137:                                              ; preds = %136
  %138 = call zeroext i1 @s2n_libcrypto_is_awslc()
  br i1 %138, label %139, label %140

139:                                              ; preds = %137
  br label %140

140:                                              ; preds = %139, %137
  %141 = call zeroext i1 @s2n_libcrypto_is_openssl_fips()
  br i1 %141, label %142, label %193

142:                                              ; preds = %140
  br label %143

143:                                              ; preds = %142
  br label %144

144:                                              ; preds = %143
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #7
  %145 = call ptr @__errno_location() #8
  %146 = load i32, ptr %145, align 4, !tbaa !5
  store i32 %146, ptr %8, align 4, !tbaa !5
  %147 = load ptr, ptr @stderr, align 8, !tbaa !9
  %148 = call i32 @s2n_print_stacktrace(ptr noundef %147)
  %149 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %150 = trunc i8 %149 to i1
  br i1 %150, label %151, label %173

151:                                              ; preds = %144
  %152 = load ptr, ptr @stderr, align 8, !tbaa !9
  %153 = call i32 @fileno(ptr noundef %152) #7
  %154 = call i32 @isatty(i32 noundef %153) #7
  %155 = icmp ne i32 %154, 0
  br i1 %155, label %156, label %173

156:                                              ; preds = %151
  %157 = load i32, ptr %8, align 4, !tbaa !5
  %158 = call ptr @__errno_location() #8
  store i32 %157, ptr %158, align 4, !tbaa !5
  %159 = load ptr, ptr @stderr, align 8, !tbaa !9
  %160 = load i32, ptr @test_count, align 4, !tbaa !5
  %161 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %162 = load i32, ptr %161, align 4, !tbaa !5
  %163 = call ptr @s2n_strerror(i32 noundef %162, ptr noundef @.str.3)
  %164 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %165 = load i32, ptr %164, align 4, !tbaa !5
  %166 = call ptr @s2n_strerror_debug(i32 noundef %165, ptr noundef @.str.3)
  %167 = call ptr @__errno_location() #8
  %168 = load i32, ptr %167, align 4, !tbaa !5
  %169 = call ptr @strerror(i32 noundef %168) #7
  %170 = call ptr @__errno_location() #8
  %171 = load i32, ptr %170, align 4, !tbaa !5
  %172 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %159, ptr noundef @.str, i32 noundef %160, ptr noundef @.str.21, ptr noundef @.str.2, i32 noundef 910, ptr noundef %163, ptr noundef %166, ptr noundef %169, i32 noundef %171) #7
  br label %190

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

190:                                              ; preds = %173, %156
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #7
  br label %191

191:                                              ; preds = %190
  call void @exit(i32 noundef 1) #9
  unreachable

192:                                              ; No predecessors!
  br label %193

193:                                              ; preds = %192, %140
  %194 = call zeroext i1 @s2n_supports_custom_rand()
  br i1 %194, label %195, label %310

195:                                              ; preds = %193
  br label %196

196:                                              ; preds = %195
  %197 = load i32, ptr @test_count, align 4, !tbaa !5
  %198 = add nsw i32 %197, 1
  store i32 %198, ptr @test_count, align 4, !tbaa !5
  %199 = call zeroext i1 @s2n_libcrypto_is_openssl()
  br i1 %199, label %251, label %200

200:                                              ; preds = %196
  br label %201

201:                                              ; preds = %200
  br label %202

202:                                              ; preds = %201
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #7
  %203 = call ptr @__errno_location() #8
  %204 = load i32, ptr %203, align 4, !tbaa !5
  store i32 %204, ptr %9, align 4, !tbaa !5
  %205 = load ptr, ptr @stderr, align 8, !tbaa !9
  %206 = call i32 @s2n_print_stacktrace(ptr noundef %205)
  %207 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %208 = trunc i8 %207 to i1
  br i1 %208, label %209, label %231

209:                                              ; preds = %202
  %210 = load ptr, ptr @stderr, align 8, !tbaa !9
  %211 = call i32 @fileno(ptr noundef %210) #7
  %212 = call i32 @isatty(i32 noundef %211) #7
  %213 = icmp ne i32 %212, 0
  br i1 %213, label %214, label %231

214:                                              ; preds = %209
  %215 = load i32, ptr %9, align 4, !tbaa !5
  %216 = call ptr @__errno_location() #8
  store i32 %215, ptr %216, align 4, !tbaa !5
  %217 = load ptr, ptr @stderr, align 8, !tbaa !9
  %218 = load i32, ptr @test_count, align 4, !tbaa !5
  %219 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %220 = load i32, ptr %219, align 4, !tbaa !5
  %221 = call ptr @s2n_strerror(i32 noundef %220, ptr noundef @.str.3)
  %222 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %223 = load i32, ptr %222, align 4, !tbaa !5
  %224 = call ptr @s2n_strerror_debug(i32 noundef %223, ptr noundef @.str.3)
  %225 = call ptr @__errno_location() #8
  %226 = load i32, ptr %225, align 4, !tbaa !5
  %227 = call ptr @strerror(i32 noundef %226) #7
  %228 = call ptr @__errno_location() #8
  %229 = load i32, ptr %228, align 4, !tbaa !5
  %230 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %217, ptr noundef @.str, i32 noundef %218, ptr noundef @.str.22, ptr noundef @.str.2, i32 noundef 924, ptr noundef %221, ptr noundef %224, ptr noundef %227, i32 noundef %229) #7
  br label %248

231:                                              ; preds = %209, %202
  %232 = load i32, ptr %9, align 4, !tbaa !5
  %233 = call ptr @__errno_location() #8
  store i32 %232, ptr %233, align 4, !tbaa !5
  %234 = load ptr, ptr @stderr, align 8, !tbaa !9
  %235 = load i32, ptr @test_count, align 4, !tbaa !5
  %236 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %237 = load i32, ptr %236, align 4, !tbaa !5
  %238 = call ptr @s2n_strerror(i32 noundef %237, ptr noundef @.str.3)
  %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_debug(i32 noundef %240, ptr noundef @.str.3)
  %242 = call ptr @__errno_location() #8
  %243 = load i32, ptr %242, align 4, !tbaa !5
  %244 = call ptr @strerror(i32 noundef %243) #7
  %245 = call ptr @__errno_location() #8
  %246 = load i32, ptr %245, align 4, !tbaa !5
  %247 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %234, ptr noundef @.str.4, i32 noundef %235, ptr noundef @.str.22, ptr noundef @.str.2, i32 noundef 924, ptr noundef %238, ptr noundef %241, ptr noundef %244, i32 noundef %246) #7
  br label %248

248:                                              ; preds = %231, %214
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #7
  br label %249

249:                                              ; preds = %248
  call void @exit(i32 noundef 1) #9
  unreachable

250:                                              ; No predecessors!
  br label %251

251:                                              ; preds = %250, %196
  br label %252

252:                                              ; preds = %251
  br label %253

253:                                              ; preds = %252
  %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 = call zeroext i1 @s2n_is_in_fips_mode()
  br i1 %256, label %257, label %308

257:                                              ; preds = %253
  br label %258

258:                                              ; preds = %257
  br label %259

259:                                              ; preds = %258
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #7
  %260 = call ptr @__errno_location() #8
  %261 = load i32, ptr %260, align 4, !tbaa !5
  store i32 %261, ptr %10, align 4, !tbaa !5
  %262 = load ptr, ptr @stderr, align 8, !tbaa !9
  %263 = call i32 @s2n_print_stacktrace(ptr noundef %262)
  %264 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %265 = trunc i8 %264 to i1
  br i1 %265, label %266, label %288

266:                                              ; preds = %259
  %267 = load ptr, ptr @stderr, align 8, !tbaa !9
  %268 = call i32 @fileno(ptr noundef %267) #7
  %269 = call i32 @isatty(i32 noundef %268) #7
  %270 = icmp ne i32 %269, 0
  br i1 %270, label %271, label %288

271:                                              ; preds = %266
  %272 = load i32, ptr %10, align 4, !tbaa !5
  %273 = call ptr @__errno_location() #8
  store i32 %272, ptr %273, align 4, !tbaa !5
  %274 = load ptr, ptr @stderr, align 8, !tbaa !9
  %275 = load i32, ptr @test_count, align 4, !tbaa !5
  %276 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %277 = load i32, ptr %276, align 4, !tbaa !5
  %278 = call ptr @s2n_strerror(i32 noundef %277, ptr noundef @.str.3)
  %279 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %280 = load i32, ptr %279, align 4, !tbaa !5
  %281 = call ptr @s2n_strerror_debug(i32 noundef %280, ptr noundef @.str.3)
  %282 = call ptr @__errno_location() #8
  %283 = load i32, ptr %282, align 4, !tbaa !5
  %284 = call ptr @strerror(i32 noundef %283) #7
  %285 = call ptr @__errno_location() #8
  %286 = load i32, ptr %285, align 4, !tbaa !5
  %287 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %274, ptr noundef @.str, i32 noundef %275, ptr noundef @.str.23, ptr noundef @.str.2, i32 noundef 925, ptr noundef %278, ptr noundef %281, ptr noundef %284, i32 noundef %286) #7
  br label %305

288:                                              ; preds = %266, %259
  %289 = load i32, ptr %10, align 4, !tbaa !5
  %290 = call ptr @__errno_location() #8
  store i32 %289, ptr %290, align 4, !tbaa !5
  %291 = load ptr, ptr @stderr, align 8, !tbaa !9
  %292 = load i32, ptr @test_count, align 4, !tbaa !5
  %293 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %294 = load i32, ptr %293, align 4, !tbaa !5
  %295 = call ptr @s2n_strerror(i32 noundef %294, ptr noundef @.str.3)
  %296 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %297 = load i32, ptr %296, align 4, !tbaa !5
  %298 = call ptr @s2n_strerror_debug(i32 noundef %297, ptr noundef @.str.3)
  %299 = call ptr @__errno_location() #8
  %300 = load i32, ptr %299, align 4, !tbaa !5
  %301 = call ptr @strerror(i32 noundef %300) #7
  %302 = call ptr @__errno_location() #8
  %303 = load i32, ptr %302, align 4, !tbaa !5
  %304 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %291, ptr noundef @.str.4, i32 noundef %292, ptr noundef @.str.23, ptr noundef @.str.2, i32 noundef 925, ptr noundef %295, ptr noundef %298, ptr noundef %301, i32 noundef %303) #7
  br label %305

305:                                              ; preds = %288, %271
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #7
  br label %306

306:                                              ; preds = %305
  call void @exit(i32 noundef 1) #9
  unreachable

307:                                              ; No predecessors!
  br label %308

308:                                              ; preds = %307, %253
  br label %309

309:                                              ; preds = %308
  br label %310

310:                                              ; preds = %309, %193
  %311 = call ptr @getenv(ptr noundef @.str.24) #7
  %312 = icmp ne ptr %311, null
  br i1 %312, label %313, label %371

313:                                              ; preds = %310
  br label %314

314:                                              ; preds = %313
  %315 = load i32, ptr @test_count, align 4, !tbaa !5
  %316 = add nsw i32 %315, 1
  store i32 %316, ptr @test_count, align 4, !tbaa !5
  %317 = call zeroext i1 @s2n_supports_custom_rand()
  br i1 %317, label %318, label %369

318:                                              ; preds = %314
  br label %319

319:                                              ; preds = %318
  br label %320

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

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

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

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

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

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

368:                                              ; No predecessors!
  br label %369

369:                                              ; preds = %368, %314
  br label %370

370:                                              ; preds = %369
  br label %371

371:                                              ; preds = %370, %310
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #7
  store i64 0, ptr %12, align 8, !tbaa !15
  br label %372

372:                                              ; preds = %516, %371
  %373 = load i64, ptr %12, align 8, !tbaa !15
  %374 = icmp ult i64 %373, 10
  br i1 %374, label %376, label %375

375:                                              ; preds = %372
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  br label %519

376:                                              ; preds = %372
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #7
  store i32 0, ptr %13, align 4, !tbaa !5
  %377 = call i32 @fork() #7
  store i32 %377, ptr %13, align 4, !tbaa !5
  br label %378

378:                                              ; preds = %376
  %379 = load i32, ptr @test_count, align 4, !tbaa !5
  %380 = add nsw i32 %379, 1
  store i32 %380, ptr @test_count, align 4, !tbaa !5
  %381 = load i32, ptr %13, align 4, !tbaa !5
  %382 = icmp sge i32 %381, 0
  br i1 %382, label %436, label %383

383:                                              ; preds = %378
  br label %384

384:                                              ; preds = %383
  br label %385

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

392:                                              ; preds = %385
  %393 = load ptr, ptr @stderr, align 8, !tbaa !9
  %394 = call i32 @fileno(ptr noundef %393) #7
  %395 = call i32 @isatty(i32 noundef %394) #7
  %396 = icmp ne i32 %395, 0
  br i1 %396, label %397, label %414

397:                                              ; preds = %392
  %398 = load i32, ptr %14, align 4, !tbaa !5
  %399 = call ptr @__errno_location() #8
  store i32 %398, ptr %399, align 4, !tbaa !5
  %400 = load ptr, ptr @stderr, align 8, !tbaa !9
  %401 = load i32, ptr @test_count, align 4, !tbaa !5
  %402 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %403 = load i32, ptr %402, align 4, !tbaa !5
  %404 = call ptr @s2n_strerror(i32 noundef %403, ptr noundef @.str.3)
  %405 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %406 = load i32, ptr %405, align 4, !tbaa !5
  %407 = call ptr @s2n_strerror_debug(i32 noundef %406, ptr noundef @.str.3)
  %408 = call ptr @__errno_location() #8
  %409 = load i32, ptr %408, align 4, !tbaa !5
  %410 = call ptr @strerror(i32 noundef %409) #7
  %411 = call ptr @__errno_location() #8
  %412 = load i32, ptr %411, align 4, !tbaa !5
  %413 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %400, ptr noundef @.str, i32 noundef %401, ptr noundef @.str.26, ptr noundef @.str.2, i32 noundef 947, ptr noundef %404, ptr noundef %407, ptr noundef %410, i32 noundef %412) #7
  br label %431

414:                                              ; preds = %392, %385
  %415 = load i32, ptr %14, align 4, !tbaa !5
  %416 = call ptr @__errno_location() #8
  store i32 %415, ptr %416, align 4, !tbaa !5
  %417 = load ptr, ptr @stderr, align 8, !tbaa !9
  %418 = load i32, ptr @test_count, align 4, !tbaa !5
  %419 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %420 = load i32, ptr %419, align 4, !tbaa !5
  %421 = call ptr @s2n_strerror(i32 noundef %420, ptr noundef @.str.3)
  %422 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %423 = load i32, ptr %422, align 4, !tbaa !5
  %424 = call ptr @s2n_strerror_debug(i32 noundef %423, ptr noundef @.str.3)
  %425 = call ptr @__errno_location() #8
  %426 = load i32, ptr %425, align 4, !tbaa !5
  %427 = call ptr @strerror(i32 noundef %426) #7
  %428 = call ptr @__errno_location() #8
  %429 = load i32, ptr %428, align 4, !tbaa !5
  %430 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %417, ptr noundef @.str.4, i32 noundef %418, ptr noundef @.str.26, ptr noundef @.str.2, i32 noundef 947, ptr noundef %421, ptr noundef %424, ptr noundef %427, i32 noundef %429) #7
  br label %431

431:                                              ; preds = %414, %397
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #7
  br label %432

432:                                              ; preds = %431
  br label %433

433:                                              ; preds = %432
  call void @exit(i32 noundef 1) #9
  unreachable

434:                                              ; No predecessors!
  br label %435

435:                                              ; preds = %434
  br label %436

436:                                              ; preds = %435, %378
  br label %437

437:                                              ; preds = %436
  br label %438

438:                                              ; preds = %437
  %439 = load i32, ptr %13, align 4, !tbaa !5
  %440 = icmp eq i32 %439, 0
  br i1 %440, label %441, label %509

441:                                              ; preds = %438
  br label %442

442:                                              ; preds = %441
  %443 = load i32, ptr @test_count, align 4, !tbaa !5
  %444 = add nsw i32 %443, 1
  store i32 %444, ptr @test_count, align 4, !tbaa !5
  %445 = load i64, ptr %12, align 8, !tbaa !15
  %446 = getelementptr inbounds [10 x %struct.random_test_case], ptr @random_test_cases, i64 0, i64 %445
  %447 = getelementptr inbounds %struct.random_test_case, ptr %446, i32 0, i32 1
  %448 = load ptr, ptr %447, align 8, !tbaa !17
  %449 = load i64, ptr %12, align 8, !tbaa !15
  %450 = getelementptr inbounds [10 x %struct.random_test_case], ptr @random_test_cases, i64 0, i64 %449
  %451 = call i32 %448(ptr noundef %450)
  %452 = icmp eq i32 %451, 0
  br i1 %452, label %506, label %453

453:                                              ; preds = %442
  br label %454

454:                                              ; preds = %453
  br label %455

455:                                              ; preds = %454
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #7
  %456 = call ptr @__errno_location() #8
  %457 = load i32, ptr %456, align 4, !tbaa !5
  store i32 %457, ptr %15, align 4, !tbaa !5
  %458 = load ptr, ptr @stderr, align 8, !tbaa !9
  %459 = call i32 @s2n_print_stacktrace(ptr noundef %458)
  %460 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %461 = trunc i8 %460 to i1
  br i1 %461, label %462, label %484

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

467:                                              ; preds = %462
  %468 = load i32, ptr %15, align 4, !tbaa !5
  %469 = call ptr @__errno_location() #8
  store i32 %468, ptr %469, align 4, !tbaa !5
  %470 = load ptr, ptr @stderr, align 8, !tbaa !9
  %471 = load i32, ptr @test_count, align 4, !tbaa !5
  %472 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %473 = load i32, ptr %472, align 4, !tbaa !5
  %474 = call ptr @s2n_strerror(i32 noundef %473, ptr noundef @.str.3)
  %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_debug(i32 noundef %476, ptr noundef @.str.3)
  %478 = call ptr @__errno_location() #8
  %479 = load i32, ptr %478, align 4, !tbaa !5
  %480 = call ptr @strerror(i32 noundef %479) #7
  %481 = call ptr @__errno_location() #8
  %482 = load i32, ptr %481, align 4, !tbaa !5
  %483 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %470, ptr noundef @.str, i32 noundef %471, ptr noundef @.str.27, ptr noundef @.str.2, i32 noundef 951, ptr noundef %474, ptr noundef %477, ptr noundef %480, i32 noundef %482) #7
  br label %501

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

501:                                              ; preds = %484, %467
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #7
  br label %502

502:                                              ; preds = %501
  br label %503

503:                                              ; preds = %502
  call void @exit(i32 noundef 1) #9
  unreachable

504:                                              ; No predecessors!
  br label %505

505:                                              ; preds = %504
  br label %506

506:                                              ; preds = %505, %442
  br label %507

507:                                              ; preds = %506
  br label %508

508:                                              ; preds = %507
  call void @exit(i32 noundef 0) #9
  unreachable

509:                                              ; preds = %438
  %510 = load i32, ptr %13, align 4, !tbaa !5
  %511 = load i64, ptr %12, align 8, !tbaa !15
  %512 = getelementptr inbounds [10 x %struct.random_test_case], ptr @random_test_cases, i64 0, i64 %511
  %513 = getelementptr inbounds %struct.random_test_case, ptr %512, i32 0, i32 3
  %514 = load i32, ptr %513, align 4, !tbaa !19
  call void @s2n_verify_child_exit_status(i32 noundef %510, i32 noundef %514)
  br label %515

515:                                              ; preds = %509
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #7
  br label %516

516:                                              ; preds = %515
  %517 = load i64, ptr %12, align 8, !tbaa !15
  %518 = add i64 %517, 1
  store i64 %518, ptr %12, align 8, !tbaa !15
  br label %372, !llvm.loop !20

519:                                              ; preds = %375
  br label %520

520:                                              ; preds = %519
  %521 = load i32, ptr @test_count, align 4, !tbaa !5
  %522 = add nsw i32 %521, 1
  store i32 %522, ptr @test_count, align 4, !tbaa !5
  %523 = load ptr, ptr getelementptr inbounds (%struct.random_test_case, ptr @random_test_cases, i32 0, i32 1), align 8, !tbaa !17
  %524 = call i32 %523(ptr noundef @random_test_cases)
  %525 = icmp eq i32 %524, 0
  br i1 %525, label %577, label %526

526:                                              ; preds = %520
  br label %527

527:                                              ; preds = %526
  br label %528

528:                                              ; preds = %527
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #7
  %529 = call ptr @__errno_location() #8
  %530 = load i32, ptr %529, align 4, !tbaa !5
  store i32 %530, ptr %16, align 4, !tbaa !5
  %531 = load ptr, ptr @stderr, align 8, !tbaa !9
  %532 = call i32 @s2n_print_stacktrace(ptr noundef %531)
  %533 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %534 = trunc i8 %533 to i1
  br i1 %534, label %535, label %557

535:                                              ; preds = %528
  %536 = load ptr, ptr @stderr, align 8, !tbaa !9
  %537 = call i32 @fileno(ptr noundef %536) #7
  %538 = call i32 @isatty(i32 noundef %537) #7
  %539 = icmp ne i32 %538, 0
  br i1 %539, label %540, label %557

540:                                              ; preds = %535
  %541 = load i32, ptr %16, align 4, !tbaa !5
  %542 = call ptr @__errno_location() #8
  store i32 %541, ptr %542, align 4, !tbaa !5
  %543 = load ptr, ptr @stderr, align 8, !tbaa !9
  %544 = load i32, ptr @test_count, align 4, !tbaa !5
  %545 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %546 = load i32, ptr %545, align 4, !tbaa !5
  %547 = call ptr @s2n_strerror(i32 noundef %546, ptr noundef @.str.3)
  %548 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %549 = load i32, ptr %548, align 4, !tbaa !5
  %550 = call ptr @s2n_strerror_debug(i32 noundef %549, ptr noundef @.str.3)
  %551 = call ptr @__errno_location() #8
  %552 = load i32, ptr %551, align 4, !tbaa !5
  %553 = call ptr @strerror(i32 noundef %552) #7
  %554 = call ptr @__errno_location() #8
  %555 = load i32, ptr %554, align 4, !tbaa !5
  %556 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %543, ptr noundef @.str, i32 noundef %544, ptr noundef @.str.28, ptr noundef @.str.2, i32 noundef 967, ptr noundef %547, ptr noundef %550, ptr noundef %553, i32 noundef %555) #7
  br label %574

557:                                              ; preds = %535, %528
  %558 = load i32, ptr %16, align 4, !tbaa !5
  %559 = call ptr @__errno_location() #8
  store i32 %558, ptr %559, align 4, !tbaa !5
  %560 = load ptr, ptr @stderr, align 8, !tbaa !9
  %561 = load i32, ptr @test_count, align 4, !tbaa !5
  %562 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %563 = load i32, ptr %562, align 4, !tbaa !5
  %564 = call ptr @s2n_strerror(i32 noundef %563, ptr noundef @.str.3)
  %565 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %566 = load i32, ptr %565, align 4, !tbaa !5
  %567 = call ptr @s2n_strerror_debug(i32 noundef %566, ptr noundef @.str.3)
  %568 = call ptr @__errno_location() #8
  %569 = load i32, ptr %568, align 4, !tbaa !5
  %570 = call ptr @strerror(i32 noundef %569) #7
  %571 = call ptr @__errno_location() #8
  %572 = load i32, ptr %571, align 4, !tbaa !5
  %573 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %560, ptr noundef @.str.4, i32 noundef %561, ptr noundef @.str.28, ptr noundef @.str.2, i32 noundef 967, ptr noundef %564, ptr noundef %567, ptr noundef %570, i32 noundef %572) #7
  br label %574

574:                                              ; preds = %557, %540
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #7
  br label %575

575:                                              ; preds = %574
  call void @exit(i32 noundef 1) #9
  unreachable

576:                                              ; No predecessors!
  br label %577

577:                                              ; preds = %576, %520
  br label %578

578:                                              ; preds = %577
  br label %579

579:                                              ; preds = %578
  br label %580

580:                                              ; preds = %579
  %581 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %582 = icmp eq i32 %581, -1
  br i1 %582, label %583, label %634

583:                                              ; preds = %580
  br label %584

584:                                              ; preds = %583
  br label %585

585:                                              ; preds = %584
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #7
  %586 = call ptr @__errno_location() #8
  %587 = load i32, ptr %586, align 4, !tbaa !5
  store i32 %587, ptr %17, align 4, !tbaa !5
  %588 = load ptr, ptr @stderr, align 8, !tbaa !9
  %589 = call i32 @s2n_print_stacktrace(ptr noundef %588)
  %590 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %591 = trunc i8 %590 to i1
  br i1 %591, label %592, label %614

592:                                              ; preds = %585
  %593 = load ptr, ptr @stderr, align 8, !tbaa !9
  %594 = call i32 @fileno(ptr noundef %593) #7
  %595 = call i32 @isatty(i32 noundef %594) #7
  %596 = icmp ne i32 %595, 0
  br i1 %596, label %597, label %614

597:                                              ; preds = %592
  %598 = load i32, ptr %17, align 4, !tbaa !5
  %599 = call ptr @__errno_location() #8
  store i32 %598, ptr %599, align 4, !tbaa !5
  %600 = load ptr, ptr @stderr, align 8, !tbaa !9
  %601 = load i32, ptr @test_count, align 4, !tbaa !5
  %602 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %603 = load i32, ptr %602, align 4, !tbaa !5
  %604 = call ptr @s2n_strerror(i32 noundef %603, ptr noundef @.str.3)
  %605 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %606 = load i32, ptr %605, align 4, !tbaa !5
  %607 = call ptr @s2n_strerror_debug(i32 noundef %606, ptr noundef @.str.3)
  %608 = call ptr @__errno_location() #8
  %609 = load i32, ptr %608, align 4, !tbaa !5
  %610 = call ptr @strerror(i32 noundef %609) #7
  %611 = call ptr @__errno_location() #8
  %612 = load i32, ptr %611, align 4, !tbaa !5
  %613 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %600, ptr noundef @.str, i32 noundef %601, ptr noundef @.str.29, ptr noundef @.str.2, i32 noundef 969, ptr noundef %604, ptr noundef %607, ptr noundef %610, i32 noundef %612) #7
  br label %631

614:                                              ; preds = %592, %585
  %615 = load i32, ptr %17, align 4, !tbaa !5
  %616 = call ptr @__errno_location() #8
  store i32 %615, ptr %616, align 4, !tbaa !5
  %617 = load ptr, ptr @stderr, align 8, !tbaa !9
  %618 = load i32, ptr @test_count, align 4, !tbaa !5
  %619 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %620 = load i32, ptr %619, align 4, !tbaa !5
  %621 = call ptr @s2n_strerror(i32 noundef %620, ptr noundef @.str.3)
  %622 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %623 = load i32, ptr %622, align 4, !tbaa !5
  %624 = call ptr @s2n_strerror_debug(i32 noundef %623, ptr noundef @.str.3)
  %625 = call ptr @__errno_location() #8
  %626 = load i32, ptr %625, align 4, !tbaa !5
  %627 = call ptr @strerror(i32 noundef %626) #7
  %628 = call ptr @__errno_location() #8
  %629 = load i32, ptr %628, align 4, !tbaa !5
  %630 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %617, ptr noundef @.str.4, i32 noundef %618, ptr noundef @.str.29, ptr noundef @.str.2, i32 noundef 969, ptr noundef %621, ptr noundef %624, ptr noundef %627, i32 noundef %629) #7
  br label %631

631:                                              ; preds = %614, %597
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  br label %632

632:                                              ; preds = %631
  call void @exit(i32 noundef 1) #9
  unreachable

633:                                              ; No predecessors!
  br label %634

634:                                              ; preds = %633, %580
  br label %635

635:                                              ; preds = %634
  %636 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %637 = trunc i8 %636 to i1
  br i1 %637, label %638, label %654

638:                                              ; preds = %635
  %639 = load ptr, ptr @stdout, align 8, !tbaa !9
  %640 = call i32 @fileno(ptr noundef %639) #7
  %641 = call i32 @isatty(i32 noundef %640) #7
  %642 = icmp ne i32 %641, 0
  br i1 %642, label %643, label %654

643:                                              ; preds = %638
  %644 = load i32, ptr @test_count, align 4, !tbaa !5
  %645 = icmp ne i32 %644, 0
  br i1 %645, label %646, label %650

646:                                              ; preds = %643
  %647 = load ptr, ptr @stdout, align 8, !tbaa !9
  %648 = load i32, ptr @test_count, align 4, !tbaa !5
  %649 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %647, ptr noundef @.str.30, i32 noundef %648) #7
  br label %653

650:                                              ; preds = %643
  %651 = load ptr, ptr @stdout, align 8, !tbaa !9
  %652 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %651, ptr noundef @.str.31) #7
  br label %653

653:                                              ; preds = %650, %646
  br label %665

654:                                              ; preds = %638, %635
  %655 = load i32, ptr @test_count, align 4, !tbaa !5
  %656 = icmp ne i32 %655, 0
  br i1 %656, label %657, label %661

657:                                              ; preds = %654
  %658 = load ptr, ptr @stdout, align 8, !tbaa !9
  %659 = load i32, ptr @test_count, align 4, !tbaa !5
  %660 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %658, ptr noundef @.str.32, i32 noundef %659) #7
  br label %664

661:                                              ; preds = %654
  %662 = load ptr, ptr @stdout, align 8, !tbaa !9
  %663 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %662, ptr noundef @.str.33) #7
  br label %664

664:                                              ; preds = %661, %657
  br label %665

665:                                              ; preds = %664, %653
  store i32 0, ptr %3, align 4
  br label %666

666:                                              ; preds = %665
  %667 = load i32, ptr %3, align 4
  ret i32 %667
}

declare i32 @fflush(ptr noundef) #2

declare i32 @s2n_in_unit_test_set(i1 noundef zeroext) #2

declare i32 @s2n_enable_atexit() #2

declare zeroext i1 @s2n_libcrypto_is_awslc() #2

declare zeroext i1 @s2n_libcrypto_is_openssl_fips() #2

declare zeroext i1 @s2n_supports_custom_rand() #2

declare zeroext i1 @s2n_libcrypto_is_openssl() #2

declare zeroext i1 @s2n_is_in_fips_mode() #2

; Function Attrs: nounwind
declare ptr @getenv(ptr noundef) #3

; Function Attrs: nounwind
declare i32 @fork() #3

; Function Attrs: nounwind uwtable
declare hidden void @s2n_verify_child_exit_status(i32 noundef, i32 noundef) #6

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #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 = { 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 #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { 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 #6 = { 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 #7 = { nounwind }
attributes #8 = { nounwind willreturn memory(none) }
attributes #9 = { noreturn nounwind }

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

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


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

%struct.random_test_case = type { ptr, ptr, i32, i32 }

@s2n_use_color_in_output = external dso_local local_unnamed_addr global i8, align 1
@test_count = external dso_local local_unnamed_addr global i32, align 4
@stderr = external local_unnamed_addr global ptr, align 8
@.str = external hidden unnamed_addr constant [101 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [74 x i8], align 1
@s2n_errno = external thread_local local_unnamed_addr global i32, align 4
@.str.3 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [90 x i8], align 1
@random_test_cases = external dso_local global [10 x %struct.random_test_case], align 16
@stdout = external local_unnamed_addr global ptr, align 8
@.str.18 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [25 x i8], align 1

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

declare i32 @s2n_print_stacktrace(ptr noundef) local_unnamed_addr #1

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

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

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

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

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @main(i32 noundef %0, ptr nocapture noundef readnone %1) local_unnamed_addr #6 {
  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.18, ptr noundef nonnull @.str.2) #8
  %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) #8
  %8 = icmp eq i32 %7, -1
  br i1 %8, label %9, label %33

9:                                                ; preds = %2
  %10 = tail call ptr @__errno_location() #9
  %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) #8
  %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) #8
  %19 = tail call i32 @isatty(i32 noundef %18) #8
  %.not44 = icmp eq i32 %19, 0
  br i1 %.not44, label %20, label %21

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

21:                                               ; preds = %16, %20
  %.str.4.sink = phi ptr [ @.str.4, %20 ], [ @.str, %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.3) #8
  %27 = load i32, ptr %24, align 4, !tbaa !5
  %28 = tail call ptr @s2n_strerror_debug(i32 noundef %27, ptr noundef nonnull @.str.3) #8
  %29 = load i32, ptr %10, align 4, !tbaa !5
  %30 = tail call ptr @strerror(i32 noundef %29) #8
  %31 = load i32, ptr %10, align 4, !tbaa !5
  %32 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %22, ptr noundef nonnull %.str.4.sink, i32 noundef %23, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.2, i32 noundef 898, ptr noundef %26, ptr noundef %28, ptr noundef %30, i32 noundef %31) #10
  tail call void @exit(i32 noundef 1) #11
  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() #8
  %37 = icmp eq i32 %36, -1
  br i1 %37, label %38, label %62

38:                                               ; preds = %33
  %39 = tail call ptr @__errno_location() #9
  %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) #8
  %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) #8
  %48 = tail call i32 @isatty(i32 noundef %47) #8
  %.not43 = icmp eq i32 %48, 0
  br i1 %.not43, label %49, label %50

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

50:                                               ; preds = %45, %49
  %.str.4.sink63 = phi ptr [ @.str.4, %49 ], [ @.str, %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.3) #8
  %56 = load i32, ptr %53, align 4, !tbaa !5
  %57 = tail call ptr @s2n_strerror_debug(i32 noundef %56, ptr noundef nonnull @.str.3) #8
  %58 = load i32, ptr %39, align 4, !tbaa !5
  %59 = tail call ptr @strerror(i32 noundef %58) #8
  %60 = load i32, ptr %39, align 4, !tbaa !5
  %61 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %51, ptr noundef nonnull %.str.4.sink63, i32 noundef %52, ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.2, i32 noundef 898, ptr noundef %55, ptr noundef %57, ptr noundef %59, i32 noundef %60) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

62:                                               ; preds = %33
  %63 = tail call zeroext i1 @s2n_libcrypto_is_awslc() #8
  %64 = tail call zeroext i1 @s2n_libcrypto_is_openssl_fips() #8
  br i1 %64, label %65, label %89

65:                                               ; preds = %62
  %66 = tail call ptr @__errno_location() #9
  %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) #8
  %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) #8
  %75 = tail call i32 @isatty(i32 noundef %74) #8
  %.not42 = icmp eq i32 %75, 0
  br i1 %.not42, label %76, label %77

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

77:                                               ; preds = %72, %76
  %.str.4.sink74 = phi ptr [ @.str.4, %76 ], [ @.str, %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.3) #8
  %83 = load i32, ptr %80, align 4, !tbaa !5
  %84 = tail call ptr @s2n_strerror_debug(i32 noundef %83, ptr noundef nonnull @.str.3) #8
  %85 = load i32, ptr %66, align 4, !tbaa !5
  %86 = tail call ptr @strerror(i32 noundef %85) #8
  %87 = load i32, ptr %66, align 4, !tbaa !5
  %88 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %78, ptr noundef nonnull %.str.4.sink74, i32 noundef %79, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.2, i32 noundef 910, ptr noundef %82, ptr noundef %84, ptr noundef %86, i32 noundef %87) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

89:                                               ; preds = %62
  %90 = tail call zeroext i1 @s2n_supports_custom_rand() #8
  br i1 %90, label %91, label %147

91:                                               ; preds = %89
  %92 = load i32, ptr @test_count, align 4, !tbaa !5
  %93 = add nsw i32 %92, 1
  store i32 %93, ptr @test_count, align 4, !tbaa !5
  %94 = tail call zeroext i1 @s2n_libcrypto_is_openssl() #8
  br i1 %94, label %119, label %95

95:                                               ; preds = %91
  %96 = tail call ptr @__errno_location() #9
  %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) #8
  %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) #8
  %105 = tail call i32 @isatty(i32 noundef %104) #8
  %.not = icmp eq i32 %105, 0
  br i1 %.not, label %106, label %107

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

107:                                              ; preds = %102, %106
  %.str.4.sink85 = phi ptr [ @.str.4, %106 ], [ @.str, %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.3) #8
  %113 = load i32, ptr %110, align 4, !tbaa !5
  %114 = tail call ptr @s2n_strerror_debug(i32 noundef %113, ptr noundef nonnull @.str.3) #8
  %115 = load i32, ptr %96, align 4, !tbaa !5
  %116 = tail call ptr @strerror(i32 noundef %115) #8
  %117 = load i32, ptr %96, align 4, !tbaa !5
  %118 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %108, ptr noundef nonnull %.str.4.sink85, i32 noundef %109, ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.2, i32 noundef 924, ptr noundef %112, ptr noundef %114, ptr noundef %116, i32 noundef %117) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

119:                                              ; preds = %91
  %120 = load i32, ptr @test_count, align 4, !tbaa !5
  %121 = add nsw i32 %120, 1
  store i32 %121, ptr @test_count, align 4, !tbaa !5
  %122 = tail call zeroext i1 @s2n_is_in_fips_mode() #8
  br i1 %122, label %123, label %147

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

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

134:                                              ; preds = %130, %123
  br label %135

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

147:                                              ; preds = %119, %89
  %148 = tail call ptr @getenv(ptr noundef nonnull @.str.24) #8
  %.not32 = icmp eq ptr %148, null
  br i1 %.not32, label %177, label %149

149:                                              ; preds = %147
  %150 = load i32, ptr @test_count, align 4, !tbaa !5
  %151 = add nsw i32 %150, 1
  store i32 %151, ptr @test_count, align 4, !tbaa !5
  %152 = tail call zeroext i1 @s2n_supports_custom_rand() #8
  br i1 %152, label %153, label %177

153:                                              ; preds = %149
  %154 = tail call ptr @__errno_location() #9
  %155 = load i32, ptr %154, align 4, !tbaa !5
  %156 = load ptr, ptr @stderr, align 8, !tbaa !9
  %157 = tail call i32 @s2n_print_stacktrace(ptr noundef %156) #8
  %158 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %159 = trunc nuw i8 %158 to i1
  br i1 %159, label %160, label %164

160:                                              ; preds = %153
  %161 = load ptr, ptr @stderr, align 8, !tbaa !9
  %162 = tail call i32 @fileno(ptr noundef %161) #8
  %163 = tail call i32 @isatty(i32 noundef %162) #8
  %.not40 = icmp eq i32 %163, 0
  br i1 %.not40, label %164, label %165

164:                                              ; preds = %160, %153
  br label %165

165:                                              ; preds = %160, %164
  %.str.4.sink107 = phi ptr [ @.str.4, %164 ], [ @.str, %160 ]
  store i32 %155, ptr %154, align 4, !tbaa !5
  %166 = load ptr, ptr @stderr, align 8, !tbaa !9
  %167 = load i32, ptr @test_count, align 4, !tbaa !5
  %168 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %169 = load i32, ptr %168, align 4, !tbaa !5
  %170 = tail call ptr @s2n_strerror(i32 noundef %169, ptr noundef nonnull @.str.3) #8
  %171 = load i32, ptr %168, align 4, !tbaa !5
  %172 = tail call ptr @s2n_strerror_debug(i32 noundef %171, ptr noundef nonnull @.str.3) #8
  %173 = load i32, ptr %154, align 4, !tbaa !5
  %174 = tail call ptr @strerror(i32 noundef %173) #8
  %175 = load i32, ptr %154, align 4, !tbaa !5
  %176 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %166, ptr noundef nonnull %.str.4.sink107, i32 noundef %167, ptr noundef nonnull @.str.25, ptr noundef nonnull @.str.2, i32 noundef 933, ptr noundef %170, ptr noundef %172, ptr noundef %174, i32 noundef %175) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

177:                                              ; preds = %149, %147
  %178 = tail call i32 @fork() #8
  %179 = load i32, ptr @test_count, align 4, !tbaa !5
  %180 = add nsw i32 %179, 1
  store i32 %180, ptr @test_count, align 4, !tbaa !5
  %181 = icmp sgt i32 %178, -1
  br i1 %181, label %206, label %182

182:                                              ; preds = %304, %296, %288, %280, %272, %264, %256, %248, %240, %177
  %183 = tail call ptr @__errno_location() #9
  %184 = load i32, ptr %183, align 4, !tbaa !5
  %185 = load ptr, ptr @stderr, align 8, !tbaa !9
  %186 = tail call i32 @s2n_print_stacktrace(ptr noundef %185) #8
  %187 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %188 = trunc nuw i8 %187 to i1
  br i1 %188, label %189, label %193

189:                                              ; preds = %182
  %190 = load ptr, ptr @stderr, align 8, !tbaa !9
  %191 = tail call i32 @fileno(ptr noundef %190) #8
  %192 = tail call i32 @isatty(i32 noundef %191) #8
  %.not38 = icmp eq i32 %192, 0
  br i1 %.not38, label %193, label %194

193:                                              ; preds = %189, %182
  br label %194

194:                                              ; preds = %189, %193
  %.str.4.sink118 = phi ptr [ @.str.4, %193 ], [ @.str, %189 ]
  store i32 %184, ptr %183, align 4, !tbaa !5
  %195 = load ptr, ptr @stderr, align 8, !tbaa !9
  %196 = load i32, ptr @test_count, align 4, !tbaa !5
  %197 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %198 = load i32, ptr %197, align 4, !tbaa !5
  %199 = tail call ptr @s2n_strerror(i32 noundef %198, ptr noundef nonnull @.str.3) #8
  %200 = load i32, ptr %197, align 4, !tbaa !5
  %201 = tail call ptr @s2n_strerror_debug(i32 noundef %200, ptr noundef nonnull @.str.3) #8
  %202 = load i32, ptr %183, align 4, !tbaa !5
  %203 = tail call ptr @strerror(i32 noundef %202) #8
  %204 = load i32, ptr %183, align 4, !tbaa !5
  %205 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %195, ptr noundef nonnull %.str.4.sink118, i32 noundef %196, ptr noundef nonnull @.str.26, ptr noundef nonnull @.str.2, i32 noundef 947, ptr noundef %199, ptr noundef %201, ptr noundef %203, i32 noundef %204) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

206:                                              ; preds = %177
  %207 = icmp eq i32 %178, 0
  br i1 %207, label %208, label %240

208:                                              ; preds = %310, %302, %294, %286, %278, %270, %262, %254, %246, %206
  %.048.lcssa51 = phi i64 [ 0, %206 ], [ 1, %246 ], [ 2, %254 ], [ 3, %262 ], [ 4, %270 ], [ 5, %278 ], [ 6, %286 ], [ 7, %294 ], [ 8, %302 ], [ 9, %310 ]
  %.lcssa49 = phi i32 [ %179, %206 ], [ %243, %246 ], [ %251, %254 ], [ %259, %262 ], [ %267, %270 ], [ %275, %278 ], [ %283, %286 ], [ %291, %294 ], [ %299, %302 ], [ %307, %310 ]
  %209 = add nsw i32 %.lcssa49, 2
  store i32 %209, ptr @test_count, align 4, !tbaa !5
  %210 = getelementptr inbounds [10 x %struct.random_test_case], ptr @random_test_cases, i64 0, i64 %.048.lcssa51
  %211 = getelementptr inbounds i8, ptr %210, i64 8
  %212 = load ptr, ptr %211, align 8, !tbaa !15
  %213 = tail call i32 %212(ptr noundef nonnull %210) #8
  %214 = icmp eq i32 %213, 0
  br i1 %214, label %239, label %215

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

222:                                              ; preds = %215
  %223 = load ptr, ptr @stderr, align 8, !tbaa !9
  %224 = tail call i32 @fileno(ptr noundef %223) #8
  %225 = tail call i32 @isatty(i32 noundef %224) #8
  %.not39 = icmp eq i32 %225, 0
  br i1 %.not39, label %226, label %227

226:                                              ; preds = %222, %215
  br label %227

227:                                              ; preds = %222, %226
  %.str.4.sink129 = phi ptr [ @.str.4, %226 ], [ @.str, %222 ]
  store i32 %217, ptr %216, align 4, !tbaa !5
  %228 = load ptr, ptr @stderr, align 8, !tbaa !9
  %229 = load i32, ptr @test_count, align 4, !tbaa !5
  %230 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %231 = load i32, ptr %230, align 4, !tbaa !5
  %232 = tail call ptr @s2n_strerror(i32 noundef %231, ptr noundef nonnull @.str.3) #8
  %233 = load i32, ptr %230, align 4, !tbaa !5
  %234 = tail call ptr @s2n_strerror_debug(i32 noundef %233, ptr noundef nonnull @.str.3) #8
  %235 = load i32, ptr %216, align 4, !tbaa !5
  %236 = tail call ptr @strerror(i32 noundef %235) #8
  %237 = load i32, ptr %216, align 4, !tbaa !5
  %238 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %228, ptr noundef nonnull %.str.4.sink129, i32 noundef %229, ptr noundef nonnull @.str.27, ptr noundef nonnull @.str.2, i32 noundef 951, ptr noundef %232, ptr noundef %234, ptr noundef %236, i32 noundef %237) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

239:                                              ; preds = %208
  tail call void @exit(i32 noundef 0) #11
  unreachable

240:                                              ; preds = %206
  %241 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 20), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %178, i32 noundef %241)
  %242 = tail call i32 @fork() #8
  %243 = load i32, ptr @test_count, align 4, !tbaa !5
  %244 = add nsw i32 %243, 1
  store i32 %244, ptr @test_count, align 4, !tbaa !5
  %245 = icmp sgt i32 %242, -1
  br i1 %245, label %246, label %182

246:                                              ; preds = %240
  %247 = icmp eq i32 %242, 0
  br i1 %247, label %208, label %248

248:                                              ; preds = %246
  %249 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 44), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %242, i32 noundef %249)
  %250 = tail call i32 @fork() #8
  %251 = load i32, ptr @test_count, align 4, !tbaa !5
  %252 = add nsw i32 %251, 1
  store i32 %252, ptr @test_count, align 4, !tbaa !5
  %253 = icmp sgt i32 %250, -1
  br i1 %253, label %254, label %182

254:                                              ; preds = %248
  %255 = icmp eq i32 %250, 0
  br i1 %255, label %208, label %256

256:                                              ; preds = %254
  %257 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 68), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %250, i32 noundef %257)
  %258 = tail call i32 @fork() #8
  %259 = load i32, ptr @test_count, align 4, !tbaa !5
  %260 = add nsw i32 %259, 1
  store i32 %260, ptr @test_count, align 4, !tbaa !5
  %261 = icmp sgt i32 %258, -1
  br i1 %261, label %262, label %182

262:                                              ; preds = %256
  %263 = icmp eq i32 %258, 0
  br i1 %263, label %208, label %264

264:                                              ; preds = %262
  %265 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 92), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %258, i32 noundef %265)
  %266 = tail call i32 @fork() #8
  %267 = load i32, ptr @test_count, align 4, !tbaa !5
  %268 = add nsw i32 %267, 1
  store i32 %268, ptr @test_count, align 4, !tbaa !5
  %269 = icmp sgt i32 %266, -1
  br i1 %269, label %270, label %182

270:                                              ; preds = %264
  %271 = icmp eq i32 %266, 0
  br i1 %271, label %208, label %272

272:                                              ; preds = %270
  %273 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 116), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %266, i32 noundef %273)
  %274 = tail call i32 @fork() #8
  %275 = load i32, ptr @test_count, align 4, !tbaa !5
  %276 = add nsw i32 %275, 1
  store i32 %276, ptr @test_count, align 4, !tbaa !5
  %277 = icmp sgt i32 %274, -1
  br i1 %277, label %278, label %182

278:                                              ; preds = %272
  %279 = icmp eq i32 %274, 0
  br i1 %279, label %208, label %280

280:                                              ; preds = %278
  %281 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 140), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %274, i32 noundef %281)
  %282 = tail call i32 @fork() #8
  %283 = load i32, ptr @test_count, align 4, !tbaa !5
  %284 = add nsw i32 %283, 1
  store i32 %284, ptr @test_count, align 4, !tbaa !5
  %285 = icmp sgt i32 %282, -1
  br i1 %285, label %286, label %182

286:                                              ; preds = %280
  %287 = icmp eq i32 %282, 0
  br i1 %287, label %208, label %288

288:                                              ; preds = %286
  %289 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 164), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %282, i32 noundef %289)
  %290 = tail call i32 @fork() #8
  %291 = load i32, ptr @test_count, align 4, !tbaa !5
  %292 = add nsw i32 %291, 1
  store i32 %292, ptr @test_count, align 4, !tbaa !5
  %293 = icmp sgt i32 %290, -1
  br i1 %293, label %294, label %182

294:                                              ; preds = %288
  %295 = icmp eq i32 %290, 0
  br i1 %295, label %208, label %296

296:                                              ; preds = %294
  %297 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 188), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %290, i32 noundef %297)
  %298 = tail call i32 @fork() #8
  %299 = load i32, ptr @test_count, align 4, !tbaa !5
  %300 = add nsw i32 %299, 1
  store i32 %300, ptr @test_count, align 4, !tbaa !5
  %301 = icmp sgt i32 %298, -1
  br i1 %301, label %302, label %182

302:                                              ; preds = %296
  %303 = icmp eq i32 %298, 0
  br i1 %303, label %208, label %304

304:                                              ; preds = %302
  %305 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 212), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %298, i32 noundef %305)
  %306 = tail call i32 @fork() #8
  %307 = load i32, ptr @test_count, align 4, !tbaa !5
  %308 = add nsw i32 %307, 1
  store i32 %308, ptr @test_count, align 4, !tbaa !5
  %309 = icmp sgt i32 %306, -1
  br i1 %309, label %310, label %182

310:                                              ; preds = %304
  %311 = icmp eq i32 %306, 0
  br i1 %311, label %208, label %312

312:                                              ; preds = %310
  %313 = load i32, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 236), align 4, !tbaa !17
  tail call void @s2n_verify_child_exit_status(i32 noundef %306, i32 noundef %313)
  %314 = load i32, ptr @test_count, align 4, !tbaa !5
  %315 = add nsw i32 %314, 1
  store i32 %315, ptr @test_count, align 4, !tbaa !5
  %316 = load ptr, ptr getelementptr inbounds (i8, ptr @random_test_cases, i64 8), align 8, !tbaa !15
  %317 = tail call i32 %316(ptr noundef nonnull @random_test_cases) #8
  %318 = icmp eq i32 %317, 0
  br i1 %318, label %343, label %319

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

326:                                              ; preds = %319
  %327 = load ptr, ptr @stderr, align 8, !tbaa !9
  %328 = tail call i32 @fileno(ptr noundef %327) #8
  %329 = tail call i32 @isatty(i32 noundef %328) #8
  %.not33 = icmp eq i32 %329, 0
  br i1 %.not33, label %330, label %331

330:                                              ; preds = %326, %319
  br label %331

331:                                              ; preds = %326, %330
  %.str.4.sink140 = phi ptr [ @.str.4, %330 ], [ @.str, %326 ]
  store i32 %321, ptr %320, align 4, !tbaa !5
  %332 = load ptr, ptr @stderr, align 8, !tbaa !9
  %333 = load i32, ptr @test_count, align 4, !tbaa !5
  %334 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %335 = load i32, ptr %334, align 4, !tbaa !5
  %336 = tail call ptr @s2n_strerror(i32 noundef %335, ptr noundef nonnull @.str.3) #8
  %337 = load i32, ptr %334, align 4, !tbaa !5
  %338 = tail call ptr @s2n_strerror_debug(i32 noundef %337, ptr noundef nonnull @.str.3) #8
  %339 = load i32, ptr %320, align 4, !tbaa !5
  %340 = tail call ptr @strerror(i32 noundef %339) #8
  %341 = load i32, ptr %320, align 4, !tbaa !5
  %342 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %332, ptr noundef nonnull %.str.4.sink140, i32 noundef %333, ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.2, i32 noundef 967, ptr noundef %336, ptr noundef %338, ptr noundef %340, i32 noundef %341) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

343:                                              ; preds = %312
  %344 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #8
  %345 = icmp eq i32 %344, -1
  br i1 %345, label %346, label %370

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

353:                                              ; preds = %346
  %354 = load ptr, ptr @stderr, align 8, !tbaa !9
  %355 = tail call i32 @fileno(ptr noundef %354) #8
  %356 = tail call i32 @isatty(i32 noundef %355) #8
  %.not37 = icmp eq i32 %356, 0
  br i1 %.not37, label %357, label %358

357:                                              ; preds = %353, %346
  br label %358

358:                                              ; preds = %353, %357
  %.str.4.sink151 = phi ptr [ @.str.4, %357 ], [ @.str, %353 ]
  store i32 %348, ptr %347, align 4, !tbaa !5
  %359 = load ptr, ptr @stderr, align 8, !tbaa !9
  %360 = load i32, ptr @test_count, align 4, !tbaa !5
  %361 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %362 = load i32, ptr %361, align 4, !tbaa !5
  %363 = tail call ptr @s2n_strerror(i32 noundef %362, ptr noundef nonnull @.str.3) #8
  %364 = load i32, ptr %361, align 4, !tbaa !5
  %365 = tail call ptr @s2n_strerror_debug(i32 noundef %364, ptr noundef nonnull @.str.3) #8
  %366 = load i32, ptr %347, align 4, !tbaa !5
  %367 = tail call ptr @strerror(i32 noundef %366) #8
  %368 = load i32, ptr %347, align 4, !tbaa !5
  %369 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %359, ptr noundef nonnull %.str.4.sink151, i32 noundef %360, ptr noundef nonnull @.str.29, ptr noundef nonnull @.str.2, i32 noundef 969, ptr noundef %363, ptr noundef %365, ptr noundef %367, i32 noundef %368) #10
  tail call void @exit(i32 noundef 1) #11
  unreachable

370:                                              ; preds = %343
  %371 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %372 = trunc nuw i8 %371 to i1
  br i1 %372, label %373, label %384

373:                                              ; preds = %370
  %374 = load ptr, ptr @stdout, align 8, !tbaa !9
  %375 = tail call i32 @fileno(ptr noundef %374) #8
  %376 = tail call i32 @isatty(i32 noundef %375) #8
  %.not34 = icmp eq i32 %376, 0
  br i1 %.not34, label %384, label %377

377:                                              ; preds = %373
  %378 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not36 = icmp eq i32 %378, 0
  %379 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not36, label %382, label %380

380:                                              ; preds = %377
  %381 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %379, ptr noundef nonnull @.str.30, i32 noundef %378) #8
  br label %391

382:                                              ; preds = %377
  %383 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %379, ptr noundef nonnull @.str.31) #8
  br label %391

384:                                              ; preds = %373, %370
  %385 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not35 = icmp eq i32 %385, 0
  %386 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not35, label %389, label %387

387:                                              ; preds = %384
  %388 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %386, ptr noundef nonnull @.str.32, i32 noundef %385) #8
  br label %391

389:                                              ; preds = %384
  %390 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %386, ptr noundef nonnull @.str.33) #8
  br label %391

391:                                              ; preds = %387, %389, %380, %382
  ret i32 0
}

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

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

declare i32 @s2n_enable_atexit() local_unnamed_addr #1

declare zeroext i1 @s2n_libcrypto_is_awslc() local_unnamed_addr #1

declare zeroext i1 @s2n_libcrypto_is_openssl_fips() local_unnamed_addr #1

declare zeroext i1 @s2n_supports_custom_rand() local_unnamed_addr #1

declare zeroext i1 @s2n_libcrypto_is_openssl() local_unnamed_addr #1

declare zeroext i1 @s2n_is_in_fips_mode() local_unnamed_addr #1

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

; Function Attrs: nofree nounwind
declare i32 @fork() local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare hidden void @s2n_verify_child_exit_status(i32 noundef, i32 noundef) local_unnamed_addr #6

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

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

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


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