Re: [CIL users] argument promotions in calls to variadic functions

[David G. <dg...@gm...>]

On Fri, May 21, 2010 at 9:11 AM, Elnatan Reisner <el...@cs...> 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 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.
>
> Aside from ellipses in function prototypes, CIL also exhibits this behavior
> when functions are declared with no prototype, as in:
> void f();
> I think 6.5.2.2:6 of the standard says that the default argument promotions
> should happen here, too. But I must admit that this paragraph is a bit hard
> to understand. (There are a few tests in CIL's svn distribution,
> test/small1/noproto*.c, which seem to be testing something regarding
> functions without prototypes, but those tests show that CIL doesn't insert
> casts.)

See bullet 6 in the "Compiling C to CIL" section of the CIL
documenation at http://hal.cs.berkeley.edu/cil. In a nutshell, CIL
rewrites prototypeless funcrtion declarations to have a prototype
(when possible). I'm pretty sure said prototypes follow the implicit
conversion rules...

David Gay