Lines Matching defs:be
89 // These values are defined in such a way that a merge can be done using
303 /// DeclRefExpr which isn't explicitly classified will be assumed to have
304 /// escaped the analysis and will be treated as an initialization.
362 // The result of a ?: could also be an lvalue.
511 void VisitBlockExpr(BlockExpr *be);
534 // the variable, we can say something stronger than 'may be uninitialized':
539 // the variable might still be uninitialized are followed. Since a variable
543 // non-termination might be correlated with the initialization condition.
608 // this code is intended to be reachable) so give a diagnostic here
650 // situations where no label matched: we can't be sure that's
655 // Might not be possible.
692 void TransferFunctions::VisitBlockExpr(BlockExpr *be) {
693 const BlockDecl *bd = be->getBlockDecl();
702 reportUse(be, vd);
710 // initialized anywhere within this function may now be initialized. For
719 // but for the most part should not be treated as returning. This is a
781 // left, since its scope could be re-entered by a jump over the