[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