Synopsis

(Required) All switch statements shall be well-formed

Enabled by default

Yes

Severity/Certainty

Low/High

Full description

Detected switch statements that do not conform to the MISRA C switch syntax. This check is identical to MISRAC2004-15.0.

Coding standards

Code examples

The following code example fails the check and will give a warning:

void example(void) {
	switch(expr()) {
		// at least one case label
		case 1:
			// statement list
			stmt();
			stmt();
			// WARNING: missing break at end of statement list
		default:
			break; // statement list ends in a break
	}

	switch(expr()) {
		// WARNING: missing at least one case label
		default:
			break; // statement list ends in a break
	}

	switch(expr()) {
		// at least one case label
		case 1:
			// statement list
			stmt();
			stmt();
			break; // statement list ends in a break
		case 0:
			stmt();
			// WARNING: declaration list without block
			int decl = 0;
			int x;
			// statement list
			stmt();
			stmt();
			break; // statement list ends in a break
		default:
			break; // statement list ends in a break
	}

	switch(expr()) {
		// at least one case label
		case 1: {
			// statement list
			stmt();
			// WARNING: Additional block inside of the case clause block
			{
			stmt();
			}
			break;
		}
		default:
			break; // statement list ends in a break
	}
}

The following code example passes the check and will not give a warning about this issue:

void example(void) {
	switch(expr()) {
		// at least one case label
		case 1:
			// statement list (no declarations)
			stmt();
			stmt();
			break; // statement list ends in a break
		case 0: {
			// one level of block is allowed
			// declaration list
			int decl = 0;
			// statement list
			stmt();
			stmt();
			break; // statement list ends in a break
		}
		case 2: // empty cases are allowed
		default:
			break; // statement list ends in a break
	}
}