public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes
@ 2005-11-15 19:55 gcc-bugzilla at gcc dot gnu dot org
2005-11-15 20:22 ` [Bug ada/24880] [4.0/4.1 regression] " laurent at guerby dot net
` (11 more replies)
0 siblings, 12 replies; 13+ messages in thread
From: gcc-bugzilla at gcc dot gnu dot org @ 2005-11-15 19:55 UTC (permalink / raw)
To: gcc-bugs
Explicit conversion from a numeric integer Type to Integer causes a crash of
gcc
when the type is defined with a Size representation clause.
The bug disappears if the representation clause is removed or
if the range begins with 0.
Environment:
System: Linux simone 2.6.12.051101 #1 Tue Nov 1 17:19:34 CET 2005 i686
GNU/Linux
Debian testing gnat-4.0 Version: 4.0.2-2
Architecture: i686
host: i486-pc-linux-gnu
build: i486-pc-linux-gnu
target: i486-pc-linux-gnu
configured with: ../src/configure -v
--enable-languages=c,c++,java,f95,objc,ada,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--program-suffix=-4.0 --enable-__cxa_atexit --enable-libstdcxx-allocator=mt
--enable-clocale=gnu --enable-libstdcxx-debug --enable-java-gc=boehm
--enable-java-awt=gtk --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.4.2-gcj-4.0-1.4.2.0/jre --enable-mpfr
--disable-werror --enable-checking=release i486-linux-gnu
How-To-Repeat:
---------------------------- File demo2.adb
procedure Demo2 is
S : constant := Integer'Size;
type Regoff_T is range -1 .. 2 ** (S-1);
for Regoff_T'Size use S;
B : Integer;
C : Regoff_T;
begin
B := Integer (C);
end Demo2;
--------------------------------------------- The crash message
~ gnatmake demo2
gcc-4.0 -c demo2.adb
gcc-4.0: Internal error: Erreur de segmentation (program gnat1)
Please submit a full bug report.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
For Debian GNU/Linux specific bug reporting instructions, see
<URL:file:///usr/share/doc/gcc-4.0/README.Bugs>.
gnatmake: "demo2.adb" compilation error
-------------------------------- with gnat version 3.4
~ gnatmake demo2
gcc-3.4 -c demo2.adb
demo2.adb:6:04: warning: "C" is never assigned a value
gnatbind -x demo2.ali
gnatlink demo2.ali
------------------------------------------------------
------- Comment #1 from nicolas dot boulenguez at free dot fr 2005-11-15 19:55 -------
Fix:
none
--
Summary: (Ada) Conversion of user-defined integer type with Size
fixed causes crashes
Product: gcc
Version: 4.0.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: nicolas dot boulenguez at free dot fr
GCC build triplet: i486-pc-linux-gnu
GCC host triplet: i486-pc-linux-gnu
GCC target triplet: i486-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.0/4.1 regression] (Ada) Conversion of user-defined integer type with Size fixed causes crashes
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
@ 2005-11-15 20:22 ` laurent at guerby dot net
2006-03-08 15:16 ` [Bug ada/24880] [4.0/4.1/4.2 " pinskia at gcc dot gnu dot org
` (10 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: laurent at guerby dot net @ 2005-11-15 20:22 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from laurent at guerby dot net 2005-11-15 20:22 -------
Confirmed on x86_64-linux and x86-linux. On x86 svn 4.0.3 and 4.1 gnat1 grows
memory above 1GB and I had to kill the processes. 3.3.5 does not have the
issue. On x86_64 gnat1 segfault immediately.
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
GCC build triplet|i486-pc-linux-gnu |
GCC host triplet|i486-pc-linux-gnu |
GCC target triplet|i486-pc-linux-gnu |
Last reconfirmed|0000-00-00 00:00:00 |2005-11-15 20:22:08
date| |
Summary|(Ada) Conversion of user- |[4.0/4.1 regression] (Ada)
|defined integer type with |Conversion of user-defined
|Size fixed causes crashes |integer type with Size fixed
| |causes crashes
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.0/4.1/4.2 regression] (Ada) Conversion of user-defined integer type with Size fixed causes crashes
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
2005-11-15 20:22 ` [Bug ada/24880] [4.0/4.1 regression] " laurent at guerby dot net
@ 2006-03-08 15:16 ` pinskia at gcc dot gnu dot org
2006-03-11 3:22 ` mmitchel at gcc dot gnu dot org
` (9 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-03-08 15:16 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P5
Last reconfirmed|2005-11-15 20:22:08 |2006-03-08 15:16:10
date| |
Target Milestone|--- |4.0.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.0/4.1/4.2 regression] (Ada) Conversion of user-defined integer type with Size fixed causes crashes
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
2005-11-15 20:22 ` [Bug ada/24880] [4.0/4.1 regression] " laurent at guerby dot net
2006-03-08 15:16 ` [Bug ada/24880] [4.0/4.1/4.2 " pinskia at gcc dot gnu dot org
@ 2006-03-11 3:22 ` mmitchel at gcc dot gnu dot org
2007-02-03 15:51 ` [Bug ada/24880] [4.0/4.1/4.2/4.3 regression] " gdr at gcc dot gnu dot org
` (8 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2006-03-11 3:22 UTC (permalink / raw)
To: gcc-bugs
--
mmitchel at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.0.3 |4.0.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.0/4.1/4.2/4.3 regression] Conversion of user-defined integer type with Size fixed causes crashes
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
` (2 preceding siblings ...)
2006-03-11 3:22 ` mmitchel at gcc dot gnu dot org
@ 2007-02-03 15:51 ` gdr at gcc dot gnu dot org
2007-02-03 17:26 ` jsm28 at gcc dot gnu dot org
` (7 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: gdr at gcc dot gnu dot org @ 2007-02-03 15:51 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from gdr at gcc dot gnu dot org 2007-02-03 15:51 -------
Won't fix in GCC-4.0.4. Adjusting milestone.
--
gdr at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.0.4 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.0/4.1/4.2/4.3 regression] Conversion of user-defined integer type with Size fixed causes crashes
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
` (3 preceding siblings ...)
2007-02-03 15:51 ` [Bug ada/24880] [4.0/4.1/4.2/4.3 regression] " gdr at gcc dot gnu dot org
@ 2007-02-03 17:26 ` jsm28 at gcc dot gnu dot org
2007-02-14 9:36 ` mmitchel at gcc dot gnu dot org
` (6 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2007-02-03 17:26 UTC (permalink / raw)
To: gcc-bugs
--
jsm28 at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.1.2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.0/4.1/4.2/4.3 regression] Conversion of user-defined integer type with Size fixed causes crashes
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
` (4 preceding siblings ...)
2007-02-03 17:26 ` jsm28 at gcc dot gnu dot org
@ 2007-02-14 9:36 ` mmitchel at gcc dot gnu dot org
2008-04-12 15:40 ` [Bug ada/24880] [4.1/4.2/4.3/4.4 " sam at gcc dot gnu dot org
` (5 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2007-02-14 9:36 UTC (permalink / raw)
To: gcc-bugs
--
mmitchel at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.1.2 |4.1.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.1/4.2/4.3/4.4 regression] Conversion of user-defined integer type with Size fixed causes crashes
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
` (5 preceding siblings ...)
2007-02-14 9:36 ` mmitchel at gcc dot gnu dot org
@ 2008-04-12 15:40 ` sam at gcc dot gnu dot org
2008-04-12 16:07 ` ebotcazou at gcc dot gnu dot org
` (4 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: sam at gcc dot gnu dot org @ 2008-04-12 15:40 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from sam at gcc dot gnu dot org 2008-04-12 15:40 -------
Confirmed on 4.4.0:
+===========================GNAT BUG DETECTED==============================+
| 4.4.0 20080412 (experimental) (i686-pc-linux-gnu) Storage_Error stack
overflow (or erroneous memory access)|
| Error detected at system.ads:155:5 |
There is an infinite loop between utils.c:convert and
convert.c:convert_to_integer.
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sam at gcc dot gnu dot org
Last reconfirmed|2006-03-08 15:16:10 |2008-04-12 15:40:08
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.1/4.2/4.3/4.4 regression] Conversion of user-defined integer type with Size fixed causes crashes
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
` (6 preceding siblings ...)
2008-04-12 15:40 ` [Bug ada/24880] [4.1/4.2/4.3/4.4 " sam at gcc dot gnu dot org
@ 2008-04-12 16:07 ` ebotcazou at gcc dot gnu dot org
2008-04-12 16:25 ` sam at gcc dot gnu dot org
` (3 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2008-04-12 16:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from ebotcazou at gcc dot gnu dot org 2008-04-12 16:06 -------
Known problem, investigating.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |ebotcazou at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2008-04-12 15:40:08 |2008-04-12 16:06:28
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.1/4.2/4.3/4.4 regression] Conversion of user-defined integer type with Size fixed causes crashes
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
` (7 preceding siblings ...)
2008-04-12 16:07 ` ebotcazou at gcc dot gnu dot org
@ 2008-04-12 16:25 ` sam at gcc dot gnu dot org
2008-05-13 8:47 ` [Bug ada/24880] [4.1/4.2/4.3/4.4 regression] infinite loop on conversion of integer type with size clause ebotcazou at gcc dot gnu dot org
` (2 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: sam at gcc dot gnu dot org @ 2008-04-12 16:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from sam at gcc dot gnu dot org 2008-04-12 16:25 -------
*** Bug 29320 has been marked as a duplicate of this bug. ***
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |markus dot heichel at
| |comsoft dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.1/4.2/4.3/4.4 regression] infinite loop on conversion of integer type with size clause
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
` (8 preceding siblings ...)
2008-04-12 16:25 ` sam at gcc dot gnu dot org
@ 2008-05-13 8:47 ` ebotcazou at gcc dot gnu dot org
2008-05-13 8:48 ` ebotcazou at gcc dot gnu dot org
2008-05-13 8:53 ` [Bug ada/24880] [4.1/4.2 " ebotcazou at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2008-05-13 8:47 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from ebotcazou at gcc dot gnu dot org 2008-05-13 08:47 -------
Subject: Bug 24880
Author: ebotcazou
Date: Tue May 13 08:46:18 2008
New Revision: 135257
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135257
Log:
PR ada/24880
PR ada/26635
* utils.c (convert) <INTEGER_TYPE>: When converting an additive
expression to an integral type with lower precision, use NOP_EXPR
directly in a couple of special cases.
Added:
trunk/gcc/testsuite/gnat.dg/conv_integer.adb
trunk/gcc/testsuite/gnat.dg/discr7.adb
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/utils.c
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.1/4.2/4.3/4.4 regression] infinite loop on conversion of integer type with size clause
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
` (9 preceding siblings ...)
2008-05-13 8:47 ` [Bug ada/24880] [4.1/4.2/4.3/4.4 regression] infinite loop on conversion of integer type with size clause ebotcazou at gcc dot gnu dot org
@ 2008-05-13 8:48 ` ebotcazou at gcc dot gnu dot org
2008-05-13 8:53 ` [Bug ada/24880] [4.1/4.2 " ebotcazou at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2008-05-13 8:48 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from ebotcazou at gcc dot gnu dot org 2008-05-13 08:47 -------
Subject: Bug 24880
Author: ebotcazou
Date: Tue May 13 08:46:49 2008
New Revision: 135258
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135258
Log:
PR ada/24880
PR ada/26635
* utils.c (convert) <INTEGER_TYPE>: When converting an additive
expression to an integral type with lower precision, use NOP_EXPR
directly in a couple of special cases.
Added:
branches/gcc-4_3-branch/gcc/testsuite/gnat.dg/conv_integer.adb
branches/gcc-4_3-branch/gcc/testsuite/gnat.dg/discr7.adb
Modified:
branches/gcc-4_3-branch/gcc/ada/ChangeLog
branches/gcc-4_3-branch/gcc/ada/utils.c
branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/24880] [4.1/4.2 regression] infinite loop on conversion of integer type with size clause
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
` (10 preceding siblings ...)
2008-05-13 8:48 ` ebotcazou at gcc dot gnu dot org
@ 2008-05-13 8:53 ` ebotcazou at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2008-05-13 8:53 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from ebotcazou at gcc dot gnu dot org 2008-05-13 08:52 -------
Fixed in the upcoming 4.3.1 release.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
URL| |http://gcc.gnu.org/ml/gcc-
| |patches/2008-
| |05/msg00731.html
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
Summary|[4.1/4.2/4.3/4.4 regression]|[4.1/4.2 regression]
|infinite loop on conversion |infinite loop on conversion
|of integer type with size |of integer type with size
|clause |clause
Target Milestone|4.1.3 |4.3.1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24880
^ permalink raw reply [flat|nested] 13+ messages in thread
end of thread, other threads:[~2008-05-13 8:53 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-11-15 19:55 [Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes gcc-bugzilla at gcc dot gnu dot org
2005-11-15 20:22 ` [Bug ada/24880] [4.0/4.1 regression] " laurent at guerby dot net
2006-03-08 15:16 ` [Bug ada/24880] [4.0/4.1/4.2 " pinskia at gcc dot gnu dot org
2006-03-11 3:22 ` mmitchel at gcc dot gnu dot org
2007-02-03 15:51 ` [Bug ada/24880] [4.0/4.1/4.2/4.3 regression] " gdr at gcc dot gnu dot org
2007-02-03 17:26 ` jsm28 at gcc dot gnu dot org
2007-02-14 9:36 ` mmitchel at gcc dot gnu dot org
2008-04-12 15:40 ` [Bug ada/24880] [4.1/4.2/4.3/4.4 " sam at gcc dot gnu dot org
2008-04-12 16:07 ` ebotcazou at gcc dot gnu dot org
2008-04-12 16:25 ` sam at gcc dot gnu dot org
2008-05-13 8:47 ` [Bug ada/24880] [4.1/4.2/4.3/4.4 regression] infinite loop on conversion of integer type with size clause ebotcazou at gcc dot gnu dot org
2008-05-13 8:48 ` ebotcazou at gcc dot gnu dot org
2008-05-13 8:53 ` [Bug ada/24880] [4.1/4.2 " ebotcazou at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).