This is an archive of the discontinued LLVM Phabricator instance.

Differential D116064

[WIP] Test for noundef ignore list
Changes PlannedPublic

Authored by vitalybuka on Dec 20 2021, 5:16 PM.

Details

Reviewers
kda

Diff Detail

Unit TestsFailed

TimeTest
130 msx64 debian > Clang.CodeGen::attr-noundef-no-sanitize.cpp
60 msx64 debian > LLVM.Bindings/Go::go.test

Event Timeline

vitalybuka requested review of this revision.Dec 20 2021, 5:16 PM
vitalybuka created this revision.
Herald added a project: Restricted Project. · View Herald TranscriptDec 20 2021, 5:16 PM
Herald added a subscriber: cfe-commits. · View Herald Transcript
vitalybuka added a child revision: D116066: [WIP] Ignore list for noundef.Dec 20 2021, 5:16 PM
vitalybuka planned changes to this revision.Dec 20 2021, 5:19 PM
Harbormaster completed remote builds in B140160: Diff 395555.Dec 20 2021, 5:54 PM
kda accepted this revision.Jan 5 2022, 1:50 PM

Revision Contents

PathSize
clang/
test/
CodeGen/
32 lines

Diff 395555

clang/test/CodeGen/attr-noundef-no-sanitize.cpp

  • This file was added.
// RUN: %clang -cc1 -triple x86_64-gnu-linux -x c++ -S -emit-llvm -enable-noundef-analysis -fsanitize=memory %s -o - | FileCheck %s --check-prefixes=CHECK,NOUNDEF
// RUN: %clang -cc1 -triple aarch64-gnu-linux -x c++ -S -emit-llvm -enable-noundef-analysis -fsanitize=memory %s -o - | FileCheck %s --check-prefixes=CHECK,NOUNDEF
// RUN: %clang -cc1 -triple x86_64-gnu-linux -x c++ -S -emit-llvm -enable-noundef-analysis -fsanitize=memory -fsanitize-ignorelist=%S/Inputs/sanitizer-special-case-list.sanitized.txt %s -o - | FileCheck %s --check-prefixes=CHECK,IGNORE
// RUN: %clang -cc1 -triple aarch64-gnu-linux -x c++ -S -emit-llvm -enable-noundef-analysis -fsanitize=memory -fsanitize-ignorelist=%S/Inputs/sanitizer-special-case-list.sanitized.txt %s -o - | FileCheck %s --check-prefixes=CHECK,IGNORE
int ret_trivial() { return {}; }
// CHECK: define dso_local noundef i32 @{{.*}}ret_trivial{{.*}}(
void pass_trivial(int e) {}
// CHECK: define dso_local void @{{.*}}pass_trivial{{.*}}(i32 noundef %
void call_trivial() {
pass_trivial(ret_trivial());
// CHECK: call noundef i32 @{{.*}}ret_trivial{{.*}}(
// CHECK: call void @{{.*}}pass_trivial{{.*}}(i32 noundef %
}
int ret_ignored() { return {}; }
// NOUNDEF: define dso_local noundef i32 @{{.*}}ret_ignored{{.*}}(
// IGNORE: define dso_local i32 @{{.*}}ret_ignored{{.*}}(
void pass_ignored(int e) {}
// NOUNDEF: define dso_local void @{{.*}}pass_ignored{{.*}}(i32 noundef %
// IGNORE: define dso_local void @{{.*}}pass_ignored{{.*}}(i32 %
void call_ignored() {
pass_ignored(ret_ignored());
// NOUNDEF: call noundef i32 @{{.*}}ret_ignored{{.*}}(
// IGNORE: call i32 @{{.*}}ret_ignored{{.*}}(
// NOUNDEF: call void @{{.*}}pass_ignored{{.*}}(i32 noundef %
// IGNORE: call void @{{.*}}pass_ignored{{.*}}(i32 %
}