Bug 401284 - False positive "Source and destination overlap in strncat"

Need to also look at strlcat and plain strcat.

regtest: add a deliberately false address to drd and helgrind getaddrinfo

Make sure that at least one call fails.

linux regtest: reallocarray was only added in glibc 2.29

Add a feature check

Bug 475498 - Add reallocarray wrapper

massif regtest: add an existence check to overloaded-new

For old old compilers that don't have aligned new

massif regtest: add 'pool' to ignore functions for Arch Linux

massif regtest: typo in Makefile.am

Bug 476535 - Difference in allocation size for massif/tests/overloaded-new between clang++/libc++ and g++/libstdc++

In the end all I could do was filter the results.

libc++ and libstdc++ allocate different sizes of stuff for their own usr.
That means that when we get to allocating aligned blocks there is some
slop (up to the alignment size) that gets counted. And the amount of
that slop depends on the prior (internal) allocations.

massif regtest: stray space in expected

massif regtest: make verbose tests work on both 32bit and 64bit

Now alloc fns only have the appropriate new overloads which
means 32bit has unsigned size but 64bit has unsigned long.
Filter the unsigned long to unsigned.

massif regtest: update aloc fns in verbose expecteds

massif regtest: try adding a new expected for overloaded-new

Added a filter for "pool" that's used on Arch Linux
I'm not too confident that the new expected will work for
all architectures or even versions of libstdc++

massif: clean up alloc functions

Missed out aligned_alloc
Left in the alignment argument name and didn't use east const for
nothrow.

massif regtest: keep churning with overloaded-new test

Solaris 11.3 doesn't have aligned_alloc so remove it.

In any case I think it's better to use dummy allocators since
that means there is no risk of accidentally falling through
to malloc/free.

massif regtest: use the correct aligned delete overloads

Still trying to see why libstdc++ and libc++ allocate different amounts

massif regtest: remove overloaded-new.post.exp-freebsd

There was a duplicate at the end of the list

massif regtest: fix building aligned new overloads with pre-C++17 compilers

FreeBSD: remove some massif regtest expecteds

These were added mainly to have a cleanish slate with GCC on FreeBSD.
Unfortunately FreeBSD doesn't have dependent packages, so no debuginfo
for libstdc++ and the GCC port libstdc++ is stripped. That means that
the filters for internal GCC allocations don't work.

Since I hardly use GCC any more I'm getting rid of these expecteds.

massif: add C++ aligned operator new to allocator functions

Also make the unsigned (32bit) and unsigned long (64bit) for size_t
conditional on the wordsize.

Do not run memcheck/tests/x86-linux/scalar when root

The test expects some syscalls to fail, but when run as root
the user actually has permission to do silly things. So skip
the test if we notice we are root.

Non-FreeBSD regtest: fix build of memcheck/tests/x86/pcmpgt

As suggested by Mark Wielaard. It looks like AM conditionals
behave as though they have an implicit, empty, else.

Bug 476320 - Build failure with GCC

A few fixes for building regression tests with GCC on FreeBSD.

Update version to 3.23.0.GIT, split NEWS files and create NEWS.older

-> 3.22.0 final

regtest: run memcheck overlap test on non-linux amd64 platforms

Disable memcpy overlap check and test on amd64 linux

Almost all newer distros have ifunc based memcpy/memmove glibc
implementation which cause false positives. Disable the overlap check
and test on these systems for now.

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

Clear vbits after the test is done.

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

bug340392 doesn't work on power because of bug352364

Add a prereq to bug340392.vgtest to skip on Power for now.

Set version to 3.22.0-RC2

s390x regtest: Activate 128 bit SIMD tests for s390x in vbit-test

The vbit-test test case is currently configured to exclude s390x from the
platforms that execute the 128 bit SIMD irop tests.  Since there's no
known issue with those, they can be activated on s390x as well.

Add new exp files to EXTRA_DIST in memcheck/tests/Makefile.am

Add x86 variant of origin5-bz2.stderr.exp-glibc25-amd64-b

This matches the expected output on newer fedora 32bit x86.

Add 32bit variant of new_aligned_delete_default.stderr.exp

On 32bit architectures sized delete takes an unsigned int instead of
an unsigned long as first argument.

vg_replace_malloc DELETE should not check size

The DELETE replacement functions check the size argument, but this
doesn't actually exist.  Only the DELETE_SIZED replacement functions
get a size (and should check it).

On i386 (fedora gnu/linux) this causes the following failures:

memcheck/tests/cxx17_aligned_new         (stderr)
memcheck/tests/leak_cpp_interior         (stderr)
memcheck/tests/mismatches                (stderr)
memcheck/tests/mismatches_xml            (stderr)
memcheck/tests/new_aligned_delete_default (stderr)
memcheck/tests/new_nothrow               (stderr)
memcheck/tests/realloc_size_zero_mismatch (stderr)

All showing "size" being undefined:

+Conditional jump or move depends on uninitialised value(s)
+   at 0x........: ...operator delete[]... (vg_replace_malloc.c:...)

or

+Mismatched new/delete size value: 4
+   at 0x........: ...operator delete... (vg_replace_malloc.c:...)

Oddly no other architecture seems to show issues. Maybe we just got lucky?

This patch fixes the issues on i386 (and shows no regressions on x86_64)

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

Change the vbit test specification for Iop_CmpGT64Ux2

The test should be specified as UNDEF_UNKNOWN not UNDEF_ALL_64x2.
No architectures should be enaabled for the test.

Revert "Bug 476025 - Powerpc, update expected results for the vbit-test"

This reverts commit 5396fc8d0197e843657736ef8f7d9774400980c9.

The commited expect file is completely wrong.

Bug 476025 - Powerpc, update expected results for the vbit-test

In commit:

  commit 26a3abd27db2ef63dafea1ecab00e8239f341f0f
  Author: Eyal Soha <eyalsoha@gmail.com>
  Date:   Thu Feb 10 09:52:54 2022 -0700

      Bug 432801 - Valgrind 3.16.1 reports a jump based on uninitialized
      memory somehow related to clang and signals

      Add support for precise computation of SIMD greater-than on
      amd64 and x86.

      This adds support for 64bit, 16bit, and 8bit to the existing 32bit
      support.

The Iop_CmpGT64Ux2 is only supported on PPC32 and PPC64.  The above
commit adds a more precise method, expensiveCmpGT, for setting the
vibits for the Iop_CmpGT64Ux2 Iop.

The expected results for the vbit test were not updated to the new more
precise results.  This patch updates the expected results for the Iop.

Patch tested on Power 10.

Add arm-linux build artifacts to .gitignore

Add new drd/tests/thrd_create test to .gitignore

s390x: Adjust .gitignore after commit 7cf98163adb3f

The executable of the new test case memcheck/tests/s390x/cli hasn't been
added to .gitignore yet.  Do this now.

Update NEWS to reflect Clang support for s390x

Small update in NEWS to reflect that Bug 465782 is fixed.

s390x regtest: Fix memcheck tests for cu21 and cu42 with Clang

When compiled with Clang, the s390x memcheck tests for cu21 and cu42 yield
different line number information for the inline assemblies.  Using gcc,
the inline assemblies do not receive updated line number information
because they are phrased as if they were data, not code.  See also the
discussion in https://sourceware.org/bugzilla/show_bug.cgi?id=30206

Fix this by rephrasing the inline assemblies in cu21 and cu42 to normal
instructions, using the respective mnemonics.  Since this affects the line
number information, adjust the expected test output files as well.

s390x: Fix memcheck false positives with certain comparisons

Consider this structure definition:

  struct s {
    unsigned b : 1;
    unsigned c : 1;
  } x;

Then certain compiler optimizations for a big-endian system may transform
the test

  if (x.b || x.c)
     ...

into a comparison `> 0x3f' of the structure's first byte.  Indeed, the
result of this comparison only depends on the two highest bits of the
byte.  Thus, even if the lower bits are undefined, memcheck shouldn't
complain, but it does.

For certain cases this can be fixed.  Do this by detecting comparisons
like this in the condition code helper for S390_CC_OP_UNSIGNED_COMPARE and
transforming them to a test for the selected bits instead.  Add a small
test to verify the fix.

Set version to 3.22.0-RC1

Bug 475652 - Missing suppression for __wcsncpy_avx2 (strncpy-avx2.S:308)?

Adds a replace strmem wrapper for wcsncpy

Whilst doing this I noticed that

memcheck/tests/filter_memcheck

wasn't filtering memcheck/tests/freebsd/timingsafe properly.
That's because before filtering vg_replace_strmem.c and
vg_replace_malloc.c there's a check that the test exe filename
does not match the line. In this case the test exe was "timingsafe",
but line contained "timingsafe_memcmp", which matched leaving
vg_replace_strmem.c unfiltered. So I just renamed the testcase.

configure.ac: Convert the thrd_create() test from C++ to C

drd/tests/thrd_create: Convert from C++ to C

FreeBSD regtest: add required library for C11 threads

drd: Add support for C11 thrd_create()

illumos: finish refactoring of DRD internal client requests.

memcheck: add checking that new aligned is not deallocated by plain delete

memcheck: Fix a typo in aligned alloc error suppression check

Also update corresponding testcase

DHAT: only handle own user reqs, ignore others

Make other tools consistent with this as well
(using memcheck as the model). Also refactored
the DRD user req names to make it clearer which
are Valgrind user reqs, which are DRD public
user reqs and which are DRD internal user reqs.

coverity: last of the unsigned >= 0 warnings

Also a bit of struct space saving thanks to pahole

Bug 390871 - ELF debug info reader confused with multiple .rodata* sections

Revert "Bug 390871 - ELF debug info reader confused with multiple .rodata* sections"

This reverts commit 5472a7a54000692f9f58e9b551d36b8c68c44873.

Bug 390871 - ELF debug info reader confused with multiple .rodata* sections

coverity: most of the remaining unsigned comparisons >= 0 warnings

Minor tweaks for Python tooling updates.

Annoying that these are necessary, but that seems to be standard for
this stuff.

Implement DW_OP_{bregx,consts,const8s,const8u,constu} in dwarfexpr_to_dag

readdwarf.c (dwarfexpr_to_dag) didn't hanle various DW_OP expressions
causing Warning: DWARF2 CFI reader: unhandled DW_OP_ opcode and errors
m_debuginfo/readdwarf.c:2822 (copy_convert_CfiExpr_tree): Assertion
'srcix >= 0 && srcix < VG_(sizeXA)(srcxa)' failed.

Implement DW_OP_bregx and DW_OP_consts as reported in bug #461074.
Also add implementations for DW_OP_const8s, DW_OP_const8u and
DW_OP constu.

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

coverity: most of the remaining unsigned >= 0 comparison warnings

cachegrind: exit with error if line size or associativity is zero

Detected with Coverity

coverity: use some event tags and ensure some shift expression size promotion

The shifts are protected by tests so there was no risk.

coverity: mostly unsigned >= 0 comparisons

coverity: lots of checks that unsigned are >= 0 which is always true

Also put back the isFF flag initialization (used for FreeBSD
non-fixed RO ELF segmentd) . I had intended to delete it but
in the end kept it for traces but had already deleted the init code.

s390x: Make z16 machine model known to Valgrind

The z16 machine model hasn't been fully introduced to Valgrind yet.  Add
the missing support:

* Add z16 to the list of machine models in each of `libvex.h',
  `tests/s390x_features.c', and `s390-check-opcodes.pl'.

* Starting with z16, the "store facility list extended" (STFLE)
  instruction can write four instead of three words.  Reflect this in the
  STFLE-helper and in the `stfle' test case.

* Pass the new STFLE-bits unchanged, except for the vector-packed-decimal
  facility, which is unsupported by Valgrind.

s390x regtest: Adjust vec2_float for Clang

The vec2_float test case doesn't compile with Clang, due to two issues:

* Clang doesn't correctly support `long double' vectors, as documented in
  this GitHub issue: https://github.com/llvm/llvm-project/issues/61291

* llvm-as behaves differently from gas for the reserved field in the
  `.insn vrr' directive.  Instead of inserting the given data from the
  first operand, it initializes the reserved field with zeros.

Circumvent these issues.

s390x regtest: Additional test case fixes

While fixing Clang compilation issues, I noticed additional problematic
constructs in s390x test cases, some of which are uncovered with compiler
optimization options such as -O3:

* `bic.c' relies on an int to be sign-extended when passing it in a
  register to an inline-assembly.

* `cksm.c' clobbers a register in an inline assembly without specifying
  that.

* `cu12.c' and `cu14.c' read the variable `pattern1' beyond its size.

* `mvst.c' modifies input operands in inline assemblies.

* `srnmb.c' relies on Valgrind's error message for a bad rounding mode to
  point to the line number where get_rounding_mode() is called, not to the
  function itself.

* `stfle.c' has a code path with an uninitialized variable that may cause
  a compiler warning.

* `stmg.c' modifies r15 in an inline assembly and doesn't expect the
  compiler to use r15 as the base address for an input operand.

* Various inline assemblies use the "=m" constraint even when the
  instruction only supports more restricted address operands.

Fix all of the above.  For consistency and clarity, avoid the "=m"
constraint even when it would be applicable.

s390x regtest: Refactor mul test cases for Clang support

The mul test case crashes when compiled with clang because of register
clashes in some inline assemblies.  Obviously clang does not treat
register clobbers as "early clobbers", but sometimes uses the same
registers for inputs as well.

Rewrite the inline assemblies in mul.h to avoid this issue.  Also, reduce
the code duplication in the process.  Adjust mul_GE.c accordingly.  Keep
the expected output for all mul test cases the same as before.

s390x regtest: Adjust op00 and op_exception tests for Clang

As part of fixing Bug 465782, adjust the op00 and op_exception tests.

The op00 test case doesn't compile with clang because the .hword assembler
directive is not known to llvm-as.  When replacing it with .short, the
test case fails because clang/llvm-as generates different line number
information from gcc/gas.  Using gcc, Valgrind's error message locates the
unrecognised instruction

   at 0x........: main (op00.c:3)

whereas with clang, it shows:

   at 0x........: main (op00.c:4)

The asm statement in op00.c is indeed located at line 4, so when compiling
with gcc, the indicated line number is just wrong.  This is because gas
only updates line number information for instruction directives, not for
directives like `.short' as used here.  See also the discussion in
https://sourceware.org/bugzilla/show_bug.cgi?id=30206

The same applies to the op_exception test case, where `.long' is used to
emit illegal instructions.

Make these test cases independent from this difference, by replacing the
`.short' and `.long' directives by equivalent `.insn' directives.  Also
drop the unnecessary duplication of op00.stderr.exp.

s390x regtest: Adjust various test cases for Clang

There are various issues when compiling the s390x test cases with
Clang (see Bug 465782):

* Bugs in inline assemblies tolerated/obscured by GCC:

  - "d" (or "r") constraint instead of "a" where a register from 1-15 is
    needed
  - mix-up between vector register and general register in inline assembly
  - too unspecific constraints such as "m" or "g"
  - use of input operand for output
  - missing register clobber declaration

* Missing Clang features:

  - "%R" (register) and "%O" (offset) modifiers with address constraints
    in inline assemblies
  - variable-length array within a struct

* Use of the -mlong-double-128 command line option -- has been redundant
  for some time with GCC, and Clang only supports 128-bit long double

* Bad definition of _FPU_SETCW/_FPU_GETCW in <fpu_control.h>
  (See https://sourceware.org/bugzilla/show_bug.cgi?id=30130)

* Use of pow() function without linking libm -- GCC optimizes the call
  away, while Clang keeps a reference to pow()

Perform appropriate changes to the test cases such that they can be
compiled both with Clang and with GCC.

README / comments: update debugging advice

And add an explanation for the odd FreeBSD amd64 startup stack alignment.

FreeBSD: fix reading debuginfo of the tool itself

Not sure if this was ever functional since I started working on it,
but FreeBSD parse_procselfmaps doesn't handle the RW PT_LOAD
correctly. Also since FreeBSD was ignoring non-fixed RO PT_LOAD
mappings ML_(read_elf_object) didn't see the right number of
debuginfo mappings compared to the ELF header.

The code is fairly hacky and brute force.

debuginfo.c: Add more hooks for lazy loading debuginfo

Add calls to di_load_di in search_one_{symtab,loctab,cfitab} to ensure
that debuginfo is always loaded before searching these tables.

This fixes a bug introduced in commit 60f7e89ba32 that results in
callgrind failing to read source filenames from debuginfo.

Also add a test which checks that callgrind successfully finds a
filename from debuginfo.

Co-Authored-By: Philippe Waroquiers <philippe.waroquiers@skynet.be>

Try to find section .opd in read_elf_object

read_elf_debug skips checking for .opd ELF section, causing
assert failures on PPC BE.

This patch adds the missing check for .opd.

FreeBSD: update README.freebsd

Remove specific version numbers for availability.
Add more details about releases of devel/valgrind and
devel/valgrind-devel

Darwin: fix build with lazy debuginfo reading

Needs the macho reader, not ELF.

FreeBSD: add intercepts to timingsafe variants of memcmp and bcmp

FreeBSD: refactor VG_(load_all_debuginfo)

Thanks to Philippe Waroquiers for the suggestion

Bug 432801 - Valgrind 3.16.1 reports a jump based on uninitialized memory somehow related to clang and signals

Add support for precise computation of SIMD greater-than on
amd64 and x86.

This adds support for 64bit, 16bit, and 8bit to the existing 32bit
support.

Helgrind s390: add a suppression for __printf_buffer_write

Again Fedora 38

DRD s390: add a suppression for _dl_exception_create_format

Seen on Fedora 38

regtest: copy and paste error in new_delete_mismatch_size vgtest files

test scripts: add cachegrind to list of tools with export headers

FreeBSD: add syscall wrapper for membarrier (added in FreeBSD 15)

I also noticed that the Linux membarrier syscall wrapper
is out of date. It only takes one argument. Depending on the kernel
version it can also take 2 or 3 arguments (3 being the latest).

FreeBSD: Add syscall wrapper for kqueuex (FreeBSD 15)

Update .gitignore

Linux: change timerfd wrapper names used for arguments

The  now match the manpage names:

SYNOPSIS
       #include <sys/timerfd.h>

       int timerfd_create(int clockid, int flags);

       int timerfd_settime(int fd, int flags,
                           const struct itimerspec *new_value,
                           struct itimerspec *old_value);
       int timerfd_gettime(int fd, struct itimerspec *curr_value);

FreeBSD: add wrapperd for timerfd_create timerfd_gettime and timerfd_settime for FreeBSD 15

Mostly copied from the Linux implementation.
Add a testcase and a scalar for FreeBSD 15

Add some client requests to Cachegrind.

Linux regtest: update MUSL version of aligned_alloc test

Linux regtest: Update aligned_alloc test for GNU libc 2.38

Bug 474332 - aligned_alloc under Valgrind returns nullptr when alignment is not a multiple of sizeof(void *)

At configure time use glibc version to set a HAVE flag for C17 aligned_alloc.
The use the HAVE flag to select which redir macro to use.
Also make the (normally unused) glibc ALIGNED_ALLOC macro
the same as MEMALIGN, just in case.

FreeBSD: close_range versioning issues

I mixed up a bit the syscall wrapper versioning.
Also for some reason the syscall has been backported to FreeBSD 12.2
but not the CLOEXEC flag. So I had to modify the testcase for that.

Illumos regtest: update expected for aligned_alloc

coverity: various minor fixes

mostly asserts that unsigned values are 0 or positive

FreeBSD: add syscall wrapper for close_range

s390x regtest: Reduce test output for vector test cases

The s390x test cases `vector', `vector_integer', `vector_float' and
`vector_string' generate a lot of unnecessary output, because for each
tested instruction they usually dump more registers than the instruction
modifies.

Without changing the test approach itself and without losing information,
the output can still be reduced significantly by comparing the register
states before and after the tested instruction and then only dumping the
changed parts.

s390x regtest: Fix typo in previous commit

This amends the commit "Build DFP test cases unconditionally", where
"pfpo" was accidentally replaced by "pfpfo" in Makefile.am.

s390x regtest: Build DFP test cases unconditionally

Now that the DFP test cases no longer depend on the compiler's support for
`_Decimal*' types, they can be enabled unconditionally.  Do this in the
"Makefile.am".