| // Check that unloading a module doesn't break coverage dumping for remaining |
| // modules. |
| // RUN: %clangxx_asan -fsanitize-coverage=func -DSHARED %s -shared -o %dynamiclib1 -fPIC |
| // RUN: %clangxx_asan -fsanitize-coverage=func -DSHARED %s -shared -o %dynamiclib2 -fPIC |
| // RUN: %clangxx_asan -fsanitize-coverage=func %s %libdl -o %t |
| // RUN: mkdir -p %T/coverage-module-unloaded && cd %T/coverage-module-unloaded |
| // RUN: %env_asan_opts=coverage=1:verbosity=1 %run %t %dynamiclib1 %dynamiclib2 2>&1 | FileCheck %s |
| // RUN: %env_asan_opts=coverage=1:verbosity=1 %run %t %dynamiclib1 %dynamiclib2 foo 2>&1 | FileCheck %s |
| // RUN: rm -r %T/coverage-module-unloaded |
| // |
| // https://code.google.com/p/address-sanitizer/issues/detail?id=263 |
| // XFAIL: android |
| |
| #include <assert.h> |
| #include <dlfcn.h> |
| #include <stdio.h> |
| #include <unistd.h> |
| |
| #ifdef SHARED |
| extern "C" { |
| void bar() { printf("bar\n"); } |
| } |
| #else |
| |
| int main(int argc, char **argv) { |
| fprintf(stderr, "PID: %d\n", getpid()); |
| assert(argc > 2); |
| void *handle1 = dlopen(argv[1], RTLD_LAZY); // %dynamiclib1 |
| assert(handle1); |
| void (*bar1)() = (void (*)())dlsym(handle1, "bar"); |
| assert(bar1); |
| bar1(); |
| void *handle2 = dlopen(argv[2], RTLD_LAZY); // %dynamiclib2 |
| assert(handle2); |
| void (*bar2)() = (void (*)())dlsym(handle2, "bar"); |
| assert(bar2); |
| bar2(); |
| |
| // It matters whether the unloaded module has a higher or lower address range |
| // than the remaining one. Make sure to test both cases. |
| if (argc < 2) |
| dlclose(bar1 < bar2 ? handle1 : handle2); |
| else |
| dlclose(bar1 < bar2 ? handle2 : handle1); |
| return 0; |
| } |
| #endif |
| |
| // CHECK: PID: [[PID:[0-9]+]] |
| // CHECK: [[PID]].sancov: 1 PCs written |
| // CHECK: coverage-module-unloaded{{.*}}1.[[PID]] |
| // CHECK: coverage-module-unloaded{{.*}}2.[[PID]] |
| // Even though we've unloaded one of the libs we still dump the coverage file |
| // for that lib (although the data will be inaccurate, if at all useful) |