c – 在if … else语句中嵌入案例标签

#include <cassert>

void example (int value,bool condition) {

  switch (value) {
  case 0:
    if (condition) {
  case 1:
      assert(condition || value == 1);
    } else {
      assert(!condition && value == 0);
    }
    assert(value == 0 || value == 1);
  }

}

int main () {
  example(0,false);
  example(1,false);
  example(0,true);
  example(1,true);
}

也许这是一个愚蠢的基本问题,但代码嗅到一边,将一个案例标签放在if … else块中是否有效,并且所有表现良好的编译器都会正确生成将在输入时跳过else块的代码通过案例1？