[Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes

[Bug ada/24880] New: (Ada) Conversion of user-defined integer type with Size fixed causes crashes

[gcc-bugzilla at gcc dot gnu dot org]

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

[Bug ada/24880] [4.0/4.1 regression] (Ada) Conversion of user-defined integer type with Size fixed causes crashes

[laurent at guerby dot net]

------- 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

[Bug ada/24880] [4.0/4.1/4.2 regression] (Ada) Conversion of user-defined integer type with Size fixed causes crashes

[pinskia at gcc dot gnu dot org]

-- 

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

[Bug ada/24880] [4.0/4.1/4.2 regression] (Ada) Conversion of user-defined integer type with Size fixed causes crashes

[mmitchel at gcc dot gnu dot org]

-- 

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

[Bug ada/24880] [4.0/4.1/4.2/4.3 regression] Conversion of user-defined integer type with Size fixed causes crashes

[gdr at gcc dot gnu dot org]

------- 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

[Bug ada/24880] [4.0/4.1/4.2/4.3 regression] Conversion of user-defined integer type with Size fixed causes crashes

[jsm28 at gcc dot gnu dot org]

-- 

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

[Bug ada/24880] [4.0/4.1/4.2/4.3 regression] Conversion of user-defined integer type with Size fixed causes crashes

[mmitchel at gcc dot gnu dot org]

-- 

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

[Bug ada/24880] [4.1/4.2/4.3/4.4 regression] Conversion of user-defined integer type with Size fixed causes crashes

[sam at gcc dot gnu dot org]

------- 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

[Bug ada/24880] [4.1/4.2/4.3/4.4 regression] Conversion of user-defined integer type with Size fixed causes crashes

[ebotcazou at gcc dot gnu dot org]

------- 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

[Bug ada/24880] [4.1/4.2/4.3/4.4 regression] Conversion of user-defined integer type with Size fixed causes crashes

[sam at gcc dot gnu dot org]

------- 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

[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]

------- 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

[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]

------- 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

[Bug ada/24880] [4.1/4.2 regression] infinite loop on conversion of integer type with size clause

[ebotcazou at gcc dot gnu dot org]

------- 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