{ return malloc(nbytes); }
void VG_(free)(void* p)
{ return free(p); }
-void VG_(assert_fail)(Bool isCore, const Char* assertion, const Char* file,
- Int line, const Char* function, const HChar* format,
+void VG_(assert_fail)(Bool isCore, const HChar* assertion, const HChar* file,
+ Int line, const HChar* function, const HChar* format,
...)
{
fprintf(stderr,
{ return realloc(p, size); }
void VG_(free)(void* p)
{ return free(p); }
-void VG_(assert_fail)(Bool isCore, const Char* assertion, const Char* file,
- Int line, const Char* function, const HChar* format,
+void VG_(assert_fail)(Bool isCore, const HChar* assertion, const HChar* file,
+ Int line, const HChar* function, const HChar* format,
...)
{
fprintf(stderr,
return 0;
}
-void VG_(assert_fail)(Bool isCore, const Char* expr, const Char* file,
- Int line, const Char* fn, const HChar* format, ... )
+void VG_(assert_fail)(Bool isCore, const HChar* expr, const HChar* file,
+ Int line, const HChar* fn, const HChar* format, ... )
{
abort();
}