unexpected noreturn behavior

[rikki cattermole]

Could we add a check for this in DScanner?

Otherwise I'm not sure how else we are going to find all of these 
instances and fix them.