]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20651d6) | patch
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)
commit275179e690be95edba2948803e350e161c7d7c7c
tree4d2699c89182dada2df6ed31d30c0a8dc51dcfc1tree | snapshot
parent20651d69e0f672461c2c458ae07fe98d0c1c6c28commit | diff
oceani: improve reporting of variables being freed at end of block.

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>
csrc/oceani.mdc diff | blob | history
The Ocean Language Project