Re: [Chicken-hackers] New dimensions in ABI design braindamage

[John Cowan]

address@hidden scripsit:

> a function ptr of type
> 
>   typedef void (*C_proc4)(C_word, C_word, C_word, C_word, C_word)
> 
> that points to a function of (say) this type
> 
>   void myproc(C_word c, C_word k, C_word a1, ...)
> 
> will break, 

Yes.  That's undefined behavior according to the C standard, and if it happens
to work when compiled with gcc on i386 and x86_64, that's just good luck.

> I'm out of my wits. This is extremely stupid and breaks every attempt at 
> implementing generic function-pointers in C without paying a massive 
> performance penalty. 

C really doesn't have any generic function pointers.  If the numbers
and types of the arguments, and the presence or absence of '...', don't
match as between the function pointer and the pointee, then the pointee
can't count on where to find its arguments.

-- 
John Cowan          http://www.ccil.org/~cowan        address@hidden
Ambassador Trentino: I've said enough. I'm a man of few words.
Rufus T. Firefly: I'm a man of one word: scram!    --Duck Soup