add pragma[inline] to getAnAliasedSourceNode

This commit is contained in:
Erik Krogh Kristensen
2020-01-31 15:35:38 +01:00
parent 72114a48f5
commit 32bcb18cdf

View File

@@ -416,6 +416,7 @@ module AccessPath {
/**
* Gets a SourceNode that is accessed using the same access path as the input.
*/
pragma[inline]
DataFlow::SourceNode getAnAliasedSourceNode(DataFlow::Node node) {
exists(DataFlow::SourceNode root, string accessPath |
node = AccessPath::getAReferenceTo(root, accessPath) and