hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 11:46:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Sync identical files.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-03-19 16:24:11 +00:00
parent 458ee13345
commit 357a2ba733
2 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/constant/ConstantAnalysis.qll
View File

@@ -38,6 +38,12 @@ private int getBinaryInstructionValue(BinaryInstruction instr) {
or or
instr instanceof DivInstruction and result = div(left, right) instr instanceof DivInstruction and result = div(left, right)
or or
instr instanceof BitOrInstruction and result = bitOr(left, right)
or
instr instanceof BitAndInstruction and result = bitAnd(left, right)
or
instr instanceof BitXorInstruction and result = bitXor(left, right)
or
instr instanceof CompareEQInstruction and result = compareEQ(left, right) instr instanceof CompareEQInstruction and result = compareEQ(left, right)
or or
instr instanceof CompareNEInstruction and result = compareNE(left, right) instr instanceof CompareNEInstruction and result = compareNE(left, right)

6
cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/ConstantAnalysis.qll
View File

@@ -38,6 +38,12 @@ private int getBinaryInstructionValue(BinaryInstruction instr) {
or or
instr instanceof DivInstruction and result = div(left, right) instr instanceof DivInstruction and result = div(left, right)
or or
instr instanceof BitOrInstruction and result = bitOr(left, right)
or
instr instanceof BitAndInstruction and result = bitAnd(left, right)
or
instr instanceof BitXorInstruction and result = bitXor(left, right)
or
instr instanceof CompareEQInstruction and result = compareEQ(left, right) instr instanceof CompareEQInstruction and result = compareEQ(left, right)
or or
instr instanceof CompareNEInstruction and result = compareNE(left, right) instr instanceof CompareNEInstruction and result = compareNE(left, right)