2015-01-07 08:38:00 +08:00
|
|
|
//===-- dfsan_flags.inc -----------------------------------------*- C++ -*-===//
|
|
|
|
//
|
2019-01-19 16:50:56 +08:00
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2015-01-07 08:38:00 +08:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// 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.")
|