diff options
Diffstat (limited to 'src/vhdl/sem_stmts.adb')
| -rw-r--r-- | src/vhdl/sem_stmts.adb | 41 |
1 files changed, 27 insertions, 14 deletions
diff --git a/src/vhdl/sem_stmts.adb b/src/vhdl/sem_stmts.adb index b64e9ac90..ac153f2e6 100644 --- a/src/vhdl/sem_stmts.adb +++ b/src/vhdl/sem_stmts.adb @@ -1549,28 +1549,41 @@ package body Sem_Stmts is procedure Sem_If_Generate_Statement (Stmt : Iir) is + Clause : Iir; Condition : Iir; begin -- LRM93 10.1 Declarative region. -- 12. A generate statement. Open_Declarative_Region; - Condition := Get_Condition (Stmt); - Condition := Sem_Condition (Condition); - -- LRM93 9.7 - -- the condition in a generation scheme of the second form must be - -- a static expression. - if Condition /= Null_Iir - and then Get_Expr_Staticness (Condition) < Globally - then - Error_Msg_Sem ("condition must be a static expression", Condition); - else - Set_Condition (Stmt, Condition); - end if; + Clause := Stmt; + while Clause /= Null_Iir loop + Condition := Get_Condition (Clause); + + if Condition /= Null_Iir then + Condition := Sem_Condition (Condition); + -- LRM93 9.7 + -- the condition in a generation scheme of the second form must be + -- a static expression. + if Condition /= Null_Iir + and then Get_Expr_Staticness (Condition) < Globally + then + Error_Msg_Sem + ("condition must be a static expression", Condition); + else + Set_Condition (Clause, Condition); + end if; + else + -- No condition for the last 'else' part. + pragma Assert (Get_Generate_Else_Clause (Clause) = Null_Iir); + null; + end if; - -- In the same declarative region. - Sem_Generate_Statement_Body (Stmt); + -- In the same declarative region. + Sem_Generate_Statement_Body (Clause); + Clause := Get_Generate_Else_Clause (Clause); + end loop; Close_Declarative_Region; end Sem_If_Generate_Statement; |