Re: [PATCH] *(int*)0 = 0 & variations

Mike Jagdis (mike@roan.co.uk)
Fri, 25 Jun 1999 10:02:36 +0100 (GMT/BST)


On Fri, 25 Jun 1999, Riley Williams wrote:

> The figures so far are that I received three responses in Linux kernel
> saying that for kassert not to evaluate its parameter would be a big
> cause of bugs, and four further private responses making the same
> point, against just your response saying otherwise. That's 7 to 1 in
> favour of the evaluation - or 7 to 2 if one includes the fact that my
> personal belief is that it shouldn't.

In that case count me as a "don't evaluate". Assertions are a
debugging tool. Debugging tools that change the behaviour of
the thing they are debugging are worse than useless. The code
must do the same regardless of whether or not debugging code
is even present.

Mike

-- 
    A train stops at a train station, a bus stops at a bus station.
    On my desk I have a work station...
.----------------------------------------------------------------------.
|  Mike Jagdis                  |  Internet:  mailto:mike@roan.co.uk   |
|  Roan Technology Ltd.         |                                      |
|  2 Markham Mews, Broad Street |  Telephone:  +44 118 989 0403        |
|  Wokingham ENGLAND            |  Fax:        +44 118 989 1195        |
`----------------------------------------------------------------------'

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/