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

CPP: Simplify to 'CrementOperation'.

Browse Source
This commit is contained in:
Geoffrey White
2019-06-25 14:17:20 +01:00
parent 51caee67b0
commit db6e2904a8
1 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/src/Likely Bugs/Leap Year/LeapYear.qll
View File

@@ -59,8 +59,7 @@ abstract class LeapYearFieldAccess extends YearFieldAccess {
(
op instanceof AssignArithmeticOperation or
exists(BinaryArithmeticOperation bao | bao = op.getAnOperand()) or
op instanceof PostfixCrementOperation or
op instanceof PrefixCrementOperation
op instanceof CrementOperation
)
)
}
@@ -117,9 +116,7 @@ abstract class LeapYearFieldAccess extends YearFieldAccess {
)
)
or
op instanceof PostfixCrementOperation
or
op instanceof PrefixCrementOperation
op instanceof CrementOperation
)
)
}