]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - contrib/compiler-rt/lib/dfsan/dfsan_flags.inc
MFV r319951: 8311 ZFS_READONLY is a little too strict
[FreeBSD/FreeBSD.git] / contrib / compiler-rt / lib / dfsan / dfsan_flags.inc
1 //===-- dfsan_flags.inc -----------------------------------------*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // DFSan runtime flags.
11 //
12 //===----------------------------------------------------------------------===//
13 #ifndef DFSAN_FLAG
14 # error "Define DFSAN_FLAG prior to including this file!"
15 #endif
16
17 // DFSAN_FLAG(Type, Name, DefaultValue, Description)
18 // See COMMON_FLAG in sanitizer_flags.inc for more details.
19
20 DFSAN_FLAG(bool, warn_unimplemented, true,
21            "Whether to warn on unimplemented functions.")
22 DFSAN_FLAG(bool, warn_nonzero_labels, false,
23            "Whether to warn on unimplemented functions.")
24 DFSAN_FLAG(
25     bool, strict_data_dependencies, true,
26     "Whether to propagate labels only when there is an obvious data dependency"
27     "(e.g., when comparing strings, ignore the fact that the output of the"
28     "comparison might be data-dependent on the content of the strings). This"
29     "applies only to the custom functions defined in 'custom.c'.")
30 DFSAN_FLAG(const char *, dump_labels_at_exit, "", "The path of the file where "
31                                                   "to dump the labels when the "
32                                                   "program terminates.")