[m-rev.] for review: announce workaround for GH issue #103

Julien Fischer jfischer at opturion.com
Mon Jun 27 12:39:06 AEST 2022


For review by anyone.

---------------------

Announce the workaround for Github issue #103.

NEWS:
     As above.

Julien.

diff --git a/NEWS b/NEWS
index bd3f762..3732d41 100644
--- a/NEWS
+++ b/NEWS
@@ -413,6 +413,15 @@ Changes to the extras distribution

  * We have deleted the `old_term_parser` library.

+NEWS for Mercury 22.01.3
+========================
+
+This is a bug-fix release.
+
+* [Github issue #103]. We have disabled the use of some GCC optimizations
+  that were causing segmentation faults in code compiled in the `asm_fast`
+  grades with GCC versions 11 and 12 on x86_64 systems.
+
  NEWS for Mercury 22.01.2
  ========================



More information about the reviews mailing list