sema: enable 97 more corpus tests

Enable large batch of std lib tests that pass with existing C sema
capabilities: dwarf, math, uefi, crypto, Target, Random, compress,
os/linux, os/windows, fmt, hash, Io, and more.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This commit is contained in:
2026-02-20 18:58:37 +00:00
parent 5d51f35704
commit 3dbcae1f0c

View File

@@ -389,16 +389,16 @@ const corpus_files = .{
"../lib/std/os/freebsd.zig", // 2097
//"../lib/compiler/aro/backend/Ir/x86/Renderer.zig", // 2110
"../lib/std/os/plan9/x86_64.zig", // 2126
//"../lib/std/Build/Cache/Directory.zig", // 2142
//"../lib/std/os/windows/advapi32.zig", // 2144
//"../lib/std/os/windows/tls.zig", // 2159
"../lib/std/Build/Cache/Directory.zig", // 2142
"../lib/std/os/windows/advapi32.zig", // 2144
"../lib/std/os/windows/tls.zig", // 2159
//"../lib/compiler_rt/addodi4_test.zig", // 2183
//"../lib/compiler_rt/ucmpdi2_test.zig", // 2186
//"../src/print_env.zig", // 2196
//"../src/link/table_section.zig", // 2197
//"../lib/compiler_rt/addosi4_test.zig", // 2203
//"../lib/std/unicode/throughput_test.zig", // 2206
//"../lib/std/Target/msp430.zig", // 2227
"../lib/std/Target/msp430.zig", // 2227
//"../lib/compiler_rt/rem_pio2f.zig", // 2247
//"../lib/compiler_rt/cmpxf2.zig", // 2248
//"../lib/compiler_rt/divtf3_test.zig", // 2251
@@ -406,26 +406,26 @@ const corpus_files = .{
//"../lib/std/debug/Info.zig", // 2274
//"../lib/compiler_rt/mulc3.zig", // 2275
//"../lib/compiler_rt/divc3.zig", // 2280
//"../lib/std/os/uefi/tables/system_table.zig", // 2295
//"../lib/std/crypto/modes.zig", // 2303
"../lib/std/os/uefi/tables/system_table.zig", // 2295
"../lib/std/crypto/modes.zig", // 2303
//"../lib/compiler_rt/addoti4_test.zig", // 2309
//"../lib/compiler/aro/aro/Driver/Multilib.zig", // 2333
//"../lib/std/debug/no_panic.zig", // 2349
//"../lib/compiler_rt/divc3_test.zig", // 2360
//"../lib/std/os/uefi/protocol.zig", // 2368
//"../lib/std/os/uefi/protocol/absolute_pointer.zig", // 2398
//"../lib/std/Target/bpf.zig", // 2425
"../lib/std/os/uefi/protocol.zig", // 2368
"../lib/std/os/uefi/protocol/absolute_pointer.zig", // 2398
"../lib/std/Target/bpf.zig", // 2425
//"../lib/compiler_rt/subodi4_test.zig", // 2437
//"../lib/std/zig/system/darwin.zig", // 2441
//"../lib/std/crypto/codecs/asn1/test.zig", // 2452
//"../lib/compiler_rt/subosi4_test.zig", // 2457
//"../src/link/MachO/hasher.zig", // 2466
//"../lib/std/os/uefi/protocol/edid.zig", // 2479
//"../lib/std/valgrind/callgrind.zig", // 2493
//"../lib/std/BitStack.zig", // 2525
"../lib/std/os/uefi/protocol/edid.zig", // 2479
"../lib/std/valgrind/callgrind.zig", // 2493
"../lib/std/BitStack.zig", // 2525
//"../lib/std/math/complex/atan.zig", // 2527
//"../lib/std/math/log.zig", // 2531
//"../lib/std/Thread/Mutex/Recursive.zig", // 2533
"../lib/std/math/log.zig", // 2531
"../lib/std/Thread/Mutex/Recursive.zig", // 2533
//"../lib/compiler/aro/aro/StringInterner.zig", // 2546
//"../lib/compiler_rt/aulldiv.zig", // 2563
//"../lib/compiler_rt/suboti4_test.zig", // 2563
@@ -433,20 +433,20 @@ const corpus_files = .{
//"../src/arch/sparc64/abi.zig", // 2631
//"../lib/compiler_rt/mulo.zig", // 2643
//"../src/codegen/mips/abi.zig", // 2649
//"../lib/std/Thread/Semaphore.zig", // 2650
//"../lib/std/debug/FixedBufferReader.zig", // 2664
"../lib/std/Thread/Semaphore.zig", // 2650
"../lib/std/debug/FixedBufferReader.zig", // 2664
//"../lib/std/fs/get_app_data_dir.zig", // 2665
//"../lib/std/Random/ChaCha.zig", // 2685
"../lib/std/Random/ChaCha.zig", // 2685
//"../lib/std/Build/Step/Fmt.zig", // 2711
//"../lib/std/math/complex/ldexp.zig", // 2726
//"../lib/std/Random/Pcg.zig", // 2727
//"../lib/std/crypto/hash_composition.zig", // 2756
//"../lib/std/math/acosh.zig", // 2756
"../lib/std/math/acosh.zig", // 2756
//"../lib/compiler_rt/bitreverse.zig", // 2762
//"../lib/std/os/uefi/tables/configuration_table.zig", // 2796
//"../lib/std/hash/Adler32.zig", // 2797
"../lib/std/os/uefi/tables/configuration_table.zig", // 2796
"../lib/std/hash/Adler32.zig", // 2797
//"../lib/compiler_rt/ucmpti2_test.zig", // 2821
//"../lib/std/math/sqrt.zig", // 2837
"../lib/std/math/sqrt.zig", // 2837
//"../lib/compiler_rt/divxf3_test.zig", // 2844
//"../lib/std/fs/AtomicFile.zig", // 2845
//"../lib/compiler_rt/trunctfxf2.zig", // 2852
@@ -455,86 +455,86 @@ const corpus_files = .{
//"../lib/compiler_rt/comparesf2_test.zig", // 2885
//"../lib/std/Build/Step/CheckFile.zig", // 2901
//"../src/RangeSet.zig", // 2942
//"../lib/std/fmt/parse_float/convert_hex.zig", // 2950
"../lib/std/fmt/parse_float/convert_hex.zig", // 2950
//"../lib/compiler_rt/os_version_check.zig", // 2988
//"../lib/compiler_rt/comparedf2_test.zig", // 2991
//"../lib/std/compress/lzma.zig", // 3010
//"../src/link/Goff.zig", // 3063
//"../lib/compiler_rt/mulXi3.zig", // 3064
//"../lib/std/fmt/parse_float/FloatStream.zig", // 3073
"../lib/std/fmt/parse_float/FloatStream.zig", // 3073
//"../src/link/Xcoff.zig", // 3078
//"../lib/std/fmt/parse_float/common.zig", // 3081
//"../lib/std/c/serenity.zig", // 3099
//"../lib/std/http/HeaderIterator.zig", // 3108
"../lib/std/fmt/parse_float/common.zig", // 3081
"../lib/std/c/serenity.zig", // 3099
"../lib/std/http/HeaderIterator.zig", // 3108
//"../src/codegen/wasm/abi.zig", // 3121
//"../lib/std/compress/lzma/test.zig", // 3123
//"../lib/std/Io/Reader/Limited.zig", // 3139
//"../lib/std/Random/Sfc64.zig", // 3158
"../lib/std/Io/Reader/Limited.zig", // 3139
"../lib/std/Random/Sfc64.zig", // 3158
//"../lib/compiler_rt/cmpdf2.zig", // 3161
//"../lib/compiler_rt/cmpsf2.zig", // 3161
//"../lib/std/Random/Xoshiro256.zig", // 3177
"../lib/std/Random/Xoshiro256.zig", // 3177
//"../lib/compiler/aro/aro/features.zig", // 3198
//"../lib/std/crypto/codecs/asn1/der/ArrayListReverse.zig", // 3221
//"../lib/std/debug/simple_panic.zig", // 3221
//"../lib/std/json/test.zig", // 3223
//"../lib/std/Random/Xoroshiro128.zig", // 3242
"../lib/std/Random/Xoroshiro128.zig", // 3242
//"../lib/compiler_rt/bswap.zig", // 3260
//"../lib/std/json/hashmap.zig", // 3272
//"../src/arch/riscv64/mnem.zig", // 3375
//"../lib/std/math/atanh.zig", // 3399
"../lib/std/math/atanh.zig", // 3399
//"../lib/std/compress/xz/test.zig", // 3461
//"../lib/std/hash/crc/impl.zig", // 3506
//"../lib/std/compress/flate/Lookup.zig", // 3588
"../lib/std/hash/crc/impl.zig", // 3506
"../lib/std/compress/flate/Lookup.zig", // 3588
//"../lib/compiler/aro/aro/Pragma.zig", // 3611
//"../lib/std/crypto/hmac.zig", // 3626
"../lib/std/crypto/hmac.zig", // 3626
//"../lib/compiler/aro/aro/Builtins/Properties.zig", // 3657
//"../lib/std/Io/DeprecatedWriter.zig", // 3660
"../lib/std/Io/DeprecatedWriter.zig", // 3660
//"../lib/compiler/aro/aro/Builtins/eval.zig", // 3669
//"../lib/std/os/windows/lang.zig", // 3697
//"../lib/std/Random/RomuTrio.zig", // 3699
//"../lib/std/crypto/hkdf.zig", // 3703
"../lib/std/os/windows/lang.zig", // 3697
"../lib/std/Random/RomuTrio.zig", // 3699
"../lib/std/crypto/hkdf.zig", // 3703
//"../lib/std/os/linux/vdso.zig", // 3762
//"../lib/std/compress/lzma/vec2d.zig", // 3774
//"../lib/std/http/ChunkParser.zig", // 3791
"../lib/std/compress/lzma/vec2d.zig", // 3774
"../lib/std/http/ChunkParser.zig", // 3791
//"../lib/compiler/resinator/utils.zig", // 3827
//"../lib/std/math/complex/tanh.zig", // 3847
"../lib/std/math/complex/tanh.zig", // 3847
//"../src/clang_options.zig", // 3858
//"../lib/std/c/dragonfly.zig", // 3875
"../lib/std/c/dragonfly.zig", // 3875
//"../lib/std/crypto/Certificate/Bundle/macos.zig", // 3892
//"../src/link/MachO/Thunk.zig", // 3897
//"../lib/std/os/uefi/pool_allocator.zig", // 3906
//"../lib/std/os/uefi/protocol/rng.zig", // 3924
//"../lib/std/dwarf/TAG.zig", // 3939
"../lib/std/os/uefi/pool_allocator.zig", // 3906
"../lib/std/os/uefi/protocol/rng.zig", // 3924
"../lib/std/dwarf/TAG.zig", // 3939
//"../src/print_zoir.zig", // 3961
//"../src/link/riscv.zig", // 4045
//"../lib/compiler_rt/int_from_float.zig", // 4079
//"../lib/std/os/linux/bpf/btf.zig", // 4082
"../lib/std/os/linux/bpf/btf.zig", // 4082
//"../lib/compiler_rt/float_from_int.zig", // 4111
//"../lib/std/hash.zig", // 4120
"../lib/std/hash.zig", // 4120
//"../lib/compiler_rt/mulosi4_test.zig", // 4141
//"../lib/std/math/cosh.zig", // 4157
//"../lib/std/os/uefi/protocol/hii_database.zig", // 4199
//"../lib/std/math/log_int.zig", // 4219
"../lib/std/math/cosh.zig", // 4157
"../lib/std/os/uefi/protocol/hii_database.zig", // 4199
"../lib/std/math/log_int.zig", // 4219
//"../lib/std/Build/Step/UpdateSourceFiles.zig", // 4247
//"../lib/compiler/aro/aro/Source.zig", // 4248
//"../lib/std/math/complex/sqrt.zig", // 4249
//"../lib/std/buf_map.zig", // 4266
"../lib/std/math/complex/sqrt.zig", // 4249
"../lib/std/buf_map.zig", // 4266
//"../lib/compiler/aro/aro/InitList.zig", // 4275
//"../lib/compiler/aro/aro/Driver/GCCVersion.zig", // 4285
//"../lib/compiler_rt/udivmod.zig", // 4285
//"../lib/std/math/sinh.zig", // 4294
//"../lib/std/os/uefi/protocol/graphics_output.zig", // 4296
//"../lib/std/math/asinh.zig", // 4299
//"../lib/std/os/linux/thumb.zig", // 4390
"../lib/std/math/sinh.zig", // 4294
"../lib/std/os/uefi/protocol/graphics_output.zig", // 4296
"../lib/std/math/asinh.zig", // 4299
"../lib/std/os/linux/thumb.zig", // 4390
//"../lib/std/Build/Step/InstallDir.zig", // 4431
//"../lib/std/math/modf.zig", // 4458
"../lib/std/math/modf.zig", // 4458
//"../lib/c/string.zig", // 4479
//"../src/link/Elf/Thunk.zig", // 4479
//"../lib/compiler_rt/trunc.zig", // 4509
//"../lib/compiler_rt/ssp.zig", // 4524
//"../lib/std/buf_set.zig", // 4526
//"../lib/std/Random/ziggurat.zig", // 4526
//"../lib/std/math/tanh.zig", // 4581
"../lib/std/buf_set.zig", // 4526
"../lib/std/Random/ziggurat.zig", // 4526
"../lib/std/math/tanh.zig", // 4581
//"../lib/compiler_rt/comparef.zig", // 4582
//"../lib/compiler/aro/aro/annex_g.zig", // 4585
//"../lib/std/fmt/parse_float/convert_slow.zig", // 4586
@@ -542,88 +542,88 @@ const corpus_files = .{
//"../lib/compiler/resinator/disjoint_code_page.zig", // 4693
//"../lib/std/compress/lzma2/decode.zig", // 4704
//"../lib/compiler_rt/cmptf2.zig", // 4739
//"../lib/std/math/hypot.zig", // 4748
"../lib/std/math/hypot.zig", // 4748
//"../lib/std/debug/MemoryAccessor.zig", // 4783
//"../lib/std/Io/test.zig", // 4812
//"../lib/std/math/cbrt.zig", // 4812
"../lib/std/math/cbrt.zig", // 4812
//"../lib/compiler_rt/cmpsi2_test.zig", // 4815
//"../lib/compiler_rt/shift.zig", // 4845
//"../lib/std/os/uefi/protocol/device_path.zig", // 4860
"../lib/std/os/uefi/protocol/device_path.zig", // 4860
//"../lib/compiler/libc.zig", // 4869
//"../lib/std/os/uefi/protocol/serial_io.zig", // 4876
//"../lib/std/dwarf.zig", // 4894
//"../lib/std/math/complex/exp.zig", // 4899
//"../lib/std/gpu.zig", // 4919
//"../lib/std/compress/lzma/decode/rangecoder.zig", // 4994
//"../lib/std/os/uefi/protocol/simple_text_input_ex.zig", // 5002
//"../lib/std/Target/spirv.zig", // 5037
"../lib/std/os/uefi/protocol/serial_io.zig", // 4876
"../lib/std/dwarf.zig", // 4894
"../lib/std/math/complex/exp.zig", // 4899
"../lib/std/gpu.zig", // 4919
"../lib/std/compress/lzma/decode/rangecoder.zig", // 4994
"../lib/std/os/uefi/protocol/simple_text_input_ex.zig", // 5002
"../lib/std/Target/spirv.zig", // 5037
//"../lib/compiler/resinator/preprocess.zig", // 5102
//"../lib/compiler_rt/ceil.zig", // 5139
//"../lib/compiler/aro/aro/Tree/number_affixes.zig", // 5167
//"../lib/std/json/hashmap_test.zig", // 5171
//"../lib/std/os/uefi/protocol/block_io.zig", // 5171
"../lib/std/os/uefi/protocol/block_io.zig", // 5171
//"../src/print_targets.zig", // 5189
//"../lib/std/SinglyLinkedList.zig", // 5252
"../lib/std/SinglyLinkedList.zig", // 5252
//"../lib/docs/wasm/markdown/Document.zig", // 5303
//"../lib/compiler_rt/round.zig", // 5307
//"../lib/std/compress/xz.zig", // 5317
//"../lib/std/math/asin.zig", // 5337
"../lib/std/math/asin.zig", // 5337
//"../lib/compiler_rt/udivmodei4.zig", // 5345
//"../lib/std/math/complex/sinh.zig", // 5363
//"../lib/std/os/uefi/protocol/ip6_config.zig", // 5373
//"../lib/std/math/acos.zig", // 5378
//"../lib/std/fmt/parse_float/convert_fast.zig", // 5401
"../lib/std/math/complex/sinh.zig", // 5363
"../lib/std/os/uefi/protocol/ip6_config.zig", // 5373
"../lib/std/math/acos.zig", // 5378
"../lib/std/fmt/parse_float/convert_fast.zig", // 5401
//"../lib/compiler_rt/mulodi4_test.zig", // 5448
//"../lib/std/json.zig", // 5465
//"../lib/std/math/ilogb.zig", // 5519
"../lib/std/math/ilogb.zig", // 5519
//"../src/link/Elf/relocation.zig", // 5540
//"../lib/std/math/log10.zig", // 5553
"../lib/std/math/log10.zig", // 5553
//"../lib/compiler/aro/aro/pragmas/pack.zig", // 5573
//"../lib/std/crypto/pcurves/tests/p256.zig", // 5656
//"../src/link/MachO/Relocation.zig", // 5676
//"../lib/compiler_rt/cos.zig", // 5691
//"../lib/std/Io/tty.zig", // 5692
//"../lib/std/dwarf/OP.zig", // 5693
//"../lib/std/testing/FailingAllocator.zig", // 5694
"../lib/std/dwarf/OP.zig", // 5693
"../lib/std/testing/FailingAllocator.zig", // 5694
//"../src/codegen/arm/abi.zig", // 5805
//"../lib/std/crypto/codecs/asn1/der/Decoder.zig", // 5806
//"../lib/compiler_rt/cmpdi2_test.zig", // 5813
//"../lib/std/math/complex/cosh.zig", // 5818
"../lib/std/math/complex/cosh.zig", // 5818
//"../lib/std/crypto/codecs/asn1/der/Encoder.zig", // 5861
//"../lib/std/crypto/tlcsprng.zig", // 5929
//"../lib/std/compress/lzma/decode/lzbuffer.zig", // 5945
"../lib/std/compress/lzma/decode/lzbuffer.zig", // 5945
//"../lib/compiler_rt/mulXi3_test.zig", // 5997
//"../lib/compiler_rt/extendf.zig", // 6009
//"../lib/std/meta/trailer_flags.zig", // 6027
"../lib/std/meta/trailer_flags.zig", // 6027
//"../lib/std/crypto/pcurves/tests/secp256k1.zig", // 6029
//"../lib/std/fmt/parse_float/FloatInfo.zig", // 6036
//"../lib/std/Io/fixed_buffer_stream.zig", // 6043
"../lib/std/fmt/parse_float/FloatInfo.zig", // 6036
"../lib/std/Io/fixed_buffer_stream.zig", // 6043
//"../lib/compiler_rt/rem_pio2.zig", // 6045
//"../lib/std/os/linux/hexagon.zig", // 6097
//"../lib/std/Random/Isaac64.zig", // 6100
"../lib/std/os/linux/hexagon.zig", // 6097
"../lib/std/Random/Isaac64.zig", // 6100
//"../src/link/Wasm/Archive.zig", // 6115
//"../lib/compiler_rt/tan.zig", // 6175
//"../src/deprecated.zig", // 6187
//"../lib/std/crypto/cmac.zig", // 6226
"../lib/std/crypto/cmac.zig", // 6226
//"../src/arch/riscv64/Mir.zig", // 6227
//"../lib/std/Random/benchmark.zig", // 6230
//"../lib/compiler_rt/floor.zig", // 6290
//"../lib/std/crypto/isap.zig", // 6309
"../lib/std/crypto/isap.zig", // 6309
//"../src/link/tapi.zig", // 6316
//"../lib/std/compress/flate.zig", // 6341
//"../lib/compiler_rt/addf3.zig", // 6348
//"../lib/compiler_rt/memcpy.zig", // 6452
//"../lib/compiler/aro/aro/Hideset.zig", // 6508
//"../lib/std/Target/wasm.zig", // 6517
"../lib/std/Target/wasm.zig", // 6517
//"../lib/compiler/aro/aro/LangOpts.zig", // 6529
//"../lib/std/os/linux/riscv32.zig", // 6540
//"../lib/std/os/linux/riscv64.zig", // 6541
//"../lib/std/math/complex.zig", // 6563
"../lib/std/os/linux/riscv32.zig", // 6540
"../lib/std/os/linux/riscv64.zig", // 6541
"../lib/std/math/complex.zig", // 6563
//"../lib/std/compress/zstd.zig", // 6605
//"../lib/compiler_rt/fixint_test.zig", // 6606
//"../lib/std/c/netbsd.zig", // 6617
//"../lib/std/os/linux/m68k.zig", // 6634
//"../lib/std/crypto/pcurves/p384/scalar.zig", // 6669
"../lib/std/c/netbsd.zig", // 6617
"../lib/std/os/linux/m68k.zig", // 6634
"../lib/std/crypto/pcurves/p384/scalar.zig", // 6669
//"../lib/compiler_rt/mulf3_test.zig", // 6670
//"../lib/std/crypto/pcurves/tests/p384.zig", // 6707
//"../lib/std/os/linux/aarch64.zig", // 6720