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