* Patrick Walton: > * I can pretty much guarantee you that that simple of a static > analysis to determine stack size is going to fail on any reasonable > program.
It's needed to show total correctness, and often done with tool support in the embedded space. GCC has some support for it. Obviously, it only works with fairly restricted language subsets, but such is life if you're after verifiable total correctness. _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
