This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/50604] [4.7 Regression] verify_gimple failed: type mismatch in binary expression
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 04 Oct 2011 15:26:02 +0000
- Subject: [Bug middle-end/50604] [4.7 Regression] verify_gimple failed: type mismatch in binary expression
- Auto-submitted: auto-generated
- References: <bug-50604-4@http.gcc.gnu.org/bugzilla/>
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