hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 20:25:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Remove a redundant line.

Browse Source
This commit is contained in:
Geoffrey White
2019-06-18 11:40:12 +01:00
parent bdb495d58a
commit fb5d02a634
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/src/jsf/4.10 Classes/AV Rule 95.ql
View File

@@ -11,17 +11,16 @@
*/
import cpp
predicate parameterWithDefault(MemberFunction f, int ix, Parameter p, Expr initExpr, string initValue) {
predicate memberParameterWithDefault(MemberFunction f, int ix, Parameter p, Expr initExpr, string initValue) {
f.getParameter(ix) = p and
p.hasInitializer() and
initExpr = p.getInitializer().getExpr() and
initValue = initExpr.getValue()
}
from Parameter p, Parameter superP, MemberFunction subF, MemberFunction superF, int i, Expr subExpr, string subValue, string superValue
where parameterWithDefault(subF, i, p, subExpr, subValue)
where memberParameterWithDefault(subF, i, p, subExpr, subValue)
and subF.overrides(superF)
and parameterWithDefault(superF, i, superP, _, superValue)
and memberParameterWithDefault(superF, i, superP, _, superValue)
and subValue != superValue
select subExpr,
"Parameter " + p.getName() +