[Bug middle-end/39983] New: ICE: type mismatch in address expression

[dimhen at gmail dot com]

gcc-trunk rev.147009 with command-line 
gcc -O -c tst7.c

fail to compile

typedef struct {
    int *p;
} *A;

extern const int a[1];
extern const int b[1];

void foo()
{
    A x;
    A y;
    static const int * const c[] = { b };

    x->p = (int*)c[0];
    y->p = (int*)a;
}

with message:

tst7.c: In function ‘foo’:
tst7.c:16: error: type mismatch in address expression
int *

const int[1] *

# .MEM_5 = VDEF <.MEM_4(D)>
x_2(D)->p = &b;

tst7.c:16: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[root@localhost gcc_err]# gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc_current/configure --prefix=/usr/local/gcc_current
--enable-bootstrap --enable-shared --enable-checking=yes --with-system-zlib
--enable-__cxa_atexit --enable-languages=c,c++
--enable-version-specific-runtime-libs : (reconfigured)
../gcc_current/configure --prefix=/usr/local/gcc_current --enable-bootstrap
--enable-shared --enable-checking=yes --with-system-zlib --enable-__cxa_atexit
--enable-languages=c,c++ --enable-version-specific-runtime-libs :
(reconfigured) ../gcc_current/configure --prefix=/usr/local/gcc_current
--enable-bootstrap --enable-shared --enable-checking=yes --with-system-zlib
--enable-__cxa_atexit --enable-version-specific-runtime-libs
--enable-languages=c,c++ --no-create --no-recursion : (reconfigured)
../gcc_current/configure --prefix=/usr/local/gcc_current --enable-bootstrap
--enable-shared --enable-checking=yes --with-system-zlib --enable-__cxa_atexit
--enable-version-specific-runtime-libs --enable-languages=c,c++ --no-create
--no-recursion : (reconfigured) ../gcc_current/configure
--prefix=/usr/local/gcc_current --enable-bootstrap --enable-shared
--enable-checking=yes --with-system-zlib --enable-__cxa_atexit
--enable-version-specific-runtime-libs --enable-languages=c,c++ --no-create
--no-recursion : (reconfigured) ../gcc_current/configure
--prefix=/usr/local/gcc_current --enable-bootstrap --enable-shared
--enable-checking=yes --with-system-zlib --enable-__cxa_atexit
--enable-version-specific-runtime-libs --enable-languages=c,c++ --no-create
--no-recursion : (reconfigured) ../gcc_current/configure
--prefix=/usr/local/gcc_current --enable-bootstrap --enable-shared
--enable-checking=yes --with-system-zlib --enable-__cxa_atexit
--enable-version-specific-runtime-libs --enable-languages=c,c++ --no-create
--no-recursion : (reconfigured) ../gcc_current/configure
--prefix=/usr/local/gcc_current --enable-bootstrap --enable-shared
--enable-checking=yes --with-system-zlib --enable-__cxa_atexit
--enable-version-specific-runtime-libs --enable-languages=c,c++ --no-create
--no-recursion : (reconfigured) ../gcc_current/configure
--prefix=/usr/local/gcc_current --enable-bootstrap --enable-shared
--enable-checking=yes --with-system-zlib --enable-__cxa_atexit
--enable-version-specific-runtime-libs --enable-languages=c,c++ --no-create
--no-recursion : (reconfigured) ../gcc_current/configure
--prefix=/usr/local/gcc_current --enable-bootstrap --enable-shared
--enable-checking=yes --with-system-zlib --enable-__cxa_atexit
--enable-version-specific-runtime-libs --enable-languages=c,c++ --no-create
--no-recursion
Thread model: posix
gcc version 4.5.0 20090430 (experimental) [trunk revision 147009] (GCC)


-- 
           Summary: ICE: type mismatch in address expression
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dimhen at gmail dot com
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39983