On 11/19/2016 05:55 PM, Martin Sebor wrote:
The attached update is an attempt to incorporate the feedback
I received last week during the discussion of the prerequisite
patch to avoid calling alloca(0).
The important changes are:
1) Add attribute returns_nonnull to __builtin_alloca.
This should be broken out into its own change. I can't see a good
reason offhand why this has to be tied up with the overflow checking.
I'll go ahead and pre-approve this part. (builtin-attrs.def/builtins.def
changes). If they can be installed separately, please do.
I won't have the time to look at the rest of this today.
jeff
