mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity

fix x86 warning

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-05-23 10:30:14 -07:00
parent f5775f265a
commit f9bdfe2978
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/sat/sat_clause.cpp
View file

@ -111,18 +111,22 @@ namespace sat {
clause_offset clause::get_new_offset() const {
unsigned o1 = m_lits[0].index();
#if defined(_AMD64_) || defined(_M_IA64)
if (sizeof(clause_offset) == 8) {
unsigned o2 = m_lits[1].index();
return (clause_offset)o1 + (((clause_offset)o2) << 32);
}
#endif
return (clause_offset)o1;
}
void clause::set_new_offset(clause_offset offset) {
m_lits[0] = to_literal(static_cast<unsigned>(offset));
#if defined(_AMD64_) || defined(_M_IA64)
if (sizeof(offset) == 8) {
m_lits[1] = to_literal(static_cast<unsigned>(offset >> 32));
}
#endif
}