mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

let's test if all the buildbots are happy with C++17

Browse source 
it's stil a bit too early for C++20
This commit is contained in:
Nuno Lopes 2021-02-18 18:12:53 +00:00
parent e63dc7efc2
commit d396d46bd1
3 changed files with 6 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/vector.h
View file

@ -79,11 +79,7 @@ class vector {
throw default_exception("Overflow encountered when expanding vector");
}
SZ *mem, *old_mem = reinterpret_cast<SZ*>(m_data) - 2;
#if defined(__GNUC__) && !defined(__clang__) && __GNUC__ < 5
if (__has_trivial_copy(T)) {
#else
if (std::is_trivially_copyable<T>::value) {
#endif
mem = (SZ*)memory::reallocate(old_mem, new_capacity_T);
m_data = reinterpret_cast<T *>(mem + 2);
} else {