> В данном примере никак. Если условие разрастётся, то в одной из веток
> переменная может быть неинициализирована. gcc предупреждение по этому поводу не выдает.

исторически так сложилось, что такого рода проверками занимаются статические анализаторы (cppcheck, pc-lint, PVS-studio). Сейчас такие проверки понемногу добавляют в компиляторы, но да, с этим действительно пока есть определённые проблемы.

На таком примере:

#include <stdio.h>
int main(int argc, char* argv[])
{
  int q1, q2, q3;
  if (argc > 2)
    q1 = 1;
  switch (argc)
  {
    case 0:
      q2 = 1;
      break;
    default:
      break;
  }
  printf("%d %d %d\n", q1, q2, q3);
  return 0;
}

MSVC 6.0 (98 года разработки) нашел все три использования неинициализированных переменных, как и clang 3.8.1 (). GCC 9.2 нашел только q3. Почему так всё плохо именно с GCC сказать сложно.