int main()
{
    int i = 2;
    switch(i)
    {
    case 0:
        cout << "0" << endl;
        // Violation
    case 1:
        // No violation: Empty clause
    case 2:
        cout << "1 or 2" << endl;
        break; // No violation: A break
    default:
        cout << "Other" << endl;
        // No violation: Last clause is default
    }
}