Undefined behavior in genautomata.c?

[Gabriel Dos Reis]

Sebastian Pop <sebastian.pop@cri.ensmp.fr> writes:

| Hi,
| 
| I was working on improving the results of scev, when VRP has broken
| the bootstrap, eliminating loops that were estimated as running a
| single time.  These loop bound estimates come from the undefined
| behavior of accessing over the bounds of statically allocated data in
| genautomata.c:


If VRP is doing what you described in the comment as "its work", then
VRP is broken.  Period.  The fix is to fix VRP.  It is such a C
idomatic construct than I would not have expected any "optimizer" to
break it.  And that is very worrisome and scary.

-- Gaby