]> git.ipfire.org Git - thirdparty/valgrind.git/log
thirdparty/valgrind.git
14 months agoFilter away "main" differences in filter_fdleak
Mark Wielaard [Tue, 23 Apr 2024 12:14:33 +0000 (14:14 +0200)] 
Filter away "main" differences in filter_fdleak

Stack traces showing where fds were created show some differences in
the "main" function, different line numbers, or (in binary) or (below
main). Since the precise location of the original call in the main
function isn't the goal of these tests just filer them all out and
replace them with a simple "main".

14 months agofilter out in /absolute/path in drd/tests stderr filter
Mark Wielaard [Sat, 20 Apr 2024 20:56:05 +0000 (22:56 +0200)] 
filter out in /absolute/path in drd/tests stderr filter

This filters out a line like:
by 0x........: ??? (in /home/mjw/valgrind/helgrind/tests/tc04_free_lock)
and replaces it with
by 0x........: ???

14 months agoAdd new .exp-32 files to memcheck/tests/Makefile.am EXTRA_DIST
Mark Wielaard [Sat, 20 Apr 2024 19:58:09 +0000 (21:58 +0200)] 
Add new .exp-32 files to memcheck/tests/Makefile.am EXTRA_DIST

14 months ago32 bit new_delete_mismatch_size and sized_aligned_new_delete_misaligned .exp
Mark Wielaard [Sat, 20 Apr 2024 19:30:59 +0000 (21:30 +0200)] 
32 bit new_delete_mismatch_size and sized_aligned_new_delete_misaligned .exp

Add 32 bit variants of the memcheck/tests/new_delete_mismatch_size_supp,
memcheck/tests/sized_aligned_new_delete_misaligned{2,3}_supp .exp files.

14 months agoFreeBSD suppression: puts reachable
Paul Floyd [Sat, 20 Apr 2024 16:42:41 +0000 (18:42 +0200)] 
FreeBSD suppression: puts reachable

14 months agoFreeBSD suppressions: yet more reachables
Paul Floyd [Sat, 20 Apr 2024 06:29:51 +0000 (08:29 +0200)] 
FreeBSD suppressions: yet more reachables

14 months agoFreeBSD suppression: reachable for setlocale
Paul Floyd [Sat, 20 Apr 2024 05:54:05 +0000 (07:54 +0200)] 
FreeBSD suppression: reachable for setlocale

Normally I have LANG=en_GB.UTF-8 and LC_ALL=C but if I switch to
C.UTF-8 for everything (which is the default for a fresh install)
then setlocale comes into the picture with a reachable allocation
on exit.

14 months agoFreeBSD suppression: add a suppression for __swbuf seen on arm64
Paul Floyd [Sat, 20 Apr 2024 05:50:31 +0000 (07:50 +0200)] 
FreeBSD suppression: add a suppression for __swbuf seen on arm64

Still no libc freeres.

14 months agoSet version to 3.23.0-RC1
Mark Wielaard [Sat, 20 Apr 2024 01:40:29 +0000 (03:40 +0200)] 
Set version to 3.23.0-RC1

14 months agoUpdate emitted Copyright years to include 2024
Mark Wielaard [Sat, 20 Apr 2024 01:36:01 +0000 (03:36 +0200)] 
Update emitted Copyright years to include 2024

Also adjust test exp and filters.

14 months agocore errors suppression support
Mark Wielaard [Fri, 19 Apr 2024 20:46:11 +0000 (22:46 +0200)] 
core errors suppression support

Add two new functions core_get_extra_suppression_info and
core_get_error_name as alternatives for tool suppression callbacks.
These functions are used in gen_suppression.

Instead of a tool name, a core error component name is "CoreError".

Two new suppression kinds FdBadCloseSupp and FdNotClosedSupp
were added. Corresponding to the FdBadClose and FdNotClosed
error kinds.

core_error_matches_suppression matches these suppression kinds
with error kinds.

core_get_extra_suppression_info and core_print_extra_suppression_use
are noops for core errors.

is_suppressible_error, supp_matches_error, load_one_suppressions_file
and show_used_suppressions have been adjusted to work with core
error kinds.

A new function VG_(found_or_suppressed_errs) helps to not output
an empty error summary if only core errors are requested, but no
errors were detected.

VG_(clo_track_fds) has been moved from pub_core_options.h to
pub_tool_options.h. And VG_(needs_core_errors) now takes a Bool
that can be set to false in the tool post_clo_init handler. This
is used in the none tool to request core errors, but disable all
reporting if no option has been given that enables such errors.

This make sure only the none/tests/fdleak_ipv4.stderr.exp needs
adjustment. For all other tests the output is exactly as before.

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

14 months agoFix const signedness issue in VG_(show_open_fds)
Mark Wielaard [Fri, 19 Apr 2024 14:59:25 +0000 (16:59 +0200)] 
Fix const signedness issue in VG_(show_open_fds)

The colon variable should be a const HChar.

14 months agoImprove file descriptor xml output, add fd and path elements
Alexandra Hájková [Thu, 18 Apr 2024 09:21:49 +0000 (05:21 -0400)] 
Improve file descriptor xml output, add fd and path elements

Add needs_xml_output to none tool so it can also output xml when
--track-fds enabled.

Use xml protocolversion 5 when clo_track_fds is enabled

Split OpenFD pathname and description. Add description when a file
descriptor is closed so it can be used in a future error. On error
print <fd> element and (if known) a <path> element.

Add docs/internals/xml-output-protocol5.txt.

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

Co-Authored-By: Mark Wielaard <mark@klomp.org>
14 months agoAdd core errors and use them to implement file descriptor tracker
Mark Wielaard [Wed, 20 Mar 2024 05:44:23 +0000 (01:44 -0400)] 
Add core errors and use them to implement file descriptor tracker

All the tool error callbacks now have a core error equivalent.
core errors are negative (while tool errors are positive).
There are two new ones for tracking issues with file descriptors.
FdBadClose (-2) and FdNotClosed (-3).

Add following core error functions with delegates to file descriptor
specific functions (implemented in syswrap-generic):

- core_eq_Error (fd_eq_Error)
  Compares core errors to detect duplicates
- core_before_pp_Error (fd_before_pp_Error)
  Currently prints nothing for known core errors and
  exists with FATAL for unknown core errors
- core_pp_Error (fd_pp_Error)
  For FdBadClose prints the backtraces for the file descriptor was
  opened, where it was originally closed and where it was closed again.
  For FdNotClosed prints where the file descriptor was opened.
- core_update_extra (fd_update_extra)
  Returns the size of the BadCloseExtra or FdNotClosedExtra struct
  which data needs to be saved (the fd number, pathname/description
  and previous backtraces).

We now accept the error (ExeContext) where to be NULL.
This is necessary for reporting not closed file descriptors when
the descriptor is inherited from the parent (so wasn't actually
created and doesn't have a 'where' in the current process code).

All the testcases still pass since the (stderr) output is the
same. But now they count as "real" errors. And so --error-exitcode
does now also work for file descriptor errors or leaks.

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

Co-authored-by: Alexandra Hájková <ahajkova@redhat.com>
14 months agoAdd FreeBSD arm64 to README list of platforms
Paul Floyd [Thu, 18 Apr 2024 18:53:58 +0000 (20:53 +0200)] 
Add FreeBSD arm64 to README list of platforms

14 months agoDon't include pub_tool_tooliface.h in priv_types_n_macros.h
Mark Wielaard [Thu, 18 Apr 2024 15:45:16 +0000 (17:45 +0200)] 
Don't include pub_tool_tooliface.h in priv_types_n_macros.h

post-regtest-checks complains:
*** File coregrind/m_extension/priv_types_n_macros.h must not include pub_tool_tooliface.h

Which isn't really necessary anyway since priv_types_n_macros.h
already includes pub_core_tooliface.h.

14 months agoAdd pub_core_extension.h to coregrind/Makefile.am noinst_HEADERS
Mark Wielaard [Thu, 18 Apr 2024 13:58:37 +0000 (15:58 +0200)] 
Add pub_core_extension.h to coregrind/Makefile.am noinst_HEADERS

14 months agoAdd extension concept and exploit it for s390x `PRNO'
Andreas Arnez [Thu, 18 Apr 2024 11:49:52 +0000 (13:49 +0200)] 
Add extension concept and exploit it for s390x `PRNO'

z/Architecture specifies various "complex" machine instructions whose
register and memory effects cannot be expressed with Valgrind's current
mechanisms.

One example is the PPNO instruction -- "perform pseudorandom number
operation", whose main purpose is to generate a chunk of pseudorandom
data.  When doing so, it reads and writes a so-called "parameter block"
while also writing the variable-sized pseudorandom data itself.  These
memory effects cannot be adequately represented by the IRDirty concept.

Instead of using dirty helpers, a different approach is to treat such
instructions similar to syscalls, adding a new IRJumpKind for this
purpose.

This patch provides an implementation of this approach and an illustration
of its use at the example of PPNO (or its newer instantiation "PRNO").

14 months agos390x: Re-implement `vpdi' without intermediate updates
Andreas Arnez [Tue, 16 Apr 2024 15:24:47 +0000 (17:24 +0200)] 
s390x: Re-implement `vpdi' without intermediate updates

The vpdi instruction is implemented incorrectly for the case where the
result vector coincides with one of the input operands, because it
performs an intermediate update.  An example where this produces wrong
results is for

vpdi    %v3,%v3,%v3,4

where the instruction is used to swap the two halves of %v3.

Fix this by avoiding the intermediate update and using Iop_64HLtoV128
instead.

14 months agoBug 481874 - Add arm64 support for FreeBSD
Paul Floyd [Tue, 16 Apr 2024 05:39:33 +0000 (07:39 +0200)] 
Bug 481874 - Add arm64 support for FreeBSD

14 months agonon-linux regtest: update cmdline expecteds
Paul Floyd [Mon, 15 Apr 2024 05:18:42 +0000 (07:18 +0200)] 
non-linux regtest: update cmdline expecteds

14 months agoAdd Bug 481676 to NEWS
Paul Floyd [Mon, 15 Apr 2024 05:03:23 +0000 (07:03 +0200)] 
Add Bug 481676 to NEWS

Forgot I'd opened a bugzi for the problem.

14 months agoAdd @configure_input@ to all filer files generated by configure
Mark Wielaard [Sun, 14 Apr 2024 21:56:31 +0000 (23:56 +0200)] 
Add @configure_input@ to all filer files generated by configure

This will add a comment at the top of each filter file saying:

 filter_file.  Generated from filter_file.in by configure.

14 months agoMissing edit of filter_gdb.in
Philippe Waroquiers [Sun, 14 Apr 2024 20:54:49 +0000 (22:54 +0200)] 
Missing edit of filter_gdb.in

.exp files were updated to correspond to GDB 15,
filter_gdb being responsible to transform old GDB output to newly
expected output.

Sadly, I edited filter_gdb instead of filter_gdb.in

Tests should succeed again with older GDB.

14 months agoadd_hardwired_spec for ld-linux-x86-64.so.2 strcmp
Florian Weimer [Sun, 14 Apr 2024 19:56:03 +0000 (21:56 +0200)] 
add_hardwired_spec for ld-linux-x86-64.so.2 strcmp

glibc built with -march=x86-64-v3 does not work due to ld.so strcmp

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

14 months agonightly/bin/nightly: Use grep -E instead of egrep
Mark Wielaard [Sun, 14 Apr 2024 19:42:12 +0000 (21:42 +0200)] 
nightly/bin/nightly: Use grep -E instead of egrep

14 months agoEnsure gdbserver tests work with a recent git version of GDB
Philippe Waroquiers [Sun, 14 Apr 2024 19:58:11 +0000 (21:58 +0200)] 
Ensure gdbserver tests work with a recent git version of GDB

Tested with GDB 12, 13, 14 and 15.0.50.20240414

14 months agoensure error output of vgdb relay mode is shown to the GDB user
Philippe Waroquiers [Sun, 14 Apr 2024 19:15:24 +0000 (21:15 +0200)] 
ensure error output of vgdb relay mode is shown to the GDB user

With GDB14.1, when there is more than one valgrind process, 'target remote | vgdb' shows:
  (gdb) tar rem | vgdb
  Remote debugging using | vgdb
  no --pid= arg given and multiple valgrind pids found:
  use --pid=913621 for ./Inst/bin/valgrind --vgdb-stop-at=startup ./gdbserver_tests/sleepers
  use --pid=913622 for ./Inst/bin/valgrind --vgdb-stop-at=startup ./gdbserver_tests/sleepers
  Remote communication error.  Target disconnected: Connection reset by peer.
  (gdb)

With GDB 15.0.50.20240414-git, we obtain:
  (gdb) tar rem | vgdb
  Remote debugging using | vgdb
  Remote communication error.  Target disconnected: error while reading: Connection reset by peer.
  (gdb)

This looks like a race condition:

When vgdb exits due to several pid or due to any other error (e.g. an argument
error), GDB gets a SIGPIPE and closes the pipe to/from vgdb.  To avoid losing
the error messages In such cases, have vgdb wait for the first packet from GDB
before exiting.

With this change, the early errors of vgdb are shown to the user.

Tested on debian, with GDB 12, 13, 15 and 15.0.50.20240414-git.

14 months agoBug 485148 - vfmadd213ss instruction is instrumented incorrectly (the remaining part...
Paul Floyd [Sun, 14 Apr 2024 15:59:30 +0000 (17:59 +0200)] 
Bug 485148 - vfmadd213ss instruction is instrumented incorrectly (the remaining part of the register is cleared instead of kept unmodified)

Initial version contributed by Bruno Lathuilière <bruno.lathuiliere@edf.fr>
Initial test contributed by Petr <kobalicek.petr@gmail.com>

14 months agoFreeBSD syscall: aio_error fails with EINVAL if the aiocb pointer is not accessible.
Paul Floyd [Sun, 14 Apr 2024 14:54:43 +0000 (16:54 +0200)] 
FreeBSD syscall: aio_error fails with EINVAL if the aiocb pointer is not accessible.

14 months agoAvoid format '%u' expect unsigned int warning
Philippe Waroquiers [Sun, 14 Apr 2024 14:28:37 +0000 (16:28 +0200)] 
Avoid format '%u' expect unsigned int warning

14 months agoFreeBSD regtest: fix for scalar sigaltstack
Paul Floyd [Sun, 14 Apr 2024 13:32:41 +0000 (15:32 +0200)] 
FreeBSD regtest: fix for scalar sigaltstack

I was lazy and using pointers to the same struct for the new and old
data (which isn't allowed, the new is 'restrict'). The current gets
copied to the old first so under Valgrind it worked. In the kernel
there are separate structs (which get copied in and copied out) and
it doesn't work.

Maybe we should consider changing VG_(do_sys_sigaltstack) to have at
least one local copy in order to behave like the kernel.

14 months agoAllow to see more details about suppressed errors.
Philippe Waroquiers [Sun, 14 Apr 2024 13:35:16 +0000 (15:35 +0200)] 
Allow to see more details about suppressed errors.

Extend --show-error-list=no|yes with all to allow to look also the
list of suppressed errors and see which supp entry is suppressing it.
Add an option also_suppressed in the monitor command 'c.vinfo all_errors'
to similarly be able to show the suppressed errors.

Small fix in check_makefile_consistency: avoid it considers emacs ~ files.

14 months agoFreeBSD regtest: setcontext only reads the context
Paul Floyd [Sun, 14 Apr 2024 13:31:22 +0000 (15:31 +0200)] 
FreeBSD regtest: setcontext only reads the context

14 months agoIllumos: also has wcpncpy
Paul Floyd [Sat, 13 Apr 2024 19:35:49 +0000 (21:35 +0200)] 
Illumos: also has wcpncpy

14 months agoregtest arm64: add a test for frinta and frintn
Paul Floyd [Sat, 13 Apr 2024 16:19:25 +0000 (18:19 +0200)] 
regtest arm64: add a test for frinta and frintn

Round ties above 0 (frinta) and to even (frintn). Both only scalar.
Vector not yet implemented.

14 months agoUpdate NEWS for bug476025
Paul Floyd [Sat, 13 Apr 2024 14:39:24 +0000 (16:39 +0200)] 
Update NEWS for bug476025

14 months agoamd64: Implement VFMADD213 for Iop_MAddF32 and Iop_MAddF64
Mark Wielaard [Sat, 13 Apr 2024 12:33:19 +0000 (14:33 +0200)] 
amd64: Implement VFMADD213 for Iop_MAddF32 and Iop_MAddF64

Speed up F32 and F64 FMA on amd64. Add priv/host_amd64_maddf.c
implementing h_amd64_calc_MAddF32_fma4 and h_amd64_calc_MAddF64_fma4
to be used instead of the generic variants h_generic_calc_MAddF32
and h_generic_calc_MAddF64 when host has VEX_HWCAPS_AMD64_FMA4.
Add fma3 and fma4 detection m_machine.c (machine_get_hwcaps).

This patch also fixes the memcheck/tests/vcpu_fnfns and
none/tests/amd64/fma testcases when run on a x86-64-v3 system.

Patch contributed by Grazvydas Ignotas <notasas@gmail.com> and
Bruno Lathuilière <bruno.lathuiliere@edf.fr>

https://bugs.kde.org/show_bug.cgi?id=481127
https://bugs.kde.org/show_bug.cgi?id=463463
https://bugs.kde.org/show_bug.cgi?id=463458

14 months agoAdd gethostbyname2_r to glibc-2.X-helgrind.supp.in
Mark Wielaard [Sat, 13 Apr 2024 01:03:26 +0000 (03:03 +0200)] 
Add gethostbyname2_r to glibc-2.X-helgrind.supp.in

This fixes helgrind/tests/getaddrinfo with glibc-2.28 which might
use gethostbyname2_r.

14 months agoregtest arm64: fixes for arm64 clang, part 5
Paul Floyd [Fri, 12 Apr 2024 18:50:39 +0000 (20:50 +0200)] 
regtest arm64: fixes for arm64 clang, part 5

last one for now
clang assembler not accepting sqrdmlah v0.4h, v1.4h, v2.4h[0]
It wants sqrdmlah v0.4h, v1.4h, v2.h[0]

14 months agoregtest arm64: fixes for arm64 clang, part 4
Paul Floyd [Fri, 12 Apr 2024 18:43:18 +0000 (20:43 +0200)] 
regtest arm64: fixes for arm64 clang, part 4

clang assembler being picky about unneeded annotations such as
LSL #0 but then insisting on a .0 that gas infers.

14 months agoregtest arm64: fixes for arm64 clang, part 3
Paul Floyd [Fri, 12 Apr 2024 18:28:05 +0000 (20:28 +0200)] 
regtest arm64: fixes for arm64 clang, part 3

clang assembler refuses to accept scvtf with q regs where v regs
should be used (again the arm manual agrees).

14 months agoregtest arm64: fixes for arm64 clang, part 2
Paul Floyd [Fri, 12 Apr 2024 18:14:18 +0000 (20:14 +0200)] 
regtest arm64: fixes for arm64 clang, part 2

More clang moans about using int where long long is expected
Also clang assembler refuses to accept opcodes like sub x21,x22,x23,sxtb
According to the arm manual it is right and it should be
sub x21,x22,w23,sxtb.
I asked on the LLVM discourse and they said they preferred to be strict
and unambiguous.

14 months agoregtest arm64: fixes for arm64 clang, part 1
Paul Floyd [Fri, 12 Apr 2024 17:59:35 +0000 (19:59 +0200)] 
regtest arm64: fixes for arm64 clang, part 1

clang warns about using integers where long longs are expected.
Secondly a few of the tests read the executable text. clang uses
different registers than GCC which causes a diff. Hence another
expected. The tests are potentially flaky so if we see instability
we need to modify the test.

14 months agolinux arm64: fix build with clang
Paul Floyd [Fri, 12 Apr 2024 10:50:07 +0000 (12:50 +0200)] 
linux arm64: fix build with clang

Same issue as https://bugs.kde.org/show_bug.cgi?id=421321
but with clang.

14 months agoAdd new helgrind race suppression for pth_mempcpy_false_races
Mark Wielaard [Fri, 12 Apr 2024 13:18:51 +0000 (15:18 +0200)] 
Add new helgrind race suppression for pth_mempcpy_false_races

In glibc 2.39+ the internal __printf_buffer_write might use memmove
instead of a memcpy variant. Add an extra suppression variant using
memmove.

This makes pth_mempcpy_false_races pass again.

See also https://bugs.kde.org/show_bug.cgi?id=450962

14 months agoAdd support for expensive cmpgt into vbits
Eyal Soha [Wed, 25 Oct 2023 03:52:56 +0000 (21:52 -0600)] 
Add support for expensive cmpgt into vbits

14 months agoAdd __set_vma_name suppression to drd/tests/std_thread2.supp
Mark Wielaard [Thu, 11 Apr 2024 17:48:22 +0000 (19:48 +0200)] 
Add __set_vma_name suppression to drd/tests/std_thread2.supp

glibc uses a atomic var to set whether the kernel supports
PR_SET_VMA_ANON_NAME. This looks like a conflicting access to drd.
Suppress it for this testcase.

14 months agoAdd memcheck/tests/linux/capget.stderr.exp4 variant
Mark Wielaard [Thu, 11 Apr 2024 16:29:01 +0000 (18:29 +0200)] 
Add memcheck/tests/linux/capget.stderr.exp4 variant

Add an expect file for capget where the inheritable bits are set,
when run as root.

14 months agoFreeBSD Helgrind: suppression for libstdc++ std::mutex::lock()
Paul Floyd [Mon, 8 Apr 2024 18:43:10 +0000 (20:43 +0200)] 
FreeBSD Helgrind: suppression for libstdc++ std::mutex::lock()

14 months agoDon't call vg_assert inside sync_signalhandler_from_kernel
Mark Wielaard [Fri, 5 Apr 2024 13:23:32 +0000 (15:23 +0200)] 
Don't call vg_assert inside sync_signalhandler_from_kernel

Calling vg_assert inside a core signal handler will mess up the core
backtrace. Making it even harder to find bugs in the core.

14 months agoUpdate libiberty demangler
Mark Wielaard [Wed, 3 Apr 2024 21:13:02 +0000 (23:13 +0200)] 
Update libiberty demangler

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

This update includes:

* c++: mangle noexcept-expr [PR70790]
* c++: Fix templated convertion operator demangling
* c++: constrained hidden friends [PR109751]
* c++: mangle function template constraints
* Update copyright years.
* c++, demangle: Implement
  https://github.com/itanium-cxx-abi/cxx-abi/issues/148
  non-proposal
* libiberty: Invoke D demangler when --format=auto

14 months agoregtest: Add arm64 dir to DIST_SUBDIR
Paul Floyd [Wed, 3 Apr 2024 18:03:29 +0000 (20:03 +0200)] 
regtest: Add arm64 dir to DIST_SUBDIR

New directory was missing in memcheck/tests/Makefile.am

14 months agoBug 484935 - [patch] Valgrind reports false "Conditional jump or move depends on...
Paul Floyd [Wed, 3 Apr 2024 06:32:12 +0000 (08:32 +0200)] 
Bug 484935 - [patch] Valgrind reports false "Conditional jump or move depends on uninitialised value" errors for aarch64 signal handlers

Patch contributed by Peter Edwards <peadar@arista.com>

Testcase modified and added to a new directory, memcheck/tests/arm64

14 months agolinux regtest: merge the two prereq lines in memcheck sys-preadv2_pwritev2.vgtest
Paul Floyd [Tue, 2 Apr 2024 17:15:47 +0000 (19:15 +0200)] 
linux regtest: merge the two prereq lines in memcheck sys-preadv2_pwritev2.vgtest

I think only the last one gets used.

14 months agoregtest: fixes for old GCC versions
Paul Floyd [Tue, 2 Apr 2024 11:36:31 +0000 (13:36 +0200)] 
regtest: fixes for old GCC versions

Seen on arm64 with GCC 4.8.2

14 months agoregtest: one last change to none fdleak filter for arm64 linux
Paul Floyd [Mon, 1 Apr 2024 18:06:32 +0000 (20:06 +0200)] 
regtest: one last change to none fdleak filter for arm64 linux

14 months agoregtest: another fdleak filter in none/tests
Paul Floyd [Mon, 1 Apr 2024 17:59:20 +0000 (19:59 +0200)] 
regtest: another fdleak filter in none/tests

14 months agoFreeBSD DRD and Helgrind: add sem_clockwait_np wrappers
Paul Floyd [Sun, 31 Mar 2024 16:04:04 +0000 (18:04 +0200)] 
FreeBSD DRD and Helgrind: add sem_clockwait_np wrappers

Helgrind wrapper was complicated because sem_wait calls
sem_clockwait_np.

14 months agoDarwin: fix warning about unused Helgrind sem_timedwait wrapper
Paul Floyd [Sun, 31 Mar 2024 09:23:49 +0000 (11:23 +0200)] 
Darwin: fix warning about unused Helgrind sem_timedwait wrapper

14 months agoBug 484480 - False positives when using sem_trywait
Paul Floyd [Sat, 30 Mar 2024 15:31:12 +0000 (16:31 +0100)] 
Bug 484480 - False positives when using sem_trywait

14 months agoSolaris regtest: fix build of none socket_close
Paul Floyd [Sat, 30 Mar 2024 14:16:55 +0000 (15:16 +0100)] 
Solaris regtest: fix build of none socket_close

Also add to filter_fdleak

14 months agoSolaris: remove syscall close POST
Paul Floyd [Sat, 30 Mar 2024 12:25:13 +0000 (13:25 +0100)] 
Solaris: remove syscall close POST

And move the extra stuff that it did into PRE

14 months agoDarwin: add missing necp pieces
Paul Floyd [Fri, 29 Mar 2024 15:18:41 +0000 (16:18 +0100)] 
Darwin: add missing necp pieces

14 months agoDarwin regtest: add prereq for helgrind/tests/bug322621
Paul Floyd [Fri, 29 Mar 2024 14:50:03 +0000 (15:50 +0100)] 
Darwin regtest: add prereq for helgrind/tests/bug322621

It needs pthread_barrier which Darwin doesn't have

14 months agoDarwin: Helgrind suppressions for macOS 10.13
Paul Floyd [Fri, 29 Mar 2024 13:16:06 +0000 (14:16 +0100)] 
Darwin: Helgrind suppressions for macOS 10.13

15 months agoFreeBSD regtest: timerfd_settime has 4 args not 3
Paul Floyd [Fri, 29 Mar 2024 07:56:04 +0000 (08:56 +0100)] 
FreeBSD regtest: timerfd_settime has 4 args not 3

15 months agoregtest: rename none/tests/arm64/memory
Paul Floyd [Fri, 29 Mar 2024 06:33:29 +0000 (07:33 +0100)] 
regtest: rename none/tests/arm64/memory

This directory now contains a C++ test. 'memory' is also the name
of a C++ header. The include paths include ".". All that means that
if 'memory' builds before 'bug484426' then bug484426.cpp will try to
include the binary executable file 'memory' from the same directory
and not the header somewhere under /usr/include.

15 months agoBug 484426 - aarch64: 0.5 gets rounded to 0
Paul Floyd [Thu, 28 Mar 2024 19:55:38 +0000 (20:55 +0100)] 
Bug 484426 - aarch64: 0.5 gets rounded to 0

15 months agos390x: Update tracking of implemented insns for z16
Andreas Arnez [Wed, 27 Mar 2024 18:35:43 +0000 (19:35 +0100)] 
s390x: Update tracking of implemented insns for z16

List the instructions first introduced with z16 in s390-opcodes.csv.  Also
mention the unimplemented ones in guest_s390_toIR.c and add new extended
mnemonics to the script s390-check-opcodes.pl.  For ease of use, add
support for invoking the script without command line arguments.

15 months agos390x: Add support for NNPA facility vector instructions
Andreas Arnez [Wed, 27 Mar 2024 11:44:37 +0000 (12:44 +0100)] 
s390x: Add support for NNPA facility vector instructions

Add support for the vector instructions introduced with the NNPA facility,
i.e, VCNF, VCLFNH, VCFN, VCLFNL, and VCRNF.  These instructions convert
floating-point data between the usual binary FP format (IEEE) and the
NNPA-specific format.  Implement them with dirty helpers.

The NNPA instruction itself will be addressed with a separate patch.

15 months agocoverity: one dead code, one unread assignment and one NULL check
Paul Floyd [Thu, 28 Mar 2024 16:14:14 +0000 (17:14 +0100)] 
coverity: one dead code, one unread assignment and one NULL check

15 months agocoverity: dead code and overflows
Paul Floyd [Thu, 28 Mar 2024 08:06:23 +0000 (09:06 +0100)] 
coverity: dead code and overflows

Overflows deliberate. Dead code probably not.

15 months agoDarwin syscall: and now necp_client_action
Paul Floyd [Wed, 27 Mar 2024 20:09:11 +0000 (21:09 +0100)] 
Darwin syscall: and now necp_client_action

Also from Louis Brunner and also on 10.13 at least

15 months agoDarwin: add syswrap for necp_open
Paul Floyd [Wed, 27 Mar 2024 20:01:20 +0000 (21:01 +0100)] 
Darwin: add syswrap for necp_open

From Louis Brunner. It's marked for 10.15 in his repo but I get
--50575-- WARNING: unhandled amd64-darwin syscall: unix:501
on 10.13

15 months agoDarwin DRD: suppressions for macOS 10.13
Paul Floyd [Wed, 27 Mar 2024 19:51:02 +0000 (20:51 +0100)] 
Darwin DRD: suppressions for macOS 10.13

15 months agoDawrin regtest: mostly more filtering
Paul Floyd [Wed, 27 Mar 2024 14:53:42 +0000 (15:53 +0100)] 
Dawrin regtest: mostly more filtering

Changed str_tester to always call memcmp. Apple clang 10 seems
to evaluate some of these at compile time, and gets it wrong.
The runtime gets it right.

15 months agoDarwin regtest: add suppression for zone memalign
Paul Floyd [Wed, 27 Mar 2024 12:52:02 +0000 (13:52 +0100)] 
Darwin regtest: add suppression for zone memalign

15 months agoDarwin: merge some fixes for macOS up to 10.13
Paul Floyd [Wed, 27 Mar 2024 12:41:37 +0000 (13:41 +0100)] 
Darwin: merge some fixes for macOS up to 10.13

From https://github.com/LouisBrunner/valgrind-macos
Thanks, Louis Brunner

Before
== 742 tests, 312 stderr failures, 93 stdout failures, 0 stderrB failures, 0 stdoutB failures, 4 post failures ==

After
== 748 tests, 293 stderr failures, 71 stdout failures, 0 stderrB failures, 0 stdoutB failures, 4 post failures ==

15 months agoregtest: filter line numbers from memcheck tests that count suppressions
Paul Floyd [Wed, 27 Mar 2024 12:38:21 +0000 (13:38 +0100)] 
regtest: filter line numbers from memcheck tests that count suppressions

Now only one suppression file needed per test - no need for 32bit
versions. Need to use the same tag for each suppression variant though.

15 months agoDarwin regtest: fix build of memcheck rh2257546_128 and rh2257546_256
Paul Floyd [Wed, 27 Mar 2024 09:38:28 +0000 (10:38 +0100)] 
Darwin regtest: fix build of memcheck rh2257546_128 and rh2257546_256

No malloc.h

15 months agoBug 474160 - If errors-for-leak-kinds is specified, exit-on-first-error should only...
Eyal Soha [Tue, 2 Mar 2021 21:42:38 +0000 (14:42 -0700)] 
Bug 474160 - If errors-for-leak-kinds is specified, exit-on-first-error should only exit on one of the listed errors.

It's possible for the user to specify in the memcheck that some errors
should not cause an exit with the error-exitcode value.  For those
errors which would not cause an error exitcode, do not count them for
the purposes of exiting after the first error.

15 months agoBug 484002 - Add suppression for invalid read in glibc's __wcpncpy_avx2() via wcsxfrm()
Paul Floyd [Wed, 20 Mar 2024 20:22:37 +0000 (21:22 +0100)] 
Bug 484002 - Add suppression for invalid read in glibc's __wcpncpy_avx2() via wcsxfrm()

This needed a redirect, not a suppression.

15 months agoFreeBSD regtest: make bug483786 test a bit safer
Paul Floyd [Sun, 17 Mar 2024 07:36:08 +0000 (08:36 +0100)] 
FreeBSD regtest: make bug483786 test a bit safer

The uninit struct timespec can have large values so set it to 0
and use VALGRIND_MAKE_MEM_UNDEFINED to trigger the error.

15 months agoFreeBSD regtest: add a test for interrupted clock_nanosleep
Paul Floyd [Sun, 17 Mar 2024 07:01:48 +0000 (08:01 +0100)] 
FreeBSD regtest: add a test for interrupted clock_nanosleep

Also add missing files for bug483786

15 months agoBug 483786 -- Incorrect parameter indexing in FreeBSD clock_nanosleep syscall wrapper
Paul Floyd [Sun, 17 Mar 2024 06:41:42 +0000 (07:41 +0100)] 
Bug 483786 -- Incorrect parameter indexing in FreeBSD clock_nanosleep syscall wrapper

15 months agoFreeBSD regtest: change scalar so it runs OK in vgtest and a shell
Paul Floyd [Sun, 17 Mar 2024 06:07:43 +0000 (07:07 +0100)] 
FreeBSD regtest: change scalar so it runs OK in vgtest and a shell

15 months agoregtest: broaden one expected and one test suppression file
Paul Floyd [Sat, 16 Mar 2024 18:49:57 +0000 (19:49 +0100)] 
regtest: broaden one expected and one test suppression file

For linux arm.

15 months agoregtest: use in 'if' in memcheck/tests/manuel1
Paul Floyd [Sat, 16 Mar 2024 16:00:17 +0000 (17:00 +0100)] 
regtest: use in 'if' in memcheck/tests/manuel1

clang tends to use cmov and csel instructions with the result
that the undefinedness propagates into the printf with a variable
number of errors.

15 months agoAdd rh2257546_* to .gitignore
Paul Floyd [Sat, 16 Mar 2024 08:22:18 +0000 (09:22 +0100)] 
Add rh2257546_* to .gitignore

15 months agoregtest: add creat64 to debuginfo sdleak filters
Paul Floyd [Sat, 16 Mar 2024 07:48:10 +0000 (08:48 +0100)] 
regtest: add creat64 to debuginfo sdleak filters

All tests in none for pass for me on F39 amd64 with debuginfo
installed.

15 months agoresgtest: close inherited file desctiptors in none file_dclose and socket_close
Paul Floyd [Fri, 15 Mar 2024 21:15:25 +0000 (22:15 +0100)] 
resgtest: close inherited file desctiptors in none file_dclose and socket_close

15 months agoregtest: change rh2257546_256 prereq
Paul Floyd [Fri, 15 Mar 2024 18:56:20 +0000 (19:56 +0100)] 
regtest: change rh2257546_256 prereq

Need to check for machine cpu capabilities. configure will build
avx and avx2 as long as the assembler supports them.

15 months agoHandle gcc __builtin_strcmp using 128/256 bit vectors with sse4.1, avx/avx2
Julian Seward [Mon, 11 Mar 2024 16:53:14 +0000 (17:53 +0100)] 
Handle gcc __builtin_strcmp using 128/256 bit vectors with sse4.1, avx/avx2

* amd64 front end: redo the translation into IR for PTEST, so as to
  use only IROps which we know Memcheck can do exact instrumentation
  for.  Handling for both the 128- and 256-bit cases is has been
  changed.

* ir_opt.c: add some constant folding rules to support the above.  In
  particular, for the case `ptest %reg, %reg` (the same reg twice), we
  want rflags.C to be set to a defined-1 even if %reg is completely
  undefined.  Doing that requires folding `x and not(x)` to zero when
  x has type V128 or V256.

* memcheck/tests/amd64/rh2257546_{128,256}.c: new test cases

https://bugzilla.redhat.com/show_bug.cgi?id=2257546

15 months agoAdjust filter_fdleak for glibc debuginfo
Mark Wielaard [Fri, 15 Mar 2024 12:03:58 +0000 (13:03 +0100)] 
Adjust filter_fdleak for glibc debuginfo

With glibc debuginfo installed we might see syscal-template.S or
close.c replace that with "in ...libc...".

15 months agoMake sure socket file is created in socket_close testcase
Mark Wielaard [Fri, 15 Mar 2024 11:55:23 +0000 (12:55 +0100)] 
Make sure socket file is created in socket_close testcase

If the socket file already existed the path name wouldn't be recorded.
Explicitly unlink it before opening and binding the socket.  Adjust
none/tests/socket_close.stderr.exp for new path name and line numbers.

15 months agofdleaks: remove a VG(printf)
Paul Floyd [Fri, 15 Mar 2024 07:01:30 +0000 (08:01 +0100)] 
fdleaks: remove a VG(printf)

This was causing a few regtest failures for me

15 months agoregtest: un-inline fdleak close_inherited
Paul Floyd [Thu, 14 Mar 2024 07:12:23 +0000 (08:12 +0100)] 
regtest: un-inline fdleak close_inherited

I don't understand why but clang on FreeBSD arm64 seemed to
optimize away the 'stat' check. That caused failures due
to incorrect duplicate close errors.

15 months agoFreeBSD DRD: remove pthread_create suppression
Paul Floyd [Wed, 13 Mar 2024 21:16:31 +0000 (22:16 +0100)] 
FreeBSD DRD: remove pthread_create suppression

This is far too general. If a suppression is needed it needs to be much
more specific.

15 months agoFreeBSD syscall: improve closefrom to make it similar to cloase_range
Paul Floyd [Wed, 13 Mar 2024 20:34:08 +0000 (21:34 +0100)] 
FreeBSD syscall: improve closefrom to make it similar to cloase_range

Was missing ML_(record_fd_close) calls for the fds.