All deferred constants should be initialized.
package fly is constant deferred_a : integer; -- deferred constant constant deferred_b : integer; -- deferred constant constant not_deferred : integer := 12; end; package body fly is constant deferred_a : integer := 3; -- Noncompliant: deferred_b is not initialized end;
package fly is constant deferred_a : integer; -- deferred constant constant deferred_b : integer; -- deferred constant constant not_deferred : integer := 12; end; package body fly is constant deferred_a : integer := 3; constant deferred_b : integer := 5; end;