NoQ added a comment. > If a symbol is unused and garbage collected then that is not part of the path > constraint that leads to the ErrorNode, is it?
It is part of the path, it's just no longer accessible in the program, so it can't be observed at the //end// of the path. But it did play an important role at some point in the path. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D78457/new/ https://reviews.llvm.org/D78457 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits