diff --git a/ql/src/semmle/go/controlflow/IR.qll b/ql/src/semmle/go/controlflow/IR.qll index 82872132c69..e980153f18a 100644 --- a/ql/src/semmle/go/controlflow/IR.qll +++ b/ql/src/semmle/go/controlflow/IR.qll @@ -1560,7 +1560,5 @@ module IR { * Gets the implicit dereference instruction for `e`, where `e` is a pointer used as the base * in a field/method access, element access, or slice expression. */ - EvalImplicitDerefInstruction implicitDerefInstruction(Expr e) { - result = MkImplicitDeref(e) - } + EvalImplicitDerefInstruction implicitDerefInstruction(Expr e) { result = MkImplicitDeref(e) } } diff --git a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsElement.ql b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsElement.ql index a8c300fc34a..190781a1315 100644 --- a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsElement.ql +++ b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsElement.ql @@ -2,4 +2,4 @@ import go from DataFlow::ReadNode r, DataFlow::Node base, DataFlow::Node index where r.readsElement(base, index) -select r, base, index \ No newline at end of file +select r, base, index diff --git a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsField.ql b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsField.ql index 435cab01773..8dadd24cc27 100644 --- a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsField.ql +++ b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsField.ql @@ -2,4 +2,4 @@ import go from DataFlow::ReadNode r, DataFlow::Node base, Field f where r.readsField(base, f) -select r, base, f \ No newline at end of file +select r, base, f diff --git a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsMethod.ql b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsMethod.ql index dd3f1940c74..f27c20c7761 100644 --- a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsMethod.ql +++ b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/readsMethod.ql @@ -2,4 +2,4 @@ import go from DataFlow::ReadNode r, DataFlow::Node base, Method m where r.readsMethod(base, m) -select r, base, m \ No newline at end of file +select r, base, m diff --git a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/tst.go b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/tst.go index 9ebdd5836a2..fae57a5ab1c 100644 --- a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/tst.go +++ b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/tst.go @@ -18,4 +18,4 @@ func test(x t, xs [10]int, ps *[10]int) { x.bump() xs[0] = xs[1] ps[0] = ps[1] -} \ No newline at end of file +} diff --git a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/writesElement.ql b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/writesElement.ql index 62f911bce7d..15b96c73997 100644 --- a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/writesElement.ql +++ b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/writesElement.ql @@ -2,4 +2,4 @@ import go from Write w, DataFlow::Node base, DataFlow::Node index, DataFlow::Node rhs where w.writesElement(base, index, rhs) -select w, base, index, rhs \ No newline at end of file +select w, base, index, rhs diff --git a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/writesField.ql b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/writesField.ql index 97650334376..eb6479800c2 100644 --- a/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/writesField.ql +++ b/ql/test/library-tests/semmle/go/dataflow/ReadsAndWrites/writesField.ql @@ -2,4 +2,4 @@ import go from Write w, DataFlow::Node base, Field f, DataFlow::Node rhs where w.writesField(base, f, rhs) -select w, base, f, rhs \ No newline at end of file +select w, base, f, rhs