hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix QLDoc.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-06-06 10:52:37 +01:00
parent 97f0c759c0
commit 31bc4263e7
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
View File

@@ -667,7 +667,7 @@ class SsaPhiNode extends Node, TSsaPhiNode {
/**
* INTERNAL: Do not use.
*
* A note that is used as an input to a phi node.
* A node that is used as an input to a phi node.
*
* This class exists to allow more powerful barrier guards. Consider this
* example:
@@ -684,9 +684,9 @@ class SsaPhiNode extends Node, TSsaPhiNode {
* At the phi node for `x` it is neither the case that `x` is dominated by
* `safe(x)`, or is the case that the phi is dominated by a clearing of `x`.
*
* However, by inserting an "phi input" nodes as the last entry in the basic
* block that defines the inputs to the phi we can conclude that each of those
* inputs are safe to pass to `sink`.
* By inserting a "phi input" node as the last entry in the basic block that
* defines the inputs to the phi we can conclude that each of those inputs are
* safe to pass to `sink`.
*/
class SsaPhiInputNode extends Node, TSsaPhiInputNode {
Ssa::PhiNode phi;