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

via cfe-commits cfe-commits at lists.llvm.org
Fri Sep 15 06:13:25 PDT 2023


================
@@ -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;
----------------
martinboehme wrote:

Rename these to match the methods that return them (e.g. `Ptr`, `PtrNonConst` etc.)? This would make it easier to read the assertion below.

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


More information about the cfe-commits mailing list