Update vf_analyzers.cpp [skip ci]

Author: chrchr-github

lib/vf_analyzers.cpp

@@ -209,9 +209,14 @@ struct ValueFlowAnalyzer : Analyzer {
     virtual Action isModified(const Token* tok) const {
         const ValueFlow::Value* value = getValue(tok);
         if (value) {
-            // Moving a moved value won't change the moved value
-            if (value->isMovedValue() && isMoveOrForward(tok) != ValueFlow::Value::MoveKind::NonMovedVariable)
-                return Action::Read;
+            if (value->isMovedValue()) {
+                // Moving a moved value won't change the moved value
+                if (isMoveOrForward(tok) != ValueFlow::Value::MoveKind::NonMovedVariable)
+                    return Action::Read;
+                bool inconclusive = false;
+                if (isVariableChangedByFunctionCall(tok, getIndirect(tok), getSettings(), &inconclusive) || inconclusive)
+                    return Action::Invalid;
+            }
             // Inserting elements to container won't change the lifetime
             if (astIsContainer(tok) && value->isLifetimeValue() &&
                 contains({Library::Container::Action::PUSH,