You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Either the llvm-pta-dump tool is being called with incorrect arguments in the pta-show script or there is an issue in llvm-pta-dump that leads to the output not being in the correct .dot syntax.
Dumping to graphviz works only for internal representation,
so it make sense to turn it on if `-dot` is required.
Other option would be to raise a warning or abort with the
message, but I think automatically turning that on is better.
Fixes#455.
Thanks for reporting it. This is indeed a bug. The behavior of llvm-pta-dump was changed when a generic API for pointer analyses was introduced. llvm-pta-dump now uses this API to show the points-to sets. Dumping to graphviz is a feature that dumps the internal representation of points-to analyses (the pointer graph) and therefore must be used together with -ir option.
Dumping to graphviz works only for internal representation,
so it make sense to turn it on if `-dot` is required.
Other option would be to raise a warning or abort with the
message, but I think automatically turning that on is better.
Fixes#455.
Either the
llvm-pta-dump
tool is being called with incorrect arguments in thepta-show
script or there is an issue inllvm-pta-dump
that leads to the output not being in the correct .dot syntax.Examples:
or
The text was updated successfully, but these errors were encountered: