Re: smtgcc end-of-year update

On Thu, 2 Jan 2025, Andi Kleen wrote: Krister Walfridsson via Gcc writes: But running smtgcc on the test suite is not the best use case for the tool -- it only detects bugs where the test triggers an unrelated bug compared to what the test is checking, which should be uncommon. I therefore pla

Re: Errors compiling BPF programs from Linux selftests/bpf with GCC

On Fri, Jan 3, 2025 at 3:48 PM Ihor Solodrai wrote: > > Hi everyone. > > I built and ran selftests/bpf with GCC 15-20241229, and would like to > share my findings. > > Building required small adjustments in the Makefile, besides -std=gnu17 > > With the following change we can mitigate int64_t issu

Re: Errors compiling BPF programs from Linux selftests/bpf with GCC

Hi everyone. I built and ran selftests/bpf with GCC 15-20241229, and would like to share my findings. Building required small adjustments in the Makefile, besides -std=gnu17 With the following change we can mitigate int64_t issue: +progs/test_cls_redirect.c-CFLAGS := -nostdinc +progs/test_cls_r

gcc-13-20250103 is now available

Snapshot gcc-13-20250103 is now available on https://gcc.gnu.org/pub/gcc/snapshots/13-20250103/ and on various mirrors, see https://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 13 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

Re: Errors compiling BPF programs from Linux selftests/bpf with GCC

> On Fri, 2025-01-03 at 01:16 +0100, Jose E. Marchesi wrote: > > [...] > >> Yes, in the GCC BPF backend we are using >> >>   use_gcc_stdint=provide >> >> which makes GCC to provide the version of stdint.h that assumes >> freestanding ("baremetal") mode. If we changed it to use >> >>   use_gcc

Re: Errors compiling BPF programs from Linux selftests/bpf with GCC

> [...] >>> We could switch to "wrap" to align with clang, but in that case it would >>> be up to the user to provide a "host" stdint.h that contains sensible >>> definitions for BPF. The kernel selftests, for example, would need to >>> do so to avoid including /usr/include/stdint.h that more li

Re: Errors compiling BPF programs from Linux selftests/bpf with GCC

> On Thu, 2025-01-02 at 19:24 +0100, Jose E. Marchesi wrote: > > [...] > >> IMO the BPP selftest (and BPF programs in general) must not include host >> glibc headers at all, regardless of what BPF compiler is used. The >> glibc headers installed in the host are tailored to some particular >> arc