Hi,
simply matter of using __SIZE_TYPE__. Committed to mainline.
Thanks,
Paolo.
///////////////////
2013-08-20 Paolo Carlini <[email protected]>
PR c++/58190
* g++.dg/pr57878.C: Use __SIZE_TYPE__.
Index: g++.dg/pr57878.C
===================================================================
--- g++.dg/pr57878.C (revision 201871)
+++ g++.dg/pr57878.C (working copy)
@@ -6,7 +6,7 @@ typedef long long int64;
typedef unsigned int uint32;
typedef unsigned long long uint64;
namespace std {
- typedef unsigned int size_t;
+ typedef __SIZE_TYPE__ size_t;
template<class _CharT>
struct char_traits;
template<typename _Tp>
@@ -22,7 +22,7 @@ namespace std {
return static_cast<_Tp&&>(__t);
}
}
-typedef unsigned int size_t;
+typedef __SIZE_TYPE__ size_t;
extern "C++" {
inline void* operator new(std::size_t, void* __p) noexcept {
return __p;