Why is this an issue?

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

How to fix it

Code examples

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;