diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-03-19 14:05:50 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-03-20 09:13:29 +0100 |
| commit | 4f650ed4dae4d764de1b294daf947d47d39c98e2 (patch) | |
| tree | 0365d5ef15cb6045ea879d8d638217871e0171f1 /src | |
| parent | 377762204612fdec51e361e5f3f3a75c67a36552 (diff) | |
| download | ghdl-4f650ed4dae4d764de1b294daf947d47d39c98e2.tar.gz ghdl-4f650ed4dae4d764de1b294daf947d47d39c98e2.tar.bz2 ghdl-4f650ed4dae4d764de1b294daf947d47d39c98e2.zip | |
wip.
Diffstat (limited to 'src')
| -rw-r--r-- | src/psl/psl-rewrites.adb | 5 | ||||
| -rw-r--r-- | src/vhdl/sem_psl.adb | 4 |
2 files changed, 6 insertions, 3 deletions
diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb index 6ba5b1026..173f4da94 100644 --- a/src/psl/psl-rewrites.adb +++ b/src/psl/psl-rewrites.adb @@ -313,10 +313,11 @@ package body PSL.Rewrites is return Rewrite_Boolean (N); when N_Name => return Get_Decl (N); - when N_Sequence_Instance - | N_Endpoint_Instance => + when N_Sequence_Instance => Rewrite_Instance (N); return N; + when N_Endpoint_Instance => + return N; when N_Boolean_Parameter | N_Sequence_Parameter | N_Const_Parameter => diff --git a/src/vhdl/sem_psl.adb b/src/vhdl/sem_psl.adb index 98e258359..280b0d90b 100644 --- a/src/vhdl/sem_psl.adb +++ b/src/vhdl/sem_psl.adb @@ -164,7 +164,9 @@ package body Sem_Psl is when N_Sequence_Declaration => Res := Create_Node (N_Sequence_Instance); when N_Endpoint_Declaration => - Res := Create_Node (N_Endpoint_Instance); + -- Endpoints are considered as boolean variables. + Free_Node (N); + return Convert_Bool (Name); when N_Property_Declaration => Res := Create_Node (N_Property_Instance); when N_Boolean_Parameter |