Lines Matching refs:vals
102 BVPair *vals; member in __anonbbbc703b0211::CFGBlockValues
140 CFGBlockValues::CFGBlockValues(const CFG &c) : cfg(c), vals(0) { in CFGBlockValues()
144 vals = new std::pair<ValueVector*, ValueVector*>[n]; in CFGBlockValues()
145 memset((void*)vals, 0, sizeof(*vals) * n); in CFGBlockValues()
153 delete vals[i].first; in ~CFGBlockValues()
154 delete vals[i].second; in ~CFGBlockValues()
156 delete [] vals; in ~CFGBlockValues()
203 return lazyCreate(vals[idx].first); in getValueVector()
205 return lazyCreate(vals[idx].second); in getValueVector()
208 assert(vals[idx].second == 0); in getValueVector()
209 return lazyCreate(vals[idx].first); in getValueVector()
214 return vals[idx].second != 0; in hasValues()
220 lazyCreate(vals[idx].first); in getValueVectors()
222 lazyCreate(vals[idx].second); in getValueVectors()
223 return vals[idx]; in getValueVectors()
258 BVPair &vals = getValueVectors(block, true); in updateValueVectors() local
259 bool changed = *newVals.first != *vals.first || in updateValueVectors()
260 *newVals.second != *vals.second; in updateValueVectors()
261 *vals.first = *newVals.first; in updateValueVectors()
262 *vals.second = *newVals.second; in updateValueVectors()
264 printVector(block, *vals.first, 1); in updateValueVectors()
265 printVector(block, *vals.second, 2); in updateValueVectors()
340 CFGBlockValues &vals; member in __anonbbbc703b0411::TransferFunctions
356 TransferFunctions(CFGBlockValues &vals, const CFG &cfg, in TransferFunctions() argument
360 : vals(vals), cfg(cfg), ac(ac), handler(handler), in TransferFunctions()
416 vals[vd] = Initialized; in VisitObjCForCollectionStmt()
431 vals[vd] = Initialized; in VisitBlockExpr()
434 Value v = vals[vd]; in VisitBlockExpr()
471 vals[vd] = Uninitialized; in VisitDeclStmt()
479 vals[vd] = Initialized; in VisitDeclStmt()
490 ValueVector::reference val = vals[vd]; in VisitBinaryOperator()
513 ValueVector::reference val = vals[vd]; in VisitUnaryOperator()
532 if (isUninitialized(vals[vd])) { in VisitCastExpr()
573 reportUninit(DR, VD, isAlwaysUninit(vals[VD])); in ProcessUses()
577 vals[VD] = Initialized; in ProcessUses()
587 vals[cast<VarDecl>(lastDR->getDecl())] = Initialized; in ProcessUses()
597 AnalysisContext &ac, CFGBlockValues &vals, in runOnBlock() argument
606 BVPair vA = vals.getValueVectors(*itr, false); in runOnBlock()
608 BVPair vB = vals.getValueVectors(*itr, false); in runOnBlock()
614 vals.mergeIntoScratch(*(vA.second ? vA.second : vA.first), true); in runOnBlock()
615 vals.mergeIntoScratch(*(vB.second ? vB.second : vB.first), false); in runOnBlock()
617 valsAB.second = &vals.getScratch(); in runOnBlock()
622 vals.mergeIntoScratch(*vA.first, true); in runOnBlock()
623 vals.mergeIntoScratch(*vB.first, false); in runOnBlock()
624 valsAB.first = &vals.getScratch(); in runOnBlock()
627 return vals.updateValueVectors(block, valsAB); in runOnBlock()
631 vals.resetScratch(); in runOnBlock()
635 vals.mergeIntoScratch(vals.getValueVector(*I, block), isFirst); in runOnBlock()
639 TransferFunctions tf(vals, cfg, ac, handler, flagBlockUses); in runOnBlock()
647 return vals.updateValueVectorWithScratch(block); in runOnBlock()
656 CFGBlockValues vals(cfg); in runUninitializedVariablesAnalysis() local
657 vals.computeSetOfDeclarations(dc); in runUninitializedVariablesAnalysis()
658 if (vals.hasNoDeclarations()) in runUninitializedVariablesAnalysis()
661 stats.NumVariablesAnalyzed = vals.getNumEntries(); in runUninitializedVariablesAnalysis()
668 ValueVector &vec = vals.getValueVector(&entry, succ); in runUninitializedVariablesAnalysis()
669 const unsigned n = vals.getNumEntries(); in runUninitializedVariablesAnalysis()
684 bool changed = runOnBlock(block, cfg, ac, vals, wasAnalyzed); in runUninitializedVariablesAnalysis()
694 runOnBlock(*BI, cfg, ac, vals, wasAnalyzed, &handler, in runUninitializedVariablesAnalysis()