https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116494
--- Comment #2 from Архипов Дмитрий <grisumbras at yandex dot ru> --- Ah, so it warns that if that branch would have been taken, it would cause a problem, but it doesn't actually take the branch. So it's just a false positive warning?
