[Bug target/103441] New: ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[Bug target/103441] New: ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[doko at debian dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

            Bug ID: 103441
           Summary: ICE in cgraph_node::verify_node() building libgo on
                    powerpc64le-linux-gnu (--with-cpu=power9)
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at debian dot org
  Target Milestone: ---

ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu
(--with-cpu=power9), seen with trunk 20211126:

0x109eb913 crash_signal
        ../../src/gcc/toplev.c:322
0x1046f94c cgraph_node::verify_node()
        ../../src/gcc/cgraph.c:3582
0x1045adc3 symtab_node::verify()
        ../../src/gcc/symtab.c:1358
0x10a894f3 optimize_inline_calls(tree_node*)
        ../../src/gcc/tree-inline.c:5500
0x1071e53f inline_transform(cgraph_node*)
        ../../src/gcc/ipa-inline-transform.c:790
0x108d5db7 execute_one_ipa_transform_pass
        ../../src/gcc/passes.c:2290
0x108d5db7 execute_all_ipa_transforms(bool)
        ../../src/gcc/passes.c:2337
0x104756e3 cgraph_node::expand()
        ../../src/gcc/cgraphunit.c:1827
0x104756e3 cgraph_node::expand()
        ../../src/gcc/cgraphunit.c:1787
0x10477137 expand_all_functions
        ../../src/gcc/cgraphunit.c:1998
0x10477137 symbol_table::compile()
        ../../src/gcc/cgraphunit.c:2348
0x1047a6af symbol_table::compile()
        ../../src/gcc/cgraphunit.c:2261
0x1047a6af symbol_table::finalize_compilation_unit()
        ../../src/gcc/cgraphunit.c:2529
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
make[6]: *** [Makefile:3026: net.lo] Error 1

Configured with:
         --enable-languages=c,ada,c++,go,d,fortran,objc,obj-c++
         --prefix=/usr
         --with-gcc-major-version-only
         --program-suffix=-12
         --program-prefix=powerpc64le-linux-gnu-
         --enable-shared
         --enable-linker-build-id
         --libexecdir=/usr/lib
         --without-included-gettext
         --enable-threads=posix
         --libdir=/usr/lib
         --enable-nls
         --enable-clocale=gnu
         --enable-libstdcxx-debug
         --enable-libstdcxx-time=yes
         --with-default-libstdcxx-abi=new
         --enable-gnu-unique-object
         --enable-plugin
         --enable-default-pie
         --with-system-zlib
         --enable-libphobos-checking=release
         --with-target-system-zlib=auto
         --enable-objc-gc=auto
         --enable-secureplt
         --with-cpu=power9
         --enable-targets=powerpcle-linux
         --disable-multilib
         --enable-multiarch
         --disable-werror
         --with-long-double-128
        
--enable-offload-targets=nvptx-none=/<<PKGBUILDDIR>>/debian/tmp-nvptx/usr
         --enable-offload-defaulted
         --without-cuda-driver
         --enable-checking=release
         --build=powerpc64le-linux-gnu
         --host=powerpc64le-linux-gnu
         --target=powerpc64le-linux-gnu

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
   Target Milestone|---                         |12.0
          Component|target                      |ipa
            Summary|ICE in                      |[12 Regression] ICE in
                   |cgraph_node::verify_node()  |cgraph_node::verify_node()
                   |building libgo on           |building libgo on
                   |powerpc64le-linux-gnu       |powerpc64le-linux-gnu
                   |(--with-cpu=power9)         |(--with-cpu=power9)
           Keywords|                            |build

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-11-26
                 CC|                            |hubicka at gcc dot gnu.org,
                   |                            |jamborm at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
All right, I can reproduce it on gcc112 compile farm machine with:
../configure  --prefix=/home/marxin/bin/gcc --disable-bootstrap
--enable-languages=c,c++,lto,fortran,go --disable-libsanitizer
--with-cpu=power9

...

/home/marxin/Programming/gcc/objdir/./gcc/go1
../../../libgo/go/net/addrselect.go ../../../libgo/go/net/cgo_linux.go
../../../libgo/go/net/cgo_resnew.go ../../../libgo/go/net/cgo_socknew.go
../../../libgo/go/net/cgo_unix.go ../../../libgo/go/net/conf.go
../../../libgo/go/net/dial.go ../../../libgo/go/net/dnsclient.go
../../../libgo/go/net/dnsclient_unix.go ../../../libgo/go/net/dnsconfig_unix.go
../../../libgo/go/net/error_posix.go ../../../libgo/go/net/error_unix.go
../../../libgo/go/net/fd_posix.go ../../../libgo/go/net/fd_unix.go
../../../libgo/go/net/file.go ../../../libgo/go/net/file_unix.go
../../../libgo/go/net/hook.go ../../../libgo/go/net/hook_unix.go
../../../libgo/go/net/hosts.go ../../../libgo/go/net/interface.go
../../../libgo/go/net/interface_linux.go ../../../libgo/go/net/ip.go
../../../libgo/go/net/iprawsock.go ../../../libgo/go/net/iprawsock_posix.go
../../../libgo/go/net/ipsock.go ../../../libgo/go/net/ipsock_posix.go
../../../libgo/go/net/lookup.go ../../../libgo/go/net/lookup_unix.go
../../../libgo/go/net/mac.go ../../../libgo/go/net/net.go
../../../libgo/go/net/nss.go ../../../libgo/go/net/parse.go
../../../libgo/go/net/pipe.go ../../../libgo/go/net/port.go
../../../libgo/go/net/port_unix.go ../../../libgo/go/net/rawconn.go
../../../libgo/go/net/sendfile_glibc.go ../../../libgo/go/net/sock_cloexec.go
../../../libgo/go/net/sock_linux.go ../../../libgo/go/net/sock_posix.go
../../../libgo/go/net/sockaddr_posix.go ../../../libgo/go/net/sockopt_linux.go
../../../libgo/go/net/sockopt_posix.go ../../../libgo/go/net/sockoptip_linux.go
../../../libgo/go/net/sockoptip_posix.go ../../../libgo/go/net/splice_linux.go
../../../libgo/go/net/tcpsock.go ../../../libgo/go/net/tcpsock_posix.go
../../../libgo/go/net/tcpsockopt_posix.go
../../../libgo/go/net/tcpsockopt_unix.go ../../../libgo/go/net/udpsock.go
../../../libgo/go/net/udpsock_posix.go ../../../libgo/go/net/unixsock.go
../../../libgo/go/net/unixsock_posix.go
../../../libgo/go/net/unixsock_readmsg_cmsg_cloexec.go
../../../libgo/go/net/writev_unix.go -quiet -dumpdir .libs/ -dumpbase net.go
-dumpbase-ext .go -mcpu=power9 -g -O2 -fgo-pkgpath=net -fPIC -I .
-L/home/marxin/Programming/gcc/objdir/./gcc -L/lib/../lib64 -L/usr/lib/../lib64
-o /tmp/cc0Ftahz.s

we remove a BB here:

#0  gimple_set_bb (stmt=0x3fffb01a2be0, bb=0x0) at ../../gcc/gimple.c:1772
#1  0x00000000107209b0 in gsi_remove (i=0x3fffffffd7c8,
remove_permanently=<optimized out>) at ../../gcc/gimple-iterator.c:569
#2  0x0000000010bddd3c in remove_bb (bb=0x3fffb0de2698) at
../../gcc/tree-cfg.c:2338
#3  0x00000000104aa8a0 in delete_basic_block (bb=<optimized out>) at
../../gcc/cfghooks.c:616
#4  0x0000000010c087f4 in cleanup_control_flow_pre () at
../../gcc/tree-cfgcleanup.c:979
#5  0x0000000010c0b090 in cleanup_tree_cfg_noloop (ssa_update_flags=0) at
../../gcc/tree-cfgcleanup.c:1073
#6  cleanup_tree_cfg (ssa_update_flags=<optimized out>) at
../../gcc/tree-cfgcleanup.c:1183
#7  0x0000000010a52108 in execute_function_todo (fn=0x3fffb0020180,
data=<optimized out>) at ../../gcc/passes.c:2008
#8  0x0000000010a52ea4 in do_per_function (callback=<optimized out>,
data=<optimized out>) at ../../gcc/passes.c:1687
#9  0x0000000010a53124 in execute_todo (flags=32) at ../../gcc/passes.c:2096
#10 0x0000000010a5692c in execute_one_ipa_transform_pass
(do_not_collect=<optimized out>, ipa_pass=0x1247cce0, node=<optimized out>) at
../../gcc/passes.c:2293
#11 execute_all_ipa_transforms (do_not_collect=<optimized out>) at
../../gcc/passes.c:2338
#12 0x000000001050c048 in cgraph_node::expand (this=0x3fffb062f570) at
../../gcc/cgraphunit.c:1827
#13 0x000000001050e050 in expand_all_functions () at
../../gcc/cgraphunit.c:1998
#14 symbol_table::compile (this=0x3fffaf0d0000) at ../../gcc/cgraphunit.c:2348
#15 0x0000000010511e0c in symbol_table::finalize_compilation_unit
(this=0x3fffaf0d0000) at ../../gcc/cgraphunit.c:2529
#16 0x0000000010b8c348 in compile_file () at ../../gcc/toplev.c:479
#17 0x00000000102c2234 in do_compile (no_backend=false) at
../../gcc/toplev.c:2156
#18 toplev::main (this=0x3fffffffe0b0, argc=76, argv=0x3fffffffe4d8) at
../../gcc/toplev.c:2308
#19 0x00000000102c4aa8 in main (argc=<optimized out>, argv=0x3fffffffe4d8) at
../../gcc/main.c:39

(gdb) p *current_pass
$11 = {<pass_data> = {type = IPA_PASS, name = 0x1203ee00 "cp", optinfo_flags =
OPTGROUP_NONE, tv_id = TV_IPA_CONSTANT_PROP, properties_required = 0,
properties_provided = 0, properties_destroyed = 0, todo_flags_start = 524288,
todo_flags_finish = 384}, 
  _vptr.opt_pass = 0x122fcd80 <vtable for (anonymous
namespace)::pass_ipa_cp+16>, sub = 0x0, next = 0x1247cd90, static_pass_number =
84, m_ctxt = 0x124336c0}

and later we crash here:

(gdb) p *current_pass
$12 = {<pass_data> = {type = IPA_PASS, name = 0x12037058 "inline",
optinfo_flags = OPTGROUP_INLINE, tv_id = TV_IPA_INLINING, properties_required =
0, properties_provided = 0, properties_destroyed = 0, todo_flags_start =
524288, todo_flags_finish = 128}, 
  _vptr.opt_pass = 0x122fce40 <vtable for (anonymous
namespace)::pass_ipa_inline+16>, sub = 0x0, next = 0x1247d050,
static_pass_number = 88, m_ctxt = 0x124336c0}

(gdb) bt
#0  0x00000000104f6904 in cgraph_node::verify_node (this=0x3fffb062f570) at
../../gcc/cgraph.c:3582
#1  0x00000000104dfc94 in symtab_node::verify (this=<optimized out>) at
../../gcc/symtab.c:1358
#2  0x0000000010c6576c in optimize_inline_calls (fn=0x3fffb084ad00) at
../../gcc/tree-inline.c:5500
#3  0x000000001085a660 in inline_transform (node=0x3fffb062f570) at
../../gcc/ipa-inline-transform.c:790
#4  0x0000000010a56920 in execute_one_ipa_transform_pass
(do_not_collect=<optimized out>, ipa_pass=0x1247cfa0, node=<optimized out>) at
../../gcc/passes.c:2290
#5  execute_all_ipa_transforms (do_not_collect=<optimized out>) at
../../gcc/passes.c:2338
#6  0x000000001050c048 in cgraph_node::expand (this=0x3fffb062f570) at
../../gcc/cgraphunit.c:1827
#7  0x000000001050e050 in expand_all_functions () at
../../gcc/cgraphunit.c:1998
#8  symbol_table::compile (this=0x3fffaf0d0000) at ../../gcc/cgraphunit.c:2348
#9  0x0000000010511e0c in symbol_table::finalize_compilation_unit
(this=0x3fffaf0d0000) at ../../gcc/cgraphunit.c:2529
#10 0x0000000010b8c348 in compile_file () at ../../gcc/toplev.c:479
#11 0x00000000102c2234 in do_compile (no_backend=false) at
../../gcc/toplev.c:2156
#12 toplev::main (this=0x3fffffffe0b0, argc=76, argv=0x3fffffffe4d8) at
../../gcc/toplev.c:2308
#13 0x00000000102c4aa8 in main (argc=<optimized out>, argv=0x3fffffffe4d8) at
../../gcc/main.c:39

because:

(gdb) p e->call_stmt->bb
$14 = (basic_block) 0x0

The edge is:

(gdb) p e->caller->debug()
net.ubtoa.constprop.0.isra.0/6250 (net.ubtoa.constprop.isra) @0x3fffb062f570
  Type: function definition analyzed
  Visibility: artificial
  References: 
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local
  Called by: net.IP.String/4510 (936945 (estimated locally),0.10 per call) (can
throw external) net.IP.String/4510 (937695 (estimated locally),0.10 per call)
(can throw external) net.IP.String/4510 (938446 (estimated locally),0.10 per
call) (can throw external) net.IP.String/4510 (939197 (estimated locally),0.10
per call) (can throw external) 
  Calls: runtime.goPanicIndex/5425 (107202 (estimated locally),0.00 per call)
(can throw external) runtime.goPanicIndex/5425 (214533 (estimated locally),0.00
per call) (can throw external) runtime.goPanicIndex/5425 (214705 (estimated
locally),0.00 per call) (can throw external) runtime.goPanicIndex/5425 (214533
(estimated locally),0.00 per call) (can throw external)
runtime.goPanicIndex/5425 (214705 (estimated locally),0.00 per call) (can throw
external) runtime.goPanicIndex/5425 (429410 (estimated locally),0.00 per call)
(can throw external) 
$16 = void
(gdb) p e->callee->debug()
runtime.goPanicIndex/5425 (runtime.goPanicIndex) @0x3fffb00a6e80
  Type: function
  Visibility: semantic_interposition external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: net.ipVersion/6311 (38042 (estimated locally),0.00 per call) (can
throw external) net.ipVersion/6309 (111103 (estimated locally),0.00 per call)
(can throw external) net.cgoNameinfoPTR.isra.0/6268 (375809 (estimated
locally),0.00 per call) (can throw external) net.addrTable.isra.0/6261 (94953
(estimated locally),0.00 per call) (can throw external) net.newAddr.isra.0/6260
(21687 (estimated locally),0.00 per call) net.newAddr.isra.0/6260 (21678
(estimated locally),0.00 per call) net.newAddr.isra.0/6260 (21670 (estimated
locally),0.00 per call) net.newAddr.isra.0/6260 (21661 (estimated locally),0.00
per call) net.joinIPv4Group.isra.0/6256 (24487 (estimated locally),0.00 per
call) (can throw external) net.joinIPv4Group.isra.0/6256 (24478 (estimated
locally),0.00 per call) (can throw external) net.joinIPv4Group.isra.0/6256
(24468 (estimated locally),0.00 per call) (can throw external)
net.joinIPv4Group.isra.0/6256 (24458 (estimated locally),0.00 per call) (can
throw external) net.ubtoa.constprop.0.isra.0/6250 (107202 (estimated
locally),0.00 per call) (can throw external) net.ubtoa.constprop.0.isra.0/6250
(214533 (estimated locally),0.00 per call) (can throw external)
net.ubtoa.constprop.0.isra.0/6250 (214705 (estimated locally),0.00 per call)
(can throw external) net.ubtoa.constprop.0.isra.0/6250 (214533 (estimated
locally),0.00 per call) (can throw external) net.ubtoa.constprop.0.isra.0/6250
(214705 (estimated locally),0.00 per call) (can throw external)
net.ubtoa.constprop.0.isra.0/6250 (429410 (estimated locally),0.00 per call)
(can throw external) net.goDebugString.constprop.0/6244 (1870724 (estimated
locally),0.00 per call) net.goDebugString.constprop.0/6244 (1868852 (estimated
locally),0.00 per call) net.goDebugString.constprop.0/6244 (4666755 (estimated
locally),0.00 per call) net.newRequest.constprop.0/6240 (8410 (estimated
locally),0.00 per call) (can throw external) net.newRequest.constprop.0/6240
(8407 (estimated locally),0.00 per call) (can throw external)
net.Resolver.internetAddrList/4571 (90079 (estimated locally),0.00 per call)
(can throw external) net.conf.hostLookupOrder/4354 (9581 (estimated
locally),0.00 per call) net.avoidDNS/4410 (89987 (estimated locally),0.00 per
call) (can throw external) net.SplitHostPort/4567 (73295 (estimated
locally),0.00 per call) (can throw external) net.SplitHostPort/4567 (365115
(estimated locally),0.00 per call) (can throw external) net.dnsReadConfig/4425
(417518 (estimated locally),0.00 per call) net.dnsReadConfig/4425 (417685
(estimated locally),0.00 per call) net.dnsReadConfig/4425 (12306 (estimated
locally),0.00 per call) net.last/4693 (413776 (estimated locally),0.01 per
call) (can throw external) net.parseProcNetIGMP6/4491 (45876535 (estimated
locally),0.18 per call) net.parseProcNetIGMP/4490 (14569609 (estimated
locally),0.11 per call) net.parseProcNetIGMP/4490 (281432 (estimated
locally),0.00 per call) net.readServices/4727 (78210 (estimated locally),0.00
per call) net.maxListenerBacklog/4742 (61029 (estimated locally),0.00 per call)
net.splitAtBytes/4686 (9447 (estimated locally),0.00 per call) (can throw
external) net.splitAtBytes/4686 (247778 (estimated locally),0.01 per call) (can
throw external) net.byMaskLength.Less/4321 (857447 (estimated locally),0.00 per
call) (can throw external) net.byMaskLength.Less/4321 (858477 (estimated
locally),0.00 per call) (can throw external) net.IP.String/4510 (17212
(estimated locally),0.00 per call) (can throw external) net.IP.String/4510
(34446 (estimated locally),0.00 per call) (can throw external)
net.IP.String/4510 (839701 (estimated locally),0.09 per call) (can throw
external) net.IP.String/4510 (287762 (estimated locally),0.03 per call) (can
throw external) net.IP.String/4510 (750 (estimated locally),0.00 per call) (can
throw external) net.IP.String/4510 (751 (estimated locally),0.00 per call) (can
throw external) net.IP.String/4510 (751 (estimated locally),0.00 per call) (can
throw external) net.hexString/4511 (413611 (estimated locally),0.01 per call)
(can throw external) net.hexString/4511 (413776 (estimated locally),0.01 per
call) (can throw external) net.IPNet.Contains/4521 (413776 (estimated
locally),0.00 per call) (can throw external) net.IP.DefaultMask/4506 (351659
(estimated locally),0.00 per call) (can throw external) net.classifyScope/4324
(52371 (estimated locally),0.00 per call) (can throw external)
net.classifyScope/4324 (80603 (estimated locally),0.00 per call) (can throw
external) net.classifyScope/4324 (24504 (estimated locally),0.00 per call) (can
throw external) net.IP.IsLinkLocalUnicast/4501 (64399 (estimated locally),0.00
per call) (can throw external) net.IP.IsLinkLocalUnicast/4501 (150203
(estimated locally),0.00 per call) (can throw external)
net.IP.IsLinkLocalUnicast/4501 (300527 (estimated locally),0.00 per call) (can
throw external) net.IP.IsLinkLocalMulticast/4500 (64399 (estimated
locally),0.00 per call) (can throw external) net.IP.IsLinkLocalMulticast/4500
(198241 (estimated locally),0.00 per call) (can throw external)
net.IP.IsLinkLocalMulticast/4500 (102138 (estimated locally),0.00 per call)
(can throw external) net.IP.IsLinkLocalMulticast/4500 (300527 (estimated
locally),0.00 per call) (can throw external) net.IP.IsMulticast/4498 (300527
(estimated locally),0.00 per call) (can throw external) net.IP.IsPrivate/4497
(99125 (estimated locally),0.00 per call) (can throw external)
net.IP.IsPrivate/4497 (67411 (estimated locally),0.00 per call) (can throw
external) net.IP.IsPrivate/4497 (300527 (estimated locally),0.00 per call) (can
throw external) net.IP.IsLoopback/4496 (354493 (estimated locally),0.00 per
call) (can throw external) net.reverseaddr/4384 (417714 (estimated
locally),0.00 per call) (can throw external) net.reverseaddr/4384 (115821
(estimated locally),0.00 per call) (can throw external) net.reverseaddr/4384
(115867 (estimated locally),0.00 per call) (can throw external)
net.reverseaddr/4384 (115913 (estimated locally),0.00 per call) (can throw
external) net.reverseaddr/4384 (115960 (estimated locally),0.00 per call) (can
throw external) net.byRFC6724.Less/4317 (427781 (estimated locally),0.00 per
call) (can throw external) net.byRFC6724.Less/4317 (427952 (estimated
locally),0.00 per call) (can throw external) net.byRFC6724.Less/4317 (428124
(estimated locally),0.00 per call) (can throw external) net.byRFC6724.Less/4317
(428295 (estimated locally),0.00 per call) (can throw external)
net.byRFC6724.Less/4317 (428466 (estimated locally),0.00 per call) (can throw
external) net.byRFC6724.Less/4317 (428638 (estimated locally),0.00 per call)
(can throw external) net.byRFC6724.Less/4317 (857790 (estimated locally),0.00
per call) (can throw external) net.byRFC6724.Less/4317 (858477 (estimated
locally),0.00 per call) (can throw external) net.commonPrefixLen/4325 (420047
(estimated locally),0.00 per call) (can throw external) net.IP.To4/4504 (84778
(estimated locally),0.00 per call) (can throw external) net.IP.To4/4504 (169624
(estimated locally),0.00 per call) (can throw external) net.byPref.sort/4396
(839926 (estimated locally),0.03 per call) (can throw external)
net.byPriorityWeight.sort/4392 (420906 (estimated locally),0.02 per call) (can
throw external) net.byPriorityWeight.shuffleByWeight/4391 (30854 (estimated
locally),0.01 per call) (can throw external) net.bytePtrToString/4329 (10737416
(estimated locally),0.21 per call) (can throw external)
syscall.StringBytePtr/5093 (28826 (estimated locally),0.00 per call) (can throw
external) net.kernelVersion/4740 (54537 (estimated locally),0.00 per call) (can
throw external) net.interfaceTable/4483 (113931 (estimated locally),0.00 per
call) (can throw external) net.parsePort/4726 (3241008 (estimated locally),0.00
per call) (can throw external) net.parsePort/4726 (283464 (estimated
locally),0.00 per call) (can throw external) net.favoriteAddrFamily/4575
(858820 (estimated locally),0.00 per call) (can throw external)
net.ipVersion/4580 (332 (estimated locally),0.00 per call) (can throw external) 
  Calls:

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
@Martin: Can you please take a look? It's a ISRA clone of a CP clone :)

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[hubicka at kam dot mff.cuni.cz]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

--- Comment #3 from hubicka at kam dot mff.cuni.cz ---
> #0  gimple_set_bb (stmt=0x3fffb01a2be0, bb=0x0) at ../../gcc/gimple.c:1772
> #1  0x00000000107209b0 in gsi_remove (i=0x3fffffffd7c8,
> remove_permanently=<optimized out>) at ../../gcc/gimple-iterator.c:569
> #2  0x0000000010bddd3c in remove_bb (bb=0x3fffb0de2698) at
> ../../gcc/tree-cfg.c:2338
> #3  0x00000000104aa8a0 in delete_basic_block (bb=<optimized out>) at
> ../../gcc/cfghooks.c:616
> #4  0x0000000010c087f4 in cleanup_control_flow_pre () at
> ../../gcc/tree-cfgcleanup.c:979
> #5  0x0000000010c0b090 in cleanup_tree_cfg_noloop (ssa_update_flags=0) at
> ../../gcc/tree-cfgcleanup.c:1073
> #6  cleanup_tree_cfg (ssa_update_flags=<optimized out>) at
> ../../gcc/tree-cfgcleanup.c:1183

It is not safe to do cleanup_tree_cfg in IPA transform pass since it
does not maintain cgraph edges (which are needed during inliing).
There is delete_unreachable_blocks_update_callgraph.

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |jamborm at gcc dot gnu.org

--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Oops, I knew I forgot some peculiarity about the transformation phase TODOs.

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[schwab@linux-m68k.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

Andreas Schwab <schwab@linux-m68k.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|powerpc64le-linux-gnu       |powerpc64le-linux-gnu,
                   |                            |riscv64-*-*

--- Comment #5 from Andreas Schwab <schwab@linux-m68k.org> ---
Same crash on riscv64.

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

--- Comment #6 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Created attachment 51884
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51884&action=edit
Untested fix

I am testing this fix

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 103442 has been marked as a duplicate of this bug. ***

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Jambor <jamborm@gcc.gnu.org>:

https://gcc.gnu.org/g:9e2e47391b316493b52fbb47b4b992b0863795dd

commit r12-5554-g9e2e47391b316493b52fbb47b4b992b0863795dd
Author: Martin Jambor <mjambor@suse.cz>
Date:   Sat Nov 27 01:00:56 2021 +0100

    ipa: Fix CFG fix-up in IPA-CP transform phase (PR 103441)

    I forgot that IPA passes before ipa-inline must not return
    TODO_cleanup_cfg from their transformation function because ordinary
    CFG cleanup does not remove call graph edges associated with removed
    call statements but must use
    delete_unreachable_blocks_update_callgraph instead.  This patch fixes
    that error.

    gcc/ChangeLog:

    2021-11-26  Martin Jambor  <mjambor@suse.cz>

            PR ipa/103441
            * ipa-prop.c (ipcp_transform_function): Call
            delete_unreachable_blocks_update_callgraph instead of returning
            TODO_cleanup_cfg.

[Bug ipa/103441] [12 Regression] ICE in cgraph_node::verify_node() building libgo on powerpc64le-linux-gnu (--with-cpu=power9)

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103441

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #9 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Before committing I had verified that with the patch I could bootstrap Go on
ppc64le-linux whereas without it I could not.  I therefore believe all these
issues are fixed.