]> git.ipfire.org Git - thirdparty/valgrind.git/log
thirdparty/valgrind.git
5 weeks agoCheck whether file descriptor is inherited before printing where_opened users/mark/try-doubleclose0
Mark Wielaard [Sun, 18 May 2025 13:31:36 +0000 (15:31 +0200)] 
Check whether file descriptor is inherited before printing where_opened

Inherited file descriptors don't have an ExeContext where they were
opened (by the program). So don't try to print the NULL where_opened
when reporting double close errors for such file descriptors.

Add a testcase none/tests/fdleak_doubleclose0 that crashes valgrind
before this fix.

https://bugs.kde.org/show_bug.cgi?id=504466

5 weeks agoPR503969: make ltpchecks: flatten the log structure
Martin Cermak [Fri, 16 May 2025 20:12:39 +0000 (22:12 +0200)] 
PR503969: make ltpchecks: flatten the log structure

Flatten the directory structure of make ltpchecks logs per PR503969#c9.
Individual syscall tests are numbered, so that no testcase naming
conflicts should show up.  Demo upload:

https://builder.sourceware.org/testrun/5b8f868b3e3c84801814dcd4ea963690f94fd2d1

5 weeks agos390x: disasm-test: add forgotten opcodes SRNMT, LDE, and LDER
Florian Krohm [Fri, 16 May 2025 20:39:42 +0000 (20:39 +0000)] 
s390x: disasm-test: add forgotten opcodes SRNMT, LDE, and LDER

5 weeks agoFreeBSD regtest: updates for FreeBSD 15.0-CURRENT
Paul Floyd [Fri, 16 May 2025 19:32:02 +0000 (21:32 +0200)] 
FreeBSD regtest: updates for FreeBSD 15.0-CURRENT

Mostly minor expected/filter changes.

Helgrind did detect a race condition in a Valgrind file static
variable. Teh DRD dlopen test needs to be linked with the thread library.

In a VirtualBox environment I'm getting 4 hanging testcases
(3 in gdbserver_tests and none/freebsd/bug452274).

5 weeks agoPR503969: Make test results of make ltpchecks compatible with bunsen
Martin Cermak [Fri, 16 May 2025 09:46:06 +0000 (11:46 +0200)] 
PR503969: Make test results of make ltpchecks compatible with bunsen

Synthesize automake-like testcase log format for bunsen compatibility.

Each testcase now produces a triplet of <testcase>.{log,trs}, and a
test-suite.log file.  This way test results can be uploaded to bunsen
using the t-upload-git-push command.

The <testcase>.log file contains the actual testcase log. The .trs
file contains automake-encoded test result.  The test-suite.log
file contains testcase timing information.

The log directory tree respect the one of the LTP testcases to avoid
naming collisions.

Here is how the test result was uploaded to Bunsen:

> TESTING FINISHED, logs in /home/mcermak/WORK/valgrind/valgrind/auxprogs/auxchecks/ltp-full-20250130/ltp
> make[1]: Leaving directory '/home/mcermak/WORK/valgrind/valgrind/auxprogs'
>
> real 8m27.467s
> user 44m46.416s
> sys 6m46.405s
> 41$ cd /home/mcermak/WORK/valgrind/valgrind/auxprogs/auxchecks/ltp-full-20250130/ltp
> 41$ t-upload-git-push ssh://builder.sourceware.org/git/bunsendb.git mcermak/PR503969-$(date +%s) \
>  $(find . -type f -name '*.log' -o -name  '*.trs' -o -name 'test-suite.log')
3036eba2de1cc44a1942f9681720ea234da9029e refs/tags/mcermak/PR503969-1747389329
> 41$

Here's the resulting bunsen upload:
https://builder.sourceware.org/testrun/3036eba2de1cc44a1942f9681720ea234da9029e

5 weeks agoFreeBSD regtest: update 32bit scalar
Paul Floyd [Fri, 16 May 2025 06:04:06 +0000 (08:04 +0200)] 
FreeBSD regtest: update 32bit scalar

5 weeks agoBug 504265 - FreeBSD: missing syscall wrappers for fchroot and setcred
Paul Floyd [Fri, 16 May 2025 05:58:02 +0000 (07:58 +0200)] 
Bug 504265 - FreeBSD: missing syscall wrappers for fchroot and setcred

5 weeks agoCompile code that gets linked with libc by adding -fhosted.
Florian Krohm [Thu, 15 May 2025 21:42:19 +0000 (21:42 +0000)] 
Compile code that gets linked with libc by adding -fhosted.

The use of -fno-builtin interfers with -Wformat: no format warnings will
be given when both options are present. Because -fno-builtin means: when
you encounter a function that has the same name as a built-in function,
forget everything you know about that function.
That includes functions attributes. And without __attribute__((format...))
there will be no -Wformat warnings.

The fix is to append -fhosted when compiling something that gets linked
with libc. As command line options are processed left to right adding
-fhosted at the end overrides any earlier -fno-builtin option.

Fix compiler warnings.

Add some ugly ifdeffery to drd/drd_intercepts.c. I could not figure out how
to rewrite the offensive printf to avoid testcase breakage.

5 weeks agoWrap linux specific cachestat syscall
Martin Cermak [Thu, 15 May 2025 10:03:55 +0000 (12:03 +0200)] 
Wrap linux specific cachestat syscall

cachestat takes an fd, cstat_range and flags arguments and
writes out page cache statistics via the cstat struct.

Declare a sys_cachestat wrapper in priv_syswrap-linux.h and hook it
for {amd64,arm,arm64,mips64,nanomips,ppc32,ppc64,riscv64,s390x,x86}-linux
using LINXY with PRE/POST handlers in syswrap-linux.c.

Define __NR_cachestat for amd64, arm, arm64, mips32, mips64, nanomips,
ppc32, ppc64, riscv64, s390x, and x86.

https://bugs.kde.org/show_bug.cgi?id=501741

6 weeks agoBug 504101 - Add a "vgstack" script
Paul Floyd [Tue, 13 May 2025 18:34:48 +0000 (20:34 +0200)] 
Bug 504101 - Add a "vgstack" script

This works just like pstack/gstack (and bstack on FreeBSD).

Run "vgstack [valgrind pid]" and you will get the guest backtraces.

6 weeks agoregtest: use /bin/cat in none/tests/fdleak_cat.vgtest
Paul Floyd [Wed, 14 May 2025 05:47:43 +0000 (07:47 +0200)] 
regtest: use /bin/cat in none/tests/fdleak_cat.vgtest

There's no /usr/bin/cat on FreeBSD or Darwin.

6 weeks agoDon't count closed inherited file descriptors
Mark Wielaard [Tue, 13 May 2025 22:13:06 +0000 (00:13 +0200)] 
Don't count closed inherited file descriptors

Programs which close some inherited file descriptors and are run under
valgrind with -q and --track-fds=yes would still show the FILE
DESCRIPTORS banner even if there were no non-inherited file
descriptors still open.

Fix this by not counting already closed inherited file descriptors.

Add a simple testcase to show /usr/bin/cat /dev/null doesn't produce
any output running under valgrind -q --track-fds=yes.

https://bugs.kde.org/show_bug.cgi?id=504177

6 weeks agoauxprogs/ltp-tester.sh: Fix typo in summary log grep
Martin Cermak [Tue, 13 May 2025 12:21:08 +0000 (14:21 +0200)] 
auxprogs/ltp-tester.sh: Fix typo in summary log grep

This does point out a couple more failures. In case the test results
differ when running under valgrind, but there are no other error
indicators. e.g. openat202 now reports:

openat202: diff -u log1summary log2summary:
--- log1summary
+++ log2summary
@@ -1,5 +1,5 @@
-passed   9
-failed   0
+passed   8
+failed   1
 broken   0
 skipped  0
 warnings 0

Which points out we have a bug in our openat wrapper when given
/proc/self/exe with RESOLVE_NO_MAGICLINKS (which should fail with
ELOOP, but succeeds when running under valgrind, probably because we
have a "magic" /proc/self/exe wrapper).

6 weeks agoillumos regtest: mask a leak in memcheck/tests/realloc_size_zero_xml
Paul Floyd [Mon, 12 May 2025 19:38:46 +0000 (21:38 +0200)] 
illumos regtest: mask a leak in memcheck/tests/realloc_size_zero_xml

There's what looks like a libc printf buffer possible leak
in this test on illumos. With xml output leak reporting is
hard coded to on. So to avoid this extra error add
--show-possibly-lost=no

Maybe this should be suppressed. I haven't managed to reproduce it
without xml and outside of perl regtest.

6 weeks agoLinux regtest: add an expected for memcheck realloc_size_zero_xml
Paul Floyd [Mon, 12 May 2025 05:20:59 +0000 (07:20 +0200)] 
Linux regtest: add an expected for memcheck realloc_size_zero_xml

6 weeks agoMore gdb filtering for glibc 2.41 with debuginfo installed
Mark Wielaard [Sun, 11 May 2025 21:12:15 +0000 (23:12 +0200)] 
More gdb filtering for glibc 2.41 with debuginfo installed

6 weeks agoRegtest: add an xml version of memcheck realloc_size_zero
Paul Floyd [Sun, 11 May 2025 19:25:11 +0000 (21:25 +0200)] 
Regtest: add an xml version of memcheck realloc_size_zero

6 weeks agoFreeBSD warnings: a couple of signatures that warn of mismatches
Paul Floyd [Sun, 11 May 2025 17:40:22 +0000 (19:40 +0200)] 
FreeBSD warnings: a couple of signatures that warn of mismatches

when -fno-bultin is specified. There's still infinite recursion and
crashes with clang though.

6 weeks agoLinux PPC64 syscall: add sys_io_pgetevents
Paul Floyd [Sun, 11 May 2025 08:28:01 +0000 (10:28 +0200)] 
Linux PPC64 syscall: add sys_io_pgetevents

6 weeks agoriscv64: Fix nan-boxing for single-precision calculations
Ivan Tetyushkin [Mon, 21 Apr 2025 08:59:48 +0000 (11:59 +0300)] 
riscv64: Fix nan-boxing for single-precision calculations

For float values, for arithmetics we expect to have
canonical nan if used double register is not currectly nan-boxed.

https://bugs.kde.org/show_bug.cgi?id=503098

6 weeks agoAdd workaround for missing riscv_hwprobe syscall (258)
Mark Wielaard [Fri, 9 May 2025 11:46:44 +0000 (13:46 +0200)] 
Add workaround for missing riscv_hwprobe syscall (258)

On riscv newer glibc (2.41) will probe instruction support using the
riscv_hwprobe syscall. Since Valgrind currently doesn't have a wrapper
for riscv_hwprobe that causes a Warning. Since the RISC-V Hardware
Probing Interface is non-trivial and we don't really implement
extended riscv instructions anyway work around that by "implementing"
riscv_hwprobe as sys_ni_syscall so it generates an ENOSYS and glibc
will silently fall back to not using any extended instructions.

https://docs.kernel.org/arch/riscv/hwprobe.html

https://bugs.kde.org/show_bug.cgi?id=503253

6 weeks agomount syscall param filesystemtype may be NULL
Mark Wielaard [Thu, 8 May 2025 22:21:25 +0000 (00:21 +0200)] 
mount syscall param filesystemtype may be NULL

On Linux the mount syscall, depending on flags provided, the source,
type and data my be ignored.  We already don't check data and allow
source to be NULL.  Normally when type is ignored an application will
provide an empty string "".  But sometimes NULL is passed (like for
source).  So we now also allow type to be NULL to prevent false
positives.

Adjust the linux/scalar.c tests so the type param is still
unaddressable.

https://bugs.kde.org/show_bug.cgi?id=503914

7 weeks agos390x: BPRP related fixes
Florian Krohm [Tue, 6 May 2025 21:22:47 +0000 (21:22 +0000)] 
s390x: BPRP related fixes

objdump disassembly for BPRP looks like so:

c5 0f ff 00 00 00   bprp  0,88 <main+0x88>,8a <main+0x8a>

But the disasm-test parser assumed there could only be one
address including a symbol name on a given line. It stopped
comparison beyond that point.
The line

c5 0f ff 00 00 00   bprp  0,88 <main+0x88>,fffe <main+0xfffe>

would compare equal to the above -- a false positive.

Once fixed, BPRP testcases began failing. This is because the i3
field is 24 bit wide. So an UShort is not good enough to represent
it.

7 weeks agoRun the LTP syscall tests in parallel
Martin Cermak [Mon, 5 May 2025 12:23:16 +0000 (14:23 +0200)] 
Run the LTP syscall tests in parallel

- Run the LTP syscall tests in parallel to save time.
- Allow for running only selected tests using TESTS env var.

7 weeks agos390x: disasm-test: Fix compiler warning (BZ 503817)
Florian Krohm [Tue, 6 May 2025 08:53:04 +0000 (08:53 +0000)] 
s390x: disasm-test: Fix compiler warning (BZ 503817)

Forgotten pointer dereference. Beef up unit test accordingly.
Fix a few -Wsign-compare compiler warnings along the way.

Fixes https://bugs.kde.org/show_bug.cgi?id=503817

7 weeks agos390x: Follow-up to 558f5e9517
Florian Krohm [Sun, 4 May 2025 22:30:25 +0000 (22:30 +0000)] 
s390x: Follow-up to 558f5e9517

Said patch removes the resteering machinery which allowed chasing through
unconditional jumps/calls during IR generation.
There were two fixme's related to this which are now removed.
Also eliminate functions 'call_function_and_chase' and
'always_goto_and_chase' which no longer are meaningful. Use
'call_function' and 'always_goto' instead.

7 weeks agos390x: Add disassembly for special insns
Florian Krohm [Sun, 4 May 2025 21:29:34 +0000 (21:29 +0000)] 
s390x: Add disassembly for special insns

Surely we want to see this when tracing the frintend.
Also: new function s390_irgen_inject_ir to wrap the handling of
the special insn for IR injection.

7 weeks agoltp-excludes: Add fork14, futex_cmp_requeue and pidfd_send_signal
Mark Wielaard [Sun, 4 May 2025 18:16:26 +0000 (20:16 +0200)] 
ltp-excludes: Add fork14, futex_cmp_requeue and pidfd_send_signal

There are a few more linux test project syscall tests that seem to
cause some trouble for some buildbots. The fork14 test uses a lot of
memory, as do the futex_cmp_requeue tests (at least on ppc64le). And
the pidfd_send_signal tests, when run inside a container, seem to kill
the test wrapper (and the container it runs in).

7 weeks agoFreeBSD regtest: cleanup test warnings when building with GCC
Paul Floyd [Sun, 4 May 2025 08:38:50 +0000 (10:38 +0200)] 
FreeBSD regtest: cleanup test warnings when building with GCC

7 weeks agoBug 503677 - duplicated-cond compiler warning in dis_RV64M
Paul Floyd [Sun, 4 May 2025 06:55:45 +0000 (08:55 +0200)] 
Bug 503677 - duplicated-cond compiler warning in dis_RV64M

7 weeks agoBug 503641 - close_range syscalls started failing with 3.25.0
Paul Floyd [Fri, 2 May 2025 16:53:09 +0000 (18:53 +0200)] 
Bug 503641 - close_range syscalls started failing with 3.25.0

7 weeks agoFreeBSD close_range syscall
Paul Floyd [Fri, 2 May 2025 14:59:58 +0000 (16:59 +0200)] 
FreeBSD close_range syscall

Simplify the checking. No ned to test for reserved fds,
and just split the close_range if debug output is enabled.

Add a call to close_range with an upper bound of ~0U in the
testcase.

These changes will probably be the basis for fixing
https://bugs.kde.org/show_bug.cgi?id=503641

7 weeks agoillumos regtest: filter a gdb warning
Paul Floyd [Fri, 2 May 2025 10:19:11 +0000 (12:19 +0200)] 
illumos regtest: filter a gdb warning

I only get it when running make test from oi-userland components,
not when running make regtest from a shell. Possibly a locale or
similar issue.

2 months ago-> 3.25.0 final VALGRIND_3_25_0
Mark Wielaard [Fri, 25 Apr 2025 12:38:05 +0000 (14:38 +0200)] 
-> 3.25.0 final

2 months agoRegtest: fix an arm64 Linux warning
Paul Floyd [Thu, 24 Apr 2025 10:52:52 +0000 (12:52 +0200)] 
Regtest: fix an arm64 Linux warning

Just a gcc warning for the deliberate use of an uninitialised
variable in arm64-linux/scalar.

2 months agoSet version to 3.25.0-RC2
Mark Wielaard [Thu, 24 Apr 2025 01:30:58 +0000 (03:30 +0200)] 
Set version to 3.25.0-RC2

2 months agonone/tests/riscv64/testinst.h: Use lla instead of la in JMP_RANGE
Mark Wielaard [Thu, 24 Apr 2025 01:11:26 +0000 (03:11 +0200)] 
none/tests/riscv64/testinst.h: Use lla instead of la in JMP_RANGE

la was fine when using binutils ld >= 2.43. But older (2.41 and 2.42)
binutils ld produced:

none/tests/riscv64/integer.c:81:(.text+0x22cd8): dangerous relocation:
The addend isn't allowed for R_RISCV_GOT_HI20

Using lla makes integer and compressed link with all binutils ld
versions.

2 months agoriscv64: Drop the not-needed type for FpCSEL
Petr Pavlu [Tue, 2 Jul 2024 21:55:57 +0000 (21:55 +0000)] 
riscv64: Drop the not-needed type for FpCSEL

2 months agoriscv64: Add missing floating-point ITE/CSEL support in VEX backend
zhaomingxin [Thu, 13 Apr 2023 07:11:46 +0000 (15:11 +0800)] 
riscv64: Add missing floating-point ITE/CSEL support in VEX backend

2 months agoriscv64: Add support for csrrc
Petr Pavlu [Tue, 2 Jul 2024 21:12:22 +0000 (21:12 +0000)] 
riscv64: Add support for csrrc

2 months agoriscv64: Merge decoding of csrrw and csrrs
Petr Pavlu [Tue, 2 Jul 2024 20:56:46 +0000 (20:56 +0000)] 
riscv64: Merge decoding of csrrw and csrrs

2 months agoriscv64: Fix tests compilation with newer GNU as
Petr Pavlu [Wed, 15 May 2024 20:55:08 +0000 (20:55 +0000)] 
riscv64: Fix tests compilation with newer GNU as

Simplify the test macro JMP_COND() and avoid its use of 'la zero,0'
which is newly rejected by GNU as.

2 months agoUpdate NEWS for RISCV64/Linux and --modify-fds=[no|high] option
Mark Wielaard [Wed, 23 Apr 2025 17:33:26 +0000 (19:33 +0200)] 
Update NEWS for RISCV64/Linux and --modify-fds=[no|high] option

As a little description plus the two bugs (468575 and 493433) to the
bug list.

2 months agos390x only: Clean up unused Ijk_... values
Florian Krohm [Wed, 23 Apr 2025 12:49:20 +0000 (12:49 +0000)] 
s390x only: Clean up unused Ijk_... values

The following jump kinds were never assigned to any variable but were
checked for in various contexts:

- Ijk_MapFail
- Ijk_SigTRAP
- Ijk_SigSEGV
- Ijk_SigBUS

Tighten that up.

2 months agos390x: Fix a comment
Florian Krohm [Wed, 23 Apr 2025 11:37:40 +0000 (11:37 +0000)] 
s390x: Fix a comment

2 months agoauxprogs/Makefile.am (EXTRA_DIST): Add ltpchecks helper files
Mark Wielaard [Tue, 22 Apr 2025 16:24:31 +0000 (18:24 +0200)] 
auxprogs/Makefile.am (EXTRA_DIST): Add ltpchecks helper files

ltp-tester.sh, ltp-excludes.txt and ltp-error-patterns.txt, breaking
make ltpchecks.

2 months agoRegtest: clean up warning and compilation of bug290061.c
Paul Floyd [Tue, 22 Apr 2025 05:22:42 +0000 (07:22 +0200)] 
Regtest: clean up warning and compilation of bug290061.c

On some platforms there was a 'defined but not used' warning.
When I fixed that I got a link error from clang. Using a
_LDFLAGS option causes automake to split building the test into
separate compile and link commands and clang was optimizing away
the unused static 'meh' symbol.

2 months agoIllumos regtest: add an expected for none/tests/fdleak_socketpair_xml.stderr
Paul Floyd [Mon, 21 Apr 2025 18:44:31 +0000 (20:44 +0200)] 
Illumos regtest: add an expected for none/tests/fdleak_socketpair_xml.stderr

illumos socketpair doesn't get the next two fds (3 and 4), instead it
gets 4 and 5. That looks like it's because this is done in two steps in libc.
so_socket gets called twice returnning fds 3 and 4 the so_socketpair takes
those and does some rebinding(?) resulting in fds 4 and 5.

2 months agoIllumos suppression and regtest
Paul Floyd [Sun, 20 Apr 2025 20:14:44 +0000 (22:14 +0200)] 
Illumos suppression and regtest

Broaden the printf suppression
Add an expected for helgrind/tests/bar_bad

2 months agoFreeBSD regtest: add auxv_script to dist_noinst_SCRIPTS
Paul Floyd [Sat, 19 Apr 2025 10:01:26 +0000 (12:01 +0200)] 
FreeBSD regtest: add auxv_script to dist_noinst_SCRIPTS

2 months agoHelgrind regtest: use --check-cond-signal-mutex=yes in tc20_verifywrap
Paul Floyd [Fri, 18 Apr 2025 20:14:54 +0000 (22:14 +0200)] 
Helgrind regtest: use --check-cond-signal-mutex=yes in tc20_verifywrap

2 months agoDoc: add description of cond signal without mutex lock.
Paul Floyd [Fri, 18 Apr 2025 18:37:12 +0000 (20:37 +0200)] 
Doc: add description of cond signal without mutex lock.

2 months agoAdd 3.25 highlights to NEWS for FreeBSD.
Paul Floyd [Fri, 18 Apr 2025 17:32:05 +0000 (19:32 +0200)] 
Add 3.25 highlights to NEWS for FreeBSD.

2 months agoBug 502871 - Make Helgrind "pthread_cond_{signal,broadcast}: dubious: associated...
Paul Floyd [Fri, 18 Apr 2025 11:35:45 +0000 (13:35 +0200)] 
Bug 502871 - Make Helgrind "pthread_cond_{signal,broadcast}: dubious: associated lock is not held by any thread" optional

2 months agoSet version to 3.25.0-RC1
Mark Wielaard [Fri, 18 Apr 2025 12:22:31 +0000 (14:22 +0200)] 
Set version to 3.25.0-RC1

Also update vg-lifespan which is used for documentation copyright years.

2 months agoUpdate libiberty demangler
Mark Wielaard [Fri, 18 Apr 2025 12:53:44 +0000 (14:53 +0200)] 
Update libiberty demangler

Update the libiberty demangler using the auxprogs/update-demangler
script to gcc git commit 94bea5dd6c9a06ddb6244be1e5196ff5fbe2b186.

This update includes:

    * libiberty: Restore build with CP_DEMANGLE_DEBUG defined
    * non-gcc: Remove trailing whitespace
    * libiberty: Fix comment typos

2 months agoAdd a platform note for Illumos to NEWS.
Paul Floyd [Fri, 18 Apr 2025 11:24:44 +0000 (13:24 +0200)] 
Add a platform note for Illumos to NEWS.

2 months agoRegtest: gdbserver filter another auto-load warning
Paul Floyd [Fri, 18 Apr 2025 10:42:55 +0000 (12:42 +0200)] 
Regtest: gdbserver filter another auto-load warning

Seen on arm64 with GDB 16

2 months agoAdd auxprogs/ltp-excludes.txt
Mark Wielaard [Fri, 18 Apr 2025 10:22:29 +0000 (12:22 +0200)] 
Add auxprogs/ltp-excludes.txt

There are a couple of ltp testcases that take a very long time to run
(under valgrind). Add a file auxprogs/ltp-excludes.txt that is used to
exclude them from a make ltpchecks run, containing 10 tests:

bind06
epoll-ltp
inotify09
msgstress01
sendmsg03
setsockopt06
setsockopt07
signal05
signal06
timerfd_settime02

Excluding these 10 tests brings the execution time of make ltpchecks
down to ~45 minutes.

2 months agoUse LTP for testing valgrind
Martin Cermak [Thu, 17 Apr 2025 14:14:19 +0000 (16:14 +0200)] 
Use LTP for testing valgrind

Add a new top level make target ltpchecks which will fetch the latest
linux test project (ltp) release as defined by the LTP_VERSION and
LTP_SHA256 variables in auxprogs/Makefile.am (update those when a new
version of ltp is released). If the ltp tar.xz has already been
downloaded, or it has already been unpacked and build, the (cached)
file and build will be reused.

The actual testing is done through the auxprogs/ltp-tester.sh script.
It takes all executable tests from the ltp testcases under
kernel/syscalls and runs them 3 times. Once directly, not under
valgrind, once with -q --tool=none and once with -q
--tool=memcheck. It then checks that valgrind didn't produce any
messages with the none tool, that there were no fatal errors produced
(as defined in auxprogs/ltp-error-patterns.txt) and that the ltp
results are the same with and without valgrind.

Currently there are 1472 test binaries and running them all (serially)
takes more than three hours and detects various missing or incomplete
syscall handlers in valgrind, plus various crashers.

https://bugs.kde.org/show_bug.cgi?id=502679

2 months agoFreeBSD: increase coverage of --modify-mds syscalls
Paul Floyd [Thu, 17 Apr 2025 19:54:43 +0000 (21:54 +0200)] 
FreeBSD: increase coverage of --modify-mds syscalls

As illumos, still missing a couple.

2 months agoIllumos: increase coverage of --modify-fds syscalls
Paul Floyd [Thu, 17 Apr 2025 19:26:24 +0000 (21:26 +0200)] 
Illumos: increase coverage of --modify-fds syscalls

It looks like Solaris/Illumos is missing some F_DUP* coverage
and we aren't handling syscalls that reaturn 2 fds (pipe, socketpair).
Otherwise this should cover most Illumos cases at least.

2 months agoLinux regtest 32bit: remove track_new.stderr.exp.debian32
Paul Floyd [Thu, 17 Apr 2025 12:00:49 +0000 (13:00 +0100)] 
Linux regtest 32bit: remove track_new.stderr.exp.debian32

Not needed after switching from dprintf to write to trigger
the error.

2 months agoIllumos regtest: update none/tests/track_new
Paul Floyd [Thu, 17 Apr 2025 11:22:34 +0000 (13:22 +0200)] 
Illumos regtest: update none/tests/track_new

Not sure why I get file/line with Illumos but not
Linux or FreeBSD.

2 months agoFreeBSD: changes for --modify-fds
Paul Floyd [Thu, 17 Apr 2025 11:00:04 +0000 (13:00 +0200)] 
FreeBSD: changes for --modify-fds

Again this is just the minumum to get the track_new test to pass.
Other syscalls later.

2 months agoIllumos: changes for --modify-fds
Paul Floyd [Wed, 16 Apr 2025 18:31:38 +0000 (20:31 +0200)] 
Illumos: changes for --modify-fds

This is the minumum just to get the new testcase to build and pass.
Need to go through the other fd related syscalls later.

2 months agoAdd --modify-fds=[no|high] option
Alexandra Hájková [Wed, 20 Nov 2024 17:00:47 +0000 (12:00 -0500)] 
Add --modify-fds=[no|high] option

Normally a newly recreated file descriptor gets the lowest number
available. This might cause old file descriptor numbers to be reused
and hides bad file descriptor accesses (because the old number is
new again).

When enabled, when the program opens a new file descriptor,
the highest available file descriptor is returned instead of the
lowest one.

Add the none/tests/track_new.stderr.exp test to test this new option.

Adjust none/tests/filter_fdleak to filter the track_new.vgtest,
removing some internal glibc functions from the backtraces and remove
symbol versioning. The output of the use_after_close test also had to
be adjusted. Also adjust the none/tests/cmdline1 and
none/tests/cmdline2 output as the new --modify-fds=no|high is
displayed.

https://bugs.kde.org/show_bug.cgi?id=493433

2 months agoIllumos regtest: update expected for memcheck/tests/amd64-solaris/context_fpu
Paul Floyd [Tue, 15 Apr 2025 19:18:33 +0000 (21:18 +0200)] 
Illumos regtest: update expected for memcheck/tests/amd64-solaris/context_fpu

The expected contains 8 errors for

   if (inhandler[1] || inhandler[3] || inhandler[5] || inhandler[7])
      assert(0);

whilst I would expect 4 (the 4 array elements are uninitialised).

It is also failing on Solaris 11.4.

2 months agoFlush stack overflow / failure to grow stack messages.
Paul Floyd [Tue, 15 Apr 2025 18:52:59 +0000 (20:52 +0200)] 
Flush stack overflow / failure to grow stack messages.

These messages were missing for the test

none/tests/solaris/stack_overflow

on Illumos. The test now passes.

2 months agonightly: fix check for Illumos libc
Paul Floyd [Tue, 15 Apr 2025 18:39:22 +0000 (20:39 +0200)] 
nightly: fix check for Illumos libc

On Illumos `uname -o` outputs "illumos". We weren't testing for
that so it fell through to the Linux block which runs libc.so to
get the version string. On Illumos that outputs

usage: ld.so.1 [-e option,...] dynamic-object [object args,...]

2 months agoIllumos readelf: patch for detection of DTrace .data sections
Paul Floyd [Mon, 14 Apr 2025 20:05:57 +0000 (22:05 +0200)] 
Illumos readelf: patch for detection of DTrace .data sections

Taken from
    https://github.com/oracle/solaris-userland/blob/master/components/valgrind/patches/03-dtrace-section.patch

2 months agoAdd 'scripts' directory to dirs_to_ignore in check_headers_and_includes
Paul Floyd [Mon, 14 Apr 2025 19:06:45 +0000 (21:06 +0200)] 
Add 'scripts' directory to dirs_to_ignore in check_headers_and_includes

2 months agoIllumos regtest: fix threadname vgtest files
Paul Floyd [Mon, 14 Apr 2025 18:43:20 +0000 (20:43 +0200)] 
Illumos regtest: fix threadname vgtest files

I missed one level of ../ and didn't see that there was already
a prereq: in each of these two files.

2 months agoIllumos nightly: enable sending results to valgrind-testresults
Paul Floyd [Mon, 14 Apr 2025 17:38:03 +0000 (19:38 +0200)] 
Illumos nightly: enable sending results to valgrind-testresults

2 months agoIllumos nightly: add conf files for Illumos
Paul Floyd [Mon, 14 Apr 2025 10:30:52 +0000 (12:30 +0200)] 
Illumos nightly: add conf files for Illumos

2 months agos390x: Regtest integration of none/tests/s390x/disasm-test
Florian Krohm [Sun, 13 Apr 2025 12:06:33 +0000 (12:06 +0000)] 
s390x: Regtest integration of none/tests/s390x/disasm-test

The checker requires objdump --version >= 2.44
Add command line flag --check-prereq to disasm-test and use it in
disasm-test.vgtest.
New file none/tests/s390x/disasm-test/disasm-test.post.exp as the
checker is run in the "post" hook.

2 months agos390x: Final change to fix BZ 495817
Florian Krohm [Sun, 13 Apr 2025 11:05:08 +0000 (11:05 +0000)] 
s390x: Final change to fix BZ 495817

This patch makes VEX disassembly match objdump disassembly for
objdump versions >= 2.44. Prior objdump versions did not handle the
nuances of the "rotate and ..." set of opcodes and there was also a
bug disassembling BC insns.

Fixes https://bugs.kde.org/show_bug.cgi?id=495817

2 months agoIllumos regtest: use LC_ALL=C for execx test
Paul Floyd [Sat, 12 Apr 2025 21:57:58 +0000 (23:57 +0200)] 
Illumos regtest: use LC_ALL=C for execx test

There's an uninitialized read in /usr/bin/printf when using the
default en_US.UTF-8 locale. This isn't a printf test, and using
the C locale makes the error go away.

2 months agos390x: Fix IR generation for SRNMB
Florian Krohm [Sat, 12 Apr 2025 21:45:22 +0000 (21:45 +0000)] 
s390x: Fix IR generation for SRNMB

disasm-test generated this test:

  asm volatile("srnmb 4095(%r0)");

which was disassembled in VEX to

  srnmb 0

causing a mismatch with what objdump does.

4095 is not a valid bfp rounding mode and the old implementation of
s390_irgen_SRNMB let it slide by with a warning. However, POP calls for a
specification exception in this case. This is what this patch changes.i
It also eliminates the s390_irgen_srnmb_wrapper function along the way.

While adjusting none/tests/s390x/srnmb.* I noticed that the line
number shown in the specification exception is incorrect. This
is not a regression. It has been incorrect before as well.

I have opened https://bugs.kde.org/show_bug.cgi?id=502729 fro the line
number issue.

2 months agoIllumos regtest: add 'illumos' to os_test and turn off a few tests
Paul Floyd [Sat, 12 Apr 2025 16:27:06 +0000 (18:27 +0200)] 
Illumos regtest: add 'illumos' to os_test and turn off a few tests

The threadname tests fail on Illumos. Solaris has a syscall,
sys_lwp_name, which we intercept and record. Illumos doesn't
have that, with the pthread name functions looking ofr the name in /proc
That's not implemented in Valgrind so I'm turning those 2 tests off.

The other 3 are all based on none faultstatus. This test checks 4 things,
one of which is reading from a 32k mmap that is PRIVATE and READ but is
only backed by a 16k file. All other OSes generate a SIGBUS. Illumos
just reads 0 from the address.

2 months agoFreeBSD nightly: automatically use all CPUs
Paul Floyd [Sat, 12 Apr 2025 06:34:13 +0000 (08:34 +0200)] 
FreeBSD nightly: automatically use all CPUs

2 months agoFix typo: segement -> segment
Philippe Waroquiers [Fri, 11 Apr 2025 19:37:18 +0000 (21:37 +0200)] 
Fix typo:  segement -> segment

No impact, typo in a comment.

2 months agoRegtest: use FLAG_PIE for bug290061
Paul Floyd [Fri, 11 Apr 2025 18:29:58 +0000 (20:29 +0200)] 
Regtest: use FLAG_PIE for bug290061

Illumos GCC doesn't have -pie. Also use it for the link command.

2 months agos390x: Implement VTM without dirty helper
Andreas Arnez [Thu, 10 Apr 2025 15:27:30 +0000 (17:27 +0200)] 
s390x: Implement VTM without dirty helper

The VTM instruction is currently translated to a dirty helper call, which
comes with the usual drawbacks.

Replace its implementation and remove the dirty helper.

2 months agos390x: disasm-test - minor tweak
Florian Krohm [Fri, 11 Apr 2025 12:00:11 +0000 (12:00 +0000)] 
s390x: disasm-test - minor tweak

2 months agos390x: In s390_disasm_aux - simplify control flow a bit.
Florian Krohm [Fri, 11 Apr 2025 11:55:24 +0000 (11:55 +0000)] 
s390x: In s390_disasm_aux - simplify control flow a bit.

2 months agoBug 290061 - pie elf always loaded at 0x108000
Paul Floyd [Sun, 19 May 2024 09:55:30 +0000 (11:55 +0200)] 
Bug 290061 - pie elf always loaded at 0x108000

Initial patch from Amir Szekely <kichik@gmail.com

2 months agoHelgrind: Fixes for ETIMEDOUT
Paul Floyd [Wed, 9 Apr 2025 06:49:52 +0000 (08:49 +0200)] 
Helgrind: Fixes for ETIMEDOUT

pthread_rwlock_timedrdlock and pthread_rwlock_clockrdlock were
generating API errors if they timed out. This fixes that and
only generates API errors for non-zero and non-ETIMEDOUT
return codes.

2 months agoIllumos helgrind: redir, filter and suppresions
Paul Floyd [Sun, 6 Apr 2025 18:47:39 +0000 (20:47 +0200)] 
Illumos helgrind: redir, filter and suppresions

Add a redir for sem_timedwait (Solaris redirects sema_timedwait
which seems to have been replaced on Illumos).

Filter the arena size for the free_is_write test

Use the Illumos expected for gone_abrt_xml

Add Helgrind suppressions for printf, pthread_barrier_init and
pthread_barrier_destroy.

2 months agoIllumos resgtest: revert previous change to filter_libc and update expected instead
Paul Floyd [Sat, 5 Apr 2025 06:16:54 +0000 (08:16 +0200)] 
Illumos resgtest: revert previous change to filter_libc and update expected instead

2 months agoIllumos regtest: one filter and one pre script fix
Paul Floyd [Fri, 4 Apr 2025 20:00:38 +0000 (22:00 +0200)] 
Illumos regtest: one filter and one pre script fix

filter a change for the bottom of thread stacks and
add use the same pre check as Linux for DRD OpenMP tests.

2 months agoIllumos helgrind: fix for pthread_rwlock_timedrdlock and pthread_rwlock_timedrwlock
Paul Floyd [Thu, 3 Apr 2025 17:56:51 +0000 (19:56 +0200)] 
Illumos helgrind: fix for pthread_rwlock_timedrdlock and pthread_rwlock_timedrwlock

On Illumos these two functions are implemented by calling
pthread_rwlock_clockrdlock and pthread_rwlock_clockwrlock respectively.
Since we intercept both it was appearing as though the lock was being
taken recursively when it wasn't. Fixed it by using a static flag for each
and not callinng the client requests if already in a call to the timed
functions.

I think that musl also does this but, ho-hum, Helgrind has never worked on musl.

2 months agos390x: Support the PPA instruction
Andreas Arnez [Thu, 3 Apr 2025 15:40:03 +0000 (17:40 +0200)] 
s390x: Support the PPA instruction

The perform processor assist (PPA) instruction provides the CPU with
special execution hints.  It belongs to the processor-assist facility,
which shares facility bit 49 with the execution-hint and load-and-trap
facilities and with the miscellaneous-instruction-extensions facility 1.

Implementing PPA enables setting facility bit 49 to one.  Similar to other
execution hint instructions, implement PPA as a no-op for now.

2 months agos390x: Reflect renaming of DFP insns in opcode checker
Andreas Arnez [Thu, 3 Apr 2025 17:07:32 +0000 (19:07 +0200)] 
s390x: Reflect renaming of DFP insns in opcode checker

After renaming various DFP instructions to their new name, reflect this in
s390-check-opcodes.pl by ignoring their old names, so the checker doesn't
complain about mismatches.

Also, add the missing documentation in s390-opcodes.csv about the fact
that the "with rounding mode" instruction versions cgdtra, cgxtra, and
cxgtra are implemented.

2 months agos390x: Add missing s390_insn_assert for non-vector opcodes
Florian Krohm [Thu, 3 Apr 2025 13:00:19 +0000 (13:00 +0000)] 
s390x: Add missing s390_insn_assert for non-vector opcodes

Based on the specification in disasm-test/opcode.c

With a few corrections:
- kma: tighten up the assert
- cdftr, cxftr: no emulation failure when floating-point-extension
  facility is not installed
- cgdtra, cgxtra: check for floating-point-extension facility
- ltdtr, ltxtr, lxdtr:  check for DFP facility

2 months agos390x disasm-test: Fix niai opcode spec
Florian Krohm [Thu, 3 Apr 2025 12:58:38 +0000 (12:58 +0000)] 
s390x disasm-test: Fix niai opcode spec

2 months agos390x disasm-test: Fix a few constraints and facility indications.
Florian Krohm [Thu, 3 Apr 2025 09:43:32 +0000 (09:43 +0000)] 
s390x disasm-test: Fix a few constraints and facility indications.

2 months agoIllumos helgrind: pthread wrapper tweaks
Paul Floyd [Wed, 2 Apr 2025 19:39:54 +0000 (21:39 +0200)] 
Illumos helgrind: pthread wrapper tweaks

Wrap pthread_cond_timedwait which seems to have supplanted
cond_reltimedwait on Illumos.

pthread_rwlock_clockrdlock and pthread_rwlock_clockwrlock both
exist on illumos, so enable those wrappers.

2 months agoIllumos regtest: fix configure check for GCC using Sun Studio as
Paul Floyd [Wed, 2 Apr 2025 18:13:10 +0000 (20:13 +0200)] 
Illumos regtest: fix configure check for GCC using Sun Studio as

2 months agoBug 502324 - Add test case for TMx memcheck false positives
Andreas Arnez [Wed, 2 Apr 2025 17:52:26 +0000 (19:52 +0200)] 
Bug 502324 - Add test case for TMx memcheck false positives

Add a regression test for Bug 502324.  Before the bug was fixed, this test
failed with various "conditional jump or move depends on uninitialised
value(s)" messages.