[Bug tree-optimization/104064] gcc/tree-vect-data-refs.c:3208:16: runtime error: signed integer overflow: 17 - -9223372036854775806 cannot be represented in type 'long int'

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

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

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

https://gcc.gnu.org/g:00dc7877ee02634d4837d024e36b55bef6b9d49c

commit r12-6660-g00dc7877ee02634d4837d024e36b55bef6b9d49c
Author: Richard Biener <rguent...@suse.de>
Date:   Tue Jan 18 09:06:13 2022 +0100

    tree-optimization/104064 - UBSAN issue in vect dataref analysis

    Since we order DRs after DR_INIT we know the difference will be
    positive and thus can avoid signed overflow issues by using
    unsigned arithmetic to produce the known unsigned result.

    2022-01-18  Richard Biener  <rguent...@suse.de>

            PR tree-optimization/104064
            * tree-vect-data-refs.cc (vect_analyze_data_ref_accesses): Check
            DR_INIT fits in a signed HWI, represent the difference from the
            first DR in unsigned.