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