lib/Sema/SemaInit.cpp

55 /// \brief Check whether the array of type AT can be initialized by the Init
59 static StringInitFailureKind IsStringInit(Expr *Init, const ArrayType *AT,
65   Init = Init->IgnoreParens();
68   if (isa<ObjCEncodeExpr>(Init) && AT->getElementType()->isCharType())
72   StringLiteral *SL = dyn_cast<StringLiteral>(Init);
316   void FillInValueInitForField(unsigned Init, FieldDecl *Field,
349 void InitListChecker::FillInValueInitForField(unsigned Init, FieldDecl *Field,
357   if (Init >= NumInits || !ILE->getInit(Init)) {
364       if (Init < NumInits)
365         ILE->setInit(Init, DIE);
367         ILE->updateInit(SemaRef.Context, Init, DIE);
408     } else if (Init < NumInits) {
409       ILE->setInit(Init, MemberInit.takeAs<Expr>());
415       ILE->updateInit(SemaRef.Context, Init, MemberInit.takeAs<Expr>());
419                = dyn_cast<InitListExpr>(ILE->getInit(Init)))
453       unsigned Init = 0;
463         FillInValueInitForField(Init, *Field, Entity, ILE, RequiresSecondPass);
467         ++Init;
498   for (unsigned Init = 0; Init != NumElements; ++Init) {
504       ElementEntity.setElementIndex(Init);
506     Expr *InitExpr = (Init < NumInits ? ILE->getInit(Init) : 0);
526       } else if (Init < NumInits) {
532           ILE->setInit(Init, ElementInit.takeAs<Expr>());
546           ILE->updateInit(SemaRef.Context, Init, ElementInit.takeAs<Expr>());
1136     Expr *Init = IList->getInit(Index);
1137     if (!isa<InitListExpr>(Init) && Init->getType()->isVectorType()) {
1139         if (!SemaRef.CanPerformCopyInitialization(Entity, SemaRef.Owned(Init)))
1146         SemaRef.PerformCopyInitialization(Entity, Init->getLocStart(),
1147                                           SemaRef.Owned(Init),
1156         if (ResultExpr != Init) {
1285     Expr *Init = IList->getInit(Index);
1286     if (DesignatedInitExpr *DIE = dyn_cast<DesignatedInitExpr>(Init)) {
1459     Expr *Init = IList->getInit(Index);
1461     if (DesignatedInitExpr *DIE = dyn_cast<DesignatedInitExpr>(Init)) {
2127         Expr *Init = new (Context) IntegerLiteral(
2130           Init = ImplicitCastExpr::Create(Context, CharTy, CK_IntegralCast,
2131                                           Init, 0, VK_RValue);
2132         StructuredList->updateInit(Context, i, Init);
2149         Expr *Init = new (Context) IntegerLiteral(
2152           Init = ImplicitCastExpr::Create(Context, CharTy, CK_IntegralCast,
2153                                           Init, 0, VK_RValue);
2154         StructuredList->updateInit(Context, i, Init);
2363                                             ExprResult Init) {
2440   if (Invalid || Init.isInvalid())
2450                                  Init.takeAs<Expr>());
4216                                               const Expr *Init) {
4220          isa<CXXBoolLiteralExpr>(Init) &&
4221          !cast<CXXBoolLiteralExpr>(Init)->getValue() &&
4222          S.getSourceManager().isInSystemHeader(Init->getExprLoc());
5371 static void performLifetimeExtension(Expr *Init, const ValueDecl *ExtendingD);
5376 static bool performReferenceExtension(Expr *Init, const ValueDecl *ExtendingD) {
5377   if (InitListExpr *ILE = dyn_cast<InitListExpr>(Init)) {
5380       Init = ILE->getInit(0);
5387     Old = Init;
5393     Init = const_cast<Expr *>(
5394         Init->skipRValueSubobjectAdjustments(CommaLHSs, Adjustments));
5398     if (CastExpr *CE = dyn_cast<CastExpr>(Init))
5400         Init = CE->getSubExpr();
5405   } while (Init != Old);
5407   if (MaterializeTemporaryExpr *ME = dyn_cast<MaterializeTemporaryExpr>(Init)) {
5420 static void performLifetimeExtension(Expr *Init, const ValueDecl *ExtendingD) {
5424   Init = const_cast<Expr *>(
5425       Init->skipRValueSubobjectAdjustments(CommaLHSs, Adjustments));
5427   if (CXXBindTemporaryExpr *BTE = dyn_cast<CXXBindTemporaryExpr>(Init))
5428     Init = BTE->getSubExpr();
5431           dyn_cast<CXXStdInitializerListExpr>(Init)) {
5436   if (InitListExpr *ILE = dyn_cast<InitListExpr>(Init)) {
5478                                     const Expr *Init, bool IsInitializerList,
5483       S.Diag(Init->getExprLoc(), diag::warn_dangling_std_initializer_list)
5496     S.Diag(Init->getExprLoc(),
5498       << ExtendingDecl << Init->getSourceRange()
5589     Expr *Init = Args[0];
5590     S.Diag(Init->getLocStart(), diag::warn_cxx98_compat_reference_list_init)
5591       << Init->getSourceRange();
5599     Expr *Init = Args[0];
5600     Expr::LValueClassification Kind = Init->ClassifyLValue(S.Context);
5602       S.Diag(Init->getLocStart(), diag::warn_temporary_array_to_pointer_decay)
5603         << Init->getSourceRange();
7062                                    ExprResult Init) {
7063   if (Init.isInvalid())
7066   Expr *InitE = Init.get();
7078                                 ExprResult Init,
7081   if (Init.isInvalid())
7084   Expr *InitE = Init.get();
7094   Init.release();