Re: C's trikery semantic opens up backdoor in new Linux kernel

[Vinzent 'Gadget' Hoefler <ada.rocks@jlfencey.com>]

Georg Bauhaus wrote:

>Vinzent 'Gadget' Hoefler <ada.rocks@jlfencey.com> wrote:
>: No. And you? Do you really think that the linux kernel community would
>: like the idea of using a *function* to get/set a plain simple integer
>: variable? I already hear them scream: "It would be too inefficient.
>: Especially in a *kernel*!" ;-)
>
>Though all you have to explain is pragma Inline and -gnatn or
>-gnatN and show them the disassembly...

Yes.

>If you tell them that pragma Inline is standard and supported
>in GCC, that should be impressive?

Of course. But think about it: Isn't it a funny thing that you can do
a thing efficient enough in Ada just to prevent a problem in C, which
OTOH you even wouldn't have at all if you'd use Ada in the first
place?

What's the definition for this sort of stuff called?


Vinzent.