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#/C++: Sync identical files.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-03-01 11:50:50 +00:00
parent b6faa207a4
commit 52dbf2c787
4 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll
View File

@@ -200,8 +200,8 @@ private predicate inheritanceConversionValueNumber(
instr.getEnclosingIRFunction() = irFunc and instr.getEnclosingIRFunction() = irFunc and
instr.getOpcode() = opcode and instr.getOpcode() = opcode and
tvalueNumber(instr.getUnary()) = operand and tvalueNumber(instr.getUnary()) = operand and
unique( | | instr.(InheritanceConversionInstruction).getBaseClass()) = baseClass and unique( | | instr.getBaseClass()) = baseClass and
unique( | | instr.(InheritanceConversionInstruction).getDerivedClass()) = derivedClass unique( | | instr.getDerivedClass()) = derivedClass
} }
private predicate loadTotalOverlapValueNumber( private predicate loadTotalOverlapValueNumber(

4
cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll
View File

@@ -200,8 +200,8 @@ private predicate inheritanceConversionValueNumber(
instr.getEnclosingIRFunction() = irFunc and instr.getEnclosingIRFunction() = irFunc and
instr.getOpcode() = opcode and instr.getOpcode() = opcode and
tvalueNumber(instr.getUnary()) = operand and tvalueNumber(instr.getUnary()) = operand and
unique( | | instr.(InheritanceConversionInstruction).getBaseClass()) = baseClass and unique( | | instr.getBaseClass()) = baseClass and
unique( | | instr.(InheritanceConversionInstruction).getDerivedClass()) = derivedClass unique( | | instr.getDerivedClass()) = derivedClass
} }
private predicate loadTotalOverlapValueNumber( private predicate loadTotalOverlapValueNumber(

4
csharp/ql/src/experimental/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll
View File

@@ -200,8 +200,8 @@ private predicate inheritanceConversionValueNumber(
instr.getEnclosingIRFunction() = irFunc and instr.getEnclosingIRFunction() = irFunc and
instr.getOpcode() = opcode and instr.getOpcode() = opcode and
tvalueNumber(instr.getUnary()) = operand and tvalueNumber(instr.getUnary()) = operand and
unique( | | instr.(InheritanceConversionInstruction).getBaseClass()) = baseClass and unique( | | instr.getBaseClass()) = baseClass and
unique( | | instr.(InheritanceConversionInstruction).getDerivedClass()) = derivedClass unique( | | instr.getDerivedClass()) = derivedClass
} }
private predicate loadTotalOverlapValueNumber( private predicate loadTotalOverlapValueNumber(

4
csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll
View File

@@ -200,8 +200,8 @@ private predicate inheritanceConversionValueNumber(
instr.getEnclosingIRFunction() = irFunc and instr.getEnclosingIRFunction() = irFunc and
instr.getOpcode() = opcode and instr.getOpcode() = opcode and
tvalueNumber(instr.getUnary()) = operand and tvalueNumber(instr.getUnary()) = operand and
unique( | | instr.(InheritanceConversionInstruction).getBaseClass()) = baseClass and unique( | | instr.getBaseClass()) = baseClass and
unique( | | instr.(InheritanceConversionInstruction).getDerivedClass()) = derivedClass unique( | | instr.getDerivedClass()) = derivedClass
} }
private predicate loadTotalOverlapValueNumber( private predicate loadTotalOverlapValueNumber(