On 11/04/2016 06:26 PM, Martin Sebor wrote:
While experimenting with -Walloca and cross-referencing the manual
I noticed a few minor nits that I thought could stand to corrected
and/or clarified. Attached is a patch.
In the update I mentioned that the alloca argument must have integer
type for the bounds checking to be recognized to make it clear that
for example floating point arguments are not considered to be bounded
even if they are constrained. (Apparently VRP doesn't handle those.)
Right. VRP doesn't handle floating point. THere's been some talk of
starting to track a few key values so we can say things like "this is
not a NaN".
The patch is OK for the trunk.
Thanks,
Jeff
