huangcm
2025-02-24 69ed55dec4b2116a19e4cca4393cbc014fce5fb2
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// RUN: %clangxx_msan -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
 
#include <assert.h>
#include <dlfcn.h>
#include <stdlib.h>
 
static int my_global;
 
int main(void) {
  int *uninit = (int*)malloc(sizeof(int));
  my_global = *uninit;
  void *p = dlopen(0, RTLD_NOW);
  assert(p && "failed to get handle to executable");
  return my_global;
  // CHECK: MemorySanitizer: use-of-uninitialized-value
  // CHECK: #0 {{.*}} in main{{.*}}dlopen_executable.cc:[[@LINE-2]]
}