[Bug tree-optimization/20702] [tcb] ASSERT_EXPRs are not inserted when a certain if statement is present.

[kazu at cs dot umass dot edu]

--- Additional Comments From kazu at cs dot umass dot edu  2005-04-13 14:56 
---
Patch posted:
http://gcc.gnu.org/ml/gcc-patches/2005-04/msg01456.html

-- 


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

[Bug tree-optimization/20702] [tcb] ASSERT_EXPRs are not inserted when a certain if statement is present.

[kazu at cs dot umass dot edu]

--- Additional Comments From kazu at cs dot umass dot edu  2005-04-13 18:14 
---
Just checked in a patch.


-- 
   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug tree-optimization/20702] [tcb] ASSERT_EXPRs are not inserted when a certain if statement is present.

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Target Milestone|--- |4.1.0


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

[Bug tree-optimization/20702] [tcb] ASSERT_EXPRs are not inserted when a certain if statement is present.

[kazu at cs dot umass dot edu]

--- Additional Comments From kazu at cs dot umass dot edu  2005-04-01 16:23 
---
Let me replace the testcase as follows so that
I can remove dependence on PR 20701.

extern void bar (int);

int
foo (int *p, int b)
{
  int a;

  if (b)
bar (123);
  else
bar (321);

  a = *p;
  if (p == 0)
return 0;

  return a;
}

Note that p == 0 in the second if statement is always false,
but VRP does not fold it.


-- 
   What|Removed |Added

  BugsThisDependsOn|20701   |


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

[Bug tree-optimization/20702] [tcb] ASSERT_EXPRs are not inserted when a certain if statement is present.

[kazu at cs dot umass dot edu]

-- 
   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |kazu at cs dot umass dot edu
   |dot org |
 Status|UNCONFIRMED |ASSIGNED


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