20 lines · cpp
1// RUN: %clangxx -O0 %s -o %t2// RUN: %env_tool_opts=allocator_may_return_null=0 not %run %t 2>&1 | FileCheck %s3// RUN: %env_tool_opts=allocator_may_return_null=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-NULL4 5// REQUIRES: stable-runtime && !ubsan && !darwin6 7#include <stdio.h>8 9extern "C" void *reallocarray(void *, size_t, size_t);10 11int main() {12 void *p = reallocarray(nullptr, -1, 1000);13 // CHECK: {{ERROR: .*Sanitizer: reallocarray parameters overflow: count \* size \(.* \* 1000\) cannot be represented in type size_t}}14 15 printf("reallocarray returned: %zu\n", (size_t)p);16 // CHECK-NULL: reallocarray returned: 017 18 return 0;19}20