18 void circular_raw_ostream::write_impl(
const char *Ptr,
size_t Size) {
19 if (BufferSize == 0) {
20 TheStream->
write(Ptr, Size);
27 std::min(
unsigned(Size),
unsigned(BufferSize - (Cur - BufferArray)));
31 if (Cur == BufferArray + BufferSize) {
40 if (BufferSize != 0) {
42 TheStream->
write(Banner, std::strlen(Banner));
This class represents lattice values for constants.
raw_ostream & write(unsigned char C)
void flushBufferWithBanner()
flushBufferWithBanner - Force output of the buffer along with a small header.