[Bug testsuite/91258] [10 regression] g++.dg/ubsan/vla-1.C and gcc.dg/strlenopt-70.c fail starting with r273783

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
I checked r273812 and r273814 to fix the failures in the strlenopt-7?.c tests
-- see https://gcc.gnu.org/ml/gcc-patches/2019-07/msg01658.html for a detailed
explanation.

But I wasn't able to reproduce the warning in testsuite/g++.dg/ubsan/vla-1.C
with my cross-compilers for powerpc64{,le}-linux.  What's strange is that the
function that issues the warning (handle_store in tree-ssa-strlen.c) shouldn't
be called for this code because its caller takes care to only invoke it when
the type of object being stored into is char.  If the function is getting
called despite the check something isn't working as expected and it would be
good to know what and why.  Can you debug it?