good chemistry is complicated,
and a little bit messy -LW
A most obscure bugby robin (Chaplain)
|on Dec 18, 2001 at 20:32 UTC||Need Help??|
I've just found an extremely obscure bug in perl. This is the tale of that bug - where it came from, and how it was found. I hope you find it entertaining.
IntroductionYesterday, blakem posted a question about while loops. A while loop in Perl looks like this:
or like this:
The body of the loop (the STATEMENT or BLOCK) is repeatedly executed as long as the condition is true. In Perl, a scalar is false if it is equal, as a string, to either "" or "0". Otherwise it's true. (The undefined value undef has a string value of "", so undef is false.)
But this being Perl, that's not the end of it. Overloading causes one complication, but that's a story for another day. When you're processing a text file, you will often use a loop like this:
The problem might come if the file has a line which is blank, or just "0". Ordinarily that wouldn't matter, because the line would be terminated with "\n". So the value of $line would be "\n" or "0\n", which are both true. But what if it's the last line of the file, and it isn't terminated with a newline? Or what if you used the -l command-line switch to perl, which tells it to remove the line terminator automatically? We have to think about these things. The loop condition will then be false, and the loop will terminate before the file's been completely read.
Or will it? Actually, no. Perl is one step ahead, as usual. If Perl sees a loop like the one above, then it will secretly transform it into:
and all is well. Your program works the way that you intended, and peace reigns in the Monastery. You can see this transformation by using the B::Deparse module:
There is one other kind of loop which gets the same magic treatment, and that's if you use the glob operator. The glob operator returns the names of all the files which match a particular wildcard pattern: for example, you can print the names of all the Perl modules in the current directory like this:
Now, you might have a file called "0", which would cause the same problem as before. So Perl uses the magic defined test here as well.
The old bugWhat blakem noticed yesterday is that this magic wasn't working properly in a while loop of the second kind (STATEMENT while CONDITION;). You can test it easily enough: run this code:
I looked into the source code for perl, and I found a mistake in the code which was testing for that kind of condition. (The code was wrongly checking for a NULL opcode rather than a GLOB opcode.) I wrote up the correction as a patch, and sent it to the perl development mailing list, perl5-porters.
Hugo, one of the porters, replied to my message saying
Interesting - is there any situation in which that test could have succeeded, and so tested definedness when it should have tested truth?This is starting to get confusing... Let me try and sum up the story up to this point:
I won't go too deep into the details, because I don't want this post to turn into a book on the internals of perl. But I'll tell you what I found.
The new bugI found that the broken condition is triggered by an assignment statement which has a logical operator on its right-hand side. For example,
If a statement like that is used as the condition of a while loop, then perl will (wrongly) insert a defined(...) test. For example,
will be silently turned into
and so it will die, even though the condition seems to be false!
I wonder if this is the most obscure bug found in perl to date.
Edit Masem 2001-12-18 - Fixed amp; entity to real & in last code blocks.