public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c/50604] New: verify_gimple failed: type mismatch in binary expression @ 2011-10-03 19:16 dimhen at gmail dot com 2011-10-03 19:20 ` [Bug middle-end/50604] [4.7 Regression] " pinskia at gcc dot gnu.org ` (2 more replies) 0 siblings, 3 replies; 4+ messages in thread From: dimhen at gmail dot com @ 2011-10-03 19:16 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50604 Bug #: 50604 Summary: verify_gimple failed: type mismatch in binary expression Classification: Unclassified Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: c AssignedTo: unassigned@gcc.gnu.org ReportedBy: dimhen@gmail.com $ gcc -O2 -Wall -Wextra -c ./verify_gimple_err.c ./verify_gimple_err.c: In function '_is_same_atr': ./verify_gimple_err.c:6:6: error: type mismatch in binary expression ssizetype size_t ssizetype D.3197_15 = D.3184_1 + 20; ./verify_gimple_err.c:6:6: internal compiler error: verify_gimple failed Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions. $ cat verify_gimple_err.c #include <string.h> typedef char TCHAR; typedef TCHAR TSupSysENickname[0x40 + 1]; extern const TCHAR MEDIA_BASE_PATH[]; void _is_same_atr( ) { char *ptr; TSupSysENickname nickname; ptr = malloc(strlen(nickname)); strcpy( ptr, MEDIA_BASE_PATH ); strcat( ptr, nickname ); strcat( ptr, "/" ); } const TCHAR MEDIA_BASE_PATH[] = "\\CONFIG\\KeyCarriers\\"; $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/local/gcc_current/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: /home/dim/src/gcc-current/configure --prefix=/usr/local/gcc_current --with-multilib-list=m64 --enable-__cxa_atexit --enable-bootstrap --enable-shared --enable-threads=posix --enable-checking=df,rtl,yes --with-system-zlib --disable-libunwind-exceptions --enable-gnu-unique-object --enable-linker-build-id --enable-languages=c,c++,lto --enable-plugin --with-tune=generic --enable-version-specific-runtime-libs Thread model: posix gcc version 4.7.0 20111003 (experimental) [trunk revision 179472] (GCC) ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug middle-end/50604] [4.7 Regression] verify_gimple failed: type mismatch in binary expression 2011-10-03 19:16 [Bug c/50604] New: verify_gimple failed: type mismatch in binary expression dimhen at gmail dot com @ 2011-10-03 19:20 ` pinskia at gcc dot gnu.org 2011-10-04 15:27 ` jakub at gcc dot gnu.org 2011-10-04 15:34 ` jakub at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: pinskia at gcc dot gnu.org @ 2011-10-03 19:20 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50604 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |4.7.0 Summary|[4.7.0] verify_gimple |[4.7 Regression] |failed: type mismatch in |verify_gimple failed: type |binary expression |mismatch in binary | |expression ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug middle-end/50604] [4.7 Regression] verify_gimple failed: type mismatch in binary expression 2011-10-03 19:16 [Bug c/50604] New: verify_gimple failed: type mismatch in binary expression dimhen at gmail dot com 2011-10-03 19:20 ` [Bug middle-end/50604] [4.7 Regression] " pinskia at gcc dot gnu.org @ 2011-10-04 15:27 ` jakub at gcc dot gnu.org 2011-10-04 15:34 ` jakub at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: jakub at gcc dot gnu.org @ 2011-10-04 15:27 UTC (permalink / raw) To: gcc-bugs 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug middle-end/50604] [4.7 Regression] verify_gimple failed: type mismatch in binary expression 2011-10-03 19:16 [Bug c/50604] New: verify_gimple failed: type mismatch in binary expression dimhen at gmail dot com 2011-10-03 19:20 ` [Bug middle-end/50604] [4.7 Regression] " pinskia at gcc dot gnu.org 2011-10-04 15:27 ` jakub at gcc dot gnu.org @ 2011-10-04 15:34 ` jakub at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: jakub at gcc dot gnu.org @ 2011-10-04 15:34 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50604 Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |FIXED --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-10-04 15:32:51 UTC --- Fixed. ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2011-10-04 15:34 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2011-10-03 19:16 [Bug c/50604] New: verify_gimple failed: type mismatch in binary expression dimhen at gmail dot com 2011-10-03 19:20 ` [Bug middle-end/50604] [4.7 Regression] " pinskia at gcc dot gnu.org 2011-10-04 15:27 ` jakub at gcc dot gnu.org 2011-10-04 15:34 ` jakub at gcc dot gnu.org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).