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

[via cfe-commits]

llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-clang
            
<details>
<summary>Changes</summary>
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.
--
Full diff: https://github.com/llvm/llvm-project/pull/66368.diff

2 Files Affected:

- (modified) clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp (+18) 
- (modified) clang/unittests/Analysis/FlowSensitive/TransferTest.cpp (+44) 


<pre>
diff --git a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp 
b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
index e13f880896fc071..713df62e5009336 100644
--- a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
+++ b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
@@ -288,6 +288,18 @@ static void insertIfFunction(const Decl &amp;amp;D,
     Funcs.insert(FD);
 }
 
+static Expr *getRetValueFromSingleReturnStmtMethod(const CXXMemberCallExpr 
&amp;amp;C) {
+  auto *D = 
cast_or_null&amp;lt;CXXMethodDecl&amp;gt;(C.getMethodDecl()-&amp;gt;getDefinition());
+  if (!D)
+    return nullptr;
+  auto *S = cast&amp;lt;CompoundStmt&amp;gt;(D-&amp;gt;getBody());
+  if (S-&amp;gt;size() != 1)
+    return nullptr;
+  if (auto *RS = dyn_cast&amp;lt;ReturnStmt&amp;gt;(*S-&amp;gt;body_begin()))
+    return RS-&amp;gt;getRetValue()-&amp;gt;IgnoreParenImpCasts();
+  return nullptr;
+}
+
 static void
 getFieldsGlobalsAndFuncs(const Decl &amp;amp;D, FieldSet &amp;amp;Fields,
                          llvm::DenseSet&amp;lt;const VarDecl *&amp;gt; 
&amp;amp;Vars,
@@ -324,6 +336,12 @@ getFieldsGlobalsAndFuncs(const Stmt &amp;amp;S, FieldSet 
&amp;amp;Fields,
   } else if (auto *E = dyn_cast&amp;lt;DeclRefExpr&amp;gt;(&amp;amp;S)) {
     insertIfGlobal(*E-&amp;gt;getDecl(), Vars);
     insertIfFunction(*E-&amp;gt;getDecl(), Funcs);
+  } else if (const auto *C = 
dyn_cast&amp;lt;CXXMemberCallExpr&amp;gt;(&amp;amp;S)) {
+    // If this is a method that returns a member variable but does nothing 
else,
+    // model the field of the return value.
+    if (MemberExpr *E = dyn_cast_or_null&amp;lt;MemberExpr&amp;gt;(
+        getRetValueFromSingleReturnStmtMethod(*C)))
+      getFieldsGlobalsAndFuncs(*E, Fields, Vars, Funcs);
   } else if (auto *E = dyn_cast&amp;lt;MemberExpr&amp;gt;(&amp;amp;S)) {
     // FIXME: should we be using `E-&amp;gt;getFoundDecl()`?
     const ValueDecl *VD = E-&amp;gt;getMemberDecl();
diff --git a/clang/unittests/Analysis/FlowSensitive/TransferTest.cpp 
b/clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
index 0abd171f1d0b7cb..d52433b14da142a 100644
--- a/clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
+++ b/clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
@@ -1446,6 +1446,50 @@ TEST(TransferTest, BaseClassInitializer) {
       llvm::Succeeded());
 }
 
+TEST(TransferTest, StructModeledFieldsWithConstAccessor) {
+  std::string Code = R&amp;quot;(
+    class S {
+      int *P;
+      int *Q;
+      int X;
+      int Y;
+      int Z;
+    public:
+      int *getPtr() const { return P; }
+      int *getPtrNonConst() { return Q; }
+      int getInt() const { return X; }
+      int getInt(int i) const { return Y; }
+      int getIntNonConst() { return Z; }
+      int getIntNoDefinition() const;
+    };
+
+    void target() {
+      S s;
+      int *p = s.getPtr();
+      int *q = s.getPtrNonConst();
+      int x = s.getInt();
+      int y = s.getIntNonConst();
+      int z = s.getIntNoDefinition();
+      // [[p]]
+    }
+  )&amp;quot;;
+  runDataflow(
+      Code,
+      [](const 
llvm::StringMap&amp;lt;DataflowAnalysisState&amp;lt;NoopLattice&amp;gt;&amp;gt; 
&amp;amp;Results,
+         ASTContext &amp;amp;ASTCtx) {
+        const Environment &amp;amp;Env =
+              getEnvironmentAtAnnotation(Results, &amp;quot;p&amp;quot;);
+        auto &amp;amp;SLoc = 
getLocForDecl&amp;lt;RecordStorageLocation&amp;gt;(ASTCtx, Env, 
&amp;quot;s&amp;quot;);
+        std::vector&amp;lt;const ValueDecl*&amp;gt; Fields;
+        for (auto [Field, _] : SLoc.children())
+          Fields.push_back(Field);
+        // Only the fields that have corresponding const accessor methods
+        // should be modeled.
+        ASSERT_THAT(Fields, UnorderedElementsAre(
+            findValueDecl(ASTCtx, &amp;quot;P&amp;quot;), 
findValueDecl(ASTCtx, &amp;quot;X&amp;quot;)));
+      });
+}
+
 TEST(TransferTest, StructModeledFieldsWithComplicatedInheritance) {
   std::string Code = R&amp;quot;(
     struct Base1 {
</pre>
</details>


https://github.com/llvm/llvm-project/pull/66368
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits