Update java/ql/lib/semmle/code/java/Expr.qll

aschackmull · web-flow · commit 301a90759670 · 2021-11-01T09:36:09.000+01:00
diff --git a/java/ql/lib/semmle/code/java/Expr.qll b/java/ql/lib/semmle/code/java/Expr.qll
@@ -731,7 +731,7 @@ class CharacterLiteral extends Literal, @characterliteral {
    * this literal. The result is the same as if the Java code had cast
    * the character to an `int`.
    */
-  int getCodePointValue() { result = any(int i | i.toUnicode() = getValue()) }
+  int getCodePointValue() { result.toUnicode() = this.getValue() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -731,7 +731,7 @@ class CharacterLiteral extends Literal, @characterliteral {`
`731`	`731`	`* this literal. The result is the same as if the Java code had cast`
`732`	`732`	* the character to an `int`.
`733`	`733`	`*/`
`734`		`- int getCodePointValue() { result = any(int i \| i.toUnicode() = getValue()) }`
	`734`	`+ int getCodePointValue() { result.toUnicode() = this.getValue() }`
`735`	`735`	`}`
`736`	`736`
`737`	`737`	`/**`