Autoformat

AndreiDiaconu1 · AndreiDiaconu1 · commit d6e4a2afef24 · 2019-09-24T17:26:13.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/ir/rangeanalysis/RangeAnalysis.qll b/csharp/ql/src/semmle/code/csharp/ir/rangeanalysis/RangeAnalysis.qll
@@ -616,7 +616,7 @@ private predicate boundedInstruction(
     boundedCastExpr(cast, b, delta, upper, fromBackEdge, origdelta, reason)
   )
   or
-  exists(PropertyAccess pa | 
+  exists(PropertyAccess pa |
     i.(CallInstruction).getAST() = pa and
     pa.getProperty().getName() = "Length" and
     b instanceof ZeroBound and
diff --git a/csharp/ql/test/library-tests/ir/offbyone/buildSnap.qlref b/csharp/ql/test/library-tests/ir/offbyone/buildSnap.qlref
diff --git a/csharp/ql/test/library-tests/ir/rangeanalysis/RangeAnalysis.ql b/csharp/ql/test/library-tests/ir/rangeanalysis/RangeAnalysis.ql
@@ -4,7 +4,7 @@ import semmle.code.csharp.ir.internal.IRGuards
 import semmle.code.csharp.ir.ValueNumbering
 
 query predicate instructionBounds(
-    Instruction i, Bound b, int delta, boolean upper, Reason reason, Location reasonLoc
+  Instruction i, Bound b, int delta, boolean upper, Reason reason, Location reasonLoc
 ) {
   (
     i.getAUse() instanceof ArgumentOperand
@@ -23,4 +23,3 @@ query predicate instructionBounds(
   then reasonLoc = reason.(CondReason).getCond().getLocation()
   else reasonLoc instanceof EmptyLocation
 }
-

Original file line number	Diff line number	Diff line change
`@@ -616,7 +616,7 @@ private predicate boundedInstruction(`
`616`	`616`	`boundedCastExpr(cast, b, delta, upper, fromBackEdge, origdelta, reason)`
`617`	`617`	`)`
`618`	`618`	`or`
`619`		`- exists(PropertyAccess pa \|`
	`619`	`+ exists(PropertyAccess pa \|`
`620`	`620`	`i.(CallInstruction).getAST() = pa and`
`621`	`621`	`pa.getProperty().getName() = "Length" and`
`622`	`622`	`b instanceof ZeroBound and`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ import semmle.code.csharp.ir.internal.IRGuards`
`4`	`4`	`import semmle.code.csharp.ir.ValueNumbering`
`5`	`5`
`6`	`6`	`query predicate instructionBounds(`
`7`		`- Instruction i, Bound b, int delta, boolean upper, Reason reason, Location reasonLoc`
	`7`	`+ Instruction i, Bound b, int delta, boolean upper, Reason reason, Location reasonLoc`
`8`	`8`	`) {`
`9`	`9`	`(`
`10`	`10`	`i.getAUse() instanceof ArgumentOperand`
`@@ -23,4 +23,3 @@ query predicate instructionBounds(`
`23`	`23`	`then reasonLoc = reason.(CondReason).getCond().getLocation()`
`24`	`24`	`else reasonLoc instanceof EmptyLocation`
`25`	`25`	`}`
`26`		`-`