verificationUninit: ignore bailout values until it's less noisy

2020-01-12 14:52:15 +01:00 · 2020-01-12 14:52:15 +01:00 · 0e75f16510
parent 1bad69923c
commit 0e75f16510
1 changed files with 2 additions and 0 deletions
--- 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;