------- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-05 04:22 ------- (In reply to comment #1) > DOM seems to be innocent here.
Hmm, VRP gets it correct, in that there are no warnings for the following code:
void __show_backtrace(void *rw)
{
if (rw == 0) return;
L0:;
if (rw != 0) goto L0;
}
Which is equivalent to the what the trees look when it gets to DOM but then
again VRP happens before
profile happens.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22401
