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