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

MathiasVP · MathiasVP · commit 4c4d2415e959 · 2024-04-11T13:30:33.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
@@ -1235,7 +1235,8 @@ class TranslatedUnaryExpr extends TranslatedSingleInstructionExpr {
     expr instanceof NotExpr or
     expr instanceof ComplementExpr or
     expr instanceof UnaryPlusExpr or
-    expr instanceof UnaryMinusExpr
+    expr instanceof UnaryMinusExpr or
+    expr instanceof CoAwaitExpr
   }
 
   final override Instruction getFirstInstruction(EdgeKind kind) {

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