Skip to content

verify-baseline-static: allowlist the UCRT _powf_special switch table on Windows x64 #45886

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
robobun wants to merge 2 commits into
base: main
Choose a base branch
from
Open

verify-baseline-static: allowlist the UCRT _powf_special switch table on Windows x64 #45886

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
410215e
verify-baseline-static: allowlist the UCRT `_powf_special` switch tab…
robobun Oct 18, 2026
c299f4a
verify-baseline-static: note the PDB records that mark the CRT switch…
robobun Oct 18, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 13 additions & 2 deletions scripts/verify-baseline-static/allowlist-x64-windows.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -969,7 +969,7 @@ wcsnlen [AVX, AVX2]


# ----------------------------------------------------------------------------
# MSVC CRT strspn family. Data-in-.text false positive, NOT a gate.
# MSVC CRT inline switch tables. Data-in-.text false positive, NOT a gate.
#
# ucrt/string/amd64/strspn.c (compiled 3x for strspn/strcspn/strpbrk) is
# SSE2-only; its `switch (shift)` over _mm_srli_si128/_mm_slli_si128 lowers
Expand All @@ -981,8 +981,19 @@ wcsnlen [AVX, AVX2]
# decode as stray VEX/EVEX/XOP. Blanket-pass: the source has no post-SSE2
# path to grow past, so a ceiling here just means the next layout that
# decodes as FMA/BMI2/AVX512* re-flakes.
# (3 symbols)
#
# _powf_special (libucrt pow_special.obj) is powf's special-case handler (a
# NaN operand, a zero or infinite result). Its code is SSE2-only too, and
# one such table, the 9 RVAs of its `switch`, follows its `ret`. Each table
# lies inside its function's symbol range, so the decoder's restart at
# symbol starts does not skip it.
#
# The PDB marks the first byte of each of these tables with an unnamed
# S_LDATA32 record inside the function's S_GPROC32. The scan does not read
# those records, so the four functions need this group.
# (4 symbols)
# ----------------------------------------------------------------------------
_powf_special
strcspn
strpbrk
strspn
Expand Down
Loading