"Kees" == Kees Bakker <[email protected]> writes:

        Kees> Could this be a bug with reduce-array-size?  If I step through
        Kees> the clang_delta code I don't see it visit
        Kees> ReduceArraySizeCollectionVisitor::VisitArraySubscriptExpr

I leave this question for Yang to answer.

But I agree that it might make sense for reduce-array-size to try to avoid
"gratituitously" making programs that have undefined behavior.

(Of course, the transformation-time analysis effort can only go so far.  It is
one thing to replace `g[1]' with `g[0]' and other to attempt a full memory
analysis!  The former is reasonable for reduce-array-size and the latter is
not.)

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <[email protected]>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX

Reply via email to