[Bug tree-optimization/93508] VN doesn't handle _chk functions or valueize their length

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:e431546ff9f1367538ed1307a1c98fa32fec7a8a

commit r10-6891-ge431546ff9f1367538ed1307a1c98fa32fec7a8a
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Feb 27 13:46:34 2020 +0100

    tree-optimization/93508 - make VN translate through _chk and valueize
length

    Value-numbering failed to handle __builtin_{memcpy,memset,...}_chk
    variants when removing abstraction and also failed to use the
    value-numbering lattice when requiring the length argument of the
    call to be constant.

    2020-02-27  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/93508
        * tree-ssa-sccvn.c (vn_reference_lookup_3): Handle _CHK like
        non-_CHK variants.  Valueize their length arguments.

        * gcc.dg/tree-ssa/ssa-fre-85.c: New testcase.