C++: Add a placeholder for 'getOpcode'.

MathiasVP · MathiasVP · commit d030f0b5d280 · 2024-04-11T15:27:38.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
@@ -1276,6 +1276,9 @@ class TranslatedUnaryExpr extends TranslatedSingleInstructionExpr {
     expr instanceof UnaryPlusExpr and result instanceof Opcode::CopyValue
     or
     expr instanceof UnaryMinusExpr and result instanceof Opcode::Negate
+    or
+    // TODO: Use a new opcode to represent "awaiting the value"
+    expr instanceof CoAwaitExpr and result instanceof Opcode::CopyValue
   }
 
   private TranslatedExpr getOperand() {

Original file line number	Diff line number	Diff line change
`@@ -1276,6 +1276,9 @@ class TranslatedUnaryExpr extends TranslatedSingleInstructionExpr {`
`1276`	`1276`	`expr instanceof UnaryPlusExpr and result instanceof Opcode::CopyValue`
`1277`	`1277`	`or`
`1278`	`1278`	`expr instanceof UnaryMinusExpr and result instanceof Opcode::Negate`
	`1279`	`+ or`
	`1280`	`+ // TODO: Use a new opcode to represent "awaiting the value"`
	`1281`	`+ expr instanceof CoAwaitExpr and result instanceof Opcode::CopyValue`
`1279`	`1282`	`}`
`1280`	`1283`
`1281`	`1284`	`private TranslatedExpr getOperand() {`