mirror of
https://github.com/github/codeql.git
synced 2026-04-24 00:05:14 +02:00
SSA: Add qldoc.
This commit is contained in:
@@ -1683,11 +1683,13 @@ module Make<LocationSig Location, InputSig<Location> Input> {
|
||||
|
||||
SsaDefinitionNodeImpl() { this = TSsaDefinitionNode(def) }
|
||||
|
||||
/** Gets the underlying SSA definition. */
|
||||
Definition getDefinition() { result = def }
|
||||
}
|
||||
|
||||
final class SsaDefinitionNode = SsaDefinitionNodeImpl;
|
||||
|
||||
/** A node that represents a synthetic read of a source variable. */
|
||||
final class SsaSynthReadNode extends SsaNode {
|
||||
SsaSynthReadNode() {
|
||||
this.(SsaDefinitionExtNodeImpl).getDefinitionExt() instanceof PhiReadNode or
|
||||
|
||||
Reference in New Issue
Block a user