C++: Mark 'CoYieldExpr' as a unary expression in IR construction.

MathiasVP · MathiasVP · commit 65b69fe3537e · 2024-04-11T15:34:29.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
@@ -1236,7 +1236,8 @@ class TranslatedUnaryExpr extends TranslatedSingleInstructionExpr {
     expr instanceof ComplementExpr or
     expr instanceof UnaryPlusExpr or
     expr instanceof UnaryMinusExpr or
-    expr instanceof CoAwaitExpr
+    expr instanceof CoAwaitExpr or
+    expr instanceof CoYieldExpr
   }
 
   final override Instruction getFirstInstruction(EdgeKind kind) {

Original file line number	Diff line number	Diff line change
`@@ -1236,7 +1236,8 @@ class TranslatedUnaryExpr extends TranslatedSingleInstructionExpr {`
`1236`	`1236`	`expr instanceof ComplementExpr or`
`1237`	`1237`	`expr instanceof UnaryPlusExpr or`
`1238`	`1238`	`expr instanceof UnaryMinusExpr or`
`1239`		`- expr instanceof CoAwaitExpr`
	`1239`	`+ expr instanceof CoAwaitExpr or`
	`1240`	`+ expr instanceof CoYieldExpr`
`1240`	`1241`	`}`
`1241`	`1242`
`1242`	`1243`	`final override Instruction getFirstInstruction(EdgeKind kind) {`