Displaying 2 results from an estimated 2 matches for "recorddetail".
2015 Jul 03
4
[LLVMdev] C as used/implemented in practice: analysis of responses
On 07/02/2015 04:44 PM, David Keaton wrote:
> On 07/02/2015 03:17 AM, Kuperstein, Michael M wrote:
>> You want to redefine ["won't break the program"], by specifying a new
>> abstract machine, which is
>> more conservative than standard C/C++. The proper way to do that would,
>> I believe, be to work towards setting up a working group within the
>>
2015 Jul 03
2
[LLVMdev] C as used/implemented in practice: analysis of responses
...a knows
>> about a set of "analyzability features", but that doesn't sounds like
>> what you're talking about?
>
> The relevant text is inside the standard, which is for sale. The
> cheapest source I know about is this.
>
> http://webstore.ansi.org/RecordDetail.aspx?sku=INCITS%2fISO%2fIEC+9899%3a2011%5b2012%5d
>
I found a draft version which appears to have been complete.
>
> The title of Annex L is Analyzability, because that was the
> purpose, but the effect was to define a stricter abstract machine in
> which there were no unboun...