From e5f47972f63702afba99c291b81ff5a61506699f Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 18 Jun 2020 08:25:50 +0200
Subject: Work around GCC bug 86441

---
 odb/validator.cxx | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'odb/validator.cxx')

diff --git a/odb/validator.cxx b/odb/validator.cxx
index 9c20714..bf9aa6b 100644
--- a/odb/validator.cxx
+++ b/odb/validator.cxx
@@ -1655,6 +1655,9 @@ namespace
             // temporarily redirect diagnostics to /dev/null, which is
             // where asm_out_file points to (see plugin.cxx).
             //
+            // Needless to say, this is very hacky and we should quickly fail
+            // (as we do below) if there were errors.
+            //
             int ec (errorcount);
             FILE* s (global_dc->printer->buffer->stream);
             global_dc->printer->buffer->stream = asm_out_file;
-- 
cgit v1.1