[Bug c++/105438] Incorrect array-bounds warning with array size carried over from a previous template instantiation

[bernie at codewiz dot org via Gcc-bugs]

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

--- Comment #4 from Bernie Innocenti <bernie at codewiz dot org> ---
Furthermore, after the inline pass main() has a reference to the shorter array
with an annotation of int[7], which is clearly wrong:

  <bb 5> [local count: 939524097]:
  _5 = MEM[(const int[7] &)&shorter][i_4];
  out[i_4] = _5;
  i_6 = i_4 + 1;