[Bug tree-optimization/101831] Spurious maybe-uninitialized warning on std::array::size

[kim.walisch at gmail dot com via Gcc-bugs]

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

kim.walisch at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kim.walisch at gmail dot com

--- Comment #2 from kim.walisch at gmail dot com ---
> I'm not sure that the std::array use case is common enough to justify the  
> potential for the false negatives

I just hit the same GCC warning on completely valid code. Both Clang & MSVC
correctly do not issue any warning.

void Foo::func()
{
  std::array<uint64_t, 8> pos;
  assert(pos.size() == static_global_array.size());
  ...
}

In member function ‘void Foo::func()’:
warning: ‘pos’ may be used uninitialized [-Wmaybe-uninitialized]
  312 |   assert(pos.size() == buffers_.size());