FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.

» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Debian > Debian GCC

LinkBack Thread Tools
Old 05-28-2010, 07:02 AM
Hendrik Tews
Default Bug#583531: gcc-4.4: gcc dies with Internal error: Segmentation fault (program cc1)

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

Thread Tools

All times are GMT. The time now is 07:26 AM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright 2007 - 2008, www.linux-archive.org