[Bug c/120703] New: GCC internal compiler error in verify_cgraph_node: "Alias and target's section differs" when processing function alias with different sections

[bic60176 at gmail dot com via Gcc-bugs]

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

            Bug ID: 120703
           Summary: GCC internal compiler error in verify_cgraph_node:
                    "Alias and target's section differs" when processing
                    function alias with different sections
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: bic60176 at gmail dot com
  Target Milestone: ---

Compiler explorer:
[https://godbolt.org/z/zdh1Y3rW3](https://godbolt.org/z/zdh1Y3rW3)
generated by fuzzer

**Code:**
```c
static int __attribute__((target_clones("default,avx")))
__attribute__((__section__(".init.text"))) xt_init(void) {
}

int init_module(void) __attribute__((__copy__(xt_init)))
__attribute__((alias("xt_init")));
```

**Stack trace:**
```
<source>:5:1: error: Alias and target's section differs
    5 | __attribute__((alias("xt_init")));
      | ^~~~~~~~~~~~~
xt_init/4 (xt_init)
  Type: function definition analyzed alias cpp_implicit_alias
  Visibility: semantic_interposition artificial ifunc_resolver
  References: xt_init.resolver/5 (alias) 
  Referring: init_module/2 (alias) 
  Availability: overwritable
  Version info: next: xt_init.default/1 dispatcher: xt_init.resolver
  Function flags:
  Called by: 
  Calls: 
init_module/2 (init_module)
  Type: function definition analyzed alias
  Visibility: externally_visible semantic_interposition public
section:.init.text
  References: xt_init/4 (alias) 
  Referring: 
  Availability: available
  Function flags:
  Called by: 
  Calls: 
<source>:5:1: internal compiler error: verify_cgraph_node failed
0x2509625 diagnostic_context::diagnostic_impl(rich_location*,
diagnostic_metadata const*, diagnostic_option_id, char const*, __va_list_tag
(*) [1], diagnostic_t)
        ???:0
0x252adb6 internal_error(char const*, ...)
        ???:0
0xc173f8 cgraph_node::verify_node()
        ???:0
0xc05234 symtab_node::verify()
        ???:0
0xc06417 symtab_node::verify_symtab_nodes()
        ???:0
0xf36bd6 symbol_table::remove_unreachable_nodes(_IO_FILE*)
        ???:0
0xc1fd81 symbol_table::finalize_compilation_unit()
        ???:0
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.
Compiler returned: 1
```