41 lines · c
1// RUN: %clang_cc1 -fsanitize=alloc-token -triple x86_64-linux-gnu -emit-llvm -disable-llvm-passes %s -o - | FileCheck %s2 3typedef __typeof(sizeof(int)) size_t;4 5void *aligned_alloc(size_t alignment, size_t size) __attribute__((malloc));6void *malloc(size_t size) __attribute__((malloc));7void *calloc(size_t num, size_t size) __attribute__((malloc));8void *realloc(void *ptr, size_t size) __attribute__((malloc));9void *reallocarray(void *ptr, size_t nmemb, size_t size) __attribute__((malloc));10void *memalign(size_t alignment, size_t size) __attribute__((malloc));11void *valloc(size_t size) __attribute__((malloc));12void *pvalloc(size_t size) __attribute__((malloc));13int posix_memalign(void **memptr, size_t alignment, size_t size);14 15void *sink;16 17// CHECK-LABEL: define dso_local void @test_malloc_like(18// CHECK: call noalias ptr @malloc(i64 noundef 4){{.*}} !alloc_token [[META_INT:![0-9]+]]19// CHECK: call noalias ptr @calloc(i64 noundef 3, i64 noundef 4){{.*}} !alloc_token [[META_INT]]20// CHECK: call noalias ptr @realloc(ptr noundef {{.*}}, i64 noundef 8){{.*}} !alloc_token [[META_LONG:![0-9]+]]21// CHECK: call noalias ptr @reallocarray(ptr noundef {{.*}}, i64 noundef 5, i64 noundef 8), !alloc_token [[META_LONG]]22// CHECK: call noalias align 128 ptr @aligned_alloc(i64 noundef 128, i64 noundef 4){{.*}} !alloc_token [[META_INT]]23// CHECK: call noalias align 16 ptr @memalign(i64 noundef 16, i64 noundef 4){{.*}} !alloc_token [[META_INT]]24// CHECK: call noalias ptr @valloc(i64 noundef 4), !alloc_token [[META_INT]]25// CHECK: call noalias ptr @pvalloc(i64 noundef 4), !alloc_token [[META_INT]]26// CHECK: call i32 @posix_memalign(ptr noundef @sink, i64 noundef 64, i64 noundef 4)27void test_malloc_like() {28 sink = malloc(sizeof(int));29 sink = calloc(3, sizeof(int));30 sink = realloc(sink, sizeof(long));31 sink = reallocarray(sink, 5, sizeof(long));32 sink = aligned_alloc(128, sizeof(int));33 sink = memalign(16, sizeof(int));34 sink = valloc(sizeof(int));35 sink = pvalloc(sizeof(int));36 posix_memalign(&sink, 64, sizeof(int)); // FIXME: support posix_memalign37}38 39// CHECK: [[META_INT]] = !{!"int", i1 false}40// CHECK: [[META_LONG]] = !{!"long", i1 false}41