Re: [CIL users] CIL performs invalid tranformations

2009-09-02 Thread Enea Zaffanella
Gabriel Kerneis wrote: > Disclaimer: I am not an expert, did not write CIL (neither gcc ;-), so > what follows is nothing more than my humble understanding of C99. Hi Gabriel. > On Fri, Aug 28, 2009 at 06:00:40PM +0200, Enea Zaffanella wrote: >> I was considering the second

Re: [CIL users] CIL performs invalid tranformations

2009-09-01 Thread Enea Zaffanella
Enea Zaffanella wrote: > Hello. [...] > I was considering the second example sent by Roberto. [...] > So I cannot see the undefined behavior mentioned in C99 6.5-2: Could a CIL developer confirm whether or not my observations are correct? That is, confirm whether or not this is a b

Re: [CIL users] CIL performs invalid tranformations

2009-08-28 Thread Enea Zaffanella
to object 'p[0]'. So I cannot see the undefined behavior mentioned in C99 6.5-2: = 2 Between the previous and next sequence point an object shall have its stored value modified at most once by the evaluation of an expression. Furthermore