Re: [PATCH][IRA] Avoid undefined behavior in ira_allocno_object_iter_cond

2012-04-19 Thread Vladimir Makarov
On 04/19/2012 08:14 AM, Richard Guenther wrote: This gave me headaches debugging a VRP "miscompile" of ira-build.c. Number of iteration analysis concluded that the allocno object iterators do not iterate because it sees accesses to ->objects[n] for a loop i = 0; i< n; ++i. This is because ira_a

[PATCH][IRA] Avoid undefined behavior in ira_allocno_object_iter_cond

2012-04-19 Thread Richard Guenther
This gave me headaches debugging a VRP "miscompile" of ira-build.c. Number of iteration analysis concluded that the allocno object iterators do not iterate because it sees accesses to ->objects[n] for a loop i = 0; i < n; ++i. This is because ira_allocno_object_iter_cond was written in a very fa