arm13.c

gcc-you can use this code to learn something about gcc, and inquire further into linux,

// 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);
  p->int::~int();
  free(p);
  printf ("PASS\n");
}