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: [email protected]
ReportedBy: [email protected]
$ 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)
