From 0a76c0cf688861325a7cedf6ecb6ccbd30fb3f97 Mon Sep 17 00:00:00 2001
From: John McCall <rjmccall@apple.com>
Date: Fri, 26 Aug 2011 18:42:59 +0000
Subject: Assert that a call argument is a gl-value iff the parameter is a
 reference type.

llvm-svn: 138639
---
 clang/lib/CodeGen/CGCall.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'clang/lib')

diff --git a/clang/lib/CodeGen/CGCall.cpp b/clang/lib/CodeGen/CGCall.cpp
index 846e1aa3934..102793b48ab 100644
--- a/clang/lib/CodeGen/CGCall.cpp
+++ b/clang/lib/CodeGen/CGCall.cpp
@@ -1431,6 +1431,9 @@ void CodeGenFunction::EmitCallArg(CallArgList &args, const Expr *E,
     return emitWritebackArg(*this, args, CRE);
   }
 
+  assert(type->isReferenceType() == E->isGLValue() &&
+         "reference binding to unmaterialized r-value!");
+
   if (type->isReferenceType())
     return args.add(EmitReferenceBindingToExpr(E, /*InitializedDecl=*/0),
                     type);
-- 
cgit v1.2.3