]> ocean-lang.org Git - ocean/commitdiff
oceani: improve reporting of variables being freed at end of block.
authorNeilBrown <neil@brown.name>
Tue, 9 Nov 2021 04:58:50 +0000 (15:58 +1100)
committerNeilBrown <neil@brown.name>
Tue, 9 Nov 2021 05:08:19 +0000 (16:08 +1100)
1/ if frame_pos hasn't been set, possibly because type propagation hit
   an error, don't report the offset.
2/ Don't report G or L for global/local, and this will always be a a
   local variable.

Signed-off-by: NeilBrown <neil@brown.name>

No differences found