Pure functions should not use external signals or variables.
architecture a of e is
signal s : std_logic;
pure function f1 return type1 is -- Noncompliant: Mark this function as "impure" instead or remove the usage of the "s" signal
begin
s <= '1';
return sig;
end;
function f2 return type1 is -- Noncompliant: Mark this function as "impure" or remove the usage of the "s" signal
begin
s <= '0';
return sig;
end;
begin
end;
architecture a of e is
signal s : std_logic;
impure function f1 return type1 is -- Compliant
begin
s <= '1';
return sig;
end;
impure function f2 return type1 is -- Compliant
begin
s <= '0';
return sig;
end;
begin
end;