https://github.com/usx95 requested changes to this pull request.
I still feel we should largely have 3 components: 1. generate chain of abstract origins in a flow via backtracking in LoanPropagation analysis. This is done in `LoanPropagationAnalysis::buildOriginFlowChain`. 2. Convert the origins to expr. Do this in `getExprChain` (currently named `buildExprOrDeclChain`.) 2. Filter out origins which are not useful for printing. Do this in `shouldShowInAliasingChain`. 4. Print the origins in `reportAliasingChain` via `getDiagSubjectDescription`. The pure expressions which are looking for should already be available in the origin flow chains by design of loan propagation and flow fact generation. I am available on discord as usx95. Feel free to reachout. I am happy to discuss these over a quick call if that would be helpful for you. It could allow me to understand the blockers better. https://github.com/llvm/llvm-project/pull/199345 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
