Your message dated Fri, 28 May 2010 10:19:58 +0200 with message-id <20100528081957.GA18403@minet.uni-jena.de> and subject line Re: Bug#583531: gcc-4.4: gcc dies with Internal error: Segmentation fault (program cc1) has caused the Debian Bug report #583531, regarding gcc-4.4: gcc dies with Internal error: Segmentation fault (program cc1) to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 583531: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583531 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: gcc-4.4: gcc dies with Internal error: Segmentation fault (program cc1)
- From: Hendrik Tews <tews@os.inf.tu-dresden.de>
- Date: Fri, 28 May 2010 09:02:24 +0200
- Message-id: <[🔎] 20100528070224.22896.38893.reportbug@blau.inf.tu-dresden.de>
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 informationAttachment: gcc-seg.tbz
Description: BZip2 compressed data
--- End Message ---
--- Begin Message ---
- To: 583531-done@bugs.debian.org
- Subject: Re: Bug#583531: gcc-4.4: gcc dies with Internal error: Segmentation fault (program cc1)
- From: Falk Hueffner <falk@debian.org>
- Date: Fri, 28 May 2010 10:19:58 +0200
- Message-id: <20100528081957.GA18403@minet.uni-jena.de>
- In-reply-to: <[🔎] 20100528070224.22896.38893.reportbug@blau.inf.tu-dresden.de>
- References: <[🔎] 20100528070224.22896.38893.reportbug@blau.inf.tu-dresden.de>
On Fri, May 28, 2010 at 09:02:24AM +0200, Hendrik Tews wrote: > 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. The code simply contains ridiculously deeply nested expressions (about 11000 opening braces), so the compiler runs out of stack. Use "ulimit -s unlimited" if you really want to compile this. Falk
--- End Message ---