C++: add support for GNU StmtExpr in IR

Author: Robert Marsh

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll

@@ -8,6 +8,8 @@ private import TranslatedDeclarationEntry
 private import TranslatedElement
 private import TranslatedFunction
 private import TranslatedInitialization
+private import TranslatedFunction
+private import TranslatedStmt
 import TranslatedCall
 
 /**
@@ -2727,3 +2729,36 @@ class TranslatedLambdaExpr extends TranslatedNonConstantExpr, InitializationCont
     result = getTranslatedInitialization(expr.getChild(0).getFullyConverted())
   }
 }
+
+class TranslatedStmtExpr extends TranslatedNonConstantExpr {
+  override StmtExpr expr;
+  
+  override final Instruction getFirstInstruction() {
+    result = getStmt().getFirstInstruction()
+  }
+  
+  override final TranslatedElement getChild(int id) {
+    id = 0 and result = getStmt()
+  }
+  
+  override Instruction getInstructionSuccessor(InstructionTag tag, EdgeKind kind) {
+    none()
+  }
+  
+  override Instruction getChildSuccessor(TranslatedElement child) {
+    result = getParent().getChildSuccessor(this)
+  }
+  
+  override predicate hasInstruction(Opcode opcode, InstructionTag tag, Type resultType,
+        boolean isGLValue) {
+    none()
+  }
+  
+  override Instruction getResult() {
+    result = getTranslatedExpr(expr.getResultExpr()).getResult()
+  }
+  
+  TranslatedStmt getStmt() {
+    result = getTranslatedStmt(expr.getStmt())
+  }
+}