src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.graph/src/org/graalvm/compiler/graph/Graph.java
equal
deleted
inserted
replaced
1197 } |
1197 } |
1198 } |
1198 } |
1199 return true; |
1199 return true; |
1200 } |
1200 } |
1201 |
1201 |
1202 public boolean verifySourcePositions() { |
1202 public boolean verifySourcePositions(boolean performConsistencyCheck) { |
1203 if (trackNodeSourcePosition()) { |
1203 if (trackNodeSourcePosition()) { |
1204 ResolvedJavaMethod root = null; |
1204 ResolvedJavaMethod root = null; |
1205 for (Node node : getNodes()) { |
1205 for (Node node : getNodes()) { |
1206 NodeSourcePosition pos = node.getNodeSourcePosition(); |
1206 NodeSourcePosition pos = node.getNodeSourcePosition(); |
1207 if (pos != null) { |
1207 if (pos != null) { |
1209 root = pos.getRootMethod(); |
1209 root = pos.getRootMethod(); |
1210 } else { |
1210 } else { |
1211 assert pos.verifyRootMethod(root) : node; |
1211 assert pos.verifyRootMethod(root) : node; |
1212 } |
1212 } |
1213 } |
1213 } |
|
1214 |
|
1215 // More strict node-type-specific check |
|
1216 if (performConsistencyCheck) { |
|
1217 node.verifySourcePosition(); |
|
1218 } |
1214 } |
1219 } |
1215 } |
1220 } |
1216 return true; |
1221 return true; |
1217 } |
1222 } |
1218 |
1223 |