[LLVMdev] C as used/implemented in practice: analysis of responses (original) (raw)
Renato Golin renato.golin at linaro.org
Fri Jul 3 03:33:51 PDT 2015
- Previous message: [LLVMdev] C as used/implemented in practice: analysis of responses
- Next message: [LLVMdev] C as used/implemented in practice: analysis of responses
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
On 3 July 2015 at 05:17, David Keaton <dmk at dmk.com> wrote:
Consider: y is positive a = x + y (signed overflow, wrapping "expected") if (a >= x) store out of bounds ===> store out of bounds
Right. This is not prevented because the programmer has specified an out-of-bounds store. However, if the programmer had not done so, the implementation would be prevented from making a transformation that results in an out-of-bounds store.
As is most of the original questions that had any traction. All related to odd pointer handling (position, arithmetic, representation, lifetime, etc), which all (?) end up as critical undefined behaviour.
cheers, --renato
- Previous message: [LLVMdev] C as used/implemented in practice: analysis of responses
- Next message: [LLVMdev] C as used/implemented in practice: analysis of responses
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]