From c884ea80c4f0946864bfb89e2fffba0846d6830d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Sj=C3=B6lund?= <martin.sjolund@liu.se>
Date: Wed, 7 Oct 2020 11:33:18 +0200
Subject: [PATCH] Disable tree-vrp in GCC 8

---
 OMCompiler/configure.ac | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/OMCompiler/configure.ac b/OMCompiler/configure.ac
index 9e4a5afc2e7..254b13704b9 100644
--- a/OMCompiler/configure.ac
+++ b/OMCompiler/configure.ac
@@ -206,7 +206,10 @@ if echo $CC | grep -v ccc-analyzer; then # ccc-analyzer calls gcc first and then
   if $CC --version | grep -q gcc && $CC -dumpversion | grep -q "^5"; then
     TRY_FLAGS="$TRY_FLAGS -fno-ipa-pure-const"
   fi
-
+  # GCC 8.x generates bad code, too
+  if $CC --version | grep -q gcc && $CC -dumpversion | grep -q "^8"; then
+    TRY_FLAGS="$TRY_FLAGS -fno-tree-vrp"
+  fi
   # GCC 7.x issues:
   # - RUNPATH instead of RPATH, disable that via -Wl,--disable-new-dtags
   # - sqrt from libcolamd is not found in -lm if -Wl,--no-as-needed is not specified