Searched refs:DeprecatedReplacement (Results 1 – 1 of 1) sorted by relevance
310 const char *DeprecatedReplacement = nullptr; in SanitizerArgs() local312 DeprecatedReplacement = "-fsanitize-recover=undefined,integer"; in SanitizerArgs()316 DeprecatedReplacement = "-fno-sanitize-recover=undefined,integer"; in SanitizerArgs()337 if (DeprecatedReplacement) { in SanitizerArgs()339 << DeprecatedReplacement; in SanitizerArgs()