lib/Sema/SemaDeclCXX.cpp

5 // This file is distributed under the University of Illinois Open Source
10 //  This file implements semantic analysis for C++ declarations.
362 /// arguments. This routine should be invoked for every declarator
377         // This is a function declaration. It can have default arguments, but
490       // isn't worth the effort right now. This is the kind of test case that
575   // is ill-formed. This can only happen for constructors.
618 /// This is called when there's a redeclaration of a VarDecl. The function
750 // This implements C++11 [dcl.constexpr]p3,4, as amended by DR1360.
919 /// \param Field The field being checked. This may be a member of an anonymous
1631   // ambiguous. This is slightly more expensive than checking whether
1665     // that we can print them out. This is more expensive than any of
1704 /// This function builds a string that can be used in error messages
1850 /// ActOnCXXMemberDeclarator - This is invoked when a C++ class member
1970                "This is the only DeclSpec that should fail to be applied");
2334 /// ActOnCXXInClassMemberInitializer - This is invoked after parsing an
2813   // FIXME: This isn't quite ideal, since our ASTs don't capture all
2846     // This is a pack expansion.
2942   // FIXME: This isn't quite ideal, since our ASTs don't capture all
3528         // FIXME: Provide a fixit to remove the base specifier. This requires
3869       // This must be the only initializer
4261   // information.  This should never happen for non-implicit methods,
4461   //   instantiated (e.g. meta-functions). This doesn't apply to classes that
4498     // This is important for performance; we need to know whether the default
4655   // This affects whether we implicitly add an exception spec and constexpr.
4671     // This also checks for default arguments: a copy or move constructor with a
5151       // This is technically non-conformant, but sanity demands it.
5167   // This is a silly definition, because it gives an empty union a deleted
5307 /// lookup, skip it. This is intended for use when determining whether a
5414     // mandates for the default constructor. This should rarely matter, because
5883 /// [special]p1).  This routine can only be executed just before the
5910     // virtual, so we have to declare it immediately. This ensures that, e.g.,
5931     // have to declare the destructor immediately. This ensures that, e.g., it
5999 /// arguments. This action should enter the scope of the given
6357   // Diagnose "&operator bool()" and other such nonsense.  This
6395 /// the declaration of the given C++ conversion function. This routine
6465     // Patch up the lookup table for the containing namespace. This isn't really
6487 /// ActOnStartNamespaceDef - This is called at the start of a namespace
6534       // This is an extended namespace definition.
6539       // This is an invalid name redefinition.
6547       // This is the first "real" definition of the namespace "std", so update
6651 /// ActOnFinishNamespaceDef - This callback is called after a namespace is
6728     // This is a template called std::initializer_list, but is it the right
6743   // This is an instance of std::initializer_list. Find the argument type.
6881   // This can only happen along a recovery path.
7071   // This is invalid (during instantiation) in C++03 because B::foo
7221 /// Hides a using shadow declaration.  This is required by the current
7935       // If this is a deleted function, add it anyway. This might be conformant
7936       // with the standard. This might not. I'm not sure. It might not matter.
7949       // If this is a deleted function, add it anyway. This might be conformant
7950       // with the standard. This might not. I'm not sure. It might not matter.
7970         // This resolution is unworkable: the exception specification of the
7983       // If this is a deleted function, add it anyway. This might be conformant
7984       // with the standard. This might not. I'm not sure. It might not matter.
8010   // set, as could the default arguments for the inherited constructor. This
8078       // This almost never happens, but if it does, ensure that our cache
8399       // We're reusing template parameters from a different DeclContext. This
8406     // Build type source info pointing at the using-declaration. This is
8829 /// do so. This optimization only applies for arrays of scalars, and for arrays
8886 /// This routine is used to copy/move the members of a class with an
8955     // assignment operators we found. This strange dance is required when
9358   ThisBuilder This;
9381     DerefBuilder DerefThis(This);
9458     MemberBuilder To(This, getCurrentThisType(), /*IsArrow=*/true, MemberLookup);
9478     ExprResult ThisObj = CreateBuiltinUnaryOp(Loc, UO_Deref, This.build(*this, Loc));
9778   ThisBuilder This;
9808     DerefBuilder DerefThis(This);
9885     MemberBuilder To(This, getCurrentThisType(),
9910     ExprResult ThisObj = CreateBuiltinUnaryOp(Loc, UO_Deref, This.build(*this, Loc));
10130       // If this is a deleted function, add it anyway. This might be conformant
10131       // with the standard. This might not. I'm not sure. It might not matter.
10145       // If this is a deleted function, add it anyway. This might be conformant
10146       // with the standard. This might not. I'm not sure. It might not matter.
10160       // If this is a deleted function, add it anyway. This might be conformant
10161       // with the standard. This might not. I'm not sure. It might not matter.
10367   Expr *This = ActOnCXXThis(CurrentLocation).take();
10368   Expr *DerefThis =CreateBuiltinUnaryOp(CurrentLocation, UO_Deref, This).take();
10521   // FIXME: This duplicates a lot of code from Sema::ConvertArgumentsForCall.
10835   // This might be the definition of a literal operator template.
10837   // This might be a specialization of a literal operator template.
10932   // FIXME: This diagnostic is absolutely terrible.
11339       // This is a declaration of a class template.
11440 /// Handle a friend type declaration.  This works in tandem with
11464   // Try to convert the decl specifier to a type.  This works for
11476   // This is definitely an error in C++98.  It's probably meant to
11498   // This is fixed in DR77, which just barely didn't make the C++03
11603     // Find the innermost enclosing non-class scope. This is the block
11618       // This is ill-formed, but provide the context that we would have
11751     // This implies that it has to be an operator or function.
11762   // FIXME: This is an egregious hack to cope with cases where the scope stack
12364 /// SetIvarInitializers - This routine builds initialization ASTs for the
12592     // FIXME: This should be emitted by tblgen.