mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Use location of first node for BasicBlock
This commit is contained in:
@@ -124,8 +124,7 @@ class BasicBlock extends TControlFlowNode {
|
||||
predicate hasLocationInfo(
|
||||
string filepath, int startline, int startcolumn, int endline, int endcolumn
|
||||
) {
|
||||
this.getFirstNode().hasLocationInfo(filepath, startline, startcolumn, _, _) and
|
||||
this.getLastNode().hasLocationInfo(_, _, _, endline, endcolumn)
|
||||
this.getFirstNode().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user