search for: 2fiso

Displaying 2 results from an estimated 2 matches for "2fiso".

Did you mean: 2fipo
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
...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 unbounded undefined behavior...