On May 21, 2010, at 12:30 PM, David Gay wrote:
On Fri, May 21, 2010 at 9:11 AM, Elnatan Reisner
wrote:
On May 20, 2010, at 1:10 PM, Chucky Ellison wrote:
I've noticed some argument promotions that seem not to have been
made
explicit. In the code:
int testDifferent(int x, ...);
Aside
On Fri, May 21, 2010 at 9:11 AM, Elnatan Reisner wrote:
> On May 20, 2010, at 1:10 PM, Chucky Ellison wrote:
>
> I've noticed some argument promotions that seem not to have been made
> explicit. In the code:
>
> int testDifferent(int x, ...);
>
> On May 21, 2010, at 3:01 AM, Christoph Spiel wrote
On May 20, 2010, at 1:10 PM, Chucky Ellison wrote:
I've noticed some argument promotions that seem not to have been
made explicit. In the code:
int testDifferent(int x, ...);
On May 21, 2010, at 3:01 AM, Christoph Spiel wrote:
I can reproduce your findings and I too
think Cil does not fo
On Thu, Mar 04, 2010 at 02:55:26PM +0100, Olivier Crameri wrote:
> Does anyone know if it's going to be included in the official CIL
> distribution ?
Committed in r11873.
Regards,
--
Gabriel Kerneis
--
___
On Thu, May 06, 2010 at 10:00:58AM +0200, Virgile Prevosto wrote:
> Attached is a patch against 1.3.7 which performs correct comparisons.
Committed in r11868.
Many thanks,
--
Gabriel Kerneis
--
On Tue, Dec 15, 2009 at 09:26:24PM -0500, Elnatan Reisner wrote:
> I'm attaching a patch representing my more complete and simpler
> solution. (It is against the current svn revision, 11508.)
> I tested this out on a few small examples that triggered the bug; if
> anyone wants to see those examples
Chuck -
I can reproduce your findings and I too
think Cil does not follow the C-standard here,
though IMHO the relevant part is not 7.15.1.1:2,
but 6.5.2.2:7. Also see: Harbison/Steele
Sec. 6.3.5.
On Thu, May 20, 2010 at 12:10:49PM -0500, Chucky Ellison wrote:
> The work that I am doing
