33 lines
1.4 KiB
C++
33 lines
1.4 KiB
C++
//===-- dfsan_flags.inc -----------------------------------------*- C++ -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// DFSan runtime flags.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
#ifndef DFSAN_FLAG
|
|
# error "Define DFSAN_FLAG prior to including this file!"
|
|
#endif
|
|
|
|
// DFSAN_FLAG(Type, Name, DefaultValue, Description)
|
|
// See COMMON_FLAG in sanitizer_flags.inc for more details.
|
|
|
|
DFSAN_FLAG(bool, warn_unimplemented, true,
|
|
"Whether to warn on unimplemented functions.")
|
|
DFSAN_FLAG(bool, warn_nonzero_labels, false,
|
|
"Whether to warn on unimplemented functions.")
|
|
DFSAN_FLAG(
|
|
bool, strict_data_dependencies, true,
|
|
"Whether to propagate labels only when there is an obvious data dependency"
|
|
"(e.g., when comparing strings, ignore the fact that the output of the"
|
|
"comparison might be data-dependent on the content of the strings). This"
|
|
"applies only to the custom functions defined in 'custom.c'.")
|
|
DFSAN_FLAG(const char *, dump_labels_at_exit, "", "The path of the file where "
|
|
"to dump the labels when the "
|
|
"program terminates.")
|