Xazax-hun wrote: > Do you happen to know any references to similar work, maybe in CSA?
CSA will also remove dead symbols from the path constraints (which is akin to the flow condition in path-sensitive analysis). But this definitely introduced some challenges, there was a recent discussion about some of the fallouts here: https://discourse.llvm.org/t/keeping-the-extent-symbol-alive/76676 https://github.com/llvm/llvm-project/pull/82611 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits