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

Ian D Romanick (idr@cs.pdx.edu)
Tue, 29 Jun 1999 09:14:18 -0700 (PDT)

> > > If they have no side-effect, then there is no point in evaluating them with
> > > NDEBUG set. Please, let's not try to hide bugs.
> > If they have no side-effect, they'll compile to *NO CODE*.
> > It doesn't matter what kassert does in this case.
>
> Oh, yes it does: the compiler cannot always prove the code to be side-effect
> free, else the same analysis could be used to warn of improper use of
> assert.

Though not particularly useful for the kernel at this point, LCLint can be
used to detect macros with side effects.

-- 
"I remember, and I was impressed.  But that's
 all forgotten now."
                                                Be impressed, then forget:
                                                http://www.cs.pdx.edu/~idr/


-
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/