26 lines
1.2 KiB
Diff
26 lines
1.2 KiB
Diff
|
Fixes errors such as these:
|
|||
|
|
|
|||
|
|
In file included from /builddir/build/BUILD/z3-z3-4.12.2/src/util/region.cpp:53:
|
|||
|
|
/builddir/build/BUILD/z3-z3-4.12.2/src/util/region.cpp: In member function ‘void* region::allocate(size_t)’:
|
|||
|
|
/builddir/build/BUILD/z3-z3-4.12.2/src/util/tptr.h:29:62: error: ‘uintptr_t’ does not name a type
|
|||
|
|
29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
|
|||
|
|
| ^~~~~~~~~
|
|||
|
|
/builddir/build/BUILD/z3-z3-4.12.2/src/util/region.cpp:82:22: note: in expansion of macro ‘ALIGN’
|
|||
|
|
82 | m_curr_ptr = ALIGN(char *, new_curr_ptr);
|
|||
|
|
| ^~~~~
|
|||
|
|
/builddir/build/BUILD/z3-z3-4.12.2/src/util/region.cpp:57:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
|
|||
|
|
56 | #include "util/page.h"
|
|||
|
|
+++ |+#include <cstdint>
|
|||
|
|
57 |
|
|||
|
|
|
|||
|
|
--- z3-z3-4.12.2/src/util/tptr.h.orig 2023-05-12 13:59:04.000000000 -0600
|
|||
|
|
+++ z3-z3-4.12.2/src/util/tptr.h 2023-05-13 07:04:48.389716628 -0600
|
|||
|
|
@@ -19,6 +19,7 @@ Revision History:
|
|||
|
|
|
|||
|
|
#pragma once
|
|||
|
|
|
|||
|
|
+#include <cstdint>
|
|||
|
|
#include "util/machine.h"
|
|||
|
|
|
|||
|
|
#define TAG_SHIFT PTR_ALIGNMENT
|