// RUN: %clang_tysan -O0 %s -o %t && %run %t >%t.out 2>&1 && FileCheck --check-prefix=CHECK-SANITIZED %s < %t.out
// RUN: %clang_tysan -DNOSAN -O0 %s -o %t && %run %t >%t.out 2>&1 && FileCheck --check-prefix=CHECK-NOSAN %s < %t.out
// RUN: %clang -O0 %s -o %t && %run %t >%t.out 2>&1 && FileCheck --check-prefix=CHECK-SIMPLE %s < %t.out

#include <stdio.h>

#if __has_feature(type_sanitizer)

#  ifdef NOSAN
__attribute__((no_sanitize("type")))
#  endif
int main(){

  int value = 42;
  printf("As float: %f\n", *(float *)&value);
  // CHECK-SANITIZED: ERROR: TypeSanitizer
  // CHECK-NOSAN-NOT: ERROR: TypeSanitizer

  return 0;
}

#else

int main() {
  printf("Nothing interesting here\n");
  return 0;
}
// CHECK-SIMPLE: Nothing interesting here

#endif