>>>>> "JH" == Jarkko Hietaniemi <[EMAIL PROTECTED]> writes:

JH> "The first operation done on the return value of open() shall be defined()
JH> or you shall regret your pitiful existence."? (a flag on the scalar coming
JH> from open that makes any other op than defined() to die and defined() clears
JH> the flag)

Ala, taint? Except the variable is tainted with death?

Hmm, this would make two types of undef. Actually, if a callee could
death-taint a variable then the return death_tainted(42) would make
the caller check his values on first use.

But the drawback would be that the actual victim may not be the primal
cause.

        sub foo {
                my $fh = open(....);
                ... Lots more code ...
                return $fh;
        }

        $victim = foo;
        print $victim "I'm helpless";

<chaim>
-- 
Chaim Frenkel                                        Nonlinear Knowledge, Inc.
[EMAIL PROTECTED]                                               +1-718-236-0183

Reply via email to