[Bug tree-optimization/24142] [4.1 regression] VRP miscompiles unzip inflate.c

["belyshev at depni dot sinp dot msu dot ru" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  2005-10-01 15:24 -------
(In reply to comment #3)
> I'm not so sure that this is a dup.  Bug 24141 is a wrong-code problem, 
> and this is an ICE.  Just the fact that the same test case triggers both 
> bugs doesn't mean they are the same problem. 
>  
>  

You are right, this is not a dup. original testcase still fails even after bug
24141 fixed:

void abort (void);

int f (int a, int b)
{
  if (a == 1)
    a = 0;
  if (b == 0)
    a = 1;
  if (a != 0)
    return 0;
  return 1;
}

int main (void)
{
  if (f (1, 1) != 1)
    abort ();
  return 0;
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|DUPLICATE                   |


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