[Bug c/116810] New: tree-vect-slp.cc:3721:18: runtime error: insufficient space for an object of type 'bool'

[Bug c/116810] New: tree-vect-slp.cc:3721:18: runtime error: insufficient space for an object of type 'bool'

[dcb314 at hotmail dot com]

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

            Bug ID: 116810
           Summary: tree-vect-slp.cc:3721:18: runtime error: insufficient
                    space for an object of type 'bool'
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

I just tried a bootstrap build with ASAN & UBSAN switched on.

I got:

working $ grep "runtime error:" mk.out | head
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffeccf7bec1 with insufficient space for an object of type 'bool'

Source code is

      matches[1] = false;

git blame says:

9aaedfc4146c gcc/tree-vect-slp.cc (Richard Biener       2024-07-05 10:35:08
+0200  3721)       matches[1] = false;

Configure script is:

../trunk/configure --prefix=$HOME/gcc/results.$DATE \
        --disable-multilib \
        --disable-werror \
        --with-pkgversion=$HASH \
    --with-build-config=bootstrap-asan \
    --with-build-config=bootstrap-ubsan \
        --enable-checking=yes \
        --enable-languages=c,c++,fortran

sed 's;-O2;-O2 -march=znver3 -fno-var-tracking-assignments;' < Makefile >
Makefile.tmp
diff Makefile Makefile.tmp
mv Makefile.tmp Makefile

Further detail:

working $ grep -E "^Config|runtime error:" mk.out 
...
Configuring stage 2 in x86_64-pc-linux-gnu/libgcc
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffeccf7bec1 with insufficient space for an object of type 'bool'
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffffe8ad741 with insufficient space for an object of type 'bool'
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffd80152aa1 with insufficient space for an object of type 'bool'
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffc3b71e521 with insufficient space for an object of type 'bool'
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffc82548ee1 with insufficient space for an object of type 'bool'
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffc67ddf881 with insufficient space for an object of type 'bool'
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffd845cd581 with insufficient space for an object of type 'bool'
Configuring stage 2 in x86_64-pc-linux-gnu/libgomp
Configuring stage 2 in x86_64-pc-linux-gnu/libstdc++-v3
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffe25bff581 with insufficient space for an object of type 'bool'
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7ffe599e5401 with insufficient space for an object of type 'bool'
../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
0x7fff277997c1 with insufficient space for an object of type 'bool'

[Bug c/116810] tree-vect-slp.cc:3721:18: runtime error: insufficient space for an object of type 'bool'

[sjames at gcc dot gnu.org]

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

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sjames at gcc dot gnu.org

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
(In reply to David Binderman from comment #0)
> I just tried a bootstrap build with ASAN & UBSAN switched on.
> 
> I got:
> 
> working $ grep "runtime error:" mk.out | head
> ../../trunk/gcc/tree-vect-slp.cc:3721:18: runtime error: store to address
> 0x7ffeccf7bec1 with insufficient space for an object of type 'bool'
> 

You might get some nicer output with:
export UBSAN_OPTIONS=print_stacktrace=1:halt_on_error=0

(maybe changing 0 to 1 for halting depending on what you want)

> Source code is
> 
>       matches[1] = false;
> 
> git blame says:
> 
> 9aaedfc4146c gcc/tree-vect-slp.cc (Richard Biener       2024-07-05 10:35:08
> +0200  3721)       matches[1] = false;
> 
> Configure script is:
> 
> ../trunk/configure --prefix=$HOME/gcc/results.$DATE \
> 	--disable-multilib \
> 	--disable-werror \
> 	--with-pkgversion=$HASH \
>     --with-build-config=bootstrap-asan \
>     --with-build-config=bootstrap-ubsan \

Are you sure this works? autoconf usually says the last one wins. You may need
--with-build-config="bootstrap-asan bootstrap-ubsan" instead.

[Bug tree-optimization/116810] [15 Regression] tree-vect-slp.cc:3721:18: runtime error: insufficient space for an object of type 'bool'

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
   Target Milestone|---                         |15.0
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Last reconfirmed|                            |2024-09-23

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.

[Bug tree-optimization/116810] [15 Regression] tree-vect-slp.cc:3721:18: runtime error: insufficient space for an object of type 'bool'

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:2c04f175de4f3985d783511662375d52f2cf4ad8

commit r15-3794-g2c04f175de4f3985d783511662375d52f2cf4ad8
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Sep 23 10:30:32 2024 +0200

    tree-optimization/116810 - out-of-bound access to matches[]

    The following makes sure to apply forced splitting of groups for
    firced single-lane SLP only when the group being analyzed has more
    than one lane.  This avoids an out-of-bound access to matches[].

            PR tree-optimization/116810
            * tree-vect-slp.cc (vect_build_slp_instance): Onlu force
            splitting for group_size > 1.

[Bug tree-optimization/116810] [15 Regression] tree-vect-slp.cc:3721:18: runtime error: insufficient space for an object of type 'bool'

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.