suoyuan666 wrote: > This seems inaccurate. This would not work when the we do not have the target > loan in the origin at the end of block.
I don't think this is an issue, because the `DestOrigin` of subsequent `OriginFlowFact` will not hold the `TargetLoan`, so it is never recorded. Thanks for the test cases! I've added all of them to `clang/test/.../safety.cpp`. https://github.com/llvm/llvm-project/pull/204592 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
