------- Comment #15 from rguenth at gcc dot gnu dot org 2010-04-02 14:39 ------- C testcase for the missed VRP, fails with long on x86_64 only, with long long also on i?86:
extern void link_error (void) __attribute__((noreturn)); int n; float *x; int main() { if (n > 0) { int i = 0; do { long index; i = i + 1; index = i; if (index <= 0) link_error (); x[index] = 0; i = i + 1; index = i; if (index <= 0) link_error (); x[index] = 0; } while (i < n); } } -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |missed-optimization http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43627