sem_subprogram_body: handle all_sensitized_state for all subprograms.

fix #529

1 files changed, 7 insertions, 7 deletions

diff --git a/src/vhdl/sem.adb b/src/vhdl/sem.adb
index c8f0822e2..a1283ff17 100644
--- a/src/vhdl/sem.adb
+++ b/src/vhdl/sem.adb
@@ -2112,13 +2112,6 @@ package body Sem is
                end;
             end if;
 
-            --  Set All_Sensitized_State in trivial cases.
-            if Get_All_Sensitized_State (Spec) = Unknown
-              and then Get_Callees_List (Subprg) = Null_Iir_List
-            then
-               Set_All_Sensitized_State (Spec, No_Signal);
-            end if;
-
             --  Do not add to Analysis_Check_List as procedures can't
             --  generate purity/wait/all-sensitized errors by themselves.
 
@@ -2131,6 +2124,13 @@ package body Sem is
          when others =>
             Error_Kind ("sem_subprogram_body", Spec);
       end case;
+
+      --  Set All_Sensitized_State in trivial cases.
+      if Get_All_Sensitized_State (Spec) = Unknown
+        and then Get_Callees_List (Subprg) = Null_Iir_List
+      then
+         Set_All_Sensitized_State (Spec, No_Signal);
+      end if;
    end Sem_Subprogram_Body;
 
    --  Status of Update_And_Check_Pure_Wait.