Parasoft support for [[fallthrough]]

george_vlasov

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

Mirek

Hi @george_vlasov,

In this moment [[fallthrough]] (or gcc attr.) is not supported. We do not have this in our plans for the near feature, but it is a valid request, there are several rules which could benefit from fallthrough being correctly handled. Do you have a specific rule which is noisy because of this?

Mirek

Hello @george_vlasov

CODSTA-56 was updated to support [[fallthrough]]. Updated rule is available starting from 10.4.2 release.

george_vlasov

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]
DESCRIPTION
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

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

george_vlasov

Thank you!

george_vlasov

Any update on this issue?

george_vlasov

Great! Thank you!