cgraph: Adjust verify_corresponds_to_fndecl [PR106061]
authorJakub Jelinek <jakub@redhat.com>
Fri, 27 Jan 2023 10:16:43 +0000 (11:16 +0100)
committerJakub Jelinek <jakub@redhat.com>
Fri, 27 Jan 2023 10:16:43 +0000 (11:16 +0100)
commitbd246ac68239d944b01c213c39d6e212362c1b40
treeaf4d0a9c45d7a7ec36a36f48cbbe2d1654c972ed
parent9b9a1ac14cdca6eef8dbcab0d33f3c03774a6c77
cgraph: Adjust verify_corresponds_to_fndecl [PR106061]

IPA passes redirect some calls in what it determines to be unreachable code
to builtin_decl_unreachable.  But that function returns sometimes
builtin_decl_explicit (BUILT_IN_UNREACHABLE) (which was what GCC 12
and earlier did always), or builtin_decl_explicit (BUILT_IN_TRAP)
(e.g. for -funreachable-traps, -O0, -Og).
Now the cgraph verification code has a code to verify cgraph edges
and has there an exception for these redirections to BUILT_IN_UNREACHABLE,
but doesn't have for BUILT_IN_TRAP, so e.g. the following testcase
ICEs during that verification.

The following patch just adds BUILT_IN_TRAP to those exceptions.

2023-01-27  Jakub Jelinek  <jakub@redhat.com>

PR ipa/106061
* cgraph.cc (cgraph_edge::verify_corresponds_to_fndecl): Allow
redirection of calls to __builtin_trap in addition to redirection
to __builtin_unreachable.

* gcc.dg/pr106061.c: New test.
gcc/cgraph.cc
gcc/testsuite/gcc.dg/pr106061.c [new file with mode: 0644]