[all-commits] [llvm/llvm-project] 03be48: [clang][dataflow] Model the fields that are access...

[Kinuko Yasuda via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 03be486ecc256638a94243de8260a95e1b25bca4
      https://github.com/llvm/llvm-project/commit/03be486ecc256638a94243de8260a95e1b25bca4
  Author: Kinuko Yasuda <kinuko at chromium.org>
  Date:   2023-09-18 (Mon, 18 Sep 2023)

  Changed paths:
    M clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
    M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Model the fields that are accessed via inline accessors (#66368)

So that the values that are accessed via such accessors can be analyzed
as a limited version of context-sensitive analysis. We can potentially
do this only when some option is set, but doing additional modeling like
this won't be expensive and intrusive, so we do it by default for now.