hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java/C#: Remove useless disjuncts.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-03-21 14:45:29 +01:00
parent caa25f78d9
commit 89d9d65755
2 changed files with 0 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/SignAnalysisCommon.qll
View File

@@ -45,10 +45,6 @@ private Sign certainExprSign(Expr e) {
private predicate unknownSign(Expr e) {
not exists(certainExprSign(e)) and
(
exists(IntegerLiteral lit | lit = e and not exists(lit.getValue().toInt()))
or
exists(LongLiteral lit | lit = e and not exists(lit.getValue().toFloat()))
or
exists(CastingExpr cast, Type fromtyp |
cast = e and
fromtyp = cast.getSourceType() and