C++: Autoformat.

geoffw0 · geoffw0 · commit a7c22db989d8 · 2020-04-17T18:50:41.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll b/cpp/ql/src/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll
@@ -129,7 +129,12 @@ private class UnsignedBitwiseAndExpr extends BitwiseAndExpr {
       getLeftOperand().getValue().toInt() >= 0
     ) and
     (
-      getRightOperand().getFullyConverted().getType().getUnderlyingType().(IntegralType).isUnsigned() or
+      getRightOperand()
+          .getFullyConverted()
+          .getType()
+          .getUnderlyingType()
+          .(IntegralType)
+          .isUnsigned() or
       getRightOperand().getValue().toInt() >= 0
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -129,7 +129,12 @@ private class UnsignedBitwiseAndExpr extends BitwiseAndExpr {`
`129`	`129`	`getLeftOperand().getValue().toInt() >= 0`
`130`	`130`	`) and`
`131`	`131`	`(`
`132`		`- getRightOperand().getFullyConverted().getType().getUnderlyingType().(IntegralType).isUnsigned() or`
	`132`	`+ getRightOperand()`
	`133`	`+ .getFullyConverted()`
	`134`	`+ .getType()`
	`135`	`+ .getUnderlyingType()`
	`136`	`+ .(IntegralType)`
	`137`	`+ .isUnsigned() or`
`133`	`138`	`getRightOperand().getValue().toInt() >= 0`
`134`	`139`	`)`
`135`	`140`	`}`