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
2023-01-30 17:28:29 +00:00
parent 3a1a9a771c
commit a01a4734ed
4 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Operand.qll
View File

@@ -412,6 +412,9 @@ class CallTargetOperand extends RegisterOperand {
*/ */
class ArgumentOperand extends RegisterOperand { class ArgumentOperand extends RegisterOperand {
override ArgumentOperandTag tag; override ArgumentOperandTag tag;
/** Gets the `CallInstruction` for which this is an argument. */
CallInstruction getCall() { result.getAnArgumentOperand() = this }
} }
/** /**

3
cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll
View File

@@ -412,6 +412,9 @@ class CallTargetOperand extends RegisterOperand {
*/ */
class ArgumentOperand extends RegisterOperand { class ArgumentOperand extends RegisterOperand {
override ArgumentOperandTag tag; override ArgumentOperandTag tag;
/** Gets the `CallInstruction` for which this is an argument. */
CallInstruction getCall() { result.getAnArgumentOperand() = this }
} }
/** /**

3
csharp/ql/src/experimental/ir/implementation/raw/Operand.qll
View File

@@ -412,6 +412,9 @@ class CallTargetOperand extends RegisterOperand {
*/ */
class ArgumentOperand extends RegisterOperand { class ArgumentOperand extends RegisterOperand {
override ArgumentOperandTag tag; override ArgumentOperandTag tag;
/** Gets the `CallInstruction` for which this is an argument. */
CallInstruction getCall() { result.getAnArgumentOperand() = this }
} }
/** /**

3
csharp/ql/src/experimental/ir/implementation/unaliased_ssa/Operand.qll
View File

@@ -412,6 +412,9 @@ class CallTargetOperand extends RegisterOperand {
*/ */
class ArgumentOperand extends RegisterOperand { class ArgumentOperand extends RegisterOperand {
override ArgumentOperandTag tag; override ArgumentOperandTag tag;
/** Gets the `CallInstruction` for which this is an argument. */
CallInstruction getCall() { result.getAnArgumentOperand() = this }
} }
/** /**