[Bug c/42749] New: -O2 and verify_stmts failed agane

["dcb314 at hotmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

I just tried to compile the package pspdftool with
the GNU C compiler version 4.5 snapshot 20100107 and the
compiler said

gcc -DHAVE_CONFIG_H -I.    -std=gnu99 -O2 -g -m64 -fmessage-length=0
-D_FORTIFY_SOURCE=2 -fstack-protector -funwind-tables
-fasynchronous-unwind-tables -MT pdf_parser.o -MD -MP -MF .deps/pdf_parser.Tpo
-c -o pdf_parser.o pdf_parser.c
pdf_parser.c: In function 'pdf_count_size_object':
pdf_parser.c:1030:1: error: type mismatch in binary expression
int

int

unsigned int

add_acc.43_71 = add_acc.43_57 + 96;

pdf_parser.c:1030:1: 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.

Preprocessed source code attached. Flag -O2 required.


-- 
           Summary: -O2 and verify_stmts failed agane
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: x86_64-suse-linux


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