ASTVerifier: Handle PropertyWrapperValuePlaceholderExpr

Author: slavapestov

lib/AST/ASTVerifier.cpp

@@ -845,6 +845,21 @@ class Verifier : public ASTWalker {
       OpaqueValues.erase(expr->getInterpolationExpr());
     }
 
+    bool shouldVerify(PropertyWrapperValuePlaceholderExpr *expr) {
+      if (!shouldVerify(cast<Expr>(expr)))
+        return false;
+
+      assert(expr->getOpaqueValuePlaceholder());
+      assert(!OpaqueValues.count(expr->getOpaqueValuePlaceholder()));
+      OpaqueValues[expr->getOpaqueValuePlaceholder()] = 0;
+      return true;
+    }
+
+    void cleanup(PropertyWrapperValuePlaceholderExpr *expr) {
+      assert(OpaqueValues.count(expr->getOpaqueValuePlaceholder()));
+      OpaqueValues.erase(expr->getOpaqueValuePlaceholder());
+    }
+
     void pushLocalGenerics(GenericEnvironment *env) {
       assert(LocalGenerics.count(env)==0);
       LocalGenerics.insert(env);
@@ -2287,7 +2302,7 @@ class Verifier : public ASTWalker {
       }
       verifyCheckedBase(E);
     }
-    
+
     void verifyChecked(MakeTemporarilyEscapableExpr *E) {
       PrettyStackTraceExpr debugStack(
         Ctx, "verifying MakeTemporarilyEscapableExpr", E);