[clang] Revert "[clang][dataflow] Expose simple access to child StorageLocation presence." (PR #145710)

via cfe-commits cfe-commits at lists.llvm.org
Wed Jun 25 07:20:35 PDT 2025


llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-clang-analysis

Author: Samira Bakon (bazuzi)

<details>
<summary>Changes</summary>

Reverts llvm/llvm-project#<!-- -->145520

Exposed function is no longer needed and side-stepped the intended contract that the present children are the same set returned by `getModeledFields()` and presence shouldn't need to be queried for arbitrary fields.

---
Full diff: https://github.com/llvm/llvm-project/pull/145710.diff


1 Files Affected:

- (modified) clang/include/clang/Analysis/FlowSensitive/StorageLocation.h (-2) 


``````````diff
diff --git a/clang/include/clang/Analysis/FlowSensitive/StorageLocation.h b/clang/include/clang/Analysis/FlowSensitive/StorageLocation.h
index 8b263b16d5b1e..8fcc6a44027a0 100644
--- a/clang/include/clang/Analysis/FlowSensitive/StorageLocation.h
+++ b/clang/include/clang/Analysis/FlowSensitive/StorageLocation.h
@@ -168,8 +168,6 @@ class RecordStorageLocation final : public StorageLocation {
     return {Children.begin(), Children.end()};
   }
 
-  bool hasChild(const ValueDecl &D) const { return Children.contains(&D); }
-
 private:
   FieldToLoc Children;
   SyntheticFieldMap SyntheticFields;

``````````

</details>


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


More information about the cfe-commits mailing list