[Bug c/50604] New: verify_gimple failed: type mismatch in binary expression

[dimhen at gmail dot com]

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: unassig...@gcc.gnu.org
        ReportedBy: dim...@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)