// { dg-do run  }
// GROUPS passed ARM-compliance
#include <stdio.h>
#include <stdlib.h>

inline void *operator new(size_t, void *place) { return place; }

int main()
{
  int* p = (int*) malloc(sizeof(int));
  (void) new (p) int(1);
  typedef int I;
  p->I::~I();
  free(p);
  printf ("PASS\n");
}