[clang] [analyzer] MoveChecker: correct invalidation of this-regions (PR #169626)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 27 05:27:43 PST 2025


================
@@ -244,11 +244,12 @@ bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) {
 
 // If a region is removed all of the subregions needs to be removed too.
 static ProgramStateRef removeFromState(ProgramStateRef State,
-                                       const MemRegion *Region) {
+                                       const MemRegion *Region,
+                                       bool strict = false) {
----------------
steakhal wrote:

```suggestion
                                       bool Strict = false) {
```

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


More information about the cfe-commits mailing list