﻿# V3513\. AUTOSAR\. Every switch\-clause should be terminated by an unconditional 'break' or 'throw' statement\.

This diagnostic rule is based on the software development guidelines developed by [AUTOSAR](https://www.autosar.org/) \(AUTomotive Open System ARchitecture\)\.

Each label of a 'switch' statement should end with a 'break' statement or a 'throw' expression placed outside the condition\.

Adding the ending statements guarantees that the execution flow will not "fall through" to the next label and also helps avoid mistakes when adding new labels\. 

The only exception to this rule is a series of empty labels\.

Here is an example of code triggering this warning: 

```cpp
void example_1(int cond, int a)
{
  switch (cond)
  {
  case 1:
  case 2:
    break;
  case 3:  // <=
    if (a == 42)
    {
      DoSmth();
    }
  case 4:  // <=
    DoSmth2();
  default: // <=
    ;
  }
}
```

Fixed code:

```cpp
void example_1(int cond, int a)
{
  switch (cond)
  {
  case 1:
  case 2:
    break;
  case 3:
    if (a == 42)
    {
       DoSmth();
    }
    break;
  case 4:
    DoSmth2();
    break;
  default:
    /* No action required */ 
    break;
  }
}
```