Sebastian Pop <[EMAIL PROTECTED]> 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
