> communicate maximum stack usage bound of functions This would be useful in all sorts of deeply embedded code (as well as more exotic things, such as coding f

> communicate maximum stack usage bound of functions This would be useful in all sorts of deeply embedded code (as well as more exotic things, such as coding for GPU compute). Unfortunately it turns out to be unfeasible when dealing with true reentrant functions (e.g. any kind of recursion) or any use of FFI, dynamic dispatch etc. etc. So it can only really be accomplished when dealing with near 'leaf' code, where stack usage is expected to be negligible anyway.