diff options
Diffstat (limited to 'src/vhdl')
| -rw-r--r-- | src/vhdl/canon.adb | 3 | ||||
| -rw-r--r-- | src/vhdl/sem.adb | 14 |
2 files changed, 8 insertions, 9 deletions
diff --git a/src/vhdl/canon.adb b/src/vhdl/canon.adb index 5ced8f0e5..13f66b8f6 100644 --- a/src/vhdl/canon.adb +++ b/src/vhdl/canon.adb @@ -552,8 +552,7 @@ package body Canon is end Canon_Extract_Sensitivity_From_Callees; function Canon_Extract_Process_Sensitivity - (Proc : Iir_Sensitized_Process_Statement) - return Iir_List + (Proc : Iir_Sensitized_Process_Statement) return Iir_List is Res : Iir_List; begin 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. |