void-packages/srcpkgs/z3/patches/fix-gcc6-typecast.patch
2016-09-23 10:13:13 +02:00

22 lines
781 B
Diff

--- src/util/debug.cpp 2015-10-05 14:07:19.000000000 +0200
+++ src/util/debug.cpp 2016-09-23 09:56:52.501486862 +0200
@@ -76,7 +76,7 @@
for (;;) {
std::cerr << "(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB\n";
char result;
- bool ok = (std::cin >> result);
+ bool ok = static_cast<bool>(std::cin >> result);
if (!ok) exit(ERR_INTERNAL_FATAL); // happens if std::cin is eof or unattached.
switch(result) {
case 'C':
--- src/util/mpz.cpp 2015-10-05 14:07:19.000000000 +0200
+++ src/util/mpz.cpp 2016-09-23 10:10:19.116642705 +0200
@@ -134,7 +134,7 @@
#endif
mpz one(1);
- set(m_two64, UINT64_MAX);
+ set(m_two64, static_cast<uint64>(UINT64_MAX));
add(m_two64, one, m_two64);
}