Well, I wasn't really looking for the behavior, but when I realized it, knowing the nature of $v1 (any condition reset it and it's not local to a scope), it looked like a bug, why would you be able to access $v1 from anywhere but here? It seems to me it has been made available outside an if statement on purpose, and if so, it would also make sense to make it available for this case imo, that's why I reported it.
Why do you call the behavior undefined? I hope it's not because you can't find it in the help file..
