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

Reply via email to