[Bug middle-end/50604] [4.7 Regression] verify_gimple failed: type mismatch in binary expression

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50604

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-10-04 
15:26:02 UTC ---
Author: jakub
Date: Tue Oct  4 15:25:53 2011
New Revision: 179508

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179508
Log:
    PR tree-optimization/50604
    * builtins.c (fold_builtin_strcpy, fold_builtin_stpcpy,
    fold_builtin_strncpy, fold_builtin_stxcpy_chk): Ensure
    last argument to memcpy has size_type_node type instead of
    ssizetype.
    * tree-ssa-strlen.c (handle_builtin_memcpy): Use size_type_node
    instead of TREE_TYPE (len) as type for newlen.

    * gcc.dg/pr50604.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr50604.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/builtins.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-strlen.c