File tree Expand file tree Collapse file tree 1 file changed +0
-19
lines changed
cpp/ql/lib/semmle/code/cpp/controlflow Expand file tree Collapse file tree 1 file changed +0
-19
lines changed Original file line number Diff line number Diff line change @@ -823,25 +823,6 @@ private predicate simple_comparison_eq(
823823 value .( BooleanValue ) .getValue ( ) = false
824824}
825825
826- /**
827- * Holds if `test` is an instruction that is part of test that eventually is
828- * used in a conditional branch.
829- */
830- private predicate relevantUnaryComparison ( Instruction test ) {
831- not test instanceof CompareInstruction and
832- exists ( IRType type , ConditionalBranchInstruction branch |
833- type instanceof IRAddressType or type instanceof IRIntegerType
834- |
835- type = test .getResultIRType ( ) and
836- branch .getCondition ( ) = test
837- )
838- or
839- exists ( LogicalNotInstruction logicalNot |
840- relevantUnaryComparison ( logicalNot ) and
841- test = logicalNot .getUnary ( )
842- )
843- }
844-
845826/**
846827 * Rearrange various simple comparisons into `op == k` form.
847828 */
You can’t perform that action at this time.
0 commit comments