merge branch origin/Number_types-new_delete_mismatch-GF

Remove memory leaks detected by AddressSanitizer.
Tested in CGAL-4.4-Ic-54 and CGAL-4.4-Ic-55.
Approved by the release manager.
This commit is contained in:
Laurent Rineau 2013-12-11 13:42:34 +01:00
commit 7b5a8a388d
1 changed files with 1 additions and 1 deletions

2
Number_types/include/CGAL/Mpzf.h Normal file → Executable file
View File

@ -182,7 +182,7 @@ template <class T, class = void> struct pool3 {
// No caching // No caching
template <class T, class = void> struct no_pool { template <class T, class = void> struct no_pool {
static T pop() { throw "Shouldn't be here!"; } static T pop() { throw "Shouldn't be here!"; }
static void push(T t) { delete (t - (extra+1)); } static void push(T t) { delete [] (t - (extra+1)); }
static bool empty() { return true; } static bool empty() { return true; }
static const int extra = 0; static const int extra = 0;
}; };