[CIL users] Strange comment in test/small1/array-size-trick.c

element type shall not be an incomplete or function type.) Best regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it

[CIL users] Cannot parse gcc.c

-T9TaMqaj.cil.c /tmp/cil-mMpPSp9W.i gcc.c[566629:0-0] : syntax error Parsing errorFatal error: exception Frontc.ParseError("Parse error") All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.i

Re: [CIL users] CIL performs invalid tranformations

. Please, test it and tell me if anything > looks wrong in it. It fixes the above (snipped) example at least, and > should not break anything, but still… Hi Gabriel, yes, this is something similar to what we do in our own simplifier. Cheers, Roberto -- Prof. Roberto Bagnara C

Re: [CIL users] CIL performs invalid tranformations

Gabriel Kerneis wrote: > On Wed, Aug 26, 2009 at 11:30:47PM +0200, Roberto Bagnara wrote: >>a = ++(*p); > > Are you sure the behavior of this line is defined in C? I don't how it > could be incorrect to translate it to: >(*p)++; >a = *p; > (which

[CIL users] CIL performs invalid tranformations

SipE.o $ a.out Bug! $ -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it -- Let Crystal Reports handle the report

[CIL users] CIL generates duplicate labels

Here is a reduced testcase: int p(int a) { int x = 0, y = 1; (a ? x : y) = ({ 2; goto l ; l: 3;}); return x; } All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn