Rename to allow_tsx_tests

This changes skip_tsx_tests to invert the sense, and renames it to
allow_tsx_tests.

Rename to allow_shlib_tests

This changes skip_shlib_tests to invert the sense, and renames it to
allow_shlib_tests.

Rename to allow_rust_tests

This changes skip_rust_tests to invert the sense, and renames it to
allow_rust_tests.

Rename to allow_python_tests

This changes skip_python_tests to invert the sense, and renames it to
allow_python_tests.

Rename to allow_perf_tests

This changes skip_perf_tests to invert the sense, and renames it to
allow_perf_tests.

Rename to allow_opencl_tests

This changes skip_opencl_tests to invert the sense, and renames it to
allow_opencl_tests.

Rename to allow_ifunc_tests

This changes skip_ifunc_tests to invert the sense, and renames it to
allow_ifunc_tests.

Rename to allow_hw_watchpoint_tests

This changes skip_hw_watchpoint_tests to invert the sense, and renames
it to allow_hw_watchpoint_tests.

Rename to allow_hw_watchpoint_multi_tests

This changes skip_hw_watchpoint_multi_tests to invert the sense, and
renames it to allow_hw_watchpoint_multi_tests.

Rename to allow_hw_watchpoint_access_tests

This changes skip_hw_watchpoint_access_tests to invert the sense, and
renames it to allow_hw_watchpoint_access_tests.

Rename to allow_go_tests

This changes skip_go_tests to invert the sense, and renames it to
allow_go_tests.

Rename to allow_gdbserver_tests

This changes skip_gdbserver_tests to invert the sense, and renames it
to allow_gdbserver_tests.

Rename to allow_fortran_tests

This changes skip_fortran_tests to invert the sense, and renames it to
allow_fortran_tests.

Rename to allow_d_tests

This changes skip_d_tests to invert the sense, and renames it to
allow_d_tests.

Rename to allow_dlmopen_tests

This changes skip_dlmopen_tests to invert the sense, and renames it to
allow_dlmopen_tests.

Rename to allow_debuginfod_tests

This changes skip_debuginfod_tests to invert the sense, and renames it
to allow_debuginfod_tests.

Rename to allow_ctf_tests

This changes skip_ctf_tests to invert the sense, and renames it to
allow_ctf_tests.

Rename to allow_cplus_tests and allow_stl_tests

This changes skip_cplus_tests to invert the sense, and renames it to
allow_cplus_tests.  This one also converts skip_stl_tests to
allow_stl_tests, as that was convenient to do at the same time.

Rename to allow_btrace_tests

This changes skip_btrace_tests to invert the sense, and renames it to
allow_btrace_tests.

Rename to allow_btrace_pt_tests

This changes skip_btrace_pt_tests to invert the sense, and renames it
to allow_btrace_pt_tests.

Rename to allow_avx512fp16_tests

This changes skip_avx512fp16_tests to invert the sense, and renames it
to allow_avx512fp16_tests.

Rename to allow_avx512bf16_tests

This changes skip_avx512bf16_tests to invert the sense, and renames it
to allow_avx512bf16_tests.

Rename to allow_ada_tests

This changes skip_ada_tests to invert the sense, and renames it to
allow_ada_tests.

Rename to allow_aarch64_sve_tests

This changes skip_aarch64_sve_tests to invert the sense, and renames
it to allow_aarch64_sve_tests.

Rename to allow_xml_test

This changes gdb_skip_xml_test to invert the sense, and renames it to
allow_xml_test.

Use "require" for Python tests

This changes various tests to use "require" for the Python feature.

Fix latent bug in default_prompt_gdb_start

default_prompt_gdb_start mimics default_gdb_start, but does not set
the use_gdb_stub global.  This caused one Python test to work only
because it used the ordinary gdb_start before later using
default_prompt_gdb_start.

This patch updates default_prompt_gdb_start to set this global as
well.

Remove mi_skip_python_tests

mi_skip_python_tests was necessary because skip_python_tests used the
running gdb, and so needed to know what prompt to expect.  Now that
skip_python_tests has been rewritten, mi_skip_python_tests is no
longer needed.

Rewrite skip_python_tests

This rewrites skip_python_tests to examine the output of
"gdb --configuration".  This is a bit nicer because it
does not require an already-running gdb.

Use require gnat_runtime_has_debug_info

This changes some tests to use "require gnat_runtime_has_debug_info".

Use require !skip_debuginfod_tests

This changes some tests to use "require !skip_debuginfod_tests".

Use require using_fission

This changes some tests to use "require using_fission".

Use require target_can_use_run_cmd

This changes some tests to use "require target_can_use_run_cmd".

Use require !skip_opencl_tests

This changes some tests to use "require !skip_opencl_tests".

Use require !skip_perf_tests

This changes some tests to use "require !skip_perf_tests".

Use require gdb_trace_common_supports_arch

This changes some tests to use "require gdb_trace_common_supports_arch".

Use require gdb_skip_xml_test

This changes some tests to use "require gdb_skip_xml_test".

Use require !gdb_debug_enabled

This changes some tests to use "require !gdb_debug_enabled".

Use require is_c_compiler_gcc

This changes some tests to use "require is_c_compiler_gcc".

Use require !skip_shlib_tests

This changes some tests to use "require !skip_shlib_tests".  This patch
cleans up a few spots that were missed in the earlier patch.

Use require !skip_gdbserver_tests

This changes some tests to use "require !skip_gdbserver_tests".

Use require isnative

This changes some tests to use "require isnative".

Use require can_spawn_for_attach

This changes some tests to use "require can_spawn_for_attach".

Use require !use_gdb_stub

This changes some tests to use "require !use_gdb_stub".

Use require support_go_compile

This changes some tests to use "require support_go_compile".

Use require supports_get_siginfo_type

This changes some tests to use "require supports_get_siginfo_type".

Use require can_single_step_to_signal_handler

This changes some tests to use "require can_single_step_to_signal_handler".

Use require is_elf_target

This changes some tests to use "require is_elf_target".

Use require is_amd64_regs_target

This changes some tests to use "require is_amd64_regs_target".

Use require is_aarch32_target

This changes some tests to use "require is_aarch32_target".

Use require is_aarch64_target

This changes some tests to use "require is_aarch64_target".

Use require support_displaced_stepping

This changes some tests to use "require support_displaced_stepping".

Use require !skip_avx_*

This changes some tests to use "require" with !skip_avx_*.

Use require !skip_btrace_tests

This changes some tests to use "require !skip_btrace_tests".

Use require !skip_btrace_pt_tests

This changes some tests to use "require !skip_btrace_pt_tests" and
"require !skip_tsx_tests".

Use require !skip_aarch64_sve_tests

This changes some tests to use "require !skip_aarch64_sve_tests".

Use require !skip_ifunc_tests

This changes some tests to use "require !skip_ifunc_tests".

Use require !skip_hw_watchpoint_tests

This changes some tests to use "require !skip_hw_watchpoint_tests".

Use require !skip_ctf_tests

This changes some tests to use "require !skip_ctf_tests".

Use require !skip_d_tests

This changes some tests to use "require !skip_d_tests".

Use require !skip_go_tests

This changes some tests to use "require !skip_go_tests".

Use require !skip_ada_tests

This changes some tests to use "require !skip_ada_tests".

Use require !skip_fortran_tests

This changes some tests to use "require !skip_fortran_tests".

Use require !skip_rust_tests

This changes some tests to use "require !skip_rust_tests".

Use require !skip_stl_tests

This changes some tests to use "require !skip_stl_tests".

Use require !skip_dlmopen_tests

This changes some tests to use "require !skip_dlmopen_tests".

Use require !skip_shlib_tests

This changes some tests to use "require !skip_shlib_tests".

Use require !skip_cplus_tests

This changes some tests to use "require !skip_cplus_tests".

Use require is_x86_like_target

This changes some tests to use "require is_x86_like_target".

Use require dwarf2_support

This changes some tests to use "require dwarf2_support".

Use require supports_process_record

This changes some tests to use "require supports_process_record".

Use require supports_reverse

This changes some tests to use "require supports_reverse".

Use unsupported in 'require'

This changes 'require' to use 'unsupported' rather than 'untested'.
The latter doesn't really seem to be correct according to the DejaGNU
documentation:

    Declares a test was not run.  `untested' writes in the log file a
    message beginning with _UNTESTED_, appending the `message' argument.
    For example, you might use this in a dummy test whose only role is to
    record that a test does not yet exist for some feature.

The example there, and some text elsewhere, is what makes me think
this isn't a great fit.  On the other hand, 'unsupported' says:

    Declares that a test case depends on some facility that does not exist
    in the testing environment.

Change 'require' to accept a list of predicates

This changes 'require' to accept a list of simple predicates.  For
now, each predicate is just the name of a proc, optionally prefixed
with "!" to indicate that the result should be inverted.

It's possible to make this fancier, but so far I haven't done so.  One
idea I had is to allow a predicate to have associated text to display
on failure.  Another is to convert the predicates that need a running
gdb (e.g., skip_python_tests) to start their own gdb, and then
'require' could enforce the rule that gdb not be running when it is
called.

Don't use ensure_gdb_index with require

This series changes 'require' to take a list of simple predicates.
This patch backs out the one use of 'require' that doesn't conform to
this -- calling ensure_gdb_index.

gprofng: PR29987 bfd/archive.c:1447: undefined reference to `filename_ncmp'

gprofng/ChangeLog
2023-01-12  Vladimir Mezentsev  <vladimir.mezentsev@oracle.com>

PR gprofng/29987
* configure.ac: Remove dependencies on libbfd and libiberty.
* gprofng/src/Makefile.am: Likewise.
* configure: Rebuild.
* Makefile.in: Rebuild.
* src/Makefile.in: Rebuild.
* doc/Makefile.in: Rebuild.
* gp-display-html/Makefile.in: Rebuild.

libsframe: replace an strncat with strcat

Calling strncat with the size of the src string is not so meaningful.
The length argument to strncat should specify the remaining bytes
bytes in the destination; although in this case, it appears to be
unncessary altogether to use strncat in the first place.

libsframe/
        * sframe-dump.c (dump_sframe_func_with_fres): Use of strcat is
just as fine.

gdbserver: add comments to read_inferior_memory function

Just adding some comments to the gdbserver read_inferior_memory
function.  No actual code changes.

gdb/infrun: add debug print in print_signal_received_reason

It would have helped me to see an infrun debug line being printed from
print_signal_received_reason, so I'm adding one.

gdb: int to bool conversion for normal_stop

Change the return type of normal_stop (infrun.c) from int to bool.
Update callers.

I've also converted the (void) to () in the function declaration and
definition, given I was changing those lines anyway.

There should be no user visible changes after this commit.

Updated Romainian translation for the bfd sub-directory

Automatic date update in version.in

Disable ptype/o for dynamic types

A user pointed out that "ptype/o" of a certain Ada type -- while in C
mode -- caused gdb to crash.

The bug here is that dynamic types can't really be printed this way.
This patch avoids the bug by disabling the "/o" feature in this case.

Note that using "ptype/o" in this way makes sense for the time being,
because the Ada code doesn't support the "/o" feature (yet); and in
any case gdb should not crash.

ARM: Fix ld bloat introduced between binutils-2.38 and 2.39

Since commit 9833b7757d24, "PR28824, relro security issues",
ELF_MAXPAGESIZE matters much more, with regards to layout of
the linked file.  That commit fixed an actual bug, but also
exposes a problem for targets were that value is too high.

For example, for ARM(32, a.k.a. "Aarch32") specifically
bfd_arch_arm, it's set to 64 KiB, making all Linux(/GNU)
targets pay an extra amount of up to 60 KiB of bloat in
DSO:s and executables.  This matters when there are many
such files, and where storage is expensive.

It's *mostly* bloat when using a Linux kernel, as ARM(32) is
a good example of an target where ELF_MAXPAGESIZE is set to
an extreme value for an obscure corner-case.  The ARM
(32-bit) kernel has 4 KiB pages, has had that value forever,
and can't be configured to any other value.  The use-case is
IIUC "Aarch32" emulation on an "Aarch64" (arm64) kernel, but
not just that, but a setup where the Linux page-size is
configured to something other than the *default* 4 KiB.  Not
sure there actually any such systems in use, again with
both Aarch32 compatibility support and a non-4KiB pagesize,
with all the warnings in the kernel config and requiring the
"EXPERT" level set on.

So, let's do like x86-64 in a2267dbfc9e1 "x86-64: Use only
one default max-page-size" and set ELF_MAXPAGESIZE to 4096.

bfd:
* elf32-arm.c (ELF_MAXPAGESIZE): Always set to 0x1000.

ld/testsuite: Adjust for ELF_MAXPAGESIZE 0x1000

Many tests reflect a setting of ELF_MAXPAGESIZE to 64 KiB.
With ELF_MAXPAGESIZE changed to 4 KiB, layout is sometimes
different and symbols end up in other places.  Avoid churn
and regexpification of old test patterns by passing the
max-page-size setting active at the time.

ld/testsuite:

* testsuite/ld-arm/arm-elf.exp,
        testsuite/ld-arm/non-contiguous-arm2.d,
        testsuite/ld-arm/non-contiguous-arm3.d,
        testsuite/ld-arm/non-contiguous-arm5.d,
        testsuite/ld-arm/non-contiguous-arm6.d,
        testsuite/ld-arm/thumb-plt-got.d, testsuite/ld-arm/thumb-plt.d:
Pass -z max-page-size=0x10000 explicitly to test that rely on
that value in output-matching patterns.

libctf: ctf-link outdated input check faulty

This check has a pair of faults which, combined, can lead to memory
corruption.  Firstly, it assumes that the values of the ctf_link_inputs
hash are ctf_dict_t's: they are not, they are ctf_link_input_t's, a much
shorter structure.  So the flags check which is the core of this is
faulty (but happens, by chance, to give the right output on most
architectures, since usually we happen to get a 0 here, so the test that
checks this usually passes).  Worse, the warning that is emitted when
the test fails is added to the wrong dict -- it's added to the input
dict, whose warning list is never consumed, rendering the whole check
useless.  But the dict it adds to is still the wrong type, so we end up
overwriting something deep in memory (or, much more likely,
dereferencing a garbage pointer and crashing).

Fixing both reveals another problem: the link input is an *archive*
consisting of multiple members, so we have to consider whether to check
all of them for the outdated-func-info thing we are checking here.
However, no compiler exists that emits a mixture of members with this
flag on and members with it off, and the linker always reserializes (and
upgrades) such things when it sees them: so all members in a given
archive must have the same value of the flag, so we only need to check
one member per input archive.

libctf/
PR libctf/29983
* ctf-link.c (ctf_link_warn_outdated_inputs): Get the types of
        members of ctf_link_inputs right, fixing a possible spurious
        tesst failure / wild pointer deref / overwrite.  Emit the
        warning message into the right dict.

libctf: skip the testsuite from inside dejagnu

The libctf testsuite uses Tcl try/catch to trap run_output errors.  This
is only supported in reasonably recent Tcls, so we detect the lack of
try/catch and suppress the testsuite via an Automake conditional in its
absence.

But this turns out not to work: Automake produces a check-DEJAGNU target
regardless of the value of this conditional and sticks it in an
unconditionally-executed part of the makefile, so the testsuite gets
executed anyway, and fails with a nasty-looking syntax error.  We can't
disable it by taking "dejagnu" out of AUTOMAKE_OPTIONS, because if you
do that Automake stops you using RUNTEST, RUNTESTFLAGS and other
variables users would expect to work.

So move to disabling the testsuite from inside the testsuite itself,
importing the value of the former Automake conditional as a Tcl variable
and exiting very early in default.exp if it's false.

* configure.ac (TCL_TRY): No longer an Automake conditional.
Rename to...
(HAVE_TCL_TRY): ... this.
* Makefile.am: Drop TCL_TRY.
(development.exp): Set have_tcl_try.
* testsuite/config/default.exp: Exit if have_tcl_try is false.

* configure: Regenerated.
* Makefile.in: Likewise.

ctf: fix various dreadful typos in the ctf_archive format comments

When defining a format it helps to a) get the endianness right when you
explicitly state what it is and b) define things in terms of fields that
exist rather than fields that don't.

(A bunch of changes of names during implementation were not reflected in
these comments...)

Thanks to Jose "Eye of the Eagle" Marchesi for spotting these.

include/
* ctf.h (struct ctf_archive) [ctfa_ctfs]: The size element of
this is in little-endian byte order, not network byte order.
(struct ctf_archive_modent): This is positioned right after the
end fo the struct ctf_archive, not at the offset of a
nonexistent field.  The number of elements in the array depends
on ctfa_ndicts, not another nonexistent field.

Ensure that libbacktrace/allocfail.sh is not deleted when creating release tarballs.

        * Makefile.am (CLEANFILES): Import patch from upstream to prevent
        allocafail.sh from being removed when running 'make clean'.

Use __func__ rather than __FUNCTION__

We already use C99's __func__ in places, use it more generally.  This
patch doesn't change uses in the testsuite.  I've also left one in
gold.h that is protected by GCC_VERSION < 4003.  If any of the
remaining uses bothers anyone I invite patches.

bfd/
* bfd-in.h: Replace __FUNCTION__ with __func__.
* elf32-bfin.c: Likewise.
* elfnn-aarch64.c: Likewise.
* elfxx-sparc.c: Likewise.
* bfd-in2.h: Regenerate.
gas/
* config/tc-cris.c: Replace __FUNCTION__ with __func__.
* config/tc-m68hc11.c: Likewise.
* config/tc-msp430.c: Likewise.
gold/
* dwp.h: Replace __FUNCTION__ with __func__.
* gold.h: Likewise, except for use inside GCC_VERSION < 4003.
ld/
* emultempl/pe.em: Replace __FUNCTION__ with __func__.
* emultempl/pep.em: Likewise.
* pe-dll.c: Likewise.

Remove myself as hppa32 maintainer

Reflects the reality that I haven't done much on hppa32 for years.

sim: build: drop subdir Makefile.in files

These aren't used anymore, so punt them all.

Automatic date update in version.in

gdb/doc: fix install-html with Texinfo 7

Starting with Texinfo 7 (this commit [1]), the output directory for the
HTML doc format is gdb/doc/gdb_html, rather than gdb/doc/gdb previously.
This breaks the install-html target, which expects the HTML doc to be in
gdb/doc/gdb:

    $ make install-html MAKEINFO=makeinfo DESTDIR=/tmp/install
    make[1]: Entering directory '/home/simark/build/binutils-gdb/gdb'
    make[2]: Entering directory '/home/simark/build/binutils-gdb/gdb/doc'
    makeinfo  -DHAVE_MAKEINFO_CLICK --html  -I /home/simark/src/binutils-gdb/gdb/doc/../../readline/readline/doc -I /home/simark/src/binutils-gdb/gdb/doc/../mi -I /home/simark/src/binutils-gdb/gdb/doc /home/simark/src/binutils-gdb/gdb/doc/gdb.texinfo
    makeinfo  -DHAVE_MAKEINFO_CLICK --html  -I /home/simark/src/binutils-gdb/gdb/doc /home/simark/src/binutils-gdb/gdb/doc/stabs.texinfo
    makeinfo  -DHAVE_MAKEINFO_CLICK --html  -I /home/simark/src/binutils-gdb/gdb/doc /home/simark/src/binutils-gdb/gdb/doc/annotate.texinfo
    test -z "/usr/local/share/doc/gdb" || /bin/sh /home/simark/src/binutils-gdb/gdb/doc/../../mkinstalldirs "/tmp/install/usr/local/share/doc/gdb"
     /usr/bin/install -c -m 644 '/home/simark/src/binutils-gdb/gdb/doc/gdb' '/tmp/install/usr/local/share/doc/gdb/gdb'
    /usr/bin/install: cannot stat '/home/simark/src/binutils-gdb/gdb/doc/gdb': No such file or directory
     /usr/bin/install -c -m 644 '/home/simark/src/binutils-gdb/gdb/doc/stabs' '/tmp/install/usr/local/share/doc/gdb/stabs'
    /usr/bin/install: cannot stat '/home/simark/src/binutils-gdb/gdb/doc/stabs': No such file or directory
     /usr/bin/install -c -m 644 '/home/simark/src/binutils-gdb/gdb/doc/annotate' '/tmp/install/usr/local/share/doc/gdb/annotate'
    /usr/bin/install: cannot stat '/home/simark/src/binutils-gdb/gdb/doc/annotate': No such file or directory
    make[2]: *** [Makefile:278: install-html] Error 1
    make[2]: Leaving directory '/home/simark/build/binutils-gdb/gdb/doc'
    make[1]: *** [Makefile:2240: subdir_do] Error 1
    make[1]: Leaving directory '/home/simark/build/binutils-gdb/gdb'
    make: *** [Makefile:2006: install-html] Error 2

Fix this by adding -o switches to the HTML targets, to force the output
directories.

[1] https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=a868421baf9c44227c43490687f8d6b8d6c95414

Change-Id: Ie147dc7b4a52eb2348005b8dc006a41b0784621f

gdb: Update gdbarch.py with latest changes in gdbarch.c

Commit 2b16913cdca2 ("gdb: make gdbarch_alloc take ownership of the tdep")
changed gdbarch.c without updating gdbarch.py.  As a result, running
gdbarch.py reverts those changes and causes the build to fail.

So change gdbarch.py to generate the current version of gdbarch.c.

Approved-By: Simon Marchi <simon.marchi@efficios.com>

Set _WIN32_WINNT in common.m4 configure check

GCC recently added support for the Windows thread model, enabling
libstdc++ to support Windows natively.  However, this supporrt
requires a version of Windows later than the minimum version that is
supported by GDB.

PR build/29966 points out that the GDB configure test for std::thread
does not work in this situation, because _WIN32_WINNT is not defined
in test program, and so <thread> seems to be fine.

This patch is an attempt to fix the problem, by using the same setting
for _WIN32_WINNT at configure time as is used at build time.

I don't have access to one of the older systems so I don't think I can
truly test this.  I did do a mingw cross build, though.  I'm going to
ask the bug reporter to test it.

Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=29966

[gdb/testsuite] Fix regexp in gdb.threads/dlopen-libpthread.exp

Fix regexp in gdb.threads/dlopen-libpthread.exp:
'libpthread\\.so' -> '/libpthread\\.so'.

Tested on x86_64-linux.

Fix XPASS weak symbols on x86_64-mingw32

Fixes commit 16fea92ccd99.

* testsuite/ld-scripts/weak.exp: Don't xfail x86_64 PE targets.
Do xfail other PE OS triplets by moving code setting xfails.

Fix a potential illegal memory access in the BFD library when parsing a corrupt DWARF file.

PR 29988
* dwarf2.c (read_indexed_address): Fix check for an out of range
offset.

[gdb/testsuite] Fix gdb.threads/dlopen-libpthread.exp for upstream glibc, again

On an x86_64 laptop running ubuntu 22.04.1 with unity desktop:
...
$ echo $XDG_CURRENT_DESKTOP
Unity:Unity7:ubuntu
...
I have:
...
$ echo $LD_PRELOAD
libgtk3-nocsd.so.0
...
due to package gtk3-nocsd, a package recommended by unity-session.

Consequently, for each exec these dependencies are pulled in, including
libpthread.so.0:
...
$ lddtree /lib/x86_64-linux-gnu/libgtk3-nocsd.so.0
libgtk3-nocsd.so.0 => /lib/x86_64-linux-gnu/libgtk3-nocsd.so.0 (interpreter => none)
    libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2
    libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0
    libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6
        ld-linux-x86-64.so.2 => /lib/x86_64-linux-gnu/ld-linux-x86-64.so.2
...

So, while test-case gdb.threads/dlopen-libpthread.exp appears to run ok:
...
 # of expected passes 12
 # of unsupported tests 1
...
with LD_PRELOAD="" we have instead:
...
(gdb) PASS: gdb.threads/dlopen-libpthread.exp: continue to breakpoint: notify
info sharedlibrary^M
From  To                  Syms Read   Shared Object Library^M
$hex  $hex  Yes         /lib64/ld-linux-x86-64.so.2^M
$hex  $hex  Yes         /lib/x86_64-linux-gnu/libc.so.6^M
$hex  $hex  Yes         dlopen-libpthread.so^M
(gdb) FAIL: gdb.threads/dlopen-libpthread.exp: libpthread.so found
...

The problem is that libpthread is expected as dependency of
dlopen-libpthread.so, but it's missing:
...
$ lddtree dlopen-libpthread.so
dlopen-libpthread.so => ./dlopen-libpthread.so (interpreter => none)
    libc.so.6 => $outputs/gdb.threads/dlopen-libpthread/dlopen-libpthread.so.d/libc.so.6
        ld-linux-x86-64.so.2 => /lib/x86_64-linux-gnu/ld-linux-x86-64.so.2
...
due to having glibc 2.35, which has libpthread integrated into libc.

Fix this by:
- adding a proc has_dependency
- using [has_dependency $exec libpthread.so] as hint that libpthread
  may be preloaded
- using ![has_dependency $shlib libpthread.so] to detect that
  the libpthread.so dependency is missing.

Also add a missing return after untested "no matching probes".

Tested on x86_64-linux, with and without LD_PRELOAD="".