steakhal wrote: I've not measured any of this. It may break stuff because checkers/heuristics may only expect Conjured symbols at places where we would pass invalidation artifact symbols instead - breaking those. You can see a bunch of places adopted e.g. iterator checkers.
https://github.com/llvm/llvm-project/pull/207155 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
