]> sourceware.org Git - valgrind.git/log
valgrind.git
14 months agoUpdate NEWS to reflect Clang support for s390x
Andreas Arnez [Thu, 19 Oct 2023 12:16:08 +0000 (14:16 +0200)]
Update NEWS to reflect Clang support for s390x

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

14 months agos390x regtest: Fix memcheck tests for cu21 and cu42 with Clang
Andreas Arnez [Thu, 19 Oct 2023 12:17:35 +0000 (14:17 +0200)]
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.

14 months agos390x: Fix memcheck false positives with certain comparisons
Andreas Arnez [Tue, 16 May 2023 18:29:33 +0000 (20:29 +0200)]
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.

14 months agoSet version to 3.22.0-RC1
Mark Wielaard [Tue, 17 Oct 2023 22:28:45 +0000 (00:28 +0200)]
Set version to 3.22.0-RC1

14 months agoBug 475652 - Missing suppression for __wcsncpy_avx2 (strncpy-avx2.S:308)?
Paul Floyd [Mon, 16 Oct 2023 21:14:39 +0000 (23:14 +0200)]
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.

14 months agoconfigure.ac: Convert the thrd_create() test from C++ to C
Bart Van Assche [Mon, 16 Oct 2023 13:30:55 +0000 (06:30 -0700)]
configure.ac: Convert the thrd_create() test from C++ to C

14 months agodrd/tests/thrd_create: Convert from C++ to C
Bart Van Assche [Mon, 16 Oct 2023 13:21:03 +0000 (06:21 -0700)]
drd/tests/thrd_create: Convert from C++ to C

14 months agoFreeBSD regtest: add required library for C11 threads
Paul Floyd [Sun, 15 Oct 2023 18:42:29 +0000 (20:42 +0200)]
FreeBSD regtest: add required library for C11 threads

14 months agodrd: Add support for C11 thrd_create()
Bart Van Assche [Sun, 15 Oct 2023 14:36:33 +0000 (07:36 -0700)]
drd: Add support for C11 thrd_create()

14 months agoillumos: finish refactoring of DRD internal client requests.
Paul Floyd [Wed, 11 Oct 2023 06:38:43 +0000 (08:38 +0200)]
illumos: finish refactoring of DRD internal client requests.

14 months agomemcheck: add checking that new aligned is not deallocated by plain delete
Paul Floyd [Tue, 10 Oct 2023 22:01:40 +0000 (00:01 +0200)]
memcheck: add checking that new aligned is not deallocated by plain delete

14 months agomemcheck: Fix a typo in aligned alloc error suppression check
Paul Floyd [Tue, 10 Oct 2023 19:24:01 +0000 (21:24 +0200)]
memcheck: Fix a typo in aligned alloc error suppression check

Also update corresponding testcase

14 months agoDHAT: only handle own user reqs, ignore others
Paul Floyd [Mon, 9 Oct 2023 20:54:30 +0000 (22:54 +0200)]
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.

14 months agocoverity: last of the unsigned >= 0 warnings
Paul Floyd [Mon, 9 Oct 2023 06:10:01 +0000 (08:10 +0200)]
coverity: last of the unsigned >= 0 warnings

Also a bit of struct space saving thanks to pahole

14 months agoBug 390871 - ELF debug info reader confused with multiple .rodata* sections
Paul Floyd [Sat, 7 Oct 2023 14:02:24 +0000 (16:02 +0200)]
Bug 390871 - ELF debug info reader confused with multiple .rodata* sections

14 months agoRevert "Bug 390871 - ELF debug info reader confused with multiple .rodata* sections"
Paul Floyd [Sun, 8 Oct 2023 07:43:15 +0000 (09:43 +0200)]
Revert "Bug 390871 - ELF debug info reader confused with multiple .rodata* sections"

This reverts commit 5472a7a54000692f9f58e9b551d36b8c68c44873.

14 months agoBug 390871 - ELF debug info reader confused with multiple .rodata* sections
Jogn Reiser [Sat, 7 Oct 2023 14:02:24 +0000 (16:02 +0200)]
Bug 390871 - ELF debug info reader confused with multiple .rodata* sections

14 months agocoverity: most of the remaining unsigned comparisons >= 0 warnings
Paul Floyd [Sun, 8 Oct 2023 07:21:12 +0000 (09:21 +0200)]
coverity: most of the remaining unsigned comparisons >= 0 warnings

14 months agoMinor tweaks for Python tooling updates.
Nicholas Nethercote [Mon, 2 Oct 2023 21:11:42 +0000 (08:11 +1100)]
Minor tweaks for Python tooling updates.

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

14 months agoImplement DW_OP_{bregx,consts,const8s,const8u,constu} in dwarfexpr_to_dag
Mark Wielaard [Sun, 1 Oct 2023 22:37:24 +0000 (00:37 +0200)]
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

14 months agocoverity: most of the remaining unsigned >= 0 comparison warnings
Paul Floyd [Sun, 1 Oct 2023 18:51:59 +0000 (20:51 +0200)]
coverity: most of the remaining unsigned >= 0 comparison warnings

14 months agocachegrind: exit with error if line size or associativity is zero
Paul Floyd [Sat, 30 Sep 2023 19:54:21 +0000 (21:54 +0200)]
cachegrind: exit with error if line size or associativity is zero

Detected with Coverity

14 months agocoverity: use some event tags and ensure some shift expression size promotion
Paul Floyd [Sat, 30 Sep 2023 15:35:54 +0000 (17:35 +0200)]
coverity: use some event tags and ensure some shift expression size promotion

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

14 months agocoverity: mostly unsigned >= 0 comparisons
Paul Floyd [Sat, 30 Sep 2023 14:34:45 +0000 (16:34 +0200)]
coverity: mostly unsigned >= 0 comparisons

14 months agocoverity: lots of checks that unsigned are >= 0 which is always true
Paul Floyd [Fri, 29 Sep 2023 20:45:32 +0000 (22:45 +0200)]
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.

14 months agos390x: Make z16 machine model known to Valgrind
Andreas Arnez [Fri, 29 Sep 2023 14:11:31 +0000 (16:11 +0200)]
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.

14 months agos390x regtest: Adjust vec2_float for Clang
Andreas Arnez [Fri, 29 Sep 2023 14:11:31 +0000 (16:11 +0200)]
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.

14 months agos390x regtest: Additional test case fixes
Andreas Arnez [Fri, 29 Sep 2023 14:11:31 +0000 (16:11 +0200)]
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.

14 months agos390x regtest: Refactor mul test cases for Clang support
Andreas Arnez [Fri, 29 Sep 2023 14:11:31 +0000 (16:11 +0200)]
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.

14 months agos390x regtest: Adjust op00 and op_exception tests for Clang
Andreas Arnez [Fri, 29 Sep 2023 14:11:31 +0000 (16:11 +0200)]
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.

14 months agos390x regtest: Adjust various test cases for Clang
Andreas Arnez [Fri, 29 Sep 2023 14:11:31 +0000 (16:11 +0200)]
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.

14 months agoREADME / comments: update debugging advice
Paul Floyd [Fri, 29 Sep 2023 06:57:42 +0000 (08:57 +0200)]
README / comments: update debugging advice

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

15 months agoFreeBSD: fix reading debuginfo of the tool itself
Paul Floyd [Sat, 23 Sep 2023 14:11:55 +0000 (16:11 +0200)]
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.

15 months agodebuginfo.c: Add more hooks for lazy loading debuginfo
Aaron Merey [Wed, 20 Sep 2023 17:00:02 +0000 (13:00 -0400)]
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>
15 months agoTry to find section .opd in read_elf_object
Aaron Merey [Mon, 18 Sep 2023 21:42:42 +0000 (17:42 -0400)]
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.

15 months agoFreeBSD: update README.freebsd
Paul Floyd [Wed, 20 Sep 2023 19:03:25 +0000 (21:03 +0200)]
FreeBSD: update README.freebsd

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

15 months agoDarwin: fix build with lazy debuginfo reading
Paul Floyd [Wed, 20 Sep 2023 06:47:14 +0000 (08:47 +0200)]
Darwin: fix build with lazy debuginfo reading

Needs the macho reader, not ELF.

15 months agoFreeBSD: add intercepts to timingsafe variants of memcmp and bcmp
Paul Floyd [Wed, 20 Sep 2023 06:16:43 +0000 (08:16 +0200)]
FreeBSD: add intercepts to timingsafe variants of memcmp and bcmp

15 months agoFreeBSD: refactor VG_(load_all_debuginfo)
Paul Floyd [Tue, 19 Sep 2023 17:53:06 +0000 (19:53 +0200)]
FreeBSD: refactor VG_(load_all_debuginfo)

Thanks to Philippe Waroquiers for the suggestion

15 months agoBug 432801 - Valgrind 3.16.1 reports a jump based on uninitialized memory somehow...
Eyal Soha [Thu, 10 Feb 2022 16:52:54 +0000 (09:52 -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.

15 months agoHelgrind s390: add a suppression for __printf_buffer_write
Paul Floyd [Tue, 19 Sep 2023 05:48:26 +0000 (07:48 +0200)]
Helgrind s390: add a suppression for __printf_buffer_write

Again Fedora 38

15 months agoDRD s390: add a suppression for _dl_exception_create_format
Paul Floyd [Tue, 19 Sep 2023 05:31:17 +0000 (07:31 +0200)]
DRD s390: add a suppression for _dl_exception_create_format

Seen on Fedora 38

15 months agoregtest: copy and paste error in new_delete_mismatch_size vgtest files
Paul Floyd [Mon, 18 Sep 2023 18:19:56 +0000 (20:19 +0200)]
regtest: copy and paste error in new_delete_mismatch_size vgtest files

15 months agotest scripts: add cachegrind to list of tools with export headers
Paul Floyd [Sun, 17 Sep 2023 08:12:48 +0000 (10:12 +0200)]
test scripts: add cachegrind to list of tools with export headers

15 months agoFreeBSD: add syscall wrapper for membarrier (added in FreeBSD 15)
Paul Floyd [Sun, 17 Sep 2023 09:50:54 +0000 (11:50 +0200)]
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).

15 months agoFreeBSD: Add syscall wrapper for kqueuex (FreeBSD 15)
Paul Floyd [Sun, 17 Sep 2023 09:06:05 +0000 (11:06 +0200)]
FreeBSD: Add syscall wrapper for kqueuex (FreeBSD 15)

15 months agoUpdate .gitignore
Paul Floyd [Sat, 16 Sep 2023 20:44:21 +0000 (22:44 +0200)]
Update .gitignore

15 months agoLinux: change timerfd wrapper names used for arguments
Paul Floyd [Sat, 16 Sep 2023 13:00:39 +0000 (15:00 +0200)]
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);

15 months agoFreeBSD: add wrapperd for timerfd_create timerfd_gettime and timerfd_settime for...
Paul Floyd [Sat, 16 Sep 2023 14:06:12 +0000 (16:06 +0200)]
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

15 months agoAdd some client requests to Cachegrind.
Nicholas Nethercote [Thu, 10 Aug 2023 04:10:36 +0000 (14:10 +1000)]
Add some client requests to Cachegrind.

15 months agoLinux regtest: update MUSL version of aligned_alloc test
Paul Floyd [Sun, 10 Sep 2023 16:15:38 +0000 (18:15 +0200)]
Linux regtest: update MUSL version of aligned_alloc test

15 months agoLinux regtest: Update aligned_alloc test for GNU libc 2.38
Paul Floyd [Sun, 10 Sep 2023 15:53:05 +0000 (15:53 +0000)]
Linux regtest: Update aligned_alloc test for GNU libc 2.38

15 months agoBug 474332 - aligned_alloc under Valgrind returns nullptr when alignment is not a...
Paul Floyd [Sun, 10 Sep 2023 13:05:57 +0000 (15:05 +0200)]
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.

15 months agoFreeBSD: close_range versioning issues
Paul Floyd [Sun, 10 Sep 2023 08:39:34 +0000 (10:39 +0200)]
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.

15 months agoIllumos regtest: update expected for aligned_alloc
Paul Floyd [Sat, 9 Sep 2023 10:26:40 +0000 (12:26 +0200)]
Illumos regtest: update expected for aligned_alloc

15 months agocoverity: various minor fixes
Paul Floyd [Sat, 9 Sep 2023 06:53:43 +0000 (08:53 +0200)]
coverity: various minor fixes

mostly asserts that unsigned values are 0 or positive

15 months agoFreeBSD: add syscall wrapper for close_range
Paul Floyd [Fri, 8 Sep 2023 21:40:12 +0000 (23:40 +0200)]
FreeBSD: add syscall wrapper for close_range

15 months agos390x regtest: Reduce test output for vector test cases
Andreas Arnez [Thu, 7 Sep 2023 15:00:42 +0000 (17:00 +0200)]
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.

15 months agos390x regtest: Fix typo in previous commit
Andreas Arnez [Thu, 7 Sep 2023 15:00:42 +0000 (17:00 +0200)]
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.

15 months agos390x regtest: Build DFP test cases unconditionally
Andreas Arnez [Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)]
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".

15 months agos390x regtest: Rework pfpo
Andreas Arnez [Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)]
s390x regtest: Rework pfpo

The pfpo test case relies on `_Decimal*' type support, which currently
excludes Clang.  Rework the test to avoid this.  Also, fix a typo that
causes conversions to 64-bit decimal types to be shown as "-> d6" instead
of "-> d64" in the output.  Adjust the output file accordingly.

15 months agos390x regtest: Rework dfptest
Andreas Arnez [Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)]
s390x regtest: Rework dfptest

The dfptest test case uses `_Decimal*' types, which is currently not
supported by Clang.  Rework the test to avoid this.

15 months agos390x regtest: Rework dfpext
Andreas Arnez [Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)]
s390x regtest: Rework dfpext

The dfpext test case uses `_Decimal*' types and thus cannot be compiled
with Clang.  Avoid this.  Also, remove a duplicate in the set of tested
values and adjust the output file accordingly.

15 months agos390x regtest: Rework dfpconv
Andreas Arnez [Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)]
s390x regtest: Rework dfpconv

The dfpconv test case has two major issues:

* It truncates certain 64-bit integers to 32 bits when using them as
  inputs or outputs to inline assemblies.  In particular this leads to
  wrong output.

* It uses `_Decimal*' types and thus cannot be compiled with Clang.

Fix both.  Also, remove a duplicate from the set of tested numbers, remove
the dependency on "opcodes.h", and fix indentation.  Since the test output
file dfpconv.stdout.exp is affected by these changes, adjust it
accordingly.

15 months agos390x regtest: Rework dfp-4
Andreas Arnez [Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)]
s390x regtest: Rework dfp-4

Remove dependency on `_Decimal*' types in the dfp-4 test case, to enable
compilation with Clang.  (See Bug 465782.)

15 months agos390x regtest: Rework dfp-3
Andreas Arnez [Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)]
s390x regtest: Rework dfp-3

The dfp-3 test case uses _Decimal types and thus doesn't compile with
Clang.  Fix that.  Also drop the dependency on "opcodes.h" and fix
indentation.

15 months agos390x regtest: Rework dfp-2
Andreas Arnez [Thu, 7 Sep 2023 14:43:25 +0000 (16:43 +0200)]
s390x regtest: Rework dfp-2

The dfp-2 test case has two issues:

* It doesn't test the rounding modes correctly.  Since the inline assembly
  uses a "d" constraint to pass the rounding mode, a random register
  number is placed into the instruction's rounding mode field instead of
  the intended rounding mode.

* It cannot be compiled with Clang.  (See Bug 465782.)

Fix these with a rewrite.  Fixing the first issue also requires adjusting
the test case output `dfp-2.stdout.exp', while fixing the second requires
avoiding `_Decimal*' data types.  Also reduce some code duplication.

15 months agoBug 472875 - s390x regtest: Rework dfp-1
Andreas Arnez [Thu, 7 Sep 2023 14:43:24 +0000 (16:43 +0200)]
Bug 472875 - s390x regtest: Rework dfp-1

The dfp-1 test case has two main issues:

* It doesn't initialize the condition code before executing the DFP
  instructions for "multiply" and "divide", but asserts a certain value
  afterwards.  (See Bug 472875.)

* It doesn't compile with Clang.  (See Bug 465782.)

Fix these with a rework.  The first issue can be fixed by initializing the
condition code before executing the DFP instructions.  The second issue
requires avoiding any `_Decimal*' types, since they are not supported by
Clang.

15 months agos390x regtest: Fix issues with DFP_VAL_PRINT()
Andreas Arnez [Thu, 7 Sep 2023 14:43:24 +0000 (16:43 +0200)]
s390x regtest: Fix issues with DFP_VAL_PRINT()

The DFP_VAL_PRINT macro used by the dfp test cases has some issues:

* It performs illegal pointer type aliasing.

* It suppresses zero digits in 128-bit integers, since it prints their
  second halves with "%08lx" instead of "%016lx".

Fix these.  Due to the latter, this affects the output of all DFP test
cases, so adjust them as well.

15 months agos390x regtest: Reduce pfpo test case output
Andreas Arnez [Thu, 7 Sep 2023 14:43:24 +0000 (16:43 +0200)]
s390x regtest: Reduce pfpo test case output

The `pfpo' test case prints floating-point values with the "%f" and "%Lf"
formats.  Sometimes also "%lf" is used, but that's equivalent to "%f"
since the "l" length modifier doesn't affect floating-point formatting.

These "f"-style formats are not well suited for such a test case:

* They generate excessively long output for numbers with large absolute
  values.  This makes `pfpo.stdout.exp' difficult to handle.

* They can lose precision, in particular for numbers close to zero, where
  they just print zeros.

Use the formats "%a" and "%La" instead and adjust pfpo.stdout.exp
accordingly.

15 months agoSolaris regtest: aligned / sized expecteds and an improved filter
Paul Floyd [Sun, 3 Sep 2023 12:20:42 +0000 (14:20 +0200)]
Solaris regtest: aligned / sized expecteds and an improved filter

A couple of testcases fail due to ever changing output for floating
point infinity.

Add memalign and aligned_alloc expecteds for Solaris 11.3
(which doesn't have aligned_allloc).

15 months agocoverity: various fixes
Paul Floyd [Sun, 3 Sep 2023 06:28:26 +0000 (08:28 +0200)]
coverity: various fixes

Null check, uninitialized variable and several print format uses of size_t.
clang-tidy also complains about most of them.

15 months agoFreeBSD: clarify which package GNU cp is in (needed for nightly tests)
Paul Floyd [Sun, 3 Sep 2023 06:27:19 +0000 (08:27 +0200)]
FreeBSD: clarify which package GNU cp is in (needed for nightly tests)

15 months agocoverity: fix a couple of forward nulls
Paul Floyd [Sat, 2 Sep 2023 21:43:31 +0000 (23:43 +0200)]
coverity: fix a couple of forward nulls

In the new sized/aligned memcheck code.

15 months agocoverity: a few bits of dead code and one vgdb command line leak
Paul Floyd [Sat, 2 Sep 2023 21:19:17 +0000 (23:19 +0200)]
coverity: a few bits of dead code and one vgdb command line leak

15 months agoregtest: silence some more warnings
Paul Floyd [Sat, 2 Sep 2023 15:33:35 +0000 (17:33 +0200)]
regtest: silence some more warnings

A massif test that checks that --ignore-fn
Sadly neither C nor C++ has a standard way of specifying functons
to _never_ inline, and GCC and LLVM seem to have different extensions.
GCC complains about __attribute__((optnone)).

15 months agoregtest: silence a few warnings
Paul Floyd [Sat, 2 Sep 2023 15:12:23 +0000 (17:12 +0200)]
regtest: silence a few warnings

A couple of testcases that use 'new' that will throw an
uncaught exception. The variable doesn't get used, there
is only an assert to check that nothing is reached after the
new expressions.

15 months agoAdd memcheck errors for aligned and sized allocations and deallocations
Paul Floyd [Sun, 12 Mar 2023 07:26:04 +0000 (08:26 +0100)]
Add memcheck errors for aligned and sized allocations and deallocations

Bug 433857 Add validation to C++17 aligned new/delete alignment size
Bug 433859 Add mismatched detection to C++ 17 aligned new/delete
Bug 466105 aligned_alloc problems, part 2
Bug 467441 Add mismatched detection to C++ 14 sized delete

Memcheck now tests and warns about the values used for
alignment and size. These apply to various functions: memalign,
posix_memalign and aligned_alloc in C and various overloads
of operators new and delete in C++. The kinds of error that can
be detected are
- invalid alignment, for instance the alignment is usually required
  to be a power of 2
- mismatched alignment between aligned allocation and aligned
  deallocation
- mismatched size when sized delete is used
- bad size for functions that have implementation defined behaviour
  when the requested size is zero

An example of the new errors is:

int *pi = memalign(31, 100);

which will generate the following error

==96206== Invalid alignment value: 31 (should be power of 2)
==96206==    at 0x485195E: memalign (vg_replace_malloc.c:1886)
==96206==    by 0x20200E: main (memalign.c:59)

15 months agoregtest: make memcheck sem test quiet
Paul Floyd [Sat, 2 Sep 2023 12:08:07 +0000 (14:08 +0200)]
regtest: make memcheck sem test quiet

On Solaris the summary shows 7 allocations causing a diff.

15 months agoSolaris: fix a few compiler warnings
Paul Floyd [Sat, 2 Sep 2023 11:52:12 +0000 (13:52 +0200)]
Solaris: fix a few compiler warnings

15 months agoFreeBSD: Add support for building on FreeBSD 15.0
Paul Floyd [Sat, 2 Sep 2023 13:20:36 +0000 (15:20 +0200)]
FreeBSD: Add support for building on FreeBSD 15.0

15 months agoExplicitly load libc and any sonames that contain mandatory specs
Mark Wielaard [Fri, 1 Sep 2023 17:10:17 +0000 (19:10 +0200)]
Explicitly load libc and any sonames that contain mandatory specs

We really need symtab for glibc and ld.so libraries early for redir.
Some distros move these into separate debuginfo files, which means
we need to fully load them early.

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

15 months agoFix lazy debuginfo loading on ppc64le
Aaron Merey [Wed, 30 Aug 2023 18:49:09 +0000 (14:49 -0400)]
Fix lazy debuginfo loading on ppc64le

Lazy debuginfo loading introduced in commit 60f7e89ba32 assumed that
either describe_IP or find_DiCfSI will be called before stacktrace
printing.  describe_IP and find_DiCfSI cause debuginfo to be lazily
loaded before symtab lookup occurs during stacktraces.

However this assumption does not hold true on ppc64le, resulting
in debuginfo failing to load in time for stacktraces.  Fix this
by loading debuginfo during get_StackTrace_wrk on ppc arches.

15 months agoFix 473944 Handle mold linker split RW PT_LOAD segments correctly
Philippe Waroquiers [Fri, 1 Sep 2023 18:23:46 +0000 (20:23 +0200)]
Fix 473944  Handle mold linker split RW PT_LOAD segments correctly

Condition to consider segments will be merged has to be more specific
than just having a page rounded file offset p_offset.

Regtested on debian, somewhat poorly due to the amount of tests
failing due to:
473745 must-be-redirected function - strlen - for valgrind 3.22 but not 3.21

15 months agoFreeBSD: add common failure causes to README.freebsd
Paul Floyd [Fri, 1 Sep 2023 06:26:24 +0000 (08:26 +0200)]
FreeBSD: add common failure causes to README.freebsd

Also fix the name of one of the fields of vki_kinfo_vmentry.

15 months agoBug 473870 - FreeBSD 14 applications fail early at startup
Paul Floyd [Thu, 31 Aug 2023 13:32:21 +0000 (15:32 +0200)]
Bug 473870 - FreeBSD 14 applications fail early at startup

FreeBSD recently started adding some functions using @gnu_indirect_function,
specifically strpcmp which was causing this crash.

When running and encountering this ifunc Valgrind looked for the
ifunc_handler. But there wasn't one for FreeBSD so Valgrind asserted.

15 months agoFreeBSD: a bit of cleanup of README.freebsd
Paul Floyd [Wed, 30 Aug 2023 06:06:00 +0000 (08:06 +0200)]
FreeBSD: a bit of cleanup of README.freebsd

15 months agoFreeBSD: add memcheck suppression for libc newlocale still reachable memory
Paul Floyd [Tue, 29 Aug 2023 05:55:31 +0000 (07:55 +0200)]
FreeBSD: add memcheck suppression for libc newlocale still reachable memory

15 months agoLinux: remove a couple of cpmpiler warnings
Paul Floyd [Sun, 27 Aug 2023 16:03:07 +0000 (18:03 +0200)]
Linux: remove a couple of cpmpiler warnings

15 months agoFreeBSD: remove testing code
Paul Floyd [Sun, 27 Aug 2023 15:27:57 +0000 (17:27 +0200)]
FreeBSD: remove testing code

15 months agoFreeBSD: add an extra libc filter for _start in massif deep-D test
Paul Floyd [Sun, 27 Aug 2023 16:45:03 +0000 (18:45 +0200)]
FreeBSD: add an extra libc filter for _start in massif deep-D test

15 months agoRemove merge file added by mistake
Paul Floyd [Sun, 27 Aug 2023 16:33:03 +0000 (18:33 +0200)]
Remove merge file added by mistake

15 months agoFreeBSD: Add a new testcase for FreeBSD 14 _umtx_op set timeout
Paul Floyd [Sun, 27 Aug 2023 16:29:30 +0000 (18:29 +0200)]
FreeBSD: Add a new testcase for FreeBSD 14 _umtx_op set timeout

Uses an existing testcase with pthread APIs that use timeouts
and sets LIBPTHREAD_UMTX_MIN_TIMEOUT to 100 (ns, so almost no
effect other than exercising the syscall).

15 months agoFreeBSD: add 2 new _umtx_op op codes for FreeBSD 14
Paul Floyd [Sun, 27 Aug 2023 14:14:00 +0000 (16:14 +0200)]
FreeBSD: add 2 new _umtx_op op codes for FreeBSD 14

15 months agoregtest: fix compiler warnings with clang 16
Paul Floyd [Sun, 27 Aug 2023 14:57:24 +0000 (16:57 +0200)]
regtest: fix compiler warnings with clang 16

Mostly warnings about deprecated use of K&R function definitions.

15 months agoFreeBSD regtest: add suppression to bug392331_supp for FreeBSD 14.0
Paul Floyd [Sun, 27 Aug 2023 14:41:36 +0000 (16:41 +0200)]
FreeBSD regtest: add suppression to bug392331_supp for FreeBSD 14.0

15 months agoAllow spaces in .valgrindrc files
Paul Floyd [Sun, 27 Aug 2023 07:35:03 +0000 (09:35 +0200)]
Allow spaces in .valgrindrc files

The patch for m_commandline.c comes from the Debian package files.
Also add a regtest and allow --command-line-only=no to override
--command-line-only=yes

16 months agoFreeBSD regtest: use a filter to make eventfd2 consistent
Paul Floyd [Sat, 26 Aug 2023 10:57:34 +0000 (12:57 +0200)]
FreeBSD regtest: use a filter to make eventfd2 consistent

16 months agoSolaris: remove cxx17_aligned_new expected
Paul Floyd [Sat, 26 Aug 2023 05:58:10 +0000 (07:58 +0200)]
Solaris: remove cxx17_aligned_new expected

No longer needed after last cleanup

16 months agoFix various clang warnings
Paul Floyd [Fri, 25 Aug 2023 21:00:58 +0000 (23:00 +0200)]
Fix various clang warnings

Mostly missing 'void' in function prototypes.

This page took 0.070995 seconds and 5 git commands to generate.