Source/Checks/cm_cxx_attribute_fallthrough.cxx

int main(int argc, char* [])
{
  int i = 3;
  switch (argc) {
    case 1:
      i = 0;
      __attribute__((fallthrough));
    default:
      return i;
  }
}