modernc.org/cc@v1.0.1/v2/testdata/bug/17.c (about)

     1  #include <assert.h>
     2  
     3  int main() {
     4  	int i = 42;
     5  	switch (i) {
     6  		int j = 314;
     7  	case 41:
     8  		assert(0);
     9  		break;
    10  	case 42:
    11  		assert(i == 42);
    12  		assert(j == 0); // Not guaranteed in C, only in the Go translation.
    13  		break;
    14  	case 43:
    15  		assert(0);
    16  		break;
    17  	default:
    18  		assert(0);
    19  		break;
    20  	}
    21  	assert(i == 42);
    22  }