Debian Bug report logs - #670164
ICE: Segmentation fault when compiling MPFR's set_f.c

version graph

Package: gcc-snapshot; Maintainer for gcc-snapshot is Debian GCC Maintainers <debian-gcc@lists.debian.org>; Source for gcc-snapshot is src:gcc-snapshot (PTS, buildd, popcon).

Reported by: Vincent Lefevre <vincent@vinc17.net>

Date: Mon, 23 Apr 2012 15:36:01 UTC

Severity: important

Tags: fixed-upstream, patch, upstream

Fixed in version 20120501-1

Done: Vincent Lefevre <vincent@vinc17.net>

Bug is archived. No further changes may be made.

Forwarded to http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52639, merged-upstream: http://gcc.gnu.org/PR52870

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, Debian GCC Maintainers <debian-gcc@lists.debian.org>:
Bug#670164; Package gcc-snapshot. (Mon, 23 Apr 2012 15:36:04 GMT) (full text, mbox, link).


Acknowledgement sent to Vincent Lefevre <vincent@vinc17.net>:
New Bug report received and forwarded. Copy sent to Debian GCC Maintainers <debian-gcc@lists.debian.org>. (Mon, 23 Apr 2012 15:36:04 GMT) (full text, mbox, link).


Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Vincent Lefevre <vincent@vinc17.net>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ICE: Segmentation fault when compiling MPFR's set_f.c
Date: Mon, 23 Apr 2012 17:33:18 +0200
[Message part 1 (text/plain, inline)]
Package: gcc-snapshot
Version: 20120407-1
Severity: important

When building MPFR (flags branch, r8151), using:

$ ./config.status -V
MPFR config.status 3.2.0-dev
configured by ./configure, generated by GNU Autoconf 2.68,
  with options "'--with-gmp=/usr/local/gmp-debug' '--enable-assert=full' '--enable-logging' 'CC=gcc-snapshot' 'CFLAGS=-Wall -O3 -march=native -std=gnu99'"

via a script, I got:

set_f.c: In function 'mpfr_set_f':
set_f.c:27:1: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-snapshot/README.Bugs> for instructions.
Preprocessed source stored into /tmp/ccxGnHHi.out file, please attach this to your bugreport.

Attached.

I don't have the time to look at this more closely.
Perhaps in a few hours or tomorrow.

-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gcc-snapshot depends on:
ii  binutils            2.22-6+local1
ii  libasound2          1.0.25-2
ii  libatk1.0-0         2.4.0-2
ii  libc6               2.13-30
ii  libc6-dev           2.13-30
ii  libc6-dev-i386      2.13-30
ii  libc6-i386          2.13-30
ii  libcairo2           1.10.2-7
ii  libcloog-ppl0       0.15.11-4
ii  libecj-java         3.5.1-4
ii  libfontconfig1      2.8.0-3.1
ii  libfreetype6        2.4.9-1
ii  libgdk-pixbuf2.0-0  2.26.1-1
ii  libglib2.0-0        2.32.0-4
ii  libgmp10            2:5.0.4+dfsg-1
ii  libgmpxx4ldbl       2:5.0.4+dfsg-1
ii  libgtk2.0-0         2.24.10-1
ii  libice6             2:1.0.8-2
ii  libmpc2             0.9-4
ii  libmpfr4            3.1.0-4
ii  libpango1.0-0       1.30.0-1
ii  libppl-c4           0.11.2-6
ii  libppl9             0.11.2-6
ii  libpwl5             0.11.2-6
ii  libsm6              2:1.2.1-2
ii  libxrandr2          2:1.3.2-2
ii  libxrender1         1:0.9.7-1
ii  libxtst6            2:1.2.0-4
ii  python              2.7.2-10
ii  zlib1g              1:1.2.6.dfsg-2

gcc-snapshot recommends no packages.

Versions of packages gcc-snapshot suggests:
ii  binutils-gold  2.22-6+local1

-- no debconf information
[ccxGnHHi.out (text/plain, attachment)]

Information forwarded to debian-bugs-dist@lists.debian.org, Debian GCC Maintainers <debian-gcc@lists.debian.org>:
Bug#670164; Package gcc-snapshot. (Tue, 24 Apr 2012 13:30:03 GMT) (full text, mbox, link).


Acknowledgement sent to Vincent Lefevre <vincent@vinc17.net>:
Extra info received and forwarded to list. Copy sent to Debian GCC Maintainers <debian-gcc@lists.debian.org>. (Tue, 24 Apr 2012 13:30:04 GMT) (full text, mbox, link).


Message #10 received at 670164@bugs.debian.org (full text, mbox, reply):

From: Vincent Lefevre <vincent@vinc17.net>
To: 670164@bugs.debian.org
Subject: Re: ICE: Segmentation fault when compiling MPFR's set_f.c
Date: Tue, 24 Apr 2012 15:26:59 +0200
tags 670164 upstream
forwarded 670164 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52639
thanks

Here's a simple testcase:

// /usr/lib/gcc-snapshot/libexec/gcc/x86_64-linux-gnu/4.8.0/cc1 -fpreprocessed ice-setf.i -march=corei7 -mcx16 -msahf -mno-movbe -mno-aes -mno-pclmul -mpopcnt -mno-abm -mno-lwp -mno-fma -mno-fma4 -mno-xop -mno-bmi -mno-bmi2 -mno-tbm -mno-avx -mno-avx2 -msse4.2 -msse4.1 -mno-lzcnt --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=8192 -mtune=corei7 -quiet -dumpbase ice-setf.i -auxbase ice-setf -O3 -std=gnu99 -o - -frandom-seed=0
# 1 "ice-setf.i"
int a(int *, unsigned long);
int g(unsigned long);
void r(int, long);

int foo(unsigned long sy, int *x, int i)
{
  unsigned long sx = x[0];
  if (sy <= sx)
    {
      unsigned long p = sx * 64;
      int m = 0;
      int tmp = i ? g(sx) : a(&m, sx);
      r(tmp, p);
    }
  return 0;
}

$ gcc-snapshot -O3 -march=native -std=gnu99 -c ice-setf.i
ice-setf.i: In function 'foo':
ice-setf.i:5:5: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-snapshot/README.Bugs> for instructions.

The ICE is reproducible with -O3, but not with -O2.

I'm trying to submit this upstream, but GCC's bugzilla is currently
down.

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)




Added tag(s) upstream. Request was from Vincent Lefevre <vincent@vinc17.net> to control@bugs.debian.org. (Tue, 24 Apr 2012 13:30:08 GMT) (full text, mbox, link).


Set Bug forwarded-to-address to 'http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52639'. Request was from Vincent Lefevre <vincent@vinc17.net> to control@bugs.debian.org. (Tue, 24 Apr 2012 13:30:08 GMT) (full text, mbox, link).


Information forwarded to debian-bugs-dist@lists.debian.org, Debian GCC Maintainers <debian-gcc@lists.debian.org>:
Bug#670164; Package gcc-snapshot. (Wed, 25 Apr 2012 00:39:07 GMT) (full text, mbox, link).


Acknowledgement sent to Vincent Lefevre <vincent@vinc17.net>:
Extra info received and forwarded to list. Copy sent to Debian GCC Maintainers <debian-gcc@lists.debian.org>. (Wed, 25 Apr 2012 00:39:07 GMT) (full text, mbox, link).


Message #19 received at 670164@bugs.debian.org (full text, mbox, reply):

From: Vincent Lefevre <vincent@vinc17.net>
To: 670164@bugs.debian.org
Subject: Re: ICE: Segmentation fault when compiling MPFR's set_f.c
Date: Wed, 25 Apr 2012 02:36:23 +0200
[Message part 1 (text/plain, inline)]
tags 670164 fixed-upstream patch
thanks

I've attached the patch from upstream (only the fix, not the testcase).
I've checked that it solves the problem.

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
[pr52870.diff (text/plain, attachment)]

Added tag(s) fixed-upstream and patch. Request was from Vincent Lefevre <vincent@vinc17.net> to control@bugs.debian.org. (Wed, 25 Apr 2012 00:39:14 GMT) (full text, mbox, link).


Changed Bug forwarded-to-address to 'http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52639, merged-upstream: http://gcc.gnu.org/PR52870' from 'http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52639' Request was from bts-link-upstream@lists.alioth.debian.org to control@bugs.debian.org. (Mon, 30 Apr 2012 16:39:48 GMT) (full text, mbox, link).


Reply sent to Vincent Lefevre <vincent@vinc17.net>:
You have taken responsibility. (Fri, 14 Sep 2012 14:27:04 GMT) (full text, mbox, link).


Notification sent to Vincent Lefevre <vincent@vinc17.net>:
Bug acknowledged by developer. (Fri, 14 Sep 2012 14:27:04 GMT) (full text, mbox, link).


Message #28 received at 670164-done@bugs.debian.org (full text, mbox, reply):

From: Vincent Lefevre <vincent@vinc17.net>
To: 670164-done@bugs.debian.org
Subject: Re: ICE: Segmentation fault when compiling MPFR's set_f.c
Date: Fri, 14 Sep 2012 16:24:03 +0200
Version: 20120501-1

On 2012-04-24 15:26:59 +0200, Vincent Lefevre wrote:
> Here's a simple testcase:
> 
> // /usr/lib/gcc-snapshot/libexec/gcc/x86_64-linux-gnu/4.8.0/cc1 -fpreprocessed ice-setf.i -march=corei7 -mcx16 -msahf -mno-movbe -mno-aes -mno-pclmul -mpopcnt -mno-abm -mno-lwp -mno-fma -mno-fma4 -mno-xop -mno-bmi -mno-bmi2 -mno-tbm -mno-avx -mno-avx2 -msse4.2 -msse4.1 -mno-lzcnt --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=8192 -mtune=corei7 -quiet -dumpbase ice-setf.i -auxbase ice-setf -O3 -std=gnu99 -o - -frandom-seed=0
> # 1 "ice-setf.i"
> int a(int *, unsigned long);
> int g(unsigned long);
> void r(int, long);
> 
> int foo(unsigned long sy, int *x, int i)
> {
>   unsigned long sx = x[0];
>   if (sy <= sx)
>     {
>       unsigned long p = sx * 64;
>       int m = 0;
>       int tmp = i ? g(sx) : a(&m, sx);
>       r(tmp, p);
>     }
>   return 0;
> }

I've checked with 20120501-1 (and the latest version 20120820-1)
that it was fixed. Closing this bug.

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)



No longer marked as found in versions gcc-snapshot/20120407-1. Request was from Andreas Beckmann <anbe@debian.org> to control@bugs.debian.org. (Fri, 07 Nov 2014 12:06:27 GMT) (full text, mbox, link).


Bug archived. Request was from Debbugs Internal Request <owner@bugs.debian.org> to internal_control@bugs.debian.org. (Sat, 06 Dec 2014 07:37:04 GMT) (full text, mbox, link).


Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Thu Jul 15 23:52:41 2021; Machine Name: buxtehude

Debian Bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.