[forwarded from http://bugs.debian.org/254659]

seen with 2.95, 3.0, 3,2, fixed in 3.3.4, seen in 3.4 20040613

the following code does not terminate when compiled with -O2 -march=i[34]86,
works ok with O2 -march=i[56]86,

#include <stdio.h>

inline void
h1(int *p) {

        printf("%p\n", p);
}

void
h(int* p, int i) {
        int j;

        for(j = 0; j < 16; j++) {
                h1(p + j);
        }
}

int
main(int argc, char **argv) {

	h((int *)0x7fffffc0, 0);
        exit(0);
}