[Bug tree-optimization/117067] false warning: array subscript 'int (**)(...)[ 0]' is partly outside array bounds

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c++                         |tree-optimization

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
So what happens in this case is GCC is doing some speculative devirtualization
and it inlines that call now but the code is not reachable at runtime though. 

Though there might some issue with:
        std::byte _data[S];

Where that alignment is not the same as the alignment of `void*`.