/* Should not compile. */
int
main(int argc, char **argv)
{
	double d = 0.0;

	switch (d) {
	}

	return 0;
}