Re: Report on defect in M2 vs C (Was Modula-2, Modula-3, C or C++)

Article View: comp.lang.modula2

Article #2583

#2583

From: Andrew Koenig
Date: Thu, 05 Oct 1995 00:54

20 lines
1208 bytes

In article <44uccq$lkd@theopolis.orl.mmc.com> Theodore Dennison <dennison@escmail.orl.mmc.com> writes:

> Using C:
>    Symptom    : Machine 3 locks up.

>    Actual Bug : C code on Machine 1 has "off by one" error.

Symptom when run under rigorously checking C compiler
(of which there are a few commercially available):
Code on machine 1 halts with a diagnostic message explaining
the problem.

> You are right to suggest this is a tool problem. The compiler "tool"
> should have been different.

Indeed.  If you want to catch bounds errors, you should use a compiler
that catches bounds errors.  This is true regardless of language.
-- 
				--Andrew Koenig
				  ark@research.att.com

Technical Details

Message-ID: <DFyAJF.KpC@research.att.com>

Path: arc1-ca.pugleaf.net!in1.uu.net!allegra!alice!ark

References: <44hcri$rsm@theopolis.orl.mmc.com> <44rv1u$dfk@apollo.ekfido.kodak.com> <44uccq$lkd@theopolis.orl.mmc.com>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.modula2,comp.lang.modula3,comp.lang.c,comp.lang.c++,comp.lang.ada
Path: arc1-ca.pugleaf.net!in1.uu.net!allegra!alice!ark
From: ark@research.att.com (Andrew Koenig)
Subject: Re: Report on defect in M2 vs C (Was Modula-2, Modula-3, C or C++)
Message-ID: <DFyAJF.KpC@research.att.com>
Organization: AT&T Bell Laboratories, Murray Hill NJ
References: <44hcri$rsm@theopolis.orl.mmc.com> <44rv1u$dfk@apollo.ekfido.kodak.com> <44uccq$lkd@theopolis.orl.mmc.com>
Date: Thu, 5 Oct 1995 00:54:51 GMT

Reply to Parent Message