Home | History | Annotate | Download | only in Analysis

Lines Matching refs:OS

31 void AbstractLatticeFunction::PrintValue(LatticeVal V, raw_ostream &OS) {
33     OS << "undefined";
35     OS << "overdefined";
37     OS << "untracked";
39     OS << "unknown lattice value";
329 void SparseSolver::Print(Function &F, raw_ostream &OS) const {
330   OS << "\nFUNCTION: " << F.getNameStr() << "\n";
333       OS << "INFEASIBLE: ";
334     OS << "\t";
336       OS << BB->getNameStr() << ":\n";
338       OS << "; anon bb\n";
340       LatticeFunc->PrintValue(getLatticeState(I), OS);
341       OS << *I << "\n";
344     OS << "\n";