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

C/C++: Useless Test Fully converted verification

Browse Source
This commit is contained in:
BACK Yonah
2022-02-04 18:03:29 +01:00
parent 46c1744204
commit 34320cb57b
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/src/experimental/Best Practices/UselessTest.ql
View File

@@ -1,3 +1,4 @@
/**
* @name Useless Test
* @description A boolean condition that is guaranteed to never be evaluated should be deleted.
@@ -38,6 +39,8 @@ where
) and
eq.getRightOperand() instanceof Literal and
ne.getRightOperand() instanceof Literal and
eq.getLeftOperand().getFullyConverted().getType() =
ne.getLeftOperand().getFullyConverted().getType() and
nearestParent(eq) = nearestParent(ne) and
sameExpr(eq.getLeftOperand(), ne.getLeftOperand())
select ne,"Useless Test"
select ne, "Useless Test"