[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."

From: Gabriel Dos Reis
Subject: Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."
Date: 31 Dec 2006 19:37:46 +0100

Robert Dewar <address@hidden> writes:


| In fact K&R is much stronger than you think in terms of providing
| a precise definition of the language. Too bad people did not read it.
| As I said earlier in this thread, people seem to think that the
| standards committee invented something new here in making overflow
| undefined, but I don't think that's the case. I personally would
| have thought it more judicious to make it implementation defined,

I'm not sure the original C specification made that fine distinction
between "implementation defined" and "undefined behaviour".  I'll have
opportunity to check a manual from '77 nnot before two weeks from now.

You're right that the unix room people were quite well accointed with
formal techniques, type safety and soundness.  However, they valued
solving practical problems, over theoretical specification.  Most of C
language "reshaping" came from trying to port programs to new
machines, etc.

-- Gaby

reply via email to

[Prev in Thread] Current Thread [Next in Thread]