We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f00f2c6 commit b1b72b7Copy full SHA for b1b72b7
shared/ssa/codeql/ssa/Ssa.qll
@@ -1683,11 +1683,13 @@ module Make<LocationSig Location, InputSig<Location> Input> {
1683
1684
SsaDefinitionNodeImpl() { this = TSsaDefinitionNode(def) }
1685
1686
+ /** Gets the underlying SSA definition. */
1687
Definition getDefinition() { result = def }
1688
}
1689
1690
final class SsaDefinitionNode = SsaDefinitionNodeImpl;
1691
1692
+ /** A node that represents a synthetic read of a source variable. */
1693
final class SsaSynthReadNode extends SsaNode {
1694
SsaSynthReadNode() {
1695
this.(SsaDefinitionExtNodeImpl).getDefinitionExt() instanceof PhiReadNode or
0 commit comments