| 1 | // REQUIRES: x86_64-target-arch |
|---|
| 2 | // RUN: %clang -Wno-constant-conversion -Wno-array-bounds -Wno-division-by-zero -Wno-shift-negative-value -Wno-shift-count-negative -Wno-int-to-pointer-cast -O0 -fsanitize=alignment,array-bounds,bool,float-cast-overflow,implicit-integer-sign-change,implicit-signed-integer-truncation,implicit-unsigned-integer-truncation,integer-divide-by-zero,nonnull-attribute,null,nullability-arg,nullability-assign,nullability-return,pointer-overflow,returns-nonnull-attribute,shift-base,shift-exponent,signed-integer-overflow,unreachable,unsigned-integer-overflow,unsigned-shift-base,vla-bound %s -o %t1 && %run %t1 2>&1 | FileCheck %s |
|---|
| 3 | |
|---|
| 4 | #include <stdint.h> |
|---|
| 5 | #include <stdio.h> |
|---|
| 6 | |
|---|
| 7 | // In this test there is an expectation of assignment of _BitInt not producing any output. |
|---|
| 8 | uint32_t nullability_arg(_BitInt(37) *_Nonnull x) |
|---|
| 9 | __attribute__((no_sanitize("address" ))) |
|---|
| 10 | __attribute__((no_sanitize("memory" ))) { |
|---|
| 11 | _BitInt(37) y = *(_BitInt(37) *)&x; |
|---|
| 12 | return (y > 0) ? y : 0; |
|---|
| 13 | } |
|---|
| 14 | |
|---|
| 15 | // In this test there is an expectation of ubsan not triggeting on returning random address which is inside address space of the process. |
|---|
| 16 | _BitInt(37) nonnull_attribute(__attribute__((nonnull)) _BitInt(37) * x) |
|---|
| 17 | __attribute__((no_sanitize("address" ))) |
|---|
| 18 | __attribute__((no_sanitize("memory" ))) { |
|---|
| 19 | return *(_BitInt(37) *)&x; |
|---|
| 20 | } |
|---|
| 21 | |
|---|
| 22 | // In this test there is an expectation of assignment of uint32_t from "invalid" _BitInt is not producing any output. |
|---|
| 23 | uint32_t nullability_assign(_BitInt(7) * x) |
|---|
| 24 | __attribute__((no_sanitize("address" ))) |
|---|
| 25 | __attribute__((no_sanitize("memory" ))) { |
|---|
| 26 | _BitInt(7) *_Nonnull y = x; |
|---|
| 27 | int32_t r = *(_BitInt(7) *)&y; |
|---|
| 28 | return (r > 0) ? r : 0; |
|---|
| 29 | } |
|---|
| 30 | |
|---|
| 31 | // In those examples the file is expected to compile & run with no diagnostics |
|---|
| 32 | // CHECK-NOT: runtime error: |
|---|
| 33 | |
|---|
| 34 | int main(int argc, char **argv) { |
|---|
| 35 | // clang-format off |
|---|
| 36 | uint64_t result = |
|---|
| 37 | 1ULL + |
|---|
| 38 | nullability_arg(x: (_BitInt(37) *)argc) + |
|---|
| 39 | ((uint64_t)nonnull_attribute(x: (_BitInt(37) *)argc) & 0xFFFFFFFF) + |
|---|
| 40 | nullability_assign(x: (_BitInt(7) *)argc); |
|---|
| 41 | // clang-format on |
|---|
| 42 | printf(format: "%u\n" , (uint32_t)(result & 0xFFFFFFFF)); |
|---|
| 43 | } |
|---|
| 44 | |
|---|
