aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-12-11 04:49:45 +0100
committerTristan Gingold <tgingold@free.fr>2020-12-11 04:49:45 +0100
commit42ad61bf1d5c570ed395013bd83e8fb7d54137c2 (patch)
treecfead79dc1466179bc4d30bc6c4debc7016e9cd6
parent83dfd49481603fc894652a4191c6787cbc319898 (diff)
downloadghdl-42ad61bf1d5c570ed395013bd83e8fb7d54137c2.tar.gz
ghdl-42ad61bf1d5c570ed395013bd83e8fb7d54137c2.tar.bz2
ghdl-42ad61bf1d5c570ed395013bd83e8fb7d54137c2.zip
synth-insts: comment assert for gcc/gnat-11. Fix #1533
-rw-r--r--src/synth/synth-insts.adb5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/synth/synth-insts.adb b/src/synth/synth-insts.adb
index a49ee4838..5c95dce07 100644
--- a/src/synth/synth-insts.adb
+++ b/src/synth/synth-insts.adb
@@ -248,7 +248,10 @@ package body Synth.Insts is
use Name_Table;
Id_Len : constant Natural := Get_Name_Length (Id);
Str_Len : constant Natural := Id_Len + 512;
- pragma Assert (GNAT.SHA1.Hash_Length = 20);
+
+ -- True in practice (and used to set the length of STR, but doesn't work
+ -- anymore with gcc/gnat 11.
+ -- pragma Assert (GNAT.SHA1.Hash_Length = 20);
Str : String (1 .. Str_Len + 41);
Len : Natural;