[Bug c++/128537] New: internal compiler error: tree check: expected none of vector_type, have vector_type in check_function_arguments_recurse, at c-family/c-common.cc

[0599jiangyc at gmail dot com via Gcc-bugs]

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

            Bug ID: 128537
           Summary: internal compiler error: tree check: expected none of
                    vector_type, have vector_type in
                    check_function_arguments_recurse, at
                    c-family/c-common.cc
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 0599jiangyc at gmail dot com
  Target Milestone: ---

The following code:
```cpp
typedef int vec __attribute__ ((vector_size (8)));
constexpr vec v = { 1, 2 };
bool f (int a, int *res)
{
  return __builtin_sub_overflow (a, v, res);
}
```

Resulted in this output:
```
<source>:5:33: internal compiler error: tree check: expected none of
vector_type, have vector_type in check_function_arguments_recurse, at
c-family/c-common.cc:6468
```

Trunk reproducer (`-Wall`): https://godbolt.org/z/1Y4MYh4Kc