Lines Matching defs:be
44 // We consider a record decl to be empty if it contains only unnamed bit-
118 // These values are defined in such a way that a merge can be done using
278 /// DeclRefExpr which isn't explicitly classified will be assumed to have
279 /// escaped the analysis and will be treated as an initialization.
341 // The result of a ?: could also be an lvalue.
445 // it should already be initialized.
502 void VisitBlockExpr(BlockExpr *be);
527 // the variable, we can say something stronger than 'may be uninitialized':
532 // the variable might still be uninitialized are followed. Since a variable
536 // non-termination might be correlated with the initialization condition.
601 // this code is intended to be reachable) so give a diagnostic here
642 // situations where no label matched: we can't be sure that's
647 // Might not be possible.
701 void TransferFunctions::VisitBlockExpr(BlockExpr *be) {
702 const BlockDecl *bd = be->getBlockDecl();
711 reportUse(be, vd);
719 // initialized anywhere within this function may now be initialized. For
728 // but for the most part should not be treated as returning. This is a
793 // left, since its scope could be re-entered by a jump over the
816 // it's used on an indirect path, where it's not guaranteed to be