diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2017-01-13 20:18:16 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-13 20:18:16 -0800 |
commit | fda8400531b63ccc728b1ce22ccf000067707df8 (patch) | |
tree | cb7279675e8119028e0aa0a9d0c131d3d24c8351 /src | |
parent | 52b431e92ea7596f369399cd9c1c20c06ad61e60 (diff) | |
parent | 8fdd827ec5229c905089b01744fd12bc2c8cf4e7 (diff) |
Merge pull request #130 from chadbrewbaker/master
Fixing memory leak
Diffstat (limited to 'src')
-rw-r--r-- | src/base/cvc4_assert.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/cvc4_assert.cpp b/src/base/cvc4_assert.cpp index 8d5b9e508..9d578dc07 100644 --- a/src/base/cvc4_assert.cpp +++ b/src/base/cvc4_assert.cpp @@ -38,10 +38,10 @@ void AssertionException::construct(const char* header, const char* extra, // then with a larger one if sprintf tells us to. int n = 512; char* buf; + buf = new char[n]; for(;;) { - buf = new char[n]; - + int size; if(extra == NULL) { size = snprintf(buf, n, "%s\n%s\n%s:%d\n", @@ -66,6 +66,7 @@ void AssertionException::construct(const char* header, const char* extra, // try again with a buffer that's large enough n = size + 1; delete [] buf; + buf = new char[n]; } } |