hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #12616 from aschackmull/java-csharp/redundant-sign-analysis-case

Browse Source 
Java/C#: Remove useless disjuncts.
This commit is contained in:
Anders Schack-Mulligen
2023-03-22 13:33:46 +01:00
committed by GitHub
parent 663d4e8e3b 89d9d65755
commit dc6729d0bf
2 changed files with 0 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -45,10 +45,6 @@ private Sign certainExprSign(Expr e) {
private predicate unknownSign(Expr e) { private predicate unknownSign(Expr e) {
not exists(certainExprSign(e)) and 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 | exists(CastingExpr cast, Type fromtyp |
cast = e and cast = e and
fromtyp = cast.getSourceType() and fromtyp = cast.getSourceType() and

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) { private predicate unknownSign(Expr e) {
not exists(certainExprSign(e)) and 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 | exists(CastingExpr cast, Type fromtyp |
cast = e and cast = e and
fromtyp = cast.getSourceType() and fromtyp = cast.getSourceType() and