comp.lang.ada
 help / color / mirror / Atom feed
From: "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>
Subject: Re: Have you ever had a bug caused by...
Date: Thu, 25 Oct 2001 11:23:05 -0400
Date: 2001-10-25T15:22:57+00:00	[thread overview]
Message-ID: <9r9aoh$6fm$1@nh.pace.co.uk> (raw)
In-Reply-To: 3BD7DF3B.1E5F435B@brighton.ac.uk

Never said I was in favor of it - just observing that the C design
philosophy was to make an extremely simple compiler that didn't put in
anything you didn't specifically create. It is really a high level
assembler.

Designing in C, I find myself utilizing the Harley Davidson Design
Principle: "If it breaks, make it bigger. If it sticks out, chrome it!" :-)

I think that for easily 75% or more of the programs ever written in the
world today, a compiler could safely leave in all sorts of range checks and
other runtime safety features and nobody would ever notice they were there
from a performance standpoint. If a compiler can be smart enough to
eliminate some of the checks on its own - great! If the compiler will let me
turn them off when I might be in those 25% of the cases where it matters,
fine! Ada certainly makes all of that possible.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"John English" <je@brighton.ac.uk> wrote in message
news:3BD7DF3B.1E5F435B@brighton.ac.uk...
>
> Odd, considering how much easier it is for a compiler to optimise out
> unnecessary range checks than for a human to try and identify safe
> situations and leave out the checks... It's easier for a human to wrap
> the variable access in a function which always range checks and which
> the compiler can't optimise away, or to omit checking altogether.
>






  reply	other threads:[~2001-10-25 15:23 UTC|newest]

Thread overview: 42+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-10-20  1:14 Have you ever had a bug caused by Mike Silva
2001-10-20  1:44 ` Larry Kilgallen
2001-10-20  2:12   ` James Rogers
2001-10-20  9:15     ` Robert*
2001-10-20 11:20       ` Bertrand Augereau
2001-10-20 11:30         ` Matthew Woodcraft
2001-10-20 12:39           ` Robert*
2001-10-20 13:09           ` Bertrand Augereau
2001-10-20 21:21         ` Robert Dewar
2001-10-22 15:58     ` Ted Dennison
2001-10-20 19:07 ` Dr Adrian Wrigley
2001-10-21  1:09   ` Mike Silva
2001-10-21 12:05     ` Larry Kilgallen
2001-10-22 14:48 ` Marin David Condic
2001-10-22 17:03   ` Martin Dowie
2001-10-22 17:22     ` Marin David Condic
2001-10-23  6:13   ` Mike Silva
2001-10-22 21:49 ` David Bolen
2001-10-22 22:14   ` Marin David Condic
2001-10-23  0:52     ` Robert*
2001-10-23 13:30       ` Marin David Condic
2001-10-25  9:45         ` John English
2001-10-25 15:23           ` Marin David Condic [this message]
2001-10-25 18:17             ` Ted Dennison
2001-10-25 15:36           ` Ted Dennison
2001-10-25 16:09       ` Simon Wright
2001-10-25  2:16     ` David Bolen
2001-10-23  6:26   ` Mike Silva
2001-10-23  9:40     ` mike
2001-10-23 10:09       ` Preben Randhol
2001-10-23 13:48         ` Marin David Condic
2001-10-23 15:45           ` Ted Dennison
2001-10-23 17:08             ` Marin David Condic
2001-12-04 11:09               ` Harri J Haataja
2001-10-24 12:44             ` Marc A. Criley
2001-10-24 18:55               ` Jeffrey Carter
2001-10-24 19:34                 ` Marin David Condic
2001-10-26  4:18                   ` (Off topic:) Quality Anders Wirzenius
2001-10-25  9:36 ` Have you ever had a bug caused by John English
2001-10-25 15:41   ` Wes Groleau
2001-10-25 17:57     ` Have you ever had a bug OOPS Wes Groleau
2001-11-13  2:07       ` David Thompson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox