Add FIXME about not using MemberExpr nodes when the base type is a dependent type.

llvm-svn: 71979

1 files changed, 4 insertions, 0 deletions

diff --git a/clang/lib/Sema/SemaExpr.cpp b/clang/lib/Sema/SemaExpr.cpp
index 744b0209860..e5ee363825a 100644
--- a/clang/lib/Sema/SemaExpr.cpp
+++ b/clang/lib/Sema/SemaExpr.cpp
@@ -2023,6 +2023,8 @@ Sema::ActOnMemberReferenceExpr(Scope *S, ExprArg Base, SourceLocation OpLoc,
   // must have pointer type, and the accessed type is the pointee.
   if (OpKind == tok::arrow) {
     if (BaseType->isDependentType())
+      // FIXME: This should not return a MemberExpr AST node, but a more 
+      // specialized one.
       return Owned(new (Context) MemberExpr(BaseExpr, true, 0,
                                             MemberLoc, Context.DependentTy));
     else if (const PointerType *PT = BaseType->getAsPointerType())
@@ -2048,6 +2050,8 @@ Sema::ActOnMemberReferenceExpr(Scope *S, ExprArg Base, SourceLocation OpLoc,
 
       if (!PT || (getLangOptions().ObjC1 && 
                   !PT->getPointeeType()->isRecordType()))
+        // FIXME: This should not return a MemberExpr AST node, but a more 
+        // specialized one.
         return Owned(new (Context) MemberExpr(BaseExpr, false, 0,
                                               MemberLoc, Context.DependentTy));
     }