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 1a000ec commit 22835c2Copy full SHA for 22835c2
rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
@@ -190,7 +190,7 @@ module Node {
190
191
/** A data flow node that represents a value returned by a callable. */
192
final class ReturnNode extends ExprNode {
193
- ReturnNode() { this.asExpr() instanceof ReturnExpr }
+ ReturnNode() { this.getCfgNode().getASuccessor() instanceof ExitCfgNode }
194
195
ReturnKind getKind() { any() }
196
}
0 commit comments