From 2fd925fe90cc9675e36f5145a1f4fd89544e32a5 Mon Sep 17 00:00:00 2001
From: Max Schaefer <max@semmle.com>
Date: Wed, 11 Mar 2020 10:47:23 +0000
Subject: [PATCH] Autoformat.

---
 .../experimental/integer-overflow-detection/RangeAnalysis.qll  | 1 +
 .../integer-overflow-detection/findOverflowExpr.ql             | 3 +--
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ql/src/experimental/integer-overflow-detection/RangeAnalysis.qll b/ql/src/experimental/integer-overflow-detection/RangeAnalysis.qll
index 1d9cda5227f..89259fbc747 100644
--- a/ql/src/experimental/integer-overflow-detection/RangeAnalysis.qll
+++ b/ql/src/experimental/integer-overflow-detection/RangeAnalysis.qll
@@ -8,6 +8,7 @@ class LenFunction extends BuiltinFunction {
 Expr getAUse(SsaDefinition def) {
   result = def.getVariable().getAUse().(IR::EvalInstruction).getExpr()
 }
+
 /*
  *  calculate the upper bound of an expression
  */
diff --git a/ql/src/experimental/integer-overflow-detection/findOverflowExpr.ql b/ql/src/experimental/integer-overflow-detection/findOverflowExpr.ql
index dd04d8bcffc..23682454c18 100644
--- a/ql/src/experimental/integer-overflow-detection/findOverflowExpr.ql
+++ b/ql/src/experimental/integer-overflow-detection/findOverflowExpr.ql
@@ -1,6 +1,6 @@
 /**
  * @id go/integer-overflow-detection
- * @name Find integer overflow 
+ * @name Find integer overflow
  * @kind problem
  * @description This query is used to find the integer overflow problem that may occur when processing arithmetic operations in the program. Integer overflow often causes the results of the program to be incorrect, or the program crashes and exits.
  * @problem.severity error
@@ -9,7 +9,6 @@
 import go
 import RangeAnalysis
 
-
 from Expr expr
 where exprMayOverflow(expr) or exprMayUnderflow(expr)
 select expr, "this expression may cause an integer overflow"