What compilers can and cannot do [video]
youtube.com