hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 03:06:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Respond to review comments.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-05-28 11:20:13 +02:00
parent 3d27b6bbde
commit 52da5755b3
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/semmle/code/cpp/controlflow/BasicBlocks.qll
View File

@@ -1,5 +1,5 @@
/** /**
* Provides a library for reasoning about control-flow at the granularity of basic blocks. * Provides a library for reasoning about control flow at the granularity of basic blocks.
* This is usually much more efficient than reasoning directly at the level of `ControlFlowNode`s. * This is usually much more efficient than reasoning directly at the level of `ControlFlowNode`s.
*/ */
@@ -159,13 +159,13 @@ class BasicBlock extends ControlFlowNodeBase {
/** Gets the `ControlFlowNode` at position `pos` in this basic block. */ /** Gets the `ControlFlowNode` at position `pos` in this basic block. */
ControlFlowNode getNode(int pos) { basic_block_member(result, this, pos) } ControlFlowNode getNode(int pos) { basic_block_member(result, this, pos) }
/** Gets all `ControlFlowNode`s in this basic block. */ /** Gets a `ControlFlowNode` in this basic block. */
ControlFlowNode getANode() { basic_block_member(result, this, _) } ControlFlowNode getANode() { basic_block_member(result, this, _) }
/** Gets all `BasicBlock`s that are direct successors of this basic block. */ /** Gets a `BasicBlock` that is a direct successor of this basic block. */
BasicBlock getASuccessor() { bb_successor(this, result) } BasicBlock getASuccessor() { bb_successor(this, result) }
/** Gets all `BasicBlock`s that are direct predecessors of this basic block. */ /** Gets a `BasicBlock` that is a direct predecessor of this basic block. */
BasicBlock getAPredecessor() { bb_successor(result, this) } BasicBlock getAPredecessor() { bb_successor(result, this) }
/** /**

2
cpp/ql/src/semmle/code/cpp/controlflow/ControlFlowGraph.qll
View File

@@ -1,5 +1,5 @@
/** /**
* Provides a library for reasoning about control-flow at the granularity of * Provides a library for reasoning about control flow at the granularity of
* individual nodes in the control-flow graph. * individual nodes in the control-flow graph.
*/ */