From 0e75f1651077d9680fca721c0d3c76a95dfb3b15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sun, 12 Jan 2020 14:52:15 +0100
Subject: [PATCH] verificationUninit: ignore bailout values until it's less
 noisy

---
 lib/exprengine.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/exprengine.h b/lib/exprengine.h
index 10fb6ced0..44da3f1d2 100644
--- a/lib/exprengine.h
+++ b/lib/exprengine.h
@@ -293,9 +293,11 @@ namespace ExprEngine {
         bool isEqual(DataBase * /*dataBase*/, int /*value*/) const OVERRIDE {
             return true;
         }
+        /* FIXME: This is too noisy
         bool isUninit() const OVERRIDE {
             return true;
         }
+        */
     };
 
     typedef std::function<void(const Token *, const ExprEngine::Value &, ExprEngine::DataBase *)> Callback;