> It's impossible to have a static decision procedure about dynamic properties of programs, such as the size of dynamically allocated memory areas (Rice's theorem).
You can not have a general procedure, but with the help of the programmer / user of the compiler, you can prove all kinds of things.
You can not have a general procedure, but with the help of the programmer / user of the compiler, you can prove all kinds of things.