This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Undefined behavior in genautomata.c?

From: Andrew Pinski <pinskia at physics dot uc dot edu>
To: Sebastian Pop <sebastian dot pop at cri dot ensmp dot fr>
Cc: gcc at gcc dot gnu dot org, Vladimir Makarov <vmakarov at redhat dot com>
Date: Mon, 19 Sep 2005 11:05:03 -0400
Subject: Re: Undefined behavior in genautomata.c?
References: <20050919091420.GA5325@napoca.cri.ensmp.fr>

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

References:
- Undefined behavior in genautomata.c?
  - From: Sebastian Pop

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]