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

            Bug ID: 115548
           Summary: ICE: verify_cgraph_node failed with attribute malloc
                    and simd enabled
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: iamanonymous.cs at gmail dot com
  Target Milestone: ---

Also ICE on trunk.
Compiler Explorer: https://godbolt.org/z/1q9nc3acK

*******************************************************************************
OS and Platform:
$ uname -a:
Linux ubuntu 4.15.0-213-generic #224-Ubuntu SMP Mon Jun 19 13:30:12 UTC 2023
x86_64 x86_64 x86_64 GNU/Linux
*******************************************************************************
gcc version:
Using built-in specs.
COLLECT_GCC=/root/gcc_set/trunk-48a320a/bin/gcc
COLLECT_LTO_WRAPPER=/root/gcc_set/trunk-48a320a/libexec/gcc/x86_64-pc-linux-gnu/15.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc/configure --prefix=/root/gcc_set/trunk-48a320a
--with-gmp=/root/build_essential --with-mpfr=/root/build_essential
--with-mpc=/root/build_essential --enable-languages=c,c++ --disable-multilib
--with-sanitizer=address,undefined,thread,leak --enable-coverage
--disable-bootstrap
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 15.0.0 20240426 (experimental) (GCC) 

*******************************************************************************
Program:
$ cat mutant.c
__attribute__((malloc, simd)) int *a() {}

*******************************************************************************
Command Lines:
$ gcc mutant.c
mutant.c:1:1: error: malloc attribute should be used for a function that
returns a pointer
    1 | __attribute__((malloc, simd)) int *a() {}
      | ^~~~~~~~~~~~~
_ZGVeM8_a/8 (a.simdclone.7)
  Type: function definition analyzed
  Visibility: externally_visible semantic_interposition no_reorder asm_written
public artificial
  References: 
  Referring: 
  Availability: available
  Function flags: decl_is_malloc
  Called by: 
  Calls: 
mutant.c:1:1: internal compiler error: verify_cgraph_node failed
0x11fec4c cgraph_node::verify_node()
        ../../gcc/gcc/cgraph.cc:3956
0x11d1c0a symtab_node::verify()
        ../../gcc/gcc/symtab.cc:1362
0x11d22bd symtab_node::verify_symtab_nodes()
        ../../gcc/gcc/symtab.cc:1482
0x1219e99 symbol_table::compile()
        ../../gcc/gcc/cgraphunit.cc:2420
0x121a6f3 symbol_table::finalize_compilation_unit()
        ../../gcc/gcc/cgraphunit.cc:2589
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

Reply via email to