attempt again to set does-not-return flag on functions that don't return