mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

Remove commented out string2ostream.

Browse source
This commit is contained in:
Bruce Mitchener 2018-10-21 20:10:41 +07:00
parent c802a0ac96
commit 21cf218a9f
1 changed files with 0 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

19
src/util/warning.cpp
View file

@ -25,7 +25,6 @@ Revision History:
#include "util/vector.h" #include "util/vector.h"
#ifdef _WINDOWS #ifdef _WINDOWS
#define PRF sprintf_s
#define VPRF vsprintf_s #define VPRF vsprintf_s
void STD_CALL myInvalidParameterHandler( void STD_CALL myInvalidParameterHandler(
@ -54,7 +53,6 @@ void STD_CALL myInvalidParameterHandler(
#else #else
#define PRF snprintf
#define VPRF vsnprintf #define VPRF vsnprintf
#define BEGIN_ERR_HANDLER() {} #define BEGIN_ERR_HANDLER() {}
#define END_ERR_HANDLER() {} #define END_ERR_HANDLER() {}
@ -86,23 +84,6 @@ void disable_error_msg_prefix() {
g_show_error_msg_prefix = false; g_show_error_msg_prefix = false;
} }
#if 0
// [Leo]: Do we need this?
static void string2ostream(std::ostream& out, char const* msg) {
svector<char> buff;
buff.resize(10);
BEGIN_ERR_HANDLER();
while (true) {
int nc = PRF(buff.c_ptr(), buff.size(), msg);
if (nc >= 0 && nc < static_cast<int>(buff.size()))
break; // success
buff.resize(buff.size()*2 + 1);
}
END_ERR_HANDLER();
out << buff.c_ptr();
}
#endif
void format2ostream(std::ostream & out, char const* msg, va_list args) { void format2ostream(std::ostream & out, char const* msg, va_list args) {
svector<char> buff; svector<char> buff;
#if !defined(_WINDOWS) && defined(_AMD64_) #if !defined(_WINDOWS) && defined(_AMD64_)