devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity

ci: fix Valgrind startup failure on Arch via DEBUGINFOD_URLS
All checks were successful
CI Code / Check spelling (pull_request) Successful in 22s
Details
CI Code / Check coding style (pull_request) Successful in 33s
Details
CI Code / Linux (debian) (pull_request) Successful in 6m54s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 7m4s
Details
CI Code / Code Coverage (pull_request) Successful in 6m49s
Details
CI Code / Linux (arch) (pull_request) Successful in 8m46s
Details

Browse Source 
Arch Linux ships a stripped ld-linux-x86-64.so.2, so Valgrind cannot
find the memcmp/memcpy/strlen symbols it must redirect and exits at
startup with "Fatal error at startup: a function redirection which is
mandatory for this platform-tool combination cannot be set up".

debuginfod is already installed in the image but was never wired up.
Set DEBUGINFOD_URLS to the official Arch debuginfod server so Valgrind
fetches the missing glibc debug symbols on demand and caches them.
This commit is contained in:
jabber.developer2
2026-04-24 15:41:44 +03:00
parent 4401e817d0
commit c815c39cdd
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
ci/Dockerfile.arch
View File

@@ -2,6 +2,9 @@ FROM archlinux:latest
ENV TERM=xterm
ENV CC="ccache gcc"
# Arch ships a stripped ld-linux; Valgrind needs glibc debug symbols to
# redirect memcmp/memcpy/strlen. debuginfod fetches them on demand.
ENV DEBUGINFOD_URLS=https://debuginfod.archlinux.org
RUN pacman -Syyu --noconfirm