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

C++: Fix Operand.getSize()

Browse Source
This commit is contained in:
Dave Bartolomeo
2019-02-11 17:48:59 -08:00
parent bd46c43067
commit c224bbd767
3 changed files with 18 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll
View File

@@ -21,10 +21,14 @@ class Operand extends TOperand {
result = "Operand"
}
Location getLocation() {
final Location getLocation() {
result = getUseInstruction().getLocation()
}
final FunctionIR getEnclosingFunctionIR() {
result = getUseInstruction().getEnclosingFunctionIR()
}
/**
* Gets the `Instruction` that consumes this operand.
*/
@@ -91,7 +95,7 @@ class Operand extends TOperand {
* a known constant size, this predicate does not hold.
*/
int getSize() {
result = getDefinitionInstruction().getResultSize()
result = getType().getSize()
}
}

8
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Operand.qll
View File

@@ -21,10 +21,14 @@ class Operand extends TOperand {
result = "Operand"
}
Location getLocation() {
final Location getLocation() {
result = getUseInstruction().getLocation()
}
final FunctionIR getEnclosingFunctionIR() {
result = getUseInstruction().getEnclosingFunctionIR()
}
/**
* Gets the `Instruction` that consumes this operand.
*/
@@ -91,7 +95,7 @@ class Operand extends TOperand {
* a known constant size, this predicate does not hold.
*/
int getSize() {
result = getDefinitionInstruction().getResultSize()
result = getType().getSize()
}
}

8
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll
View File

@@ -21,10 +21,14 @@ class Operand extends TOperand {
result = "Operand"
}
Location getLocation() {
final Location getLocation() {
result = getUseInstruction().getLocation()
}
final FunctionIR getEnclosingFunctionIR() {
result = getUseInstruction().getEnclosingFunctionIR()
}
/**
* Gets the `Instruction` that consumes this operand.
*/
@@ -91,7 +95,7 @@ class Operand extends TOperand {
* a known constant size, this predicate does not hold.
*/
int getSize() {
result = getDefinitionInstruction().getResultSize()
result = getType().getSize()
}
}