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

QL: Respond to PR reviews.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2021-10-14 10:48:54 +01:00
parent 7d9c408af4
commit ed5960e015
1 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
ql/src/queries/style/SuperfluousExists.ql
View File

@@ -51,8 +51,6 @@ predicate exprImpliesExists(ValueNumber vn, Expr e) {
or
exprImpliesExists(vn, e.(AsExpr).getInnerExpr())
or
exprImpliesExists(vn, e.(Range).getAnEndpoint())
or
exists(ExprAggregate agg |
agg = e and
agg.getKind().matches(["strict%", "unique"]) and
@@ -71,9 +69,8 @@ predicate formulaImpliesExists(ValueNumber vn, Formula f) {
or
exprImpliesExists(vn, f.(ComparisonFormula).getAnOperand())
or
exists(IfFormula ifFormula | ifFormula = f |
exprImpliesExists(vn, ifFormula.getCondition())
or
exists(IfFormula ifFormula |
ifFormula = f and
formulaImpliesExists(vn, ifFormula.getThenPart()) and
formulaImpliesExists(vn, ifFormula.getElsePart())
)