From 7882ec7c7dd687910d31adb6e31dd26f59bfd92f Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 28 Mar 2021 15:41:50 +0200 Subject: vhdl-parse_psl: avoid crash in case of error. For #1701 --- src/vhdl/vhdl-parse_psl.adb | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/vhdl/vhdl-parse_psl.adb b/src/vhdl/vhdl-parse_psl.adb index d54924212..eaabd852b 100644 --- a/src/vhdl/vhdl-parse_psl.adb +++ b/src/vhdl/vhdl-parse_psl.adb @@ -79,13 +79,18 @@ package body Vhdl.Parse_Psl is end if; end Check_Positive_Count; - procedure Parse_Count (N : Node) is + procedure Parse_Count (N : Node) + is + Hi : Node; begin Set_Low_Bound (N, Parse_Number); if Current_Token = Tok_To then Scan; - Set_High_Bound (N, Parse_Number); - Check_Positive_Count (N); + Hi := Parse_Number; + Set_High_Bound (N, Hi); + if Hi /= Null_Node then + Check_Positive_Count (N); + end if; end if; end Parse_Count; -- cgit v1.2.3