Fix formatting

Dave Bartolomeo · Dave Bartolomeo · commit 02bf0086109f · 2022-02-23T12:18:27.000-05:00
diff --git a/java/ql/lib/semmle/code/java/semantic/analysis/ArrayLengthFlow.qll b/java/ql/lib/semmle/code/java/semantic/analysis/ArrayLengthFlow.qll
@@ -6,6 +6,7 @@ private import RangeUtils
 private predicate backEdge(SsaPhiNode phi0, SsaVariable v) {
   semBackEdge(getSemanticSsaVariable(phi0), getSemanticSsaVariable(v), _)
 }
+
 /**
  * Holds if `v` is an input to `phi` that is not along a back edge, and the
  * only other input to `phi` is a `null` value.
diff --git a/java/ql/lib/semmle/code/java/semantic/analysis/SignAnalysisSpecific.qll b/java/ql/lib/semmle/code/java/semantic/analysis/SignAnalysisSpecific.qll
@@ -130,7 +130,6 @@ private module Impl {
   private import semmle.code.java.semantic.SemanticExpr
   private import semmle.code.java.semantic.SemanticGuard
   private import semmle.code.java.semantic.SemanticSSA
-//  private import SsaReadPositionCommon
 
   /**
    * Holds if `e` is an access to the size of a container (`string`, `Map`, or

Original file line number	Diff line number	Diff line change
`@@ -6,6 +6,7 @@ private import RangeUtils`
`6`	`6`	`private predicate backEdge(SsaPhiNode phi0, SsaVariable v) {`
`7`	`7`	`semBackEdge(getSemanticSsaVariable(phi0), getSemanticSsaVariable(v), _)`
`8`	`8`	`}`
	`9`	`+`
`9`	`10`	`/**`
`10`	`11`	* Holds if `v` is an input to `phi` that is not along a back edge, and the
`11`	`12`	* only other input to `phi` is a `null` value.