1*74989affSNico Weber // RUN: %clangxx %collect_stack_traces -O0 %s -o %t
2*74989affSNico Weber 
3*74989affSNico Weber // Alignment is not a power of 2:
4*74989affSNico Weber // RUN: %env_tool_opts=allocator_may_return_null=0 not %run %t 17 2>&1 | FileCheck %s
5*74989affSNico Weber // Size is not a multiple of alignment:
6*74989affSNico Weber // RUN: %env_tool_opts=allocator_may_return_null=0 not %run %t 8 2>&1 | FileCheck %s
7*74989affSNico Weber // Alignment is 0:
8*74989affSNico Weber // RUN: %env_tool_opts=allocator_may_return_null=0 not %run %t 0 2>&1 | FileCheck %s
9*74989affSNico Weber 
10*74989affSNico Weber // The same for allocator_may_return_null=1:
11*74989affSNico Weber // RUN: %env_tool_opts=allocator_may_return_null=1 %run %t 17 2>&1 | FileCheck %s --check-prefix=CHECK-NULL
12*74989affSNico Weber // RUN: %env_tool_opts=allocator_may_return_null=1 %run %t 8 2>&1 | FileCheck %s --check-prefix=CHECK-NULL
13*74989affSNico Weber // RUN: %env_tool_opts=allocator_may_return_null=1 %run %t 0 2>&1 | FileCheck %s --check-prefix=CHECK-NULL
14*74989affSNico Weber 
15*74989affSNico Weber // REQUIRES: stable-runtime
16*74989affSNico Weber 
17*74989affSNico Weber // UNSUPPORTED: android, ubsan
18*74989affSNico Weber 
19*74989affSNico Weber #include <assert.h>
20*74989affSNico Weber #include <errno.h>
21*74989affSNico Weber #include <stdio.h>
22*74989affSNico Weber #include <stdlib.h>
23*74989affSNico Weber 
24*74989affSNico Weber extern void *aligned_alloc(size_t alignment, size_t size);
25*74989affSNico Weber 
26*74989affSNico Weber int main(int argc, char **argv) {
27*74989affSNico Weber   assert(argc == 2);
28*74989affSNico Weber   const int alignment = atoi(argv[1]);
29*74989affSNico Weber 
30*74989affSNico Weber   void *p = aligned_alloc(alignment, 100);
31*74989affSNico Weber   // CHECK: {{ERROR: .*Sanitizer: invalid alignment requested in aligned_alloc}}
32*74989affSNico Weber   // Handle a case when aligned_alloc is aliased by memalign.
33*74989affSNico Weber   // CHECK: {{#0 .*}}{{aligned_alloc|memalign}}
34*74989affSNico Weber   // CHECK: {{#1 .*main .*aligned_alloc-alignment.cpp:}}[[@LINE-4]]
35*74989affSNico Weber   // CHECK: {{SUMMARY: .*Sanitizer: invalid-aligned-alloc-alignment}}
36*74989affSNico Weber 
37*74989affSNico Weber   // The NULL pointer is printed differently on different systems, while (long)0
38*74989affSNico Weber   // is always the same.
39*74989affSNico Weber   fprintf(stderr, "errno: %d, p: %lx\n", errno, (long)p);
40*74989affSNico Weber   // CHECK-NULL: errno: 22, p: 0
41*74989affSNico Weber 
42*74989affSNico Weber   return 0;
43*74989affSNico Weber }
44