rdevshp wrote: > However, note that symbol liveness is used for many things, so this extended > lifetime may cause surprising side effects. For example, memory leak warnings > are reported when the pointer to the allocated area becomes dead -- but this > would keep the pointer symbol alive if e.g. the result of a comparison > operator is still alive. For this reason, I'm not completely sure if this is > the theoretically correct approach, but from a practical POV I don't see any > serious threat.
I am not actually extending symbol liveness (as determined by `bool SymReaper::isLive(SymbolRef sym)`) though. All I am doing here is changing how the constraints are removed. https://github.com/llvm/llvm-project/pull/215240 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
