VHDL315: Empty conditional branch should be implemented or removed

Summary

Count: 1

ReliabilitySecurityMaintainabilityCode attributeEffort to fixTags
HIGH--Intentionality | Complete20minsynthesis, vscode, simulation, linter

Description

Noncompliant code example

if reset = '1' then -- Noncompliant
end if;

for i in 0 to limit loop -- Noncompliant
end loop;

Compliant solution

With custom forbidden attribute list: val

if reset = '1' then
  q <= '0';
end if;

for i in 0 to limit loop
  v := v xor data(i);
end loop;

An empty conditional branch is usually an indication that a feature has not been implemented yet.

Please review this code and either implement the missing functionality or remove the empty branch if it is no longer needed.

The following structures are checked for emptiness:

  • Conditional if, elsif, and else statements
  • when clauses in case statements
  • for, while, and infinite loops
  • if, elsif, and else generate statements
  • when clauses in case generate statements
  • for generate statements

Parameters

No parameters.