revert a change in an identical file

erik-krogh · erik-krogh · commit f676fc00d31e · 2021-10-29T14:42:38.000+02:00
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/SignAnalysisCommon.qll b/java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/SignAnalysisCommon.qll
@@ -299,7 +299,7 @@ Sign exprSign(Expr e) {
       exists(VarAccess access | access = e |
         not exists(SsaVariable v | getARead(v) = access) and
         (
-          s = fieldSign(getField(access))
+          s = fieldSign(getField(access.(FieldAccess)))
           or
           anySign(s) and not access instanceof FieldAccess
         )

Original file line number	Diff line number	Diff line change
`@@ -299,7 +299,7 @@ Sign exprSign(Expr e) {`
`299`	`299`	`exists(VarAccess access \| access = e \|`
`300`	`300`	`not exists(SsaVariable v \| getARead(v) = access) and`
`301`	`301`	`(`
`302`		`- s = fieldSign(getField(access))`
	`302`	`+ s = fieldSign(getField(access.(FieldAccess)))`
`303`	`303`	`or`
`304`	`304`	`anySign(s) and not access instanceof FieldAccess`
`305`	`305`	`)`