1 // RUN: %clang -std=c11 -O0 %s -o %t && %run %t
2 #include <stdlib.h>
3 extern void *aligned_alloc (size_t alignment, size_t size);
main()4 int main() {
5   volatile void *p = aligned_alloc(128, 1024);
6   free((void*)p);
7   return 0;
8 }
9