Skip to content

Commit fd36304

Browse files
committed
Dataflow: Add type to PathNode.toString
1 parent 5a027b9 commit fd36304

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3077,9 +3077,7 @@ module Impl<FullStateConfigSig Config> {
30773077
private string ppType() {
30783078
this instanceof PathNodeSink and result = ""
30793079
or
3080-
this.(PathNodeMid).getAp() instanceof AccessPathNil and result = ""
3081-
or
3082-
exists(DataFlowType t | t = this.(PathNodeMid).getAp().getHead().getContainerType() |
3080+
exists(DataFlowType t | t = this.(PathNodeMid).getType() |
30833081
// The `concat` becomes "" if `ppReprType` has no result.
30843082
result = concat(" : " + ppReprType(t))
30853083
)

0 commit comments

Comments
 (0)