[Bug c/63608] New: [4.8 Regression]error: type mismatch in binary expression

[yueming.yang at huawei dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63608

            Bug ID: 63608
           Summary: [4.8 Regression]error: type mismatch in binary
                    expression
           Product: gcc
           Version: 4.8.4
            Status: UNCONFIRMED
          Severity: critical
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: yueming.yang at huawei dot com

Created attachment 33765
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33765&action=edit
testcase

gcc hello.c -S -O2  -w  -m32 -v

Using built-in specs.
COLLECT_GCC=x86_install/bin/gcc
Target: x86_64-unknown-linux-gnu
Configured with: gcc-4.8-branch/configure --prefix=x86_install
--enable-languages=c,c++ --enable-threads=posix --disable-multilib
--with-system-zlib --disable-nls --enable-__cxa_atexit --enable-checking
--with-system-zlib --enable-lto --disable-bootstrap
Thread model: posix
gcc version 4.8.4 20140911 (prerelease) (GCC) 
COLLECT_GCC_OPTIONS='-S' '-O2' '-w' '-m32' '-v' '-mtune=generic'
'-march=x86-64'
 x86_install/libexec/gcc/x86_64-unknown-linux-gnu/4.8.4/cc1 -quiet -v
-imultilib . hello.c -quiet -dumpbase hello.c -m32 -mtune=generic -march=x86-64
-auxbase hello -O2 -w -version -o hello.s
GNU C (GCC) version 4.8.4 20140911 (prerelease) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.3.4, GMP version 5.1.3, MPFR version 3.1.2,
MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
ignoring nonexistent directory
"x86_install/lib/gcc/x86_64-unknown-linux-gnu/4.8.4/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 x86_install/lib/gcc/x86_64-unknown-linux-gnu/4.8.4/include
 /usr/local/include
 x86_install/include
 x86_install/lib/gcc/x86_64-unknown-linux-gnu/4.8.4/include-fixed
 /usr/include
End of search list.
GNU C (GCC) version 4.8.4 20140911 (prerelease) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.3.4, GMP version 5.1.3, MPFR version 3.1.2,
MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 741d6eabab2d80d9f09742b3a0e5d8b6
hello.c: In function 'fn1':
hello.c:7:5: error: type mismatch in binary expression
 int fn1 ()
     ^
long int

long int

long unsigned int

D.1709 = D.1708 | 2248593032;

hello.c:7:5: internal compiler error: verify_gimple failed
0xa9362b verify_gimple_in_seq(gimple_statement_d*)
        gcc-4.8-branch/gcc/tree-cfg.c:4515
0x86182c gimplify_body(tree_node*, bool)
        gcc-4.8-branch/gcc/gimplify.c:8421
0x861aef gimplify_function_tree(tree_node*)
        gcc-4.8-branch/gcc/gimplify.c:8534
0x6a8903 cgraph_analyze_function
        gcc-4.8-branch/gcc/cgraphunit.c:665
0x6ab3f0 cgraph_analyze_functions
       gcc-4.8-branch/gcc/cgraphunit.c:973
0x6ab87f finalize_compilation_unit()
        gcc-4.8-branch/gcc/cgraphunit.c:2119
0x54e284 c_write_global_declarations()
        gcc-4.8-branch/gcc/c/c-decl.c:10120
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.