diff --git a/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.expected b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.expected new file mode 100644 index 00000000000..7f903e4efed --- /dev/null +++ b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.expected @@ -0,0 +1,4 @@ +| main.go:51:2:51:14 | call to op | main.go:51:2:51:14 | call to op | result | +| main.go:53:2:53:22 | call to op2 | main.go:53:2:53:22 | call to op2 | result | +| main.go:53:14:53:21 | call to bump | main.go:53:14:53:21 | call to bump | result | +| tst.go:9:17:9:33 | call to new | tst.go:9:17:9:33 | call to new | result | diff --git a/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.ql b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.ql new file mode 100644 index 00000000000..c39c80da64e --- /dev/null +++ b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.ql @@ -0,0 +1,5 @@ +import go + +from FunctionOutput outp, DataFlow::CallNode c, DataFlow::Node nodeTo +where outp.isResult() and nodeTo = outp.getNode(c) +select c, nodeTo, outp diff --git a/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.expected b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.expected new file mode 100644 index 00000000000..f36f1b8a84b --- /dev/null +++ b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.expected @@ -0,0 +1,4 @@ +| main.go:54:10:54:15 | call to test | main.go:54:2:54:15 | ... := ...[0] | 0 | result 0 | +| main.go:54:10:54:15 | call to test | main.go:54:2:54:15 | ... := ...[1] | 1 | result 1 | +| main.go:56:9:56:15 | call to test2 | main.go:56:2:56:15 | ... = ...[0] | 0 | result 0 | +| main.go:56:9:56:15 | call to test2 | main.go:56:2:56:15 | ... = ...[1] | 1 | result 1 | diff --git a/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.ql b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.ql new file mode 100644 index 00000000000..8d5e142cfbb --- /dev/null +++ b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.ql @@ -0,0 +1,5 @@ +import go + +from FunctionOutput outp, int i, DataFlow::CallNode c, DataFlow::Node nodeTo +where outp.isResult(i) and nodeTo = outp.getNode(c) +select c, nodeTo, i, outp