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(
823
823
value .( BooleanValue ) .getValue ( ) = false
824
824
}
825
825
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
-
845
826
/**
846
827
* Rearrange various simple comparisons into `op == k` form.
847
828
*/
You can’t perform that action at this time.
0 commit comments