1// { dg-do run  }
2// GROUPS passed ARM-compliance
3#include <stdio.h>
4#include <stdlib.h>
5
6inline void *operator new(size_t, void *place) { return place; }
7
8int main()
9{
10  int* p = (int*) malloc(sizeof(int));
11  (void) new (p) int(1);
12  typedef int I;
13  p->I::~I();
14  free(p);
15  printf ("PASS\n");
16}
17