[Bug c++/116841] [14 Regression] spurious -Warray-bounds=1 warning when resizing + memcpy-ing into vector

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

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

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Yes it was fixed by Honza's r15-5361-gaac5c57ee16723 

    Add __builtion_unreachable to vector::size(), vector::capacity()

    This patch makes it clear that vector sizes and capacities are not
    negative.  With recent change to ipa-fnsummary this should not affect
    inlining and improves codegen of some vector manipulation functions.