mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

reinterpret_cast fixes for the Windows compiler.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-10-04 16:41:28 +01:00
parent 4626196907
commit f11502e0ac
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/util/hwf.cpp
View file

@ -85,9 +85,8 @@ hwf_manager::~hwf_manager()
{ {
} }
// #define RAW(X) (*reinterpret_cast<const uint64*>(&(X))) uint64 RAW(double X) { uint64 tmp; memcpy(&tmp, &(X), sizeof(uint64)); return tmp; }
#define RAW(X) ({ uint64 tmp; memcpy(&tmp, &(X), sizeof(uint64)); tmp; }) double DBL(uint64 X) { double tmp; memcpy(&tmp, &(X), sizeof(double)); return tmp; }
#define DBL(X) ({ double tmp; memcpy(&tmp, &(X), sizeof(double)); tmp; })
void hwf_manager::set(hwf & o, int value) { void hwf_manager::set(hwf & o, int value) {
o.value = (double) value; o.value = (double) value;

3
src/util/mpfx.cpp
View file

@ -200,8 +200,9 @@ void mpfx_manager::set(mpfx & n, uint64 v) {
allocate_if_needed(n); allocate_if_needed(n);
n.m_sign = 0; n.m_sign = 0;
unsigned * w = words(n); unsigned * w = words(n);
uint64 * _vp = &v;
unsigned * _v = 0; unsigned * _v = 0;
memcpy(_v, &v, sizeof(unsigned*)); memcpy(&_v, &_vp, sizeof(unsigned*));
for (unsigned i = 0; i < m_total_sz; i++) for (unsigned i = 0; i < m_total_sz; i++)
w[i] = 0; w[i] = 0;
w[m_frac_part_sz] = _v[0]; w[m_frac_part_sz] = _v[0];