We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bb85aa2 commit 6e7256fCopy full SHA for 6e7256f
cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
@@ -118,11 +118,7 @@ private class ScrutineeValueNumber extends ValueNumber {
118
/** Gets an expression that belongs to this value number. */
119
Operand getExpressionOperand() { result = switch.getExpressionOperand() }
120
121
- IRType getResultIRType() { result = switch.getExpression().getResultIRType() }
122
-
123
Instruction getSuccessor(CaseEdge kind) { result = switch.getSuccessor(kind) }
124
125
- predicate isGLValue() { switch.getExpression().isGLValue() } // Is this ever true?
126
}
127
128
/**
0 commit comments