[CIL users] argument promotions in calls to variadic functions

[Chucky E. <cel...@il...>]

I've noticed some argument promotions that seem not to have been made
explicit.  In the code:

int testDifferent(int x, ...);

[...]

char mychar = 5;
short int myshort = 10;
float myfloat = 30.0;
testDifferent(0, mychar, myshort, 15, 20L, 25LL, myfloat);
return 0;

The mychar, myshort, and myFloat arguments in the call to testDifferent()
are to be promoted according to 7.15.1.1:2.  However, this is not happening
explicitly.  Here is the output from CIL:
char mychar ;
short myshort ;
float myfloat ;
{
mychar = (char)5;
myshort = (short)10;
myfloat = (float )30.0;
testDifferent(0, mychar, myshort, 15, 20L, 25LL, myfloat);
return (0);
}

I would have expected:

testDifferent(0, (int)mychar, (int)myshort, 15, 20L, 25LL, (double)myfloat);

The work that I am doing relies on promotions being explicit, so this is
important to me.  Is the intention to support these promotions?  If so,
perhaps I am somehow disabling these inadvertently?  Is my understanding of
the C spec incorrect?  I appreciate any information/advice you can provide.

Thanks!
-Chucky