[clang] [clang][dataflow] Model the fields that are accessed via inline accessors (PR #66368)

[Kinuko Yasuda via cfe-commits]

================
@@ -1446,6 +1446,51 @@ TEST(TransferTest, BaseClassInitializer) {
       llvm::Succeeded());
 }
 
+TEST(TransferTest, StructModeledFieldsWithAccessor) {
+  std::string Code = R"(
+    class S {
+      int *P;
+      int *Q;
+      int X;
+      int Y;
+      int Z;
+    public:
+      int *getPtr() const { return P; }
+      int *getPtrNonConst() { return Q; }
+      int getInt(int i) const { return X; }
----------------
kinu wrote:

Done.

https://github.com/llvm/llvm-project/pull/66368