[Bug c/14235] New: ICE in verify_local_live_at start (flow.c:546) on 2004-02-18 snapshot

[Bug c/14235] New: ICE in verify_local_live_at start (flow.c:546) on 2004-02-18 snapshot

[senor_fjord at yahoo dot com]

Using gcc 3.4 (snapshot 2004-02-18) the following code ICEs.  I tried to reduce it to a minimal 
example:

#include <stdio.h>

int main() {
  long long a;
  
  scanf("%d",a);
  
  if (!a) {
    long long b = 0;
    
    if (a == 7)
      b = 9;
    else if (a == 8)
      b = (short)b;

    if (b) { 
      printf("hi");
    }
  }
}

-- 
           Summary: ICE in verify_local_live_at start (flow.c:546) on 2004-
                    02-18 snapshot
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: senor_fjord at yahoo dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug c/14235] ICE in verify_local_live_at start (flow.c:546) on 2004-02-18 snapshot

[senor_fjord at yahoo dot com]

------- Additional Comments From senor_fjord at yahoo dot com  2004-02-21 04:36 -------
I forgot to mention, this only occurs at -O3 optimization level.

-- 


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

[Bug optimization/14235] ICE in verify_local_live_at start (flow.c:546) on 2004-02-18 snapshot

[senor_fjord at yahoo dot com]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |optimization


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546) on 2004-02-18 snapshot

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|ICE in verify_local_live_at |[3.4/3.5 Regression] ICE in
                   |start (flow.c:546) on 2004- |verify_local_live_at start
                   |02-18 snapshot              |(flow.c:546) on 2004-02-18
                   |                            |snapshot
   Target Milestone|---                         |3.4.0


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-26 17:53 -------
Confirmed on the mainline.  Note it was working on the 17th.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-02-26 17:53:15
               date|                            |
            Summary|[3.4/3.5 Regression] ICE in |[3.4/3.5 Regression] ICE in
                   |verify_local_live_at start  |verify_local_live_at start
                   |(flow.c:546) on 2004-02-18  |(flow.c:546)
                   |snapshot                    |


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-26 17:58 -------
Here is a self contained example:
int scanf(char *, ...);
int printf(char *, ...);
int main() {
  long long a;

  scanf("%d",a);

  if (!a) {
    long long b = 0;

    if (a == 7)
      b = 9;
    else if (a == 8)
      b = (short)b;

    if (b) {
      printf("hi");
    }
  }
}

-- 


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

Re: [Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[Christian Ehrhardt]

On Thu, Feb 26, 2004 at 05:53:15PM -0000, pinskia at gcc dot gnu dot org wrote:
> Confirmed on the mainline.  Note it was working on the 17th.
>    Last reconfirmed|0000-00-00 00:00:00         |2004-02-26 17:53:15

I think I saw this on tree-ssa, too around the 24th but it disapeared
with a cvs up. Is 2004-02-26 17:53:15 the date of your compiler or is
the compiler maybe a few days old?

   regards  Christian

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ehrhardt at mathematik dot uni-ulm dot de]

------- Additional Comments From ehrhardt at mathematik dot uni-ulm dot de  2004-02-26 18:00 -------
Subject: Re:  [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

On Thu, Feb 26, 2004 at 05:53:15PM -0000, pinskia at gcc dot gnu dot org wrote:
> Confirmed on the mainline.  Note it was working on the 17th.
>    Last reconfirmed|0000-00-00 00:00:00         |2004-02-26 17:53:15

I think I saw this on tree-ssa, too around the 24th but it disapeared
with a cvs up. Is 2004-02-26 17:53:15 the date of your compiler or is
the compiler maybe a few days old?

   regards  Christian



-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-26 18:03 -------
My compiler is from "Thu Feb 26 05:01:51 UTC 2004", this is the mainline.

-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-02-28 14:07 -------
Investigating.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-02-29 18:15 -------
The code is dumb.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
           Priority|P2                          |P3


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-29 19:42 -------
The code might be dumb but it could show up other places.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|minor                       |normal


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[senor_fjord at yahoo dot com]

------- Additional Comments From senor_fjord at yahoo dot com  2004-02-29 20:24 -------
Yes, the code there is "dumb".  It was distilled from code in a large x86 simulator project which no 
longer compiles with gcc 3.4.  I thought that reducing it into a small relatively self-contained 
example would be helpful.  

-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-02-29 22:36 -------
So

  scanf("%d",a);

is a "feature" of the code?


If no, then you could have submitted this instead:

int printf(char *);

int main()
{
  long long a;

  if (!a) {
    long long b = 0;

    if (a == 7)
      b = 9;
    else if (a == 8)
      b = (short)b;

    if (b) {
      printf("hi");
    }
  }
}

which gives exactly the same ICE, and exactly for the same reason: because 'a'
is uninitialized so the behaviour of this code is indeterminate, which is why I
called it dumb.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[senor_fjord at yahoo dot com]

------- Additional Comments From senor_fjord at yahoo dot com  2004-03-01 05:24 -------
You're exactly right.  I did a poor job of distilling the program.  The following is something more 
representative of the actual program.  I don't believe there is anything obviously dumb about the 
following code, which ICEs in the same way.  Sorry for the confusion.

typedef signed char        int8_t;
typedef short              int16_t;
typedef int                int32_t;
typedef unsigned long long uint64_t;

static const uint64_t LOW_BYTE_MASK    = 0x00000000000000ffULL;
static const uint64_t HIGH_BYTE_MASK   = 0x000000000000ff00ULL;
static const uint64_t WORD_MASK        = 0x000000000000ffffULL;
static const uint64_t DWORD_MASK       = 0x00000000ffffffffULL;

extern uint64_t *srca_mask;
extern int *assert_thrown;

int main() {
  uint64_t tempA = 0; /* actually a bunch of code to set A */ 
  uint64_t tempB = 0; /* actually a bunch of code to set B */ 

  /* cast A to right size */
  tempA = (((*srca_mask == LOW_BYTE_MASK) || 
            (*srca_mask == HIGH_BYTE_MASK)) ?
           ((int8_t)tempA) : 
           ((*srca_mask == WORD_MASK) ? 
            ((int16_t)tempA) : 
            ((*srca_mask == DWORD_MASK) ? 
             ((int32_t)tempA) : 
             tempA)));

  /* cast B to right size */
  tempB = (((*srca_mask == LOW_BYTE_MASK) || 
            (*srca_mask == HIGH_BYTE_MASK)) ? 
           ((int8_t)tempB) : 
           ((*srca_mask == WORD_MASK) ? 
            ((int16_t)tempB) : 
            ((*srca_mask == DWORD_MASK) ? 
             ((int32_t)tempB) : 
             tempB))); 
    
  if ((int) tempA > (int) tempB) { 
    *assert_thrown = 1;
  }
}


-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-03-01 05:29 -------
The new testcase has exactly the same ICE and is not invoking dumb behavior so this is critical now.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|minor                       |critical


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-03-01 06:01 -------
Just as an aside: most of our testcases are actually totally dumb: they 
don't do anything useful, take no input and generate no output. They 
after use uninitialized variables etc, just because this was the shortest 
thing to still trigger an ICE. Judging a PR by whether a testcase does 
something "well-defined" or even "useful" is the wrong criterion when 
an ICE or rejects-valid is concerned. 
 
W. 

-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-01 06:43 -------
Thanks for the new testcase, it will help me to decide what is the most correct
fix for the problem.

Wolfgang, the optimizers are complex pieces of code that implicitly assume that
the code they are fed up with meets minimal requirements of consistency, because
they can't handle every single corner case.  The original testcase triggers an
ICE because of its indeterminate behaviour according to my analysis, that's why
I lowered its severity and priority.  I consider this to be good practice, since
you obviously want to tackle severe problems first.

And I don't think saying "it could show up [in] other places" to increase the
priority of the PR behind the back of the assignee is a better criterion.

I'll not use the same wording the next time I lower a priority.  But, frankly,
when you see

  long long a;

  scanf("%d",a);

  if (!a) {

you sometimes can't help doing so.


-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-03-01 07:29 -------
Subject: Re:  [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

"ebotcazou at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| And I don't think saying "it could show up [in] other places" to increase the
| priority of the PR behind the back of the assignee is a better criterion.
| 
| I'll not use the same wording the next time I lower a priority.  But, frankly,
| when you see
| 
|   long long a;
| 
|   scanf("%d",a);
| 
|   if (!a) {
| 
| you sometimes can't help doing so.

Not if you tried initialization to see whether that it where it comes
from.  It is fair to assume that GCC developers (including the bug
masters!) know GCC is a labyrinth; keeping lecturing people on that
does not help either.

-- Gaby
 
 


-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-01 07:53 -------
> | I'll not use the same wording the next time I lower a priority.  But,
> | frankly, when you see
> | 
> |   long long a;
> | 
> |   scanf("%d",a);
> | 
> |   if (!a) {
> | 
> | you sometimes can't help doing so.
> 
> Not if you tried initialization to see whether that it where it comes
> from.  It is fair to assume that GCC developers (including the bug
> masters!) know GCC is a labyrinth; keeping lecturing people on that
> does not help either.

Sorry, but I fail to see what you mean in the first sentence (not because of the
typo).  As for the second sentence, well, maybe; but keeping overreacting does
not help either :-)


-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-03-01 08:10 -------
Subject: Re:  [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

"ebotcazou at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| ------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-01 07:53 -------
| > | I'll not use the same wording the next time I lower a priority.  But,
| > | frankly, when you see
| > | 
| > |   long long a;
| > | 
| > |   scanf("%d",a);
| > | 
| > |   if (!a) {
| > | 
| > | you sometimes can't help doing so.
| > 
| > Not if you tried initialization to see whether that it where it comes
| > from.  It is fair to assume that GCC developers (including the bug
| > masters!) know GCC is a labyrinth; keeping lecturing people on that
| > does not help either.
| 
| Sorry, but I fail to see what you mean in the first sentence (not because of the
| typo).  As for the second sentence, well, maybe; but keeping overreacting does
| not help either :-)

That is exactly I phrased in a more polite way above.

-- Gaby


-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-01 08:53 -------
OK, then we have inadvertently reached an agreement here :-)

May I have an explanation for the first sentence, though?  Thanks in advance.


-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-01 12:31 -------
> The following is something more representative of the actual program.  I don't
> believe there is anything obviously dumb about the following code, which ICEs
in > the same way.

Confirmed.  This is indeed the same ICE, but now I can clearly see the real
cause of the problem.  Thanks again for your cooperation.

> Sorry for the confusion.

Sorry for the ill-chosen wording.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2004-02-26 17:53:15         |2004-03-01 12:31:14
               date|                            |


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-03-01 15:20 -------
In response to Eric's comment #14: I think I may have been misunderstood. 
I certainly didn't want to tread on anyone's toes with my comment, and 
I also didn't change any priorities (but that comment wasn't obviously 
meant for me anyway). I think what I wanted to say is that when we 
reduce long testcases to small ones, we often end up with totally 
nonsensical code that might well be undefined. If I can, I frequently 
remove initialization code if it preserves the ICE, and I also usually 
try to reduce most variables to integers, so that is where the dumbness 
comes from. At the same time, the original testcase may well have been 
totally meaningful and well-defined. My statement was just that looking 
at a reduced testcase doesn't really give a good picture of whether we 
have an ICE-on-well-defined or an ICE-on-undefined. This PR is actually 
a good example, because the reporter came up with a perfectly valid testcase 
after your comment, so the "dumbness" was introduced upon testcase reduction. 
 
That being said: I'm sorry if I offended someone, I clearly am not :-) 
 
W. 

-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-03-01 15:37 -------
Subject: Re:  [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

"bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| meant for me anyway). I think what I wanted to say is that when we 
| reduce long testcases to small ones, we often end up with totally 
| nonsensical code that might well be undefined.

That makes the most sense to me;  your job at reducing testcases are
the most helpful. It is non trivial.  I believe that downgrading the
priority of a bug should be based on other cirteria than "the reduced
testcase looks dumb".

| That being said: I'm sorry if I offended someone, I clearly am not :-) 

well, I don't think you offended anyone.  Thanks!

-- Gaby


-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-01 16:13 -------
> My statement was just that looking at a reduced testcase doesn't really give a
> good picture of whether we have an ICE-on-well-defined or an ICE-on-undefined.

Agreed.  And I indeed misunderstood you.

> This PR is actually a good example, because the reporter came up with a 
> perfectly valid testcase after your comment, so the "dumbness" was introduced 
> upon testcase reduction. 

Yes, and I think we have found the perfect example here because, while the
second testcase ICEs for exactly the same reason as the the first one, I think
they require different patches to be fixed.


-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-03-04 09:01 -------
Subject: Bug 14235

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	ebotcazou@gcc.gnu.org	2004-03-04 09:01:03

Modified files:
	gcc            : ChangeLog expr.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: 20040304-1.c 

Log message:
	PR optimization/14235
	* expr.c (convert_move): Copy the source to a new pseudo
	when converting from a sub-word source to a larger-than-word
	register which conflicts with the source.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.3031&r2=2.3032
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/expr.c.diff?cvsroot=gcc&r1=1.628&r2=1.629
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3566&r2=1.3567
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/20040304-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-03-04 09:23 -------
Subject: Bug 14235

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	ebotcazou@gcc.gnu.org	2004-03-04 09:23:33

Modified files:
	gcc            : ChangeLog expr.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: 20040304-1.c 

Log message:
	PR optimization/14235
	* expr.c (convert_move): Copy the source to a new pseudo
	when converting from a sub-word source to a larger-than-word
	register which conflicts with the source.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=2.2326.2.286&r2=2.2326.2.287
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/expr.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.615.4.5&r2=1.615.4.6
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3389.2.120&r2=1.3389.2.121
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/20040304-1.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-04 10:22 -------
See http://gcc.gnu.org/ml/gcc-patches/2004-03/msg00259.html

Looks like my latest comment was again inaccurate... oh well.


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


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[jakub at gcc dot gnu dot org]

------- Additional Comments From jakub at gcc dot gnu dot org  2004-04-02 12:18 -------
*** Bug 13488 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mhx-perl at gmx dot net


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-04-13 20:36 -------
Subject: Bug 14235

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_3-rhl-branch
Changes by:	jakub@gcc.gnu.org	2004-04-13 20:36:16

Modified files:
	gcc            : ChangeLog expr.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: 20040304-1.c 
	gcc/testsuite/gcc.c-torture/execute: 20040402-1.c 

Log message:
	2004-03-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
	
	PR optimization/14235
	* expr.c (convert_move): Copy the source to a new pseudo
	when converting from a sub-word source to a larger-than-word
	register which conflicts with the source.
	
	* gcc.c-torture/compile/20040304-1.c: New test.
	
	2004-04-02  Jakub Jelinek  <jakub@redhat.com>
	
	PR optimization/13488
	* gcc/testsuite/gcc.c-torture/execute/20040402-1.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-rhl-branch&r1=1.16114.2.523.2.104&r2=1.16114.2.523.2.105
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/expr.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-rhl-branch&r1=1.498.2.17.2.16&r2=1.498.2.17.2.17
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-rhl-branch&r1=1.2261.2.170.2.55&r2=1.2261.2.170.2.56
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/20040304-1.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-rhl-branch&r1=NONE&r2=1.1.20.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/20040402-1.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-rhl-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-04-29 04:54 -------
Subject: Bug 14235

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_3-branch
Changes by:	doko@gcc.gnu.org	2004-04-29 04:54:39

Modified files:
	gcc            : ChangeLog expr.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: 20040304-1.c 

Log message:
	2004-04-29  Matthias Klose  <doko@debian.org>
	
	Backport:
	
	2004-03-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
	
	PR optimization/14235
	* expr.c (expand_expr_real) <NOP_EXPR>: Return a new
	pseudo when converting from a sub-word source to a
	larger-than-word register which conflicts with the source.
	
	2004-04-29  Matthias Klose  <doko@debian.org>
	
	Backport:
	
	2004-03-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
	
	* gcc.c-torture/compile/20040304-1.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.16114.2.972&r2=1.16114.2.973
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/expr.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.498.2.27&r2=1.498.2.28
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.2261.2.373&r2=1.2261.2.374
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/20040304-1.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=NONE&r2=1.1.24.1



-- 


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