diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:45:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:45:02 -0700 |
| commit | 7ce7e9ec310db430078b7cbec538ea2a29b6d539 (patch) | |
| tree | bde63821616afdde74da46255d1d23da3a2ae1d5 /src/sat/glucose/Vec.h | |
| parent | af4c76e21a28beac14886e68a5f7ce29e5e7303b (diff) | |
| download | abc-7ce7e9ec310db430078b7cbec538ea2a29b6d539.tar.gz abc-7ce7e9ec310db430078b7cbec538ea2a29b6d539.tar.bz2 abc-7ce7e9ec310db430078b7cbec538ea2a29b6d539.zip | |
Compiler warnings.
Diffstat (limited to 'src/sat/glucose/Vec.h')
| -rw-r--r-- | src/sat/glucose/Vec.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/glucose/Vec.h b/src/sat/glucose/Vec.h index 8db84a03..f44c65f0 100644 --- a/src/sat/glucose/Vec.h +++ b/src/sat/glucose/Vec.h @@ -96,7 +96,7 @@ template<class T> void vec<T>::capacity(int min_cap) { if (cap >= min_cap) return; int add = imax((min_cap - cap + 1) & ~1, ((cap >> 1) + 2) & ~1); // NOTE: grow by approximately 3/2 - if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) + if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) throw OutOfMemoryException(); } |