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

[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: 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)

[Bug middle-end/50604] [4.7 Regression] verify_gimple failed: type mismatch in binary expression

[pinskia at gcc dot gnu.org]

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

[Bug middle-end/50604] [4.7 Regression] verify_gimple failed: type mismatch in binary expression

[jakub at gcc dot gnu.org]

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

[Bug middle-end/50604] [4.7 Regression] verify_gimple failed: type mismatch in binary expression

[jakub at gcc dot gnu.org]

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.