Hi, > > Ah, indeed. Sorry for being confused. Is tree-niter-desc->assumptions > > or ->may_be_zero non-NULL? > > Yes both. I attached the gdb content for both.
you need to check may_be_zero, which in your case should contain something like N <= 49. If this condition is true, the number of iterations of the loop is zero. Please also check the comments in tree-flow.h, where the possible outcomes of # of iteration analysis are explained, Zdenek