Home | History | Annotate | Download | only in Analysis

Lines Matching refs:vals

108   SmallVector<ValueVector, 8> vals;
118 return vals[block->getBlockID()];
142 CFGBlockValues::CFGBlockValues(const CFG &c) : cfg(c), vals(0) {}
151 vals.resize(n);
153 vals[i].resize(decls);
434 CFGBlockValues &vals;
443 TransferFunctions(CFGBlockValues &vals, const CFG &cfg,
447 : vals(vals), cfg(cfg), block(block), ac(ac),
535 if (vals.getValue(Pred, B, vd) == Initialized)
572 vals.getValue(Block, Succ, vd) == Uninitialized) {
603 Value v = vals[vd];
613 vals[VD] = Initialized;
625 vals[vd] = Initialized;
640 vals.setAllScratchValues(Initialized);
650 vals.setAllScratchValues(Unknown);
663 vals[cast<VarDecl>(dr->getDecl())] = Initialized;
675 vals[VD] = Initialized;
695 vals[VD] = Uninitialized;
698 vals[VD] = Initialized;
710 vals[VD] = Uninitialized;
720 vals.setAllScratchValues(Unknown);
729 AnalysisDeclContext &ac, CFGBlockValues &vals,
734 vals.resetScratch();
741 vals.mergeIntoScratch(vals.getValueVector(pred), isFirst);
746 TransferFunctions tf(vals, cfg, block, ac, classification, handler);
752 return vals.updateValueVectorWithScratch(block);
798 CFGBlockValues vals(cfg);
799 vals.computeSetOfDeclarations(dc);
800 if (vals.hasNoDeclarations())
803 stats.NumVariablesAnalyzed = vals.getNumEntries();
811 ValueVector &vec = vals.getValueVector(&entry);
812 const unsigned n = vals.getNumEntries();
829 bool changed = runOnBlock(block, cfg, ac, vals,
844 runOnBlock(block, cfg, ac, vals, classification, wasAnalyzed, handler);