Merge pull request #166 from microsoft/dilan/resolve-ruby-df-error

resolving ruby df error
This commit is contained in:
dilanbhalla
2025-02-07 16:00:23 -08:00
committed by GitHub

View File

@@ -93,6 +93,14 @@ module SsaFlow {
result = TSelfToplevelParameterNode(p.asToplevelSelf())
}
ParameterNodeImpl toParameterNodeImpl(SsaDefinitionExtNode node) {
exists(SsaImpl::WriteDefinition def, SsaImpl::ParameterExt p |
def = node.getDefinitionExt() and
result = toParameterNode(p) and
p.isInitializedBy(def)
)
}
Impl::Node asNode(Node n) {
n = TSsaNode(result)
or