Home | History | Annotate | Download | only in Analysis

Lines Matching refs:Initialized

91              Initialized = 0x1,     /* 01 */
407 // that it is initialized by the call, and we conservatively do not assume
483 // can't transfer from being initialized to being uninitialized, this will
535 if (vals.getValue(Pred, B, vd) == Initialized)
613 vals[VD] = Initialized;
625 vals[vd] = Initialized;
636 // initialized anywhere within this function may now be initialized. For
638 // mark variables as initialized if they have an initializer which is
640 vals.setAllScratchValues(Initialized);
663 vals[cast<VarDecl>(dr->getDecl())] = Initialized;
675 vals[VD] = Initialized;
697 // Treat the new variable as initialized.
698 vals[VD] = Initialized;