// RUN: %clang_min_runtime -fsanitize=null %s -o %t && %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK

void f(int &n) {}

int *t;

int main() {
  // CHECK: ubsan: type-mismatch by 0x{{[[:xdigit:]]+}}
  // CHECK-NOT: type-mismatch
  f(*t);
}