Description: psl-build.adb: disable incorrect optimization.  Fix #2157
Author: Tristan Gingold <tgingold@free.fr>
Origin: upstream, https://github.com/ghdl/ghdl/commit/7edca40761c6f87878367d53037a5a0dea2117ef
Last-Update: 2023-01-04
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/src/psl/psl-build.adb
+++ b/src/psl/psl-build.adb
@@ -308,7 +308,10 @@
       Eps := Get_Epsilon_NFA (L) or Get_Epsilon_NFA (R);
 
       --  Optimize [*0] | R.
-      if Start_L = Final_L
+      --  TODO: this was not valid if there is an edge from Start(R)
+      --  to Start(R), like: {[*0] | {d[*]; e}}
+      if False
+        and then Start_L = Final_L
         and then Get_First_Src_Edge (Start_L) = No_Edge
       then
          if Start_R /= Final_R then
--- a/src/psl/psl-build.ads
+++ b/src/psl/psl-build.ads
@@ -17,7 +17,7 @@
 with PSL.Nodes; use PSL.Nodes;
 
 package PSL.Build is
-   Optimize_Final : Boolean := True;
+   Optimize_Final : constant Boolean := True;
 
    function Build_SERE_FA (N : Node) return NFA;
    function Build_FA (N : Node) return NFA;
