Changeset View
Changeset View
Standalone View
Standalone View
clang/test/CodeGen/msan-param-retval.c
| // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -no-enable-noundef-analysis -o - %s | \ | // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -no-enable-noundef-analysis -o - %s | \ | ||||
| // RUN: FileCheck %s --check-prefix=CLEAN | // RUN: FileCheck %s --check-prefix=CLEAN | ||||
| // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -o - %s | \ | // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -fno-sanitize-memory-param-retval -o - %s | \ | ||||
| // RUN: FileCheck %s --check-prefixes=NOUNDEF,NOUNDEF_ONLY | // RUN: FileCheck %s --check-prefixes=NOUNDEF,NOUNDEF_ONLY | ||||
| // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -mllvm -msan-eager-checks -o - %s | \ | // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -mllvm -msan-eager-checks -o - %s | \ | ||||
| // RUN: FileCheck %s --check-prefixes=NOUNDEF,EAGER | // RUN: FileCheck %s --check-prefixes=NOUNDEF,EAGER | ||||
| // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -no-enable-noundef-analysis -fsanitize-memory-param-retval -o - %s | \ | // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -no-enable-noundef-analysis -fsanitize-memory-param-retval -o - %s | \ | ||||
| // RUN: FileCheck %s --check-prefixes=CLEAN | // RUN: FileCheck %s --check-prefixes=CLEAN | ||||
| // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -fsanitize-memory-param-retval -o - %s | \ | // RUN: %clang_cc1 -triple x86_64-linux-gnu -S -emit-llvm -fsanitize=memory -o - %s | \ | ||||
| // RUN: FileCheck %s --check-prefixes=NOUNDEF,EAGER | // RUN: FileCheck %s --check-prefixes=NOUNDEF,EAGER | ||||
| void bar(int x) { | void bar(int x) { | ||||
| } | } | ||||
| // CLEAN: define dso_local void @bar(i32 %x) #0 { | // CLEAN: define dso_local void @bar(i32 %x) #0 { | ||||
| // NOUNDEF: define dso_local void @bar(i32 noundef %x) #0 { | // NOUNDEF: define dso_local void @bar(i32 noundef %x) #0 { | ||||
| // CLEAN: @__msan_param_tls | // CLEAN: @__msan_param_tls | ||||
| // NOUNDEF_ONLY: @__msan_param_tls | // NOUNDEF_ONLY: @__msan_param_tls | ||||
| // EAGER-NOT: @__msan_param_tls | // EAGER-NOT: @__msan_param_tls | ||||
| No newline at end of file | No newline at end of file | ||||