typedef __typeof__(sizeof(int)) size_t;
extern "C" void *malloc(size_t);
extern "C" void free(void *);
-//int *global;
//----------------------------------------------------------------------------
// Check for intersections with unix.Malloc and unix.MallocWithAnnotations
int *p3 = (int *)malloc(sizeof(int)); // no warn
}
+void testDeleteMalloced() {
+ int *p = (int *)malloc(sizeof(int));
+ delete p; // no warn
+}
+
+// FIXME: Pointer should escape
+
//----- Test free standard new
void testFreeOpNew() {
void *p = operator new(0);