本文整理汇总了C++中SVal::dumpToStream方法的典型用法代码示例。如果您正苦于以下问题：C++ SVal::dumpToStream方法的具体用法？C++ SVal::dumpToStream怎么用？C++ SVal::dumpToStream使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类SVal的用法示例。
在下文中一共展示了SVal::dumpToStream方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: StreamRange
std::string
IntegerOverflowChecker::getSymbolInformation(const SVal &Val, const Expr *E,
CheckerContext &C) const {
ProgramStateRef State = C.getState();
std::string StreamRangeStr, SValDumpStr;
llvm::raw_string_ostream StreamRange(StreamRangeStr), SValDump(SValDumpStr);
Val.dumpToStream(SValDump);
if (Val.getSubKind() == SymbolValKind) {
State->getConstraintManager().print(State, StreamRange, "\n", "\n");
StreamRange.flush();
size_t from = StreamRangeStr.find(SValDump.str() + " : ");
if (from != std::string::npos) {
size_t to = StreamRangeStr.find("\n", from);
from += SValDump.str().length();
SValDump.str().append(StreamRangeStr.substr(from, to - from));
}
}
if (!E || isa<IntegerLiteral>(E->IgnoreParenCasts()))
return SValDump.str();
E = E->IgnoreParens();
if (const UnaryOperator *UO = dyn_cast<UnaryOperator>(E))
if ((UO->getOpcode() == UO_Plus || UO->getOpcode() == UO_Minus) &&
isa<IntegerLiteral>(UO->getSubExpr()))
return SValDump.str();
SValDump << " (";
E->printPretty(SValDump, 0, C.getASTContext().getPrintingPolicy());
SValDump << ")";
return SValDump.str();
}