@@ -1098,6 +1098,8 @@ static void valueFlowImpossibleValues(TokenList& tokenList, const Settings& sett
             bool nonNull = false;
             for (const Token *op : {tok->astOperand1(), tok->astOperand2()}) {
                 for (const ValueFlow::Value& v : op->values()) {
+                    if (!op->valueType() || !op->valueType()->isIntegral())
+                        continue;
                     if (v.valueType != ValueFlow::Value::ValueType::INT)
                         continue;
                     if ((v.isKnown() && v.intvalue != 0) || (v.isImpossible() && v.intvalue == 0)) {
 
@@ -4439,6 +4439,12 @@ class TestValueFlow : public TestFixture {
                "  return x;\n"
                "}\n";
         ASSERT_EQUALS(true, testValueOfXImpossible(code, 3U, 0));
+
+        code = "bool f(const std::optional<bool>& o) {\n"
+               "    const bool x = o | []() { return std::make_optional(false); };\n"
+               "    return x;\n"
+               "}\n";
+        ASSERT_EQUALS(false, testValueOfXImpossible(code, 3U, 0));
     }
 
     void valueFlowForwardInconclusiveImpossible() {