hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add a comment for ReusedExpr IR translation

Browse Source
This commit is contained in:
Robert Marsh
2024-03-19 14:50:47 +00:00
parent 3d4f7d880d
commit 5a30ad162a
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
View File

@@ -2769,6 +2769,13 @@ class TranslatedTemporaryObjectExpr extends TranslatedNonConstantExpr,
final override Instruction getResult() { result = this.getTargetAddress() } final override Instruction getResult() { result = this.getTargetAddress() }
} }
/**
* IR translation of a `ReuseExpr`.
*
* This translation produces a copy of the glvalue instruction holding the (unconverted) result
* of the reused expression. In the case where the original expression was a prvalue, the
* result will be a copy of the glvalue operand of a `TranslatedLoad`.
*/
class TranslatedReuseExpr extends TranslatedNonConstantExpr { class TranslatedReuseExpr extends TranslatedNonConstantExpr {
override ReuseExpr expr; override ReuseExpr expr;
@@ -2797,7 +2804,7 @@ class TranslatedReuseExpr extends TranslatedNonConstantExpr {
result = this.getInstruction(OnlyInstructionTag()) result = this.getInstruction(OnlyInstructionTag())
} }
override Instruction getInstructionRegisterOperand(InstructionTag tag, OperandTag operandTag) { override Instruction getInstructionRegisterOperand(InstructionTag tag, OperandTag operandTag) {
tag = OnlyInstructionTag() and tag = OnlyInstructionTag() and
operandTag instanceof UnaryOperandTag and operandTag instanceof UnaryOperandTag and
if getTranslatedExpr(expr.getReusedExpr()) instanceof TranslatedLoad if getTranslatedExpr(expr.getReusedExpr()) instanceof TranslatedLoad