|
From: Jeremy F. <je...@go...> - 2003-06-10 16:33:05
|
On Tue, 2003-06-10 at 07:58, Nicholas Nethercote wrote:
> validity is checked when a value is:
>
> 1. used in a condition (affects control flow)
>
> 2. used by a syscall (ie. argument) (affects side effects seen by outside
> world)
And when it is used as a pointer.
J
|