Re: Charles container library usage examples

["Björn Persson" <spam-away@nowhere.nil>]

David Trudgett wrote:
> Georg Bauhaus <bauhaus@futureapps.de> writes:
>>This code isn't necessarily visible to the C compiler as checking
>>code, I 'd say, whereas checks implied by the Ada language are
>>visible to the compiler in this sense.
> 
> I'm not sure what the point is here. What does being "visible" to the
> compiler mean in that sense? Is that more important than the simple
> fact of being present (because the Ada compiler ensures it is)?

The Ada compiler can omit checks if it can prove that they will never 
fail. While even the C compiler can optimize away code that will never 
have any effect, I would think it's a lot more difficult to prove that a 
hand-coded run-time check is unnecessary when the compiler doesn't know 
what it's for.

-- 
Bj�rn Persson                              PGP key A88682FD
                    omb jor ers @sv ge.
                    r o.b n.p son eri nu