Template instantiation for __builtin_types_compatible_p.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72134 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Sema/SemaTemplateInstantiateExpr.cpp b/lib/Sema/SemaTemplateInstantiateExpr.cpp
index 7cf403c..fde3110 100644
--- a/lib/Sema/SemaTemplateInstantiateExpr.cpp
+++ b/lib/Sema/SemaTemplateInstantiateExpr.cpp
@@ -56,6 +56,7 @@
OwningExprResult VisitConditionalOperator(ConditionalOperator *E);
// FIXME: AddrLabelExpr
OwningExprResult VisitStmtExpr(StmtExpr *E);
+ OwningExprResult VisitTypesCompatibleExpr(TypesCompatibleExpr *E);
OwningExprResult VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E);
OwningExprResult VisitUnresolvedDeclRefExpr(UnresolvedDeclRefExpr *E);
OwningExprResult VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E);
@@ -466,6 +467,26 @@
}
Sema::OwningExprResult
+TemplateExprInstantiator::VisitTypesCompatibleExpr(TypesCompatibleExpr *E) {
+ QualType Type1 = SemaRef.InstantiateType(E->getArgType1(), TemplateArgs,
+ /*FIXME:*/ E->getBuiltinLoc(),
+ DeclarationName());
+ if (Type1.isNull())
+ return SemaRef.ExprError();
+
+ QualType Type2 = SemaRef.InstantiateType(E->getArgType2(), TemplateArgs,
+ /*FIXME:*/ E->getBuiltinLoc(),
+ DeclarationName());
+ if (Type2.isNull())
+ return SemaRef.ExprError();
+
+ return SemaRef.ActOnTypesCompatibleExpr(E->getBuiltinLoc(),
+ Type1.getAsOpaquePtr(),
+ Type2.getAsOpaquePtr(),
+ E->getRParenLoc());
+}
+
+Sema::OwningExprResult
TemplateExprInstantiator::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E) {
bool isSizeOf = E->isSizeOf();