So anything that is undefined on paper automatically gets a near maximum score? That doesn't seem right. I'm aware there are cases of overzealous compilers rem

So anything that is undefined on paper automatically gets a near maximum score? That doesn't seem right. I'm aware there are cases of overzealous compilers removing conditional code based on the incorrect assumption that overflows can never happen, but this doesn't seem to be the case here.