Package: gcc-4.4 Version: 4.4.4-1 Severity: normal for the attached files, "gcc pan.i" dies with a segmentation fault. The original C sources are in the src subdir. They have been generated by the Spin model checker. On these files also gcc 4.5.0 and the snapshot 4.6.0 20100522 (both self compiled) fail with the same message. Version 4.3.4 (Debian 4.3.4-10) compiles the attached sources but fails with the same error for a slightly bigger model. -- System Information: Debian Release: squeeze/sid APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Kernel: Linux 2.6.32-3-686 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages gcc-4.4 depends on: ii binutils 2.20.1-9 The GNU assembler, linker and bina ii cpp-4.4 4.4.4-1 The GNU C preprocessor ii gcc-4.4-base 4.4.4-1 The GNU Compiler Collection (base ii libc6 2.10.2-9 Embedded GNU C Library: Shared lib ii libgcc1 1:4.4.4-1 GCC support library ii libgomp1 4.4.4-1 GCC OpenMP (GOMP) support library Versions of packages gcc-4.4 recommends: ii libc6-dev 2.10.2-9 Embedded GNU C Library: Developmen Versions of packages gcc-4.4 suggests: pn gcc-4.4-doc <none> (no description available) pn gcc-4.4-locales <none> (no description available) ii gcc-4.4-multilib 4.4.4-1 The GNU C compiler (multilib files pn libcloog-ppl0 <none> (no description available) pn libgcc1-dbg <none> (no description available) pn libgomp1-dbg <none> (no description available) pn libmudflap0-4.4-dev <none> (no description available) pn libmudflap0-dbg <none> (no description available) pn libppl-c2 <none> (no description available) pn libppl7 <none> (no description available) -- no debconf information
Attachment:
gcc-seg.tbz
Description: BZip2 compressed data