[Bug rtl-optimization/18081] New: Infinite memory allocation on -O3

[Bug rtl-optimization/18081] New: Infinite memory allocation on -O3

[trauscher at loytec dot com]

When compiling the following code, cc1
enters an infinite loop allocating memory until
virtual memory is exhausted.

arm-rtems-elf-gcc-3.4.2 -O3 -c -otest.o test.c

The bug disappears when using -O2 or when
using -O3 with -fno-inline-functions or
-fno-gcse
It also disappears by removing lines from the
program.

test.c:

int rd(int *p) {
  if (p<((int*)4)) return 0;
  return *p;
}

void wr(int *p) {
  if (p<((int*)4)) return;
  *p = 0;
}

void test(void *p)
{
  int i;
  int a[2];

  for(i=0;i<2;i++)
  {
    wr(p);
    a[i]=rd(p);
  }
}

-- 
           Summary: Infinite memory allocation on -O3
           Product: gcc
           Version: 3.4.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: trauscher at loytec dot com
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: i386-linux
GCC target triplet: arm-rtems-elf


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 only] Infinite memory allocation on -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-22 18:02 -------
Fixed on the mainline but I don't know if this is a regression.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.0.0
            Summary|Infinite memory allocation  |[3.4 only] Infinite memory
                   |on -O3                      |allocation on -O3
   Target Milestone|---                         |3.4.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 only] Infinite memory allocation on -O3

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-11-01 00:46 -------
Postponed until GCC 3.4.4.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.3                       |3.4.4


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 only] Infinite memory allocation on -O3

[corsepiu at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |corsepiu at gcc dot gnu dot
                   |                            |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 only] Infinite memory allocation on -O3

[corsepiu at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|4.0.0                       |4.0.0 3.2.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-14 23:10 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-01-14 23:10:50
               date|                            |
            Summary|[3.4 only] Infinite memory  |[3.4 regression] Infinite
                   |allocation on -O3           |memory allocation on -O3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[gtolstolytkin at ru dot mvista dot com]

------- Additional Comments From gtolstolytkin at ru dot mvista dot com  2005-05-04 10:11 -------
The bug is also exists in gcc-3.4-20050429 (gcc.3.4.4-preleleise).

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2005-05-04 12:12 -------
Patch posted here:
http://gcc.gnu.org/ml/gcc-patches/2005-05/msg00257.html

Mark, is it OK to backport this patch to 3.4.4, with a proper ChangeLog?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmitchel at gcc dot gnu dot
                   |                            |org
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2005-
                   |                            |05/msg00257.html


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[mark at codesourcery dot com]

------- Additional Comments From mark at codesourcery dot com  2005-05-04 16:33 -------
Subject: Re:  [3.4 regression] Infinite memory
 allocation on -O3

giovannibajo at libero dot it wrote:
> ------- Additional Comments From giovannibajo at libero dot it  2005-05-04 12:12 -------
> Patch posted here:
> http://gcc.gnu.org/ml/gcc-patches/2005-05/msg00257.html
> 
> Mark, is it OK to backport this patch to 3.4.4, with a proper ChangeLog?

Yes, with proper testing.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2005-05-04 17:19 -------
Greg, mind testing this also with a bootstrap on x86-linux?

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[gtolstolytkin at ru dot mvista dot com]

------- Additional Comments From gtolstolytkin at ru dot mvista dot com  2005-05-08 13:50 -------
I've done a build for i686-unknown-linux-gnu (3.4.4-20050506, glibc 2.3.2, linux
2.6.8). It seems to work fine too.

Thanks,
Grigory.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[gtolstolytkin at ru dot mvista dot com]

------- Additional Comments From gtolstolytkin at ru dot mvista dot com  2005-05-08 18:07 -------
I meant that 20050506 build still has the bug. And the build with the patch
works fine for i686 too. I didn't mean that the bug was somehow fixed in 20050506 ;)

Thanks,
Grigory.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-10 06:05 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[schwab at suse dot de]

------- Additional Comments From schwab at suse dot de  2005-05-10 13:23 -------
This is causing a regression in the Ada compiler: 
 
stage1/xgcc -Bstage1/ -B/usr/local/ia64-suse-linux/bin/ -c -g -O2      -gnatpg 
-gnata -g -O0 \ 
 -I- -I. -Iada -I../../gcc/ada ../../gcc/ada/memtrack.adb -o ada/memtrack.o  
+===========================GNAT BUG DETECTED==============================+ 
| 3.4.4 20050510 (prerelease) (ia64-suse-linux-gnu) GCC error:             | 
| in fixup_var_refs_1, at function.c:1876                                  | 
| Error detected at a-exexda.adb:252:65                                    | 
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            | 
| Include the entire contents of this bug box in the report.               | 
| Include the exact gcc or gnatmake command that you entered.              | 
| Also include sources listed below in gnatchop format                     | 
| (concatenated together with no headers between files).                   | 
+==========================================================================+ 
 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[schwab at suse dot de]

------- Additional Comments From schwab at suse dot de  2005-05-10 13:30 -------
Actually the command line was this: 
 
stage1/xgcc -Bstage1/ -B/usr/local/ia64-suse-linux/bin/ -c -g -O2      -gnatpg 
-gnata -g -O1 -fno-inline \ 
 -I- -I. -Iada -I../../gcc/ada ../../gcc/ada/a-except.adb -o ada/a-except.o 

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[mark at codesourcery dot com]

------- Additional Comments From mark at codesourcery dot com  2005-05-10 15:20 -------
Subject: Re:  [3.4 regression] Infinite memory
 allocation on -O3

schwab at suse dot de wrote:
> ------- Additional Comments From schwab at suse dot de  2005-05-10 13:23 -------
> This is causing a regression in the Ada compiler: 
>  
> stage1/xgcc -Bstage1/ -B/usr/local/ia64-suse-linux/bin/ -c -g -O2      -gnatpg 
> -gnata -g -O0 \ 
>  -I- -I. -Iada -I../../gcc/ada ../../gcc/ada/memtrack.adb -o ada/memtrack.o  

Andreas, do you have time to look further into this?  That assertion is 
coming from a failed call to validate_replace_rtx; I wonder if there's 
something wrong with the IA64 machine description that's causing the 
problem.  If it were an easy, obvious thing to fix it might make sense 
to fix that.  Otherwise, I'll revert the patch; I don't want to be 
introducing churn for 3.4.4.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-10 19:29 -------
(In reply to comment #14)
> Andreas, do you have time to look further into this?  That assertion is 
> coming from a failed call to validate_replace_rtx; I wonder if there's 
> something wrong with the IA64 machine description that's causing the 
> problem.  If it were an easy, obvious thing to fix it might make sense 
> to fix that.  Otherwise, I'll revert the patch; I don't want to be 
> introducing churn for 3.4.4.

looks like it is on x86_64 also, see PR 21503.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[hjl at lucon dot org]

------- Additional Comments From hjl at lucon dot org  2005-05-10 21:32 -------
The patch is incomplete. I posted the rest of Kenner patch on 2004-02-12 at

http://gcc.gnu.org/ml/gcc-patches/2005-05/msg00923.html

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[hjl at lucon dot org]

------- Additional Comments From hjl at lucon dot org  2005-05-10 21:35 -------
BTW, the gcc-patch mailing list archive web interface for 2004-02 is broken.
You have to download the whole mailbox to see Kenner's patch.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081

[Bug rtl-optimization/18081] [3.4 regression] Infinite memory allocation on -O3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-10 22:42 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18081