C#: Property, Indexer, Event and dynamic calls may use the result of the entire expression as argument.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

@@ -1579,6 +1579,15 @@ private module ArgumentNodes {
           scope = def.getExpr()
         )
       else scope = e2
+      or
+      e1.(Argument).isArgumentOf(e2, _) and
+      exists(AssignableDefinitions::AssignOperationDefinition def |
+        def.getTargetAccess() = e2 and
+        def.getExpr() = e1
+      ) and
+      exactScope = false and
+      isSuccessor = false and
+      scope = e1
     }
   }