Lines Matching defs:be
100 // These values are defined in such a way that a merge can be done using
260 /// DeclRefExpr which isn't explicitly classified will be assumed to have
261 /// escaped the analysis and will be treated as an initialization.
323 // The result of a ?: could also be an lvalue.
427 // it should already be initialized.
484 void VisitBlockExpr(BlockExpr *be);
509 // the variable, we can say something stronger than 'may be uninitialized':
514 // the variable might still be uninitialized are followed. Since a variable
518 // non-termination might be correlated with the initialization condition.
583 // this code is intended to be reachable) so give a diagnostic here
646 // situations where no label matched: we can't be sure that's
651 // Might not be possible.
705 void TransferFunctions::VisitBlockExpr(BlockExpr *be) {
706 const BlockDecl *bd = be->getBlockDecl();
715 reportUse(be, vd);
723 // initialized anywhere within this function may now be initialized. For
732 // but for the most part should not be treated as returning. This is a
797 // left, since its scope could be re-entered by a jump over the
820 // it's used on an indirect path, where it's not guaranteed to be