hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 20:58:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Autoformat.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-09-23 13:00:22 +01:00
parent 494afdde96
commit f3212fe01c
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll
View File

@@ -120,16 +120,15 @@ module SemanticExprConfig {
int getBasicBlockUniqueId(BasicBlock block) { idOf(block.getFirstInstruction().getAst(), result) }
newtype TSsaVariable =
TSsaInstruction(IR::Instruction instr) {
instr.hasMemoryResult()
} or
TSsaInstruction(IR::Instruction instr) { instr.hasMemoryResult() } or
TSsaOperand(IR::Operand op) { op.isDefinitionInexact() } or
TSsaPointerArithmeticGuard(IR::PointerArithmeticInstruction instr) {
exists(Guard g, IR::Operand use | use = instr.getAUse() |
g.comparesLt(use, _, _, _, _) or
g.comparesLt(_, use, _, _, _) or
g.comparesEq(use, _, _, _, _) or
g.comparesEq(_, use, _, _, _))
g.comparesEq(_, use, _, _, _)
)
}
class SsaVariable extends TSsaVariable {
@@ -238,7 +237,7 @@ module SemanticExprConfig {
exists(IR::Operand operand |
operand.getDef() = v.asInstruction() or
operand.getDef() = valueNumber(v.asPointerArithGuard()).getAnInstruction()
|
|
not operand instanceof IR::PhiInputOperand and
operand.getUse().getBlock() = block
)
@@ -259,7 +258,7 @@ module SemanticExprConfig {
exists(IR::PhiInputOperand operand |
operand.getDef() = v.asInstruction() or
operand.getDef() = valueNumber(v.asPointerArithGuard()).getAnInstruction()
|
|
operand.getPredecessorBlock() = pred and
operand.getUse().getBlock() = succ
)