OSARM — GMP 6.3.0 — mini-gmp x86_64 targeted validation
DATE_UTC=2026-09-05T19:03:51Z
ARCH=x86_64
KERNEL=Linux 6.18.35
GCC=gcc (Debian 14.2.0-19) 14.2.0
CLANG=clang version 17.0.0 (https://github.com/swiftlang/llvm-project.git 10999b6d034fe318f3d56c83bddb6572593a8bb0)
FINDING_COMMIT=22d004b059574779da2d321918d2767a6a6f5c36

=== INPUT SHA256 ===
378a9731eb6fd69b93fa074172f79be4089c813365613e414f4da4923dcbda52  <EVIDENCE>/mini-gmp.c
54ec9383fdf6103a0e22bde2663ca8eb420338015839b663e0eccee103afae99  <EVIDENCE>/mini-gmp.h
a6e3d73f5c3708621b484d4ce8a8609d8aa0af3f90ecc87ca3466cc1f17bc631  <EVIDENCE>/0001-mini-gmp-check-mpz-allocation-range.patch

=== PATCH APPLY ===
patching file mini-gmp/mini-gmp.c
PATCH_APPLY_RC=0

=== MATRIX ===
orig_gcc_build=PASS
--- orig/gcc/init2/max ---
MODE=init2
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- orig/gcc/init2/over ---
MODE=init2
BOUNDARY=OVER
REQUESTED_LIMBS=2147483648
ALLOC_BYTES=17179869184
STORED__mp_alloc=-2147483648
METADATA_MATCH=NO
FREE_BYTES=18446744056529682432
--- orig/gcc/realloc2/max ---
MODE=realloc2
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- orig/gcc/realloc2/over ---
MODE=realloc2
BOUNDARY=OVER
REQUESTED_LIMBS=2147483648
ALLOC_BYTES=17179869184
STORED__mp_alloc=-2147483648
METADATA_MATCH=NO
FREE_BYTES=18446744056529682432
--- orig/gcc/modify/max ---
MODE=modify
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- orig/gcc/modify/over ---
MODE=modify
BOUNDARY=OVER
REQUESTED_LIMBS=2147483648
ALLOC_BYTES=17179869184
STORED__mp_alloc=-2147483648
METADATA_MATCH=NO
FREE_BYTES=18446744056529682432
patched_gcc_build=PASS
--- patched/gcc/init2/max ---
MODE=init2
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- patched/gcc/init2/over ---
gmp: overflow in mpz type
--- patched/gcc/realloc2/max ---
MODE=realloc2
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- patched/gcc/realloc2/over ---
gmp: overflow in mpz type
--- patched/gcc/modify/max ---
MODE=modify
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- patched/gcc/modify/over ---
gmp: overflow in mpz type
orig_clang_build=PASS
--- orig/clang/init2/max ---
MODE=init2
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- orig/clang/init2/over ---
MODE=init2
BOUNDARY=OVER
REQUESTED_LIMBS=2147483648
ALLOC_BYTES=17179869184
STORED__mp_alloc=-2147483648
METADATA_MATCH=NO
FREE_BYTES=18446744056529682432
--- orig/clang/realloc2/max ---
MODE=realloc2
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- orig/clang/realloc2/over ---
MODE=realloc2
BOUNDARY=OVER
REQUESTED_LIMBS=2147483648
ALLOC_BYTES=17179869184
STORED__mp_alloc=-2147483648
METADATA_MATCH=NO
FREE_BYTES=18446744056529682432
--- orig/clang/modify/max ---
MODE=modify
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- orig/clang/modify/over ---
MODE=modify
BOUNDARY=OVER
REQUESTED_LIMBS=2147483648
ALLOC_BYTES=17179869184
STORED__mp_alloc=-2147483648
METADATA_MATCH=NO
FREE_BYTES=18446744056529682432
patched_clang_build=PASS
--- patched/clang/init2/max ---
MODE=init2
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- patched/clang/init2/over ---
gmp: overflow in mpz type
--- patched/clang/realloc2/max ---
MODE=realloc2
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- patched/clang/realloc2/over ---
gmp: overflow in mpz type
--- patched/clang/modify/max ---
MODE=modify
BOUNDARY=MAX
REQUESTED_LIMBS=2147483647
ALLOC_BYTES=17179869176
STORED__mp_alloc=2147483647
METADATA_MATCH=YES
FREE_BYTES=17179869176
--- patched/clang/modify/over ---
gmp: overflow in mpz type

=== CLASSIFICATION ===
ORIGINAL_GCC_INTMAX=PASS
ORIGINAL_GCC_INTMAX_PLUS_1=REPRODUCES_METADATA_TRUNCATION
ORIGINAL_CLANG_INTMAX=PASS
ORIGINAL_CLANG_INTMAX_PLUS_1=REPRODUCES_METADATA_TRUNCATION
PATCHED_GCC_INTMAX=PASS
PATCHED_GCC_INTMAX_PLUS_1=REJECTED_BEFORE_METADATA_WRITE
PATCHED_CLANG_INTMAX=PASS
PATCHED_CLANG_INTMAX_PLUS_1=REJECTED_BEFORE_METADATA_WRITE
TARGETED_X86_64_VALIDATION=PASS
UPSTREAM_MINI_GMP_FULL_SUITE_X86_64=NOT_RUN_INPUT_PACKAGE_DOES_NOT_CONTAIN_TESTSUITE
PUBLICATION_STATUS=NOT_PUBLISHED
