pskrgag wrote:
So I just wanted to share progress on this. I have only 2 failing tests now:
```
Clang :: Analysis/NewDelete+MismatchedDeallocator_intersections.cpp
Clang :: Analysis/NewDelete-intersections.m
```
The problem with those is that now CSA reports read of undefined value obtained
llvmbot wrote:
@llvm/pr-subscribers-clang-static-analyzer-1
@llvm/pr-subscribers-clang
Author: Pavel Skripkin (pskrgag)
Changes
PR refactors `MallocChecker` to not violate invariant of `BindExpr`, which
should be called only during `evalCall` to avoid conflicts.
To achieve this, most of
https://github.com/pskrgag converted_to_draft
https://github.com/llvm/llvm-project/pull/106081
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/pskrgag created
https://github.com/llvm/llvm-project/pull/106081
PR refactors `MallocChecker` to not violate invariant of `BindExpr`, which
should be called only during `evalCall` to avoid conflicts.
To achieve this, most of `postCall` logic was moved to `evalCall` with addi
