blob: 82ac2b0258c754b836d11f8b0f23b940b32835ca [file] [log] [blame]
Alexey Samsonovcf055962013-08-08 10:11:02 +00001//===--- SanitizerArgs.cpp - Arguments for sanitizer tools ---------------===//
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//===----------------------------------------------------------------------===//
Alexey Samsonov609213f92013-08-19 09:14:21 +00009#include "clang/Driver/SanitizerArgs.h"
Peter Collingbourne581f4382015-07-02 01:48:12 +000010#include "Tools.h"
Peter Collingbournebf59c342015-05-11 21:39:20 +000011#include "clang/Basic/Sanitizers.h"
Alexey Samsonovcf055962013-08-08 10:11:02 +000012#include "clang/Driver/Driver.h"
13#include "clang/Driver/DriverDiagnostic.h"
14#include "clang/Driver/Options.h"
15#include "clang/Driver/ToolChain.h"
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +000016#include "llvm/ADT/StringExtras.h"
Alexey Samsonovcf055962013-08-08 10:11:02 +000017#include "llvm/ADT/StringSwitch.h"
18#include "llvm/Support/FileSystem.h"
19#include "llvm/Support/Path.h"
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000020#include "llvm/Support/SpecialCaseList.h"
Ahmed Charlesdfca6f92014-03-09 11:36:40 +000021#include <memory>
Alexey Samsonovcf055962013-08-08 10:11:02 +000022
Peter Collingbourne3eea6772015-05-11 21:39:14 +000023using namespace clang;
24using namespace clang::SanitizerKind;
Alexey Samsonovcf055962013-08-08 10:11:02 +000025using namespace clang::driver;
26using namespace llvm::opt;
27
Peter Collingbourne3eea6772015-05-11 21:39:14 +000028enum : SanitizerMask {
Peter Collingbourne6708c4a2015-06-19 01:51:54 +000029 NeedsUbsanRt = Undefined | Integer | CFI,
Alexey Samsonov9b873092015-06-25 23:14:32 +000030 NeedsUbsanCxxRt = Vptr | CFI,
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000031 NotAllowedWithTrap = Vptr,
Evgeniy Stepanov71554fe2015-10-21 21:28:49 +000032 RequiresPIE = DataFlow,
Kostya Serebryany2d88f3d2015-01-06 01:02:48 +000033 NeedsUnwindTables = Address | Thread | Memory | DataFlow,
Kostya Serebryany6fe5fcb2015-03-20 00:06:52 +000034 SupportsCoverage = Address | Memory | Leak | Undefined | Integer | DataFlow,
Alexey Samsonov88459522015-01-12 22:39:12 +000035 RecoverableByDefault = Undefined | Integer,
Yury Gribov5bfeca12015-11-11 10:45:48 +000036 Unrecoverable = Unreachable | Return,
Peter Collingbournea4ccff32015-02-20 20:30:56 +000037 LegacyFsanitizeRecoverMask = Undefined | Integer,
Peter Collingbourne1a7488a2015-04-02 00:23:30 +000038 NeedsLTO = CFI,
Peter Collingbourne9881b782015-06-18 23:59:22 +000039 TrappingSupported =
Peter Collingbourne6708c4a2015-06-19 01:51:54 +000040 (Undefined & ~Vptr) | UnsignedIntegerOverflow | LocalBounds | CFI,
41 TrappingDefault = CFI,
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000042};
Alexey Samsonovdfa908c2015-05-07 22:34:06 +000043
44enum CoverageFeature {
45 CoverageFunc = 1 << 0,
46 CoverageBB = 1 << 1,
47 CoverageEdge = 1 << 2,
48 CoverageIndirCall = 1 << 3,
49 CoverageTraceBB = 1 << 4,
50 CoverageTraceCmp = 1 << 5,
51 Coverage8bitCounters = 1 << 6,
52};
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000053
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000054/// Parse a -fsanitize= or -fno-sanitize= argument's values, diagnosing any
Peter Collingbourne3eea6772015-05-11 21:39:14 +000055/// invalid components. Returns a SanitizerMask.
56static SanitizerMask parseArgValues(const Driver &D, const llvm::opt::Arg *A,
57 bool DiagnoseErrors);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000058
Alexey Samsonovdfa908c2015-05-07 22:34:06 +000059/// Parse -f(no-)?sanitize-coverage= flag values, diagnosing any invalid
60/// components. Returns OR of members of \c CoverageFeature enumeration.
61static int parseCoverageFeatures(const Driver &D, const llvm::opt::Arg *A);
62
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000063/// Produce an argument string from ArgList \p Args, which shows how it
64/// provides some sanitizer kind from \p Mask. For example, the argument list
65/// "-fsanitize=thread,vptr -fsanitize=address" with mask \c NeedsUbsanRt
66/// would produce "-fsanitize=vptr".
67static std::string lastArgumentForMask(const Driver &D,
68 const llvm::opt::ArgList &Args,
Peter Collingbourne3eea6772015-05-11 21:39:14 +000069 SanitizerMask Mask);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000070
71/// Produce an argument string from argument \p A, which shows how it provides
72/// a value in \p Mask. For instance, the argument
73/// "-fsanitize=address,alignment" with mask \c NeedsUbsanRt would produce
74/// "-fsanitize=alignment".
Peter Collingbourne3eea6772015-05-11 21:39:14 +000075static std::string describeSanitizeArg(const llvm::opt::Arg *A,
76 SanitizerMask Mask);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000077
Alexey Samsonov1e715a62014-11-16 20:53:53 +000078/// Produce a string containing comma-separated names of sanitizers in \p
79/// Sanitizers set.
80static std::string toString(const clang::SanitizerSet &Sanitizers);
81
Peter Collingbourne3eea6772015-05-11 21:39:14 +000082static bool getDefaultBlacklist(const Driver &D, SanitizerMask Kinds,
Alexey Samsonovecf380e2015-03-20 18:45:06 +000083 std::string &BLPath) {
84 const char *BlacklistFile = nullptr;
Peter Collingbourne3eea6772015-05-11 21:39:14 +000085 if (Kinds & Address)
Alexey Samsonovecf380e2015-03-20 18:45:06 +000086 BlacklistFile = "asan_blacklist.txt";
Peter Collingbourne3eea6772015-05-11 21:39:14 +000087 else if (Kinds & Memory)
Alexey Samsonovecf380e2015-03-20 18:45:06 +000088 BlacklistFile = "msan_blacklist.txt";
Peter Collingbourne3eea6772015-05-11 21:39:14 +000089 else if (Kinds & Thread)
Alexey Samsonovecf380e2015-03-20 18:45:06 +000090 BlacklistFile = "tsan_blacklist.txt";
Peter Collingbourne3eea6772015-05-11 21:39:14 +000091 else if (Kinds & DataFlow)
Alexey Samsonovecf380e2015-03-20 18:45:06 +000092 BlacklistFile = "dfsan_abilist.txt";
Peter Collingbourne6fccf952015-07-15 12:15:56 +000093 else if (Kinds & CFI)
94 BlacklistFile = "cfi_blacklist.txt";
Alexey Samsonovecf380e2015-03-20 18:45:06 +000095
96 if (BlacklistFile) {
97 clang::SmallString<64> Path(D.ResourceDir);
98 llvm::sys::path::append(Path, BlacklistFile);
99 BLPath = Path.str();
100 return true;
101 }
102 return false;
103}
104
Peter Collingbourne9881b782015-06-18 23:59:22 +0000105/// Sets group bits for every group that has at least one representative already
106/// enabled in \p Kinds.
107static SanitizerMask setGroupBits(SanitizerMask Kinds) {
108#define SANITIZER(NAME, ID)
109#define SANITIZER_GROUP(NAME, ID, ALIAS) \
110 if (Kinds & SanitizerKind::ID) \
111 Kinds |= SanitizerKind::ID##Group;
112#include "clang/Basic/Sanitizers.def"
113 return Kinds;
114}
115
116static SanitizerMask parseSanitizeTrapArgs(const Driver &D,
117 const llvm::opt::ArgList &Args) {
118 SanitizerMask TrapRemove = 0; // During the loop below, the accumulated set of
119 // sanitizers disabled by the current sanitizer
120 // argument or any argument after it.
121 SanitizerMask TrappingKinds = 0;
122 SanitizerMask TrappingSupportedWithGroups = setGroupBits(TrappingSupported);
123
124 for (ArgList::const_reverse_iterator I = Args.rbegin(), E = Args.rend();
125 I != E; ++I) {
126 const auto *Arg = *I;
127 if (Arg->getOption().matches(options::OPT_fsanitize_trap_EQ)) {
128 Arg->claim();
129 SanitizerMask Add = parseArgValues(D, Arg, true);
130 Add &= ~TrapRemove;
131 if (SanitizerMask InvalidValues = Add & ~TrappingSupportedWithGroups) {
132 SanitizerSet S;
133 S.Mask = InvalidValues;
134 D.Diag(diag::err_drv_unsupported_option_argument) << "-fsanitize-trap"
135 << toString(S);
136 }
137 TrappingKinds |= expandSanitizerGroups(Add) & ~TrapRemove;
138 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_trap_EQ)) {
139 Arg->claim();
140 TrapRemove |= expandSanitizerGroups(parseArgValues(D, Arg, true));
141 } else if (Arg->getOption().matches(
142 options::OPT_fsanitize_undefined_trap_on_error)) {
143 Arg->claim();
144 TrappingKinds |=
145 expandSanitizerGroups(UndefinedGroup & ~TrapRemove) & ~TrapRemove;
146 } else if (Arg->getOption().matches(
147 options::OPT_fno_sanitize_undefined_trap_on_error)) {
148 Arg->claim();
149 TrapRemove |= expandSanitizerGroups(UndefinedGroup);
150 }
151 }
152
Peter Collingbourne6708c4a2015-06-19 01:51:54 +0000153 // Apply default trapping behavior.
154 TrappingKinds |= TrappingDefault & ~TrapRemove;
155
Peter Collingbourne9881b782015-06-18 23:59:22 +0000156 return TrappingKinds;
157}
158
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000159bool SanitizerArgs::needsUbsanRt() const {
Peter Collingbourne9881b782015-06-18 23:59:22 +0000160 return (Sanitizers.Mask & NeedsUbsanRt & ~TrapSanitizers.Mask) &&
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000161 !Sanitizers.has(Address) &&
162 !Sanitizers.has(Memory) &&
Evgeniy Stepanovfd6f92d2015-12-15 23:00:20 +0000163 !Sanitizers.has(Thread) &&
164 !CfiCrossDso;
165}
166
167bool SanitizerArgs::needsCfiRt() const {
168 return CfiCrossDso;
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000169}
170
Dmitry Vyukov43419a72014-11-21 12:19:01 +0000171bool SanitizerArgs::requiresPIE() const {
Evgeniy Stepanov71554fe2015-10-21 21:28:49 +0000172 return NeedPIE || (Sanitizers.Mask & RequiresPIE);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000173}
174
175bool SanitizerArgs::needsUnwindTables() const {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000176 return Sanitizers.Mask & NeedsUnwindTables;
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000177}
178
Alexey Samsonovbb14f342013-08-08 11:32:17 +0000179void SanitizerArgs::clear() {
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000180 Sanitizers.clear();
Alexey Samsonov88459522015-01-12 22:39:12 +0000181 RecoverableSanitizers.clear();
Peter Collingbourne9881b782015-06-18 23:59:22 +0000182 TrapSanitizers.clear();
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000183 BlacklistFiles.clear();
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000184 ExtraDeps.clear();
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000185 CoverageFeatures = 0;
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000186 MsanTrackOrigins = 0;
Evgeniy Stepanov45be9e02015-07-10 20:07:16 +0000187 MsanUseAfterDtor = false;
Evgeniy Stepanov71554fe2015-10-21 21:28:49 +0000188 NeedPIE = false;
Kostya Serebryanyaed71a82014-10-09 17:53:04 +0000189 AsanFieldPadding = 0;
Alexey Samsonovbdfa6c22014-04-01 13:31:10 +0000190 AsanSharedRuntime = false;
Alexey Samsonov90490af2014-08-08 22:47:17 +0000191 LinkCXXRuntimes = false;
Evgeniy Stepanovfd6f92d2015-12-15 23:00:20 +0000192 CfiCrossDso = false;
Alexey Samsonovbb14f342013-08-08 11:32:17 +0000193}
Alexey Samsonovcf055962013-08-08 10:11:02 +0000194
Peter Collingbourne32701642013-11-01 18:16:25 +0000195SanitizerArgs::SanitizerArgs(const ToolChain &TC,
196 const llvm::opt::ArgList &Args) {
Alexey Samsonovbb14f342013-08-08 11:32:17 +0000197 clear();
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000198 SanitizerMask AllRemove = 0; // During the loop below, the accumulated set of
199 // sanitizers disabled by the current sanitizer
200 // argument or any argument after it.
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000201 SanitizerMask AllAddedKinds = 0; // Mask of all sanitizers ever enabled by
202 // -fsanitize= flags (directly or via group
203 // expansion), some of which may be disabled
204 // later. Used to carefully prune
205 // unused-argument diagnostics.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000206 SanitizerMask DiagnosedKinds = 0; // All Kinds we have diagnosed up to now.
207 // Used to deduplicate diagnostics.
208 SanitizerMask Kinds = 0;
Alexey Samsonov9b873092015-06-25 23:14:32 +0000209 const SanitizerMask Supported = setGroupBits(TC.getSupportedSanitizers());
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000210 ToolChain::RTTIMode RTTIMode = TC.getRTTIMode();
211
Peter Collingbourne32701642013-11-01 18:16:25 +0000212 const Driver &D = TC.getDriver();
Peter Collingbourne9881b782015-06-18 23:59:22 +0000213 SanitizerMask TrappingKinds = parseSanitizeTrapArgs(D, Args);
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000214 SanitizerMask InvalidTrappingKinds = TrappingKinds & NotAllowedWithTrap;
Peter Collingbourne9881b782015-06-18 23:59:22 +0000215
Peter Collingbourne32701642013-11-01 18:16:25 +0000216 for (ArgList::const_reverse_iterator I = Args.rbegin(), E = Args.rend();
217 I != E; ++I) {
Alexey Samsonov799f7932014-12-19 02:35:16 +0000218 const auto *Arg = *I;
219 if (Arg->getOption().matches(options::OPT_fsanitize_EQ)) {
220 Arg->claim();
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000221 SanitizerMask Add = parseArgValues(D, Arg, true);
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000222 AllAddedKinds |= expandSanitizerGroups(Add);
Peter Collingbourne32701642013-11-01 18:16:25 +0000223
Alexey Samsonov799f7932014-12-19 02:35:16 +0000224 // Avoid diagnosing any sanitizer which is disabled later.
225 Add &= ~AllRemove;
226 // At this point we have not expanded groups, so any unsupported
227 // sanitizers in Add are those which have been explicitly enabled.
228 // Diagnose them.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000229 if (SanitizerMask KindsToDiagnose =
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000230 Add & InvalidTrappingKinds & ~DiagnosedKinds) {
Peter Collingbourne9881b782015-06-18 23:59:22 +0000231 std::string Desc = describeSanitizeArg(*I, KindsToDiagnose);
232 D.Diag(diag::err_drv_argument_not_allowed_with)
233 << Desc << "-fsanitize-trap=undefined";
234 DiagnosedKinds |= KindsToDiagnose;
Peter Collingbourne9881b782015-06-18 23:59:22 +0000235 }
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000236 Add &= ~InvalidTrappingKinds;
237 if (SanitizerMask KindsToDiagnose = Add & ~Supported & ~DiagnosedKinds) {
Alexey Samsonov799f7932014-12-19 02:35:16 +0000238 std::string Desc = describeSanitizeArg(*I, KindsToDiagnose);
239 D.Diag(diag::err_drv_unsupported_opt_for_target)
240 << Desc << TC.getTriple().str();
241 DiagnosedKinds |= KindsToDiagnose;
242 }
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000243 Add &= Supported;
Peter Collingbourne32701642013-11-01 18:16:25 +0000244
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000245 // Test for -fno-rtti + explicit -fsanitizer=vptr before expanding groups
246 // so we don't error out if -fno-rtti and -fsanitize=undefined were
247 // passed.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000248 if (Add & Vptr &&
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000249 (RTTIMode == ToolChain::RM_DisabledImplicitly ||
250 RTTIMode == ToolChain::RM_DisabledExplicitly)) {
251 if (RTTIMode == ToolChain::RM_DisabledImplicitly)
252 // Warn about not having rtti enabled if the vptr sanitizer is
253 // explicitly enabled
254 D.Diag(diag::warn_drv_disabling_vptr_no_rtti_default);
255 else {
256 const llvm::opt::Arg *NoRTTIArg = TC.getRTTIArg();
257 assert(NoRTTIArg &&
258 "RTTI disabled explicitly but we have no argument!");
259 D.Diag(diag::err_drv_argument_not_allowed_with)
260 << "-fsanitize=vptr" << NoRTTIArg->getAsString(Args);
261 }
262
263 // Take out the Vptr sanitizer from the enabled sanitizers
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000264 AllRemove |= Vptr;
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000265 }
266
Peter Collingbournebf59c342015-05-11 21:39:20 +0000267 Add = expandSanitizerGroups(Add);
Alexey Samsonov799f7932014-12-19 02:35:16 +0000268 // Group expansion may have enabled a sanitizer which is disabled later.
269 Add &= ~AllRemove;
270 // Silently discard any unsupported sanitizers implicitly enabled through
271 // group expansion.
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000272 Add &= ~InvalidTrappingKinds;
273 Add &= Supported;
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000274
Alexey Samsonov799f7932014-12-19 02:35:16 +0000275 Kinds |= Add;
276 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_EQ)) {
277 Arg->claim();
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000278 SanitizerMask Remove = parseArgValues(D, Arg, true);
Peter Collingbournebf59c342015-05-11 21:39:20 +0000279 AllRemove |= expandSanitizerGroups(Remove);
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000280 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000281 }
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000282
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000283 // We disable the vptr sanitizer if it was enabled by group expansion but RTTI
284 // is disabled.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000285 if ((Kinds & Vptr) &&
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000286 (RTTIMode == ToolChain::RM_DisabledImplicitly ||
287 RTTIMode == ToolChain::RM_DisabledExplicitly)) {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000288 Kinds &= ~Vptr;
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000289 }
290
Alexey Samsonov907880e2015-06-19 19:57:46 +0000291 // Check that LTO is enabled if we need it.
Teresa Johnson945bc502015-10-15 20:35:53 +0000292 if ((Kinds & NeedsLTO) && !D.isUsingLTO()) {
Alexey Samsonov907880e2015-06-19 19:57:46 +0000293 D.Diag(diag::err_drv_argument_only_allowed_with)
294 << lastArgumentForMask(D, Args, Kinds & NeedsLTO) << "-flto";
295 }
296
Alexey Samsonov9b873092015-06-25 23:14:32 +0000297 // Report error if there are non-trapping sanitizers that require
298 // c++abi-specific parts of UBSan runtime, and they are not provided by the
299 // toolchain. We don't have a good way to check the latter, so we just
300 // check if the toolchan supports vptr.
301 if (~Supported & Vptr) {
Peter Collingbourne4bdceaa2015-07-08 21:08:05 +0000302 SanitizerMask KindsToDiagnose = Kinds & ~TrappingKinds & NeedsUbsanCxxRt;
303 // The runtime library supports the Microsoft C++ ABI, but only well enough
304 // for CFI. FIXME: Remove this once we support vptr on Windows.
305 if (TC.getTriple().isOSWindows())
306 KindsToDiagnose &= ~CFI;
307 if (KindsToDiagnose) {
Alexey Samsonov9b873092015-06-25 23:14:32 +0000308 SanitizerSet S;
309 S.Mask = KindsToDiagnose;
310 D.Diag(diag::err_drv_unsupported_opt_for_target)
311 << ("-fno-sanitize-trap=" + toString(S)) << TC.getTriple().str();
312 Kinds &= ~KindsToDiagnose;
313 }
314 }
315
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000316 // Warn about incompatible groups of sanitizers.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000317 std::pair<SanitizerMask, SanitizerMask> IncompatibleGroups[] = {
318 std::make_pair(Address, Thread), std::make_pair(Address, Memory),
319 std::make_pair(Thread, Memory), std::make_pair(Leak, Thread),
Alexander Potapenkob9b73ef2015-06-19 12:19:07 +0000320 std::make_pair(Leak, Memory), std::make_pair(KernelAddress, Address),
321 std::make_pair(KernelAddress, Leak),
322 std::make_pair(KernelAddress, Thread),
323 std::make_pair(KernelAddress, Memory)};
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000324 for (auto G : IncompatibleGroups) {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000325 SanitizerMask Group = G.first;
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000326 if (Kinds & Group) {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000327 if (SanitizerMask Incompatible = Kinds & G.second) {
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000328 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
329 << lastArgumentForMask(D, Args, Group)
330 << lastArgumentForMask(D, Args, Incompatible);
331 Kinds &= ~Incompatible;
332 }
333 }
334 }
335 // FIXME: Currently -fsanitize=leak is silently ignored in the presence of
336 // -fsanitize=address. Perhaps it should print an error, or perhaps
337 // -f(-no)sanitize=leak should change whether leak detection is enabled by
338 // default in ASan?
339
Alexey Samsonov88459522015-01-12 22:39:12 +0000340 // Parse -f(no-)?sanitize-recover flags.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000341 SanitizerMask RecoverableKinds = RecoverableByDefault;
342 SanitizerMask DiagnosedUnrecoverableKinds = 0;
Alexey Samsonov88459522015-01-12 22:39:12 +0000343 for (const auto *Arg : Args) {
Alexey Samsonovce2e77c2015-03-11 23:34:25 +0000344 const char *DeprecatedReplacement = nullptr;
Alexey Samsonov88459522015-01-12 22:39:12 +0000345 if (Arg->getOption().matches(options::OPT_fsanitize_recover)) {
Alexey Samsonovce2e77c2015-03-11 23:34:25 +0000346 DeprecatedReplacement = "-fsanitize-recover=undefined,integer";
Peter Collingbournebf59c342015-05-11 21:39:20 +0000347 RecoverableKinds |= expandSanitizerGroups(LegacyFsanitizeRecoverMask);
Alexey Samsonov88459522015-01-12 22:39:12 +0000348 Arg->claim();
349 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_recover)) {
Alexey Samsonovce2e77c2015-03-11 23:34:25 +0000350 DeprecatedReplacement = "-fno-sanitize-recover=undefined,integer";
Peter Collingbournebf59c342015-05-11 21:39:20 +0000351 RecoverableKinds &= ~expandSanitizerGroups(LegacyFsanitizeRecoverMask);
Alexey Samsonov88459522015-01-12 22:39:12 +0000352 Arg->claim();
353 } else if (Arg->getOption().matches(options::OPT_fsanitize_recover_EQ)) {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000354 SanitizerMask Add = parseArgValues(D, Arg, true);
Alexey Samsonov88459522015-01-12 22:39:12 +0000355 // Report error if user explicitly tries to recover from unrecoverable
356 // sanitizer.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000357 if (SanitizerMask KindsToDiagnose =
Alexey Samsonov88459522015-01-12 22:39:12 +0000358 Add & Unrecoverable & ~DiagnosedUnrecoverableKinds) {
359 SanitizerSet SetToDiagnose;
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000360 SetToDiagnose.Mask |= KindsToDiagnose;
Alexey Samsonov88459522015-01-12 22:39:12 +0000361 D.Diag(diag::err_drv_unsupported_option_argument)
362 << Arg->getOption().getName() << toString(SetToDiagnose);
363 DiagnosedUnrecoverableKinds |= KindsToDiagnose;
364 }
Peter Collingbournebf59c342015-05-11 21:39:20 +0000365 RecoverableKinds |= expandSanitizerGroups(Add);
Alexey Samsonov88459522015-01-12 22:39:12 +0000366 Arg->claim();
367 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_recover_EQ)) {
Peter Collingbournebf59c342015-05-11 21:39:20 +0000368 RecoverableKinds &= ~expandSanitizerGroups(parseArgValues(D, Arg, true));
Alexey Samsonov88459522015-01-12 22:39:12 +0000369 Arg->claim();
370 }
Alexey Samsonovce2e77c2015-03-11 23:34:25 +0000371 if (DeprecatedReplacement) {
372 D.Diag(diag::warn_drv_deprecated_arg) << Arg->getAsString(Args)
373 << DeprecatedReplacement;
374 }
Alexey Samsonov88459522015-01-12 22:39:12 +0000375 }
376 RecoverableKinds &= Kinds;
377 RecoverableKinds &= ~Unrecoverable;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000378
Peter Collingbourne9881b782015-06-18 23:59:22 +0000379 TrappingKinds &= Kinds;
380
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000381 // Setup blacklist files.
382 // Add default blacklist from resource directory.
383 {
Alexey Samsonovcf055962013-08-08 10:11:02 +0000384 std::string BLPath;
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000385 if (getDefaultBlacklist(D, Kinds, BLPath) && llvm::sys::fs::exists(BLPath))
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000386 BlacklistFiles.push_back(BLPath);
387 }
388 // Parse -f(no-)sanitize-blacklist options.
389 for (const auto *Arg : Args) {
390 if (Arg->getOption().matches(options::OPT_fsanitize_blacklist)) {
391 Arg->claim();
392 std::string BLPath = Arg->getValue();
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000393 if (llvm::sys::fs::exists(BLPath)) {
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000394 BlacklistFiles.push_back(BLPath);
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000395 ExtraDeps.push_back(BLPath);
396 } else
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000397 D.Diag(clang::diag::err_drv_no_such_file) << BLPath;
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000398
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000399 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_blacklist)) {
400 Arg->claim();
401 BlacklistFiles.clear();
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000402 ExtraDeps.clear();
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000403 }
404 }
405 // Validate blacklists format.
406 {
407 std::string BLError;
408 std::unique_ptr<llvm::SpecialCaseList> SCL(
409 llvm::SpecialCaseList::create(BlacklistFiles, BLError));
410 if (!SCL.get())
411 D.Diag(clang::diag::err_drv_malformed_sanitizer_blacklist) << BLError;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000412 }
413
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000414 // Parse -f[no-]sanitize-memory-track-origins[=level] options.
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000415 if (AllAddedKinds & Memory) {
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000416 if (Arg *A =
417 Args.getLastArg(options::OPT_fsanitize_memory_track_origins_EQ,
418 options::OPT_fsanitize_memory_track_origins,
419 options::OPT_fno_sanitize_memory_track_origins)) {
420 if (A->getOption().matches(options::OPT_fsanitize_memory_track_origins)) {
Evgeniy Stepanov6e09bca2015-02-26 15:59:30 +0000421 MsanTrackOrigins = 2;
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000422 } else if (A->getOption().matches(
423 options::OPT_fno_sanitize_memory_track_origins)) {
424 MsanTrackOrigins = 0;
425 } else {
426 StringRef S = A->getValue();
427 if (S.getAsInteger(0, MsanTrackOrigins) || MsanTrackOrigins < 0 ||
428 MsanTrackOrigins > 2) {
Nico Weberf2a39a72015-04-13 20:03:03 +0000429 D.Diag(clang::diag::err_drv_invalid_value) << A->getAsString(Args) << S;
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000430 }
431 }
432 }
Evgeniy Stepanov71554fe2015-10-21 21:28:49 +0000433 MsanUseAfterDtor =
434 Args.hasArg(options::OPT_fsanitize_memory_use_after_dtor);
435 NeedPIE |= !(TC.getTriple().isOSLinux() &&
436 TC.getTriple().getArch() == llvm::Triple::x86_64);
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000437 }
438
Evgeniy Stepanovfd6f92d2015-12-15 23:00:20 +0000439 if (AllAddedKinds & CFI) {
440 CfiCrossDso = Args.hasFlag(options::OPT_fsanitize_cfi_cross_dso,
441 options::OPT_fno_sanitize_cfi_cross_dso, false);
442 // Without PIE, external function address may resolve to a PLT record, which
443 // can not be verified by the target module.
444 NeedPIE |= CfiCrossDso;
445 }
446
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000447 // Parse -f(no-)?sanitize-coverage flags if coverage is supported by the
448 // enabled sanitizers.
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000449 if (AllAddedKinds & SupportsCoverage) {
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000450 for (const auto *Arg : Args) {
451 if (Arg->getOption().matches(options::OPT_fsanitize_coverage)) {
452 Arg->claim();
453 int LegacySanitizeCoverage;
454 if (Arg->getNumValues() == 1 &&
455 !StringRef(Arg->getValue(0))
456 .getAsInteger(0, LegacySanitizeCoverage) &&
457 LegacySanitizeCoverage >= 0 && LegacySanitizeCoverage <= 4) {
458 // TODO: Add deprecation notice for this form.
459 switch (LegacySanitizeCoverage) {
460 case 0:
461 CoverageFeatures = 0;
462 break;
463 case 1:
464 CoverageFeatures = CoverageFunc;
465 break;
466 case 2:
467 CoverageFeatures = CoverageBB;
468 break;
469 case 3:
470 CoverageFeatures = CoverageEdge;
471 break;
472 case 4:
473 CoverageFeatures = CoverageEdge | CoverageIndirCall;
474 break;
475 }
476 continue;
477 }
478 CoverageFeatures |= parseCoverageFeatures(D, Arg);
479 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_coverage)) {
480 Arg->claim();
481 CoverageFeatures &= ~parseCoverageFeatures(D, Arg);
482 }
Kostya Serebryany75b4f9e2014-11-11 22:15:07 +0000483 }
484 }
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000485 // Choose at most one coverage type: function, bb, or edge.
486 if ((CoverageFeatures & CoverageFunc) && (CoverageFeatures & CoverageBB))
487 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
488 << "-fsanitize-coverage=func"
489 << "-fsanitize-coverage=bb";
490 if ((CoverageFeatures & CoverageFunc) && (CoverageFeatures & CoverageEdge))
491 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
492 << "-fsanitize-coverage=func"
493 << "-fsanitize-coverage=edge";
494 if ((CoverageFeatures & CoverageBB) && (CoverageFeatures & CoverageEdge))
495 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
496 << "-fsanitize-coverage=bb"
497 << "-fsanitize-coverage=edge";
498 // Basic block tracing and 8-bit counters require some type of coverage
499 // enabled.
500 int CoverageTypes = CoverageFunc | CoverageBB | CoverageEdge;
501 if ((CoverageFeatures & CoverageTraceBB) &&
502 !(CoverageFeatures & CoverageTypes))
503 D.Diag(clang::diag::err_drv_argument_only_allowed_with)
504 << "-fsanitize-coverage=trace-bb"
505 << "-fsanitize-coverage=(func|bb|edge)";
506 if ((CoverageFeatures & Coverage8bitCounters) &&
507 !(CoverageFeatures & CoverageTypes))
508 D.Diag(clang::diag::err_drv_argument_only_allowed_with)
509 << "-fsanitize-coverage=8bit-counters"
510 << "-fsanitize-coverage=(func|bb|edge)";
Kostya Serebryany75b4f9e2014-11-11 22:15:07 +0000511
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000512 if (AllAddedKinds & Address) {
Alexey Samsonovbdfa6c22014-04-01 13:31:10 +0000513 AsanSharedRuntime =
Evgeniy Stepanov14deb7b2015-10-08 21:21:44 +0000514 Args.hasArg(options::OPT_shared_libasan) || TC.getTriple().isAndroid();
Evgeniy Stepanov71554fe2015-10-21 21:28:49 +0000515 NeedPIE |= TC.getTriple().isAndroid();
Kostya Serebryanyaed71a82014-10-09 17:53:04 +0000516 if (Arg *A =
517 Args.getLastArg(options::OPT_fsanitize_address_field_padding)) {
518 StringRef S = A->getValue();
519 // Legal values are 0 and 1, 2, but in future we may add more levels.
520 if (S.getAsInteger(0, AsanFieldPadding) || AsanFieldPadding < 0 ||
521 AsanFieldPadding > 2) {
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000522 D.Diag(clang::diag::err_drv_invalid_value) << A->getAsString(Args) << S;
Kostya Serebryanyaed71a82014-10-09 17:53:04 +0000523 }
524 }
Ehsan Akhgarie0db1962014-10-14 23:15:44 +0000525
526 if (Arg *WindowsDebugRTArg =
527 Args.getLastArg(options::OPT__SLASH_MTd, options::OPT__SLASH_MT,
528 options::OPT__SLASH_MDd, options::OPT__SLASH_MD,
529 options::OPT__SLASH_LDd, options::OPT__SLASH_LD)) {
530 switch (WindowsDebugRTArg->getOption().getID()) {
531 case options::OPT__SLASH_MTd:
532 case options::OPT__SLASH_MDd:
533 case options::OPT__SLASH_LDd:
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000534 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
Ehsan Akhgarie0db1962014-10-14 23:15:44 +0000535 << WindowsDebugRTArg->getAsString(Args)
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000536 << lastArgumentForMask(D, Args, Address);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000537 D.Diag(clang::diag::note_drv_address_sanitizer_debug_runtime);
Ehsan Akhgarie0db1962014-10-14 23:15:44 +0000538 }
539 }
Alexey Samsonovbdfa6c22014-04-01 13:31:10 +0000540 }
Alexey Samsonov90490af2014-08-08 22:47:17 +0000541
542 // Parse -link-cxx-sanitizer flag.
543 LinkCXXRuntimes =
544 Args.hasArg(options::OPT_fsanitize_link_cxx_runtime) || D.CCCIsCXX();
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000545
546 // Finally, initialize the set of available and recoverable sanitizers.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000547 Sanitizers.Mask |= Kinds;
548 RecoverableSanitizers.Mask |= RecoverableKinds;
Peter Collingbourne9881b782015-06-18 23:59:22 +0000549 TrapSanitizers.Mask |= TrappingKinds;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000550}
551
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000552static std::string toString(const clang::SanitizerSet &Sanitizers) {
553 std::string Res;
554#define SANITIZER(NAME, ID) \
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000555 if (Sanitizers.has(ID)) { \
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000556 if (!Res.empty()) \
557 Res += ","; \
558 Res += NAME; \
559 }
560#include "clang/Basic/Sanitizers.def"
561 return Res;
562}
563
Peter Collingbourne581f4382015-07-02 01:48:12 +0000564void SanitizerArgs::addArgs(const ToolChain &TC, const llvm::opt::ArgList &Args,
565 llvm::opt::ArgStringList &CmdArgs,
566 types::ID InputType) const {
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000567 if (Sanitizers.empty())
Alexey Samsonovcf055962013-08-08 10:11:02 +0000568 return;
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000569 CmdArgs.push_back(Args.MakeArgString("-fsanitize=" + toString(Sanitizers)));
570
Alexey Samsonov88459522015-01-12 22:39:12 +0000571 if (!RecoverableSanitizers.empty())
572 CmdArgs.push_back(Args.MakeArgString("-fsanitize-recover=" +
573 toString(RecoverableSanitizers)));
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000574
Peter Collingbourne9881b782015-06-18 23:59:22 +0000575 if (!TrapSanitizers.empty())
576 CmdArgs.push_back(
577 Args.MakeArgString("-fsanitize-trap=" + toString(TrapSanitizers)));
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000578
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000579 for (const auto &BLPath : BlacklistFiles) {
Alexey Samsonovcf055962013-08-08 10:11:02 +0000580 SmallString<64> BlacklistOpt("-fsanitize-blacklist=");
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000581 BlacklistOpt += BLPath;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000582 CmdArgs.push_back(Args.MakeArgString(BlacklistOpt));
583 }
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000584 for (const auto &Dep : ExtraDeps) {
585 SmallString<64> ExtraDepOpt("-fdepfile-entry=");
586 ExtraDepOpt += Dep;
587 CmdArgs.push_back(Args.MakeArgString(ExtraDepOpt));
588 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000589
590 if (MsanTrackOrigins)
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000591 CmdArgs.push_back(Args.MakeArgString("-fsanitize-memory-track-origins=" +
592 llvm::utostr(MsanTrackOrigins)));
Evgeniy Stepanov45be9e02015-07-10 20:07:16 +0000593
594 if (MsanUseAfterDtor)
595 CmdArgs.push_back(Args.MakeArgString("-fsanitize-memory-use-after-dtor"));
596
Evgeniy Stepanovfd6f92d2015-12-15 23:00:20 +0000597 if (CfiCrossDso)
598 CmdArgs.push_back(Args.MakeArgString("-fsanitize-cfi-cross-dso"));
599
Kostya Serebryanyaed71a82014-10-09 17:53:04 +0000600 if (AsanFieldPadding)
601 CmdArgs.push_back(Args.MakeArgString("-fsanitize-address-field-padding=" +
602 llvm::utostr(AsanFieldPadding)));
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000603 // Translate available CoverageFeatures to corresponding clang-cc1 flags.
604 std::pair<int, const char *> CoverageFlags[] = {
605 std::make_pair(CoverageFunc, "-fsanitize-coverage-type=1"),
606 std::make_pair(CoverageBB, "-fsanitize-coverage-type=2"),
607 std::make_pair(CoverageEdge, "-fsanitize-coverage-type=3"),
608 std::make_pair(CoverageIndirCall, "-fsanitize-coverage-indirect-calls"),
609 std::make_pair(CoverageTraceBB, "-fsanitize-coverage-trace-bb"),
610 std::make_pair(CoverageTraceCmp, "-fsanitize-coverage-trace-cmp"),
611 std::make_pair(Coverage8bitCounters, "-fsanitize-coverage-8bit-counters")};
612 for (auto F : CoverageFlags) {
613 if (CoverageFeatures & F.first)
614 CmdArgs.push_back(Args.MakeArgString(F.second));
Alexey Samsonov3f3b3ab2015-05-07 18:31:29 +0000615 }
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000616
617
Sergey Matveev2ba87782015-02-17 15:09:33 +0000618 // MSan: Workaround for PR16386.
619 // ASan: This is mainly to help LSan with cases such as
620 // https://code.google.com/p/address-sanitizer/issues/detail?id=373
621 // We can't make this conditional on -fsanitize=leak, as that flag shouldn't
622 // affect compilation.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000623 if (Sanitizers.has(Memory) || Sanitizers.has(Address))
Alexey Samsonovcf055962013-08-08 10:11:02 +0000624 CmdArgs.push_back(Args.MakeArgString("-fno-assume-sane-operator-new"));
Peter Collingbourne581f4382015-07-02 01:48:12 +0000625
626 if (TC.getTriple().isOSWindows() && needsUbsanRt()) {
627 // Instruct the code generator to embed linker directives in the object file
628 // that cause the required runtime libraries to be linked.
Vasileios Kalintiris447e3572015-10-01 16:54:58 +0000629 CmdArgs.push_back(Args.MakeArgString(
630 "--dependent-lib=" + TC.getCompilerRT(Args, "ubsan_standalone")));
Peter Collingbourne581f4382015-07-02 01:48:12 +0000631 if (types::isCXX(InputType))
Saleem Abdulrasoold44901f2015-09-26 03:26:44 +0000632 CmdArgs.push_back(Args.MakeArgString(
Vasileios Kalintiris447e3572015-10-01 16:54:58 +0000633 "--dependent-lib=" + TC.getCompilerRT(Args, "ubsan_standalone_cxx")));
Peter Collingbourne581f4382015-07-02 01:48:12 +0000634 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000635}
636
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000637SanitizerMask parseArgValues(const Driver &D, const llvm::opt::Arg *A,
638 bool DiagnoseErrors) {
Alexey Samsonov799f7932014-12-19 02:35:16 +0000639 assert((A->getOption().matches(options::OPT_fsanitize_EQ) ||
Alexey Samsonov88459522015-01-12 22:39:12 +0000640 A->getOption().matches(options::OPT_fno_sanitize_EQ) ||
641 A->getOption().matches(options::OPT_fsanitize_recover_EQ) ||
Peter Collingbourne9881b782015-06-18 23:59:22 +0000642 A->getOption().matches(options::OPT_fno_sanitize_recover_EQ) ||
643 A->getOption().matches(options::OPT_fsanitize_trap_EQ) ||
644 A->getOption().matches(options::OPT_fno_sanitize_trap_EQ)) &&
Alexey Samsonov799f7932014-12-19 02:35:16 +0000645 "Invalid argument in parseArgValues!");
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000646 SanitizerMask Kinds = 0;
Alexey Samsonov83791e22015-03-03 22:15:32 +0000647 for (int i = 0, n = A->getNumValues(); i != n; ++i) {
648 const char *Value = A->getValue(i);
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000649 SanitizerMask Kind;
Alexey Samsonovabd5bea2014-12-19 18:41:43 +0000650 // Special case: don't accept -fsanitize=all.
651 if (A->getOption().matches(options::OPT_fsanitize_EQ) &&
652 0 == strcmp("all", Value))
653 Kind = 0;
654 else
Peter Collingbournebf59c342015-05-11 21:39:20 +0000655 Kind = parseSanitizerValue(Value, /*AllowGroups=*/true);
Alexey Samsonovabd5bea2014-12-19 18:41:43 +0000656
657 if (Kind)
658 Kinds |= Kind;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000659 else if (DiagnoseErrors)
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000660 D.Diag(clang::diag::err_drv_unsupported_option_argument)
Alexey Samsonovabd5bea2014-12-19 18:41:43 +0000661 << A->getOption().getName() << Value;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000662 }
Alexey Samsonovabd5bea2014-12-19 18:41:43 +0000663 return Kinds;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000664}
665
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000666int parseCoverageFeatures(const Driver &D, const llvm::opt::Arg *A) {
667 assert(A->getOption().matches(options::OPT_fsanitize_coverage) ||
668 A->getOption().matches(options::OPT_fno_sanitize_coverage));
669 int Features = 0;
670 for (int i = 0, n = A->getNumValues(); i != n; ++i) {
671 const char *Value = A->getValue(i);
672 int F = llvm::StringSwitch<int>(Value)
673 .Case("func", CoverageFunc)
674 .Case("bb", CoverageBB)
675 .Case("edge", CoverageEdge)
676 .Case("indirect-calls", CoverageIndirCall)
677 .Case("trace-bb", CoverageTraceBB)
678 .Case("trace-cmp", CoverageTraceCmp)
679 .Case("8bit-counters", Coverage8bitCounters)
680 .Default(0);
681 if (F == 0)
682 D.Diag(clang::diag::err_drv_unsupported_option_argument)
683 << A->getOption().getName() << Value;
684 Features |= F;
685 }
686 return Features;
687}
688
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000689std::string lastArgumentForMask(const Driver &D, const llvm::opt::ArgList &Args,
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000690 SanitizerMask Mask) {
Alexey Samsonovcf055962013-08-08 10:11:02 +0000691 for (llvm::opt::ArgList::const_reverse_iterator I = Args.rbegin(),
692 E = Args.rend();
693 I != E; ++I) {
Alexey Samsonov799f7932014-12-19 02:35:16 +0000694 const auto *Arg = *I;
695 if (Arg->getOption().matches(options::OPT_fsanitize_EQ)) {
Peter Collingbournebf59c342015-05-11 21:39:20 +0000696 SanitizerMask AddKinds =
697 expandSanitizerGroups(parseArgValues(D, Arg, false));
Alexey Samsonov799f7932014-12-19 02:35:16 +0000698 if (AddKinds & Mask)
699 return describeSanitizeArg(Arg, Mask);
700 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_EQ)) {
Peter Collingbournebf59c342015-05-11 21:39:20 +0000701 SanitizerMask RemoveKinds =
702 expandSanitizerGroups(parseArgValues(D, Arg, false));
Alexey Samsonov799f7932014-12-19 02:35:16 +0000703 Mask &= ~RemoveKinds;
704 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000705 }
706 llvm_unreachable("arg list didn't provide expected value");
707}
708
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000709std::string describeSanitizeArg(const llvm::opt::Arg *A, SanitizerMask Mask) {
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000710 assert(A->getOption().matches(options::OPT_fsanitize_EQ)
711 && "Invalid argument in describeSanitizerArg!");
Alexey Samsonovcf055962013-08-08 10:11:02 +0000712
Peter Collingbourne32701642013-11-01 18:16:25 +0000713 std::string Sanitizers;
Alexey Samsonov83791e22015-03-03 22:15:32 +0000714 for (int i = 0, n = A->getNumValues(); i != n; ++i) {
Peter Collingbournebf59c342015-05-11 21:39:20 +0000715 if (expandSanitizerGroups(
716 parseSanitizerValue(A->getValue(i), /*AllowGroups=*/true)) &
717 Mask) {
Peter Collingbourne32701642013-11-01 18:16:25 +0000718 if (!Sanitizers.empty())
719 Sanitizers += ",";
Alexey Samsonov83791e22015-03-03 22:15:32 +0000720 Sanitizers += A->getValue(i);
Peter Collingbourne32701642013-11-01 18:16:25 +0000721 }
722 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000723
Peter Collingbourne32701642013-11-01 18:16:25 +0000724 assert(!Sanitizers.empty() && "arg didn't provide expected value");
725 return "-fsanitize=" + Sanitizers;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000726}