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
The paths output in github-vet/rangeloop-pointer-findings#6717 appear to contain duplicates. We might expect to see this in case the callgraph ends up with multiple non-unique nodes that have the same signature. Based on my recollection of the type definition, that's not impossible.
The text was updated successfully, but these errors were encountered:
Checked back through the BFS and reminded myself we want all our BFS implementations to visit every edge of the graph -- not just reach every node of the graph.
The paths output in github-vet/rangeloop-pointer-findings#6717 appear to contain duplicates. We might expect to see this in case the callgraph ends up with multiple non-unique nodes that have the same signature. Based on my recollection of the type definition, that's not impossible.
The text was updated successfully, but these errors were encountered: