[Bug c/128491] New: internal compiler error: in verify_curr_properties, at passes.cc

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

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

            Bug ID: 128491
           Summary: internal compiler error: in verify_curr_properties, at
                    passes.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:
```c
inline void __attribute__ ((strub ("internal"), always_inline)) inl (void) { }
void bat (void) { inl (); }
```

Resulted in this output:
```
<source>:2:19: error: calling 'always_inline' 'strub' 'inl' in non-'strub'
context 'bat'
<source>:2:1: internal compiler error: in verify_curr_properties, at
passes.cc:2196
```

Trunk reproducer (`-fgnu-tm`): https://godbolt.org/z/hc46fv34q