Undefined behavior in genautomata.c?

Andrew Pinski pinskia@physics.uc.edu
Mon Sep 19 15:05:00 GMT 2005


On Sep 19, 2005, at 5:14 AM, Sebastian Pop wrote:

> 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:

Note this also happens in tree.h with tree_string and a couple more
places. Really if it is the last element in a struct, you cannot say
what the bounds are.


Thanks,
Andrew Pinski



More information about the Gcc mailing list