Hi!
We have noticed the same problem on aarch64, if that's easier to reproduce.
Thanks,
Christophe
On Thu, 1 Jun 2023 at 06:20, haochen.jiang via Gcc-regression <
gcc-regress...@gcc.gnu.org> wrote:
> On Linux/x86_64,
>
> fb409a15d9babc78fe1d9957afcbaf1102cce58f is the first bad commit
> commit fb409a15d9babc78fe1d9957afcbaf1102cce58f
> Author: Jonathan Wakely <jwak...@redhat.com>
> Date: Thu May 25 09:57:46 2023 +0100
>
> libstdc++: Express std::vector's size() <= capacity() invariant in code
>
> caused
>
> FAIL: g++.dg/pr104547.C -std=gnu++14 scan-tree-dump-not vrp2
> "_M_default_append"
> FAIL: g++.dg/pr104547.C -std=gnu++17 scan-tree-dump-not vrp2
> "_M_default_append"
>
> with GCC configured with
>
> ../../gcc/configure
> --prefix=/export/users/haochenj/src/gcc-bisect/master/master/r14-1452/usr
> --enable-clocale=gnu --with-system-zlib --with-demangler-in-ld
> --with-fpmath=sse --enable-languages=c,c++,fortran --enable-cet
> --without-isl --enable-libmpx x86_64-linux --disable-bootstrap
>
> To reproduce:
>
> $ cd {build_dir}/gcc && make check RUNTESTFLAGS="dg.exp=g++.dg/pr104547.C
> --target_board='unix{-m32}'"
> $ cd {build_dir}/gcc && make check RUNTESTFLAGS="dg.exp=g++.dg/pr104547.C
> --target_board='unix{-m32\ -march=cascadelake}'"
> $ cd {build_dir}/gcc && make check RUNTESTFLAGS="dg.exp=g++.dg/pr104547.C
> --target_board='unix{-m64}'"
> $ cd {build_dir}/gcc && make check RUNTESTFLAGS="dg.exp=g++.dg/pr104547.C
> --target_board='unix{-m64\ -march=cascadelake}'"
>
> (Please do not reply to this email, for question about this report,
> contact me at haochen dot jiang at intel.com)
>
