fix false positive for noreturn if-else blocks