[clang][dataflow] Add support for nested method calls.
authorYitzhak Mandelbaum <yitzhakm@google.com>
Thu, 22 Sep 2022 12:42:23 +0000 (12:42 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Thu, 22 Sep 2022 19:16:31 +0000 (19:16 +0000)
commit0b12efc7a42c187400f7df18d5fd629d92d2747e
tree65de6e3172481fc167033323bfa803b59a248b02
parentd0aeb74e8869e5db23c079b98c5e1f325aeeeefe
[clang][dataflow] Add support for nested method calls.

Extend the context-sensitive analysis to handle a call to a method (of the same
class) from within a method. That, is a member-call expression through `this`.

Differential Revision: https://reviews.llvm.org/D134432
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp