tree 190eedb490e3bfe6ca4e358d2febe0c05196c114
parent a10f6aac38d6e9caff8aec651e1bbae975b2991e
author Alexander Markov <alexmarkov@google.com> 1546856560 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1546856560 +0000

[VM/AOT/TFA] Do not attribute calls via fields/getters with inference results

MethodInvocation nodes which have field or getter as interface target
actually correspond to 2 calls: 1) getter; 2) implicit call() on the result
of the getter.

While this was correctly modeled in summaries in TFA, it is not correct
to attribute such MethodInvocation nodes with results of the inference,
as results correspond to an each distinct call. To fix this, Call
statements in summaries are created without attaching them to a
corresponding kernel AST node.

Change-Id: I3ea28ed85550192f8b592a926cac0eae23810811
Reviewed-on: https://dart-review.googlesource.com/c/88424
Commit-Queue: Martin Kustermann <kustermann@google.com>
Auto-Submit: Alexander Markov <alexmarkov@google.com>
Reviewed-by: Martin Kustermann <kustermann@google.com>