This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: alloca + inline
- From: dewar at gnat dot com (Robert Dewar)
- To: neil at daikokuya dot co dot uk, sxanth at ceid dot upatras dot gr
- Cc: gcc at gcc dot gnu dot org
- Date: Sat, 15 Mar 2003 16:40:44 -0500 (EST)
- Subject: Re: alloca + inline
> In fact, assuming almost anything where a reasonable implementation
> could change, is not a good idea. Certainly GCC will not apologize
> for breaking code whose correctness depends on such assumptions.
Surely your comment does not apply to use of the attribute ...
For the interesting alloca case, I would certainly say that the
attribute must be used. Whether it "works" with the attribute is an
interesting discussion. There are various possible outcomes of such
a discussion:
1. It does not work now, and we don't care
2. It works now, but by accident, and might stop working in the future
3. It works now, and you can reasonably expect it to work in the future
(obviously guarantees can be made in this environment).