| 1 | // REQUIRES: android |
|---|
| 2 | |
|---|
| 3 | // Tests that ubsan can detect errors on Android if libc appears before the |
|---|
| 4 | // runtime in the library search order, which means that we cannot intercept |
|---|
| 5 | // symbols. |
|---|
| 6 | |
|---|
| 7 | // RUN: %clangxx %p/Inputs/no-interception-dso.c -fsanitize=undefined -fPIC -shared -o %dynamiclib %ld_flags_rpath_so |
|---|
| 8 | |
|---|
| 9 | // Make sure that libc is first in DT_NEEDED. |
|---|
| 10 | // RUN: %clangxx %s -lc -o %t %ld_flags_rpath_exe |
|---|
| 11 | // RUN: %run %t 2>&1 | FileCheck %s |
|---|
| 12 | |
|---|
| 13 | #include <limits.h> |
|---|
| 14 | |
|---|
| 15 | int dso_function(int); |
|---|
| 16 | |
|---|
| 17 | int main(int argc, char **argv) { |
|---|
| 18 | // CHECK: signed integer overflow |
|---|
| 19 | dso_function(INT_MAX); |
|---|
| 20 | } |
|---|
| 21 | |
|---|
