1b8e80941Smrg#version 130
2b8e80941Smrg
3b8e80941Smrgvoid main()
4b8e80941Smrg{
5b8e80941Smrg  int defined = 2;
6b8e80941Smrg  int undefined;
7b8e80941Smrg  float fooFloat;
8b8e80941Smrg  int fooInt;
9b8e80941Smrg
10b8e80941Smrg  switch(undefined) {
11b8e80941Smrg  case 0:
12b8e80941Smrg    fooFloat = 0.0;
13b8e80941Smrg  case 1:
14b8e80941Smrg    fooFloat = 1.0;
15b8e80941Smrg  default:
16b8e80941Smrg    fooFloat = undefined;
17b8e80941Smrg  }
18b8e80941Smrg
19b8e80941Smrg  switch(defined) {
20b8e80941Smrg  case 0:
21b8e80941Smrg    fooFloat = 0.0;
22b8e80941Smrg  case 1:
23b8e80941Smrg    fooFloat = 1.0;
24b8e80941Smrg  default:
25b8e80941Smrg    fooFloat = undefined;
26b8e80941Smrg  }
27b8e80941Smrg}
28b8e80941Smrg
29