[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