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 <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:e431546ff9f1367538ed1307a1c98fa32fec7a8a commit r10-6891-ge431546ff9f1367538ed1307a1c98fa32fec7a8a Author: Richard Biener <rguent...@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 <rguent...@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.