Re: How do I write directly to a memory address?

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

On 2/8/11 11:08 AM, Ludovic Brenta wrote:
> Georg Bauhaus wrote on comp.lang.ada:
>> On 2/8/11 10:58 AM, Ludovic Brenta wrote:
>>>> (c) by single case logic, Ada's type system has not prevented
>>>> deaths in Ariane 5 anyway.
>>
>>> Huh?
>>
>> You don't even know this?
>
> The problem was the conscious decision not to re-test the Ariane 4
> software against Ariane 5 ....
>
> There were no deaths involved.
>
> So: huh?

See?  You talk about C functions as if there was a general
case: C functions, plural.  Recurring bugs in them, causing
undefined behavior.  I made up the same thing for rocket flights
in general.  The generalizing argument is structurally equivalent!
Both arguments are pointless because people won't listen.
(Watch Sarah P. to see why arguing about foo(int undefined) is
pointless.)

There is a chance of human error (in C, in rockets).
Smart engineers don't make them (in C, in rockets).
C or Ada have had little to do with these  human
errors cause by the wrong assumptions
(about foo() and about Ariane 4 modules).

Here it is, again, my foo() vs Ariane 4/5:

    Construction made by a human, in C,
    knowing how it was going to be used.

    Construction made by a human, in Ada,
    knowing how it was going to be used.

In general, where is the difference?