From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-369381-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 8465 invoked by alias); 3 Oct 2011 19:16:43 -0000
Received: (qmail 8456 invoked by uid 22791); 3 Oct 2011 19:16:42 -0000
X-SWARE-Spam-Status: No, hits=-2.8 required=5.0	tests=ALL_TRUSTED,AWL,BAYES_00,TW_CX
X-Spam-Check-By: sourceware.org
Received: from localhost (HELO gcc.gnu.org) (127.0.0.1)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 03 Oct 2011 19:16:28 +0000
From: "dimhen at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/50604] New: verify_gimple failed: type mismatch in binary expression
Date: Mon, 03 Oct 2011 19:16:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dimhen at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-50604-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2011-10/txt/msg00125.txt.bz2

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)