hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Remove an unnecessary predicate from the 'Indirection' class.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-12-08 17:53:54 +00:00
parent 31b4dda7bd
commit ef110e77ff
1 changed files with 0 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
View File

@@ -176,12 +176,6 @@ abstract class Indirection extends Type {
* from `opFrom` to `instrTo`.
*/
predicate isAdditionalConversionFlow(Operand opFrom, Instruction instrTo) { none() }
/**
* Holds if writing the value `value` to an address with base `base` should
* be ignored.
*/
predicate ignoreSourceVariableBase(BaseSourceVariableInstruction base, Node0Impl value) { none() }
}
private class PointerOrReferenceTypeIndirection extends Indirection instanceof PointerOrReferenceType {
@@ -231,10 +225,6 @@ predicate isAdditionalConversionFlow(Operand opFrom, Instruction instrTo) {
any(Indirection ind).isAdditionalConversionFlow(opFrom, instrTo)
}
predicate ignoreSourceVariableBase(BaseSourceVariableInstruction base, Node0Impl value) {
any(Indirection ind).ignoreSourceVariableBase(base, value)
}
newtype TBaseSourceVariable =
// Each IR variable gets its own source variable
TBaseIRVariable(IRVariable var) or