Re:Getting Past C
by ue_ on Wednesday January 04, 2017 @07:19AM
(#13317633)
Why does Rust still not warn at compile time and furthermore actually crash (panic) on OOB access if it has the checks you describe?
[ Parent
| on HN ]
I never stated whether the checks were static or runtime. In this case, they are runtime checks.
What you are talking about is value range analysis. Rust does a limited amount of it, and if it can prove safe indexing it will remove the runtime checks.