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 
from `malloc`. I am not sure how to handle it and why it did work before this. 
Maybe it was related to wrong usage of `BindExpr`?

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

Reply via email to