если "невозможный" не приводит к удалению кода
Вообще то PGO очень сильно зависит от тестируемого окружения. Иными стовами, если даже PGO опеределило что какая то функция не вызывалась вообще никогда, это еще не значит, что она не будет вызываться в реальных условиях =)