From 86e924834a11200167f0a38a3193cbdaa4f2dbe1 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 8 Mar 2021 22:27:05 +0100 Subject: Add a warning for processes without a wait statement. Fix #1677 --- src/vhdl/vhdl-sem_stmts.adb | 20 +++++++++++++------- 1 file changed, 13 insertions(+), 7 deletions(-) (limited to 'src/vhdl') diff --git a/src/vhdl/vhdl-sem_stmts.adb b/src/vhdl/vhdl-sem_stmts.adb index c7f734404..b0b0447da 100644 --- a/src/vhdl/vhdl-sem_stmts.adb +++ b/src/vhdl/vhdl-sem_stmts.adb @@ -2240,13 +2240,19 @@ package body Vhdl.Sem_Stmts is Set_Is_Within_Flag (Proc, False); - if Get_Kind (Proc) = Iir_Kind_Sensitized_Process_Statement - and then Get_Callees_List (Proc) /= Null_Iir_List - then - -- Check there is no wait statement in subprograms called. - -- Also in the case of all-sensitized process, check that package - -- subprograms don't read signals. - Sem.Add_Analysis_Checks_List (Proc); + if Get_Kind (Proc) = Iir_Kind_Sensitized_Process_Statement then + if Get_Callees_List (Proc) /= Null_Iir_List then + -- Check there is no wait statement in subprograms called. + -- Also in the case of all-sensitized process, check that package + -- subprograms don't read signals. + Sem.Add_Analysis_Checks_List (Proc); + end if; + else + if not Get_Suspend_Flag (Proc) then + Warning_Msg_Sem + (Warnid_No_Wait, +Proc, + "infinite loop for this process without a wait statement"); + end if; end if; end Sem_Process_Statement; -- cgit v1.2.3