mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
build warnings
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
0278612328
commit
4c09b7d792
|
@ -332,7 +332,9 @@ namespace dd {
|
|||
npop = 3;
|
||||
break;
|
||||
default:
|
||||
r = null_pdd;
|
||||
UNREACHABLE();
|
||||
break;
|
||||
}
|
||||
pop(npop);
|
||||
e1->m_result = r;
|
||||
|
|
|
@ -22,7 +22,7 @@ namespace sat {
|
|||
unsigned m_size;
|
||||
unsigned m_elems[6];
|
||||
uint64_t m_table;
|
||||
cut(): m_filter(0), m_size(0), m_table(0), max_cut_size(6) {}
|
||||
cut(): max_cut_size(6), m_filter(0), m_size(0), m_table(0) {}
|
||||
|
||||
cut(unsigned id): m_filter(1u << (id & 0x1F)), m_size(1), m_table(2) { m_elems[0] = id; }
|
||||
|
||||
|
|
Loading…
Reference in a new issue