vxnewdel.cc Source File

00001 
00002 extern "C"
00003 {
00004   void __builtin_delete (void *);
00005   void *__builtin_new (unsigned int);
00006 }
00007 
00008 void
00009 __dl (void *ptr)
00010 {
00011   __builtin_delete (ptr);
00012 }
00013 
00014 void *
00015 __nw (unsigned int size)
00016 {
00017   return __builtin_new (size);
00018 }