Welcome to the new Parasoft forums! We hope you will enjoy the site and try out some of the new features, like sharing an idea you may have for one of our products or following a category.

Parasoft support for [[fallthrough]]

Does Parasoft Static Analysis support
standard [[fallthrough]] attribute or gcc attribute((fallthrough))? If not, are there plans to support them?

Best Answers


  • george_vlasov
    george_vlasov Posts: 9
    edited March 2019

    It's not that any rules are noisy, but rather we are going to switch to C++17 standard and will be using [[fallthrough]] attribute instead of the comment, and we need C++Test to support it, specifically rule CODSTA-56-3 is gonna fail without such support:

    All 'case' and 'default' labels of 'switch' statement should have an explicit 'break' or a 'return'
    statement, or 'fall through' comment [CODSTA-56-3]
    All 'case' and 'default' labels of 'switch' statement should have:

    • an explicit unconditional 'break' or a 'return' statement or
    • at the end a 'fall through' comment containing "fall through" phrase
      (checked case insensitive).
  • Mirek
    Mirek Posts: 140 admin

    we will look into this specific rule. I will let you know soon.

  • george_vlasov
    george_vlasov Posts: 9

    Thank you!

  • Any update on this issue?

  • Great! Thank you!