Lines Matching refs:to_string
1119 (isValidState() ? std::to_string(getNumReturnValues()) : "?") +
1120 ")[#UC: " + std::to_string(UnresolvedCalls.size()) + "]";
2797 return "Live[#BB " + std::to_string(AssumedLiveBlocks.size()) + "/" +
2798 std::to_string(getAssociatedFunction()->size()) + "][#TBEP " +
2799 std::to_string(ToBeExploredFrom.size()) + "][#KDE " +
2800 std::to_string(KnownDeadEnds.size()) + "]";
3250 std::to_string(getKnownDereferenceableBytes()) + "-" +
3251 std::to_string(getAssumedDereferenceableBytes()) + ">";
3518 return getAssumedAlign() ? ("align<" + std::to_string(getKnownAlign()) +
3519 "-" + std::to_string(getAssumedAlign()) + ">")
4410 return "[H2S] Mallocs: " + std::to_string(MallocCalls.size());