[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug #39334] obstack code is non portable

From: David Monniaux
Subject: Re: [bug #39334] obstack code is non portable
Date: Tue, 25 Jun 2013 14:09:27 +0200
User-agent: Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130509 Thunderbird/17.0.6

On 06/24/2013 10:46 PM, Paul Eggert wrote:
> Perhaps in theory, but if it works on all practical environments then
> it's good enough for now. If there's a practical environment where it
> doesn't work, please let us know so that we can fix it for that platform. 

What happened is that we were testing the front-end of a static analysis
system and ended up with some pointer arithmetic on NULL in the middle
of a function. We found that very weird, especially since this portion
of the code was apparently reachable.

You are correct that this should not break on most current environments
(AS/400 is dealt with separately), but we thought that this was worth
filing because it's the kind of issue that can arise mysteriously when
compiling with a new compiler or a new version thereof, or moving to a
new platform (recall all the problems with 64-bit cleanliness).

David Monniaux, directeur de recherche au CNRS
Laboratoire VERIMAG http://www-verimag.imag.fr/~monniaux/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]