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
20DFSAN_FLAG(bool, warn_unimplemented, true,
21           "Whether to warn on unimplemented functions.")
22DFSAN_FLAG(bool, warn_nonzero_labels, false,
23           "Whether to warn on unimplemented functions.")
24DFSAN_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'.")
30DFSAN_FLAG(const char *, dump_labels_at_exit, "", "The path of the file where "
31                                                  "to dump the labels when the "
32                                                  "program terminates.")
33