Autoformat.

This commit is contained in:
Max Schaefer
2020-04-07 07:16:50 +01:00
parent 1f7441e027
commit 2ec335fb1a
7 changed files with 7 additions and 9 deletions

View File

@@ -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) }
}

View File

@@ -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
select r, base, index

View File

@@ -2,4 +2,4 @@ import go
from DataFlow::ReadNode r, DataFlow::Node base, Field f
where r.readsField(base, f)
select r, base, f
select r, base, f

View File

@@ -2,4 +2,4 @@ import go
from DataFlow::ReadNode r, DataFlow::Node base, Method m
where r.readsMethod(base, m)
select r, base, m
select r, base, m

View File

@@ -18,4 +18,4 @@ func test(x t, xs [10]int, ps *[10]int) {
x.bump()
xs[0] = xs[1]
ps[0] = ps[1]
}
}

View File

@@ -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
select w, base, index, rhs

View File

@@ -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
select w, base, f, rhs