New scope solution

[tkf]

@jballanc I’m interested in this so I dug up the history a little bit. It looks like a rule to make your example seem to be considered once (see the “write-only” case)

@StefanKarpinski

Another possible variation is that if every path is one of the following:

• read-before-write (including read-only)
• write-only
• no use

then the variable is global.

but it was rejected since simple insertion of @show etc. could change the behavior.

So the final version seems to be this one:

@StefanKarpinski

• if the first use of x on every path is a read, then x is global
• if the first use of x on every path is a write and there’s a read somewhere, then x is local
• otherwise x must have an explicit local or global annotation

But it seems in your second case (finish = 10 with contains_even = true in the loop body) have to be caught by the third rule (i.e., has to be an error). Is this a bug in the PR?