usx95 wrote: Aah. You are right. I think this also touches upon moving from single origin -> OriginList -> TreeOrigins. I feel a single OriginList would still be imprecise so moving directly to TreeOrigins as the next step would be a good approach ? This should also be inline with modelling pointer-field sensitivity for user-defined structs. WDYT?
https://github.com/llvm/llvm-project/pull/185216 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
