clang 24.0.0git
CompilerInvocation.cpp
Go to the documentation of this file.
1//===- CompilerInvocation.cpp ---------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
20#include "clang/Basic/LLVM.h"
27#include "clang/Basic/Version.h"
29#include "clang/Config/config.h"
44#include "llvm/ADT/APInt.h"
45#include "llvm/ADT/ArrayRef.h"
46#include "llvm/ADT/CachedHashString.h"
47#include "llvm/ADT/FloatingPointMode.h"
48#include "llvm/ADT/STLExtras.h"
49#include "llvm/ADT/SmallVector.h"
50#include "llvm/ADT/StringRef.h"
51#include "llvm/ADT/StringSwitch.h"
52#include "llvm/ADT/Twine.h"
53#include "llvm/Config/llvm-config.h"
54#include "llvm/Frontend/Debug/Options.h"
55#include "llvm/IR/DebugInfoMetadata.h"
56#include "llvm/Linker/Linker.h"
57#include "llvm/MC/MCTargetOptions.h"
58#include "llvm/Option/Arg.h"
59#include "llvm/Option/ArgList.h"
60#include "llvm/Option/OptSpecifier.h"
61#include "llvm/Option/OptTable.h"
62#include "llvm/Option/Option.h"
63#include "llvm/ProfileData/InstrProfReader.h"
64#include "llvm/Remarks/HotnessThresholdParser.h"
65#include "llvm/Support/CodeGen.h"
66#include "llvm/Support/Compiler.h"
67#include "llvm/Support/Error.h"
68#include "llvm/Support/ErrorHandling.h"
69#include "llvm/Support/ErrorOr.h"
70#include "llvm/Support/FileSystem.h"
71#include "llvm/Support/HashBuilder.h"
72#include "llvm/Support/MathExtras.h"
73#include "llvm/Support/MemoryBuffer.h"
74#include "llvm/Support/Path.h"
75#include "llvm/Support/Process.h"
76#include "llvm/Support/Regex.h"
77#include "llvm/Support/VersionTuple.h"
78#include "llvm/Support/VirtualFileSystem.h"
79#include "llvm/Support/raw_ostream.h"
80#include "llvm/Target/TargetOptions.h"
81#include "llvm/TargetParser/Host.h"
82#include "llvm/TargetParser/Triple.h"
83#include <algorithm>
84#include <cassert>
85#include <cstddef>
86#include <cstring>
87#include <ctime>
88#include <fstream>
89#include <limits>
90#include <memory>
91#include <optional>
92#include <string>
93#include <tuple>
94#include <type_traits>
95#include <utility>
96#include <vector>
97
98using namespace clang;
99using namespace options;
100using namespace llvm::opt;
101
102//===----------------------------------------------------------------------===//
103// Helpers.
104//===----------------------------------------------------------------------===//
105
106// Parse misexpect tolerance argument value.
107// Valid option values are integers in the range [0, 100)
109 uint32_t Val;
110 if (Arg.getAsInteger(10, Val))
111 return llvm::createStringError(llvm::inconvertibleErrorCode(),
112 "Not an integer: %s", Arg.data());
113 return Val;
114}
115
116//===----------------------------------------------------------------------===//
117// Initialization.
118//===----------------------------------------------------------------------===//
119
120template <class T> std::shared_ptr<T> make_shared_copy(const T &X) {
121 return std::make_shared<T>(X);
122}
123
125 : LangOpts(std::make_shared<LangOptions>()),
126 TargetOpts(std::make_shared<TargetOptions>()),
127 DiagnosticOpts(std::make_shared<DiagnosticOptions>()),
128 HSOpts(std::make_shared<HeaderSearchOptions>()),
129 PPOpts(std::make_shared<PreprocessorOptions>()),
130 AnalyzerOpts(std::make_shared<AnalyzerOptions>()),
131 MigratorOpts(std::make_shared<MigratorOptions>()),
132 APINotesOpts(std::make_shared<APINotesOptions>()),
133 CodeGenOpts(std::make_shared<CodeGenOptions>()),
134 FSOpts(std::make_shared<FileSystemOptions>()),
135 FrontendOpts(std::make_shared<FrontendOptions>()),
138 SSAFOpts(std::make_shared<ssaf::SSAFOptions>()) {}
139
142 if (this != &X) {
143 LangOpts = make_shared_copy(X.getLangOpts());
144 TargetOpts = make_shared_copy(X.getTargetOpts());
145 DiagnosticOpts = make_shared_copy(X.getDiagnosticOpts());
146 HSOpts = make_shared_copy(X.getHeaderSearchOpts());
147 PPOpts = make_shared_copy(X.getPreprocessorOpts());
148 AnalyzerOpts = make_shared_copy(X.getAnalyzerOpts());
149 MigratorOpts = make_shared_copy(X.getMigratorOpts());
150 APINotesOpts = make_shared_copy(X.getAPINotesOpts());
151 CodeGenOpts = make_shared_copy(X.getCodeGenOpts());
152 FSOpts = make_shared_copy(X.getFileSystemOpts());
153 FrontendOpts = make_shared_copy(X.getFrontendOpts());
154 DependencyOutputOpts = make_shared_copy(X.getDependencyOutputOpts());
155 PreprocessorOutputOpts = make_shared_copy(X.getPreprocessorOutputOpts());
156 SSAFOpts = make_shared_copy(X.getSSAFOpts());
157 }
158 return *this;
159}
160
163 if (this != &X) {
164 LangOpts = X.LangOpts;
165 TargetOpts = X.TargetOpts;
166 DiagnosticOpts = X.DiagnosticOpts;
167 HSOpts = X.HSOpts;
168 PPOpts = X.PPOpts;
169 AnalyzerOpts = X.AnalyzerOpts;
170 MigratorOpts = X.MigratorOpts;
171 APINotesOpts = X.APINotesOpts;
172 CodeGenOpts = X.CodeGenOpts;
173 FSOpts = X.FSOpts;
174 FrontendOpts = X.FrontendOpts;
175 DependencyOutputOpts = X.DependencyOutputOpts;
176 PreprocessorOutputOpts = X.PreprocessorOutputOpts;
177 SSAFOpts = X.SSAFOpts;
178 }
179 return *this;
180}
181
186
192
193template <typename T>
194T &ensureOwned(std::shared_ptr<T> &Storage) {
195 if (Storage.use_count() > 1)
196 Storage = std::make_shared<T>(*Storage);
197 return *Storage;
198}
199
203
207
211
215
219
223
227
231
235
239
243
247
251
256
257//===----------------------------------------------------------------------===//
258// Normalizers
259//===----------------------------------------------------------------------===//
260
262
263static llvm::StringRef lookupStrInTable(unsigned Offset) {
264 return getDriverOptTable().getStrTable()[Offset];
265}
266
267#define SIMPLE_ENUM_VALUE_TABLE
268#include "clang/Options/Options.inc"
269#undef SIMPLE_ENUM_VALUE_TABLE
270
271static std::optional<bool> normalizeSimpleFlag(OptSpecifier Opt,
272 unsigned TableIndex,
273 const ArgList &Args,
274 DiagnosticsEngine &Diags) {
275 if (Args.hasArg(Opt))
276 return true;
277 return std::nullopt;
278}
279
280static std::optional<bool> normalizeSimpleNegativeFlag(OptSpecifier Opt,
281 unsigned,
282 const ArgList &Args,
284 if (Args.hasArg(Opt))
285 return false;
286 return std::nullopt;
287}
288
289/// The tblgen-erated code passes in a fifth parameter of an arbitrary type, but
290/// denormalizeSimpleFlags never looks at it. Avoid bloating compile-time with
291/// unnecessary template instantiations and just ignore it with a variadic
292/// argument.
294 unsigned SpellingOffset, Option::OptionClass,
295 unsigned, /*T*/...) {
296 Consumer(lookupStrInTable(SpellingOffset));
297}
299 const Twine &Spelling, Option::OptionClass,
300 unsigned, /*T*/...) {
301 Consumer(Spelling);
302}
303
304template <typename T> static constexpr bool is_uint64_t_convertible() {
305 return !std::is_same_v<T, uint64_t> && llvm::is_integral_or_enum<T>::value;
306}
307
308template <typename T,
309 std::enable_if_t<!is_uint64_t_convertible<T>(), bool> = false>
311 return [Value](OptSpecifier Opt, unsigned, const ArgList &Args,
312 DiagnosticsEngine &) -> std::optional<T> {
313 if (Args.hasArg(Opt))
314 return Value;
315 return std::nullopt;
316 };
317}
318
319template <typename T,
320 std::enable_if_t<is_uint64_t_convertible<T>(), bool> = false>
322 return makeFlagToValueNormalizer(uint64_t(Value));
323}
324
325static auto makeBooleanOptionNormalizer(bool Value, bool OtherValue,
326 OptSpecifier OtherOpt) {
327 return [Value, OtherValue,
328 OtherOpt](OptSpecifier Opt, unsigned, const ArgList &Args,
329 DiagnosticsEngine &) -> std::optional<bool> {
330 if (const Arg *A = Args.getLastArg(Opt, OtherOpt)) {
331 return A->getOption().matches(Opt) ? Value : OtherValue;
332 }
333 return std::nullopt;
334 };
335}
336
338 return [Value](ArgumentConsumer Consumer, unsigned SpellingOffset,
339 Option::OptionClass, unsigned, bool KeyPath) {
340 if (KeyPath == Value)
341 Consumer(lookupStrInTable(SpellingOffset));
342 };
343}
344
346 const Twine &Spelling,
347 Option::OptionClass OptClass, unsigned,
348 const Twine &Value) {
349 switch (OptClass) {
350 case Option::SeparateClass:
351 case Option::JoinedOrSeparateClass:
352 case Option::JoinedAndSeparateClass:
353 Consumer(Spelling);
354 Consumer(Value);
355 break;
356 case Option::JoinedClass:
357 case Option::CommaJoinedClass:
358 Consumer(Spelling + Value);
359 break;
360 default:
361 llvm_unreachable("Cannot denormalize an option with option class "
362 "incompatible with string denormalization.");
363 }
364}
365
366template <typename T>
367static void
368denormalizeString(ArgumentConsumer Consumer, unsigned SpellingOffset,
369 Option::OptionClass OptClass, unsigned TableIndex, T Value) {
370 denormalizeStringImpl(Consumer, lookupStrInTable(SpellingOffset), OptClass,
371 TableIndex, Twine(Value));
372}
373
374template <typename T>
375static void denormalizeString(ArgumentConsumer Consumer, const Twine &Spelling,
376 Option::OptionClass OptClass, unsigned TableIndex,
377 T Value) {
378 denormalizeStringImpl(Consumer, Spelling, OptClass, TableIndex, Twine(Value));
379}
380
381static std::optional<SimpleEnumValue>
382findValueTableByName(const SimpleEnumValueTable &Table, StringRef Name) {
383 for (int I = 0, E = Table.Size; I != E; ++I)
384 if (Name == Table.Table[I].Name)
385 return Table.Table[I];
386
387 return std::nullopt;
388}
389
390static std::optional<SimpleEnumValue>
391findValueTableByValue(const SimpleEnumValueTable &Table, unsigned Value) {
392 for (int I = 0, E = Table.Size; I != E; ++I)
393 if (Value == Table.Table[I].Value)
394 return Table.Table[I];
395
396 return std::nullopt;
397}
398
399static std::optional<unsigned> normalizeSimpleEnum(OptSpecifier Opt,
400 unsigned TableIndex,
401 const ArgList &Args,
402 DiagnosticsEngine &Diags) {
403 assert(TableIndex < SimpleEnumValueTablesSize);
404 const SimpleEnumValueTable &Table = SimpleEnumValueTables[TableIndex];
405
406 auto *Arg = Args.getLastArg(Opt);
407 if (!Arg)
408 return std::nullopt;
409
410 StringRef ArgValue = Arg->getValue();
411 if (auto MaybeEnumVal = findValueTableByName(Table, ArgValue))
412 return MaybeEnumVal->Value;
413
414 Diags.Report(diag::err_drv_invalid_value)
415 << Arg->getAsString(Args) << ArgValue;
416 return std::nullopt;
417}
418
420 unsigned SpellingOffset,
421 Option::OptionClass OptClass,
422 unsigned TableIndex, unsigned Value) {
423 assert(TableIndex < SimpleEnumValueTablesSize);
424 const SimpleEnumValueTable &Table = SimpleEnumValueTables[TableIndex];
425 if (auto MaybeEnumVal = findValueTableByValue(Table, Value)) {
426 denormalizeString(Consumer, lookupStrInTable(SpellingOffset), OptClass,
427 TableIndex, MaybeEnumVal->Name);
428 } else {
429 llvm_unreachable("The simple enum value was not correctly defined in "
430 "the tablegen option description");
431 }
432}
433
434template <typename T>
436 unsigned SpellingOffset,
437 Option::OptionClass OptClass,
438 unsigned TableIndex, T Value) {
439 return denormalizeSimpleEnumImpl(Consumer, SpellingOffset, OptClass,
440 TableIndex, static_cast<unsigned>(Value));
441}
442
443static std::optional<std::string> normalizeString(OptSpecifier Opt,
444 int TableIndex,
445 const ArgList &Args,
446 DiagnosticsEngine &Diags) {
447 auto *Arg = Args.getLastArg(Opt);
448 if (!Arg)
449 return std::nullopt;
450 return std::string(Arg->getValue());
451}
452
453template <typename IntTy>
454static std::optional<IntTy> normalizeStringIntegral(OptSpecifier Opt, int,
455 const ArgList &Args,
456 DiagnosticsEngine &Diags) {
457 auto *Arg = Args.getLastArg(Opt);
458 if (!Arg)
459 return std::nullopt;
460 IntTy Res;
461 if (StringRef(Arg->getValue()).getAsInteger(0, Res)) {
462 Diags.Report(diag::err_drv_invalid_int_value)
463 << Arg->getAsString(Args) << Arg->getValue();
464 return std::nullopt;
465 }
466 return Res;
467}
468
469static std::optional<std::vector<std::string>>
470normalizeStringVector(OptSpecifier Opt, int, const ArgList &Args,
472 return Args.getAllArgValues(Opt);
473}
474
476 unsigned SpellingOffset,
477 Option::OptionClass OptClass,
478 unsigned TableIndex,
479 const std::vector<std::string> &Values) {
480 switch (OptClass) {
481 case Option::CommaJoinedClass: {
482 std::string CommaJoinedValue;
483 if (!Values.empty()) {
484 CommaJoinedValue.append(Values.front());
485 for (const std::string &Value : llvm::drop_begin(Values, 1)) {
486 CommaJoinedValue.append(",");
487 CommaJoinedValue.append(Value);
488 }
489 }
490 denormalizeString(Consumer, SpellingOffset,
491 Option::OptionClass::JoinedClass, TableIndex,
492 CommaJoinedValue);
493 break;
494 }
495 case Option::JoinedClass:
496 case Option::SeparateClass:
497 case Option::JoinedOrSeparateClass:
498 for (const std::string &Value : Values)
499 denormalizeString(Consumer, SpellingOffset, OptClass, TableIndex, Value);
500 break;
501 default:
502 llvm_unreachable("Cannot denormalize an option with option class "
503 "incompatible with string vector denormalization.");
504 }
505}
506
507static std::optional<std::string> normalizeTriple(OptSpecifier Opt,
508 int TableIndex,
509 const ArgList &Args,
510 DiagnosticsEngine &Diags) {
511 auto *Arg = Args.getLastArg(Opt);
512 if (!Arg)
513 return std::nullopt;
514 return llvm::Triple::normalize(Arg->getValue());
515}
516
517#define PARSE_OPTION_WITH_MARSHALLING( \
518 ARGS, DIAGS, PREFIX_TYPE, SPELLING_OFFSET, ID, KIND, GROUP, ALIAS, \
519 ALIASARGS, FLAGS, VISIBILITY, PARAM, HELPTEXT, HELPTEXTSFORVARIANTS, \
520 METAVAR, VALUES, SUBCOMMANDIDS_OFFSET, SHOULD_PARSE, ALWAYS_EMIT, KEYPATH, \
521 DEFAULT_VALUE, IMPLIED_CHECK, IMPLIED_VALUE, NORMALIZER, DENORMALIZER, \
522 TABLE_INDEX) \
523 if ((VISIBILITY) & options::CC1Option) { \
524 KEYPATH = static_cast<decltype(KEYPATH)>(DEFAULT_VALUE); \
525 if (IMPLIED_CHECK) \
526 KEYPATH = static_cast<decltype(KEYPATH)>(IMPLIED_VALUE); \
527 if (SHOULD_PARSE) \
528 if (auto MaybeValue = NORMALIZER(OPT_##ID, TABLE_INDEX, ARGS, DIAGS)) \
529 KEYPATH = static_cast<decltype(KEYPATH)>(*MaybeValue); \
530 }
531
532#define GENERATE_OPTION_WITH_MARSHALLING( \
533 CONSUMER, PREFIX_TYPE, SPELLING_OFFSET, ID, KIND, GROUP, ALIAS, ALIASARGS, \
534 FLAGS, VISIBILITY, PARAM, HELPTEXT, HELPTEXTSFORVARIANTS, METAVAR, VALUES, \
535 SUBCOMMANDIDS_OFFSET, SHOULD_PARSE, ALWAYS_EMIT, KEYPATH, DEFAULT_VALUE, \
536 IMPLIED_CHECK, IMPLIED_VALUE, NORMALIZER, DENORMALIZER, TABLE_INDEX) \
537 if ((VISIBILITY) & options::CC1Option) { \
538 if (ALWAYS_EMIT || (KEYPATH != static_cast<decltype(KEYPATH)>( \
539 ((IMPLIED_CHECK) ? (IMPLIED_VALUE) \
540 : (DEFAULT_VALUE))))) \
541 DENORMALIZER(CONSUMER, SPELLING_OFFSET, Option::KIND##Class, \
542 TABLE_INDEX, KEYPATH); \
543 }
544
545static StringRef GetInputKindName(InputKind IK);
546
547static bool FixupInvocation(CompilerInvocation &Invocation,
548 DiagnosticsEngine &Diags, const ArgList &Args,
549 InputKind IK) {
550 unsigned NumErrorsBefore = Diags.getNumErrors();
551
552 LangOptions &LangOpts = Invocation.getLangOpts();
553 CodeGenOptions &CodeGenOpts = Invocation.getCodeGenOpts();
554 TargetOptions &TargetOpts = Invocation.getTargetOpts();
555 FrontendOptions &FrontendOpts = Invocation.getFrontendOpts();
556 CodeGenOpts.XRayInstrumentFunctions = LangOpts.XRayInstrument;
557 CodeGenOpts.XRayAlwaysEmitCustomEvents = LangOpts.XRayAlwaysEmitCustomEvents;
558 CodeGenOpts.XRayAlwaysEmitTypedEvents = LangOpts.XRayAlwaysEmitTypedEvents;
559 CodeGenOpts.DisableFree = FrontendOpts.DisableFree;
560 FrontendOpts.GenerateGlobalModuleIndex = FrontendOpts.UseGlobalModuleIndex;
561 if (FrontendOpts.ShowStats)
562 CodeGenOpts.ClearASTBeforeBackend = false;
563 LangOpts.SanitizeCoverage = CodeGenOpts.hasSanitizeCoverage();
564 LangOpts.ForceEmitVTables = CodeGenOpts.ForceEmitVTables;
565 LangOpts.SpeculativeLoadHardening = CodeGenOpts.SpeculativeLoadHardening;
566 LangOpts.CurrentModule = LangOpts.ModuleName;
567
568 llvm::Triple T(TargetOpts.Triple);
569 llvm::Triple::ArchType Arch = T.getArch();
570
571 CodeGenOpts.CodeModel = TargetOpts.CodeModel;
572 CodeGenOpts.LargeDataThreshold = TargetOpts.LargeDataThreshold;
573
574 if (CodeGenOpts.getExceptionHandling() !=
576 T.isWindowsMSVCEnvironment())
577 Diags.Report(diag::err_fe_invalid_exception_model)
578 << static_cast<unsigned>(CodeGenOpts.getExceptionHandling()) << T.str();
579
580 if (LangOpts.AppleKext && !LangOpts.CPlusPlus)
581 Diags.Report(diag::warn_c_kext);
582
583 if (LangOpts.NewAlignOverride &&
584 !llvm::isPowerOf2_32(LangOpts.NewAlignOverride)) {
585 Arg *A = Args.getLastArg(OPT_fnew_alignment_EQ);
586 Diags.Report(diag::err_fe_invalid_alignment)
587 << A->getAsString(Args) << A->getValue();
588 LangOpts.NewAlignOverride = 0;
589 }
590
591 // The -f[no-]raw-string-literals option is only valid in C and in C++
592 // standards before C++11.
593 if (LangOpts.CPlusPlus11) {
594 if (Args.hasArg(OPT_fraw_string_literals, OPT_fno_raw_string_literals)) {
595 Args.claimAllArgs(OPT_fraw_string_literals, OPT_fno_raw_string_literals);
596 Diags.Report(diag::warn_drv_fraw_string_literals_in_cxx11)
597 << bool(LangOpts.RawStringLiterals);
598 }
599
600 // Do not allow disabling raw string literals in C++11 or later.
601 LangOpts.RawStringLiterals = true;
602 }
603
604 if (Args.hasArg(OPT_freflection) && !LangOpts.CPlusPlus26) {
605 Diags.Report(diag::err_drv_reflection_requires_cxx26)
606 << Args.getLastArg(options::OPT_freflection)->getAsString(Args);
607 }
608
609 LangOpts.NamedLoops =
610 Args.hasFlag(OPT_fnamed_loops, OPT_fno_named_loops, LangOpts.C2y);
611
612 // Prevent the user from specifying both -fsycl-is-device and -fsycl-is-host.
613 if (LangOpts.SYCLIsDevice && LangOpts.SYCLIsHost)
614 Diags.Report(diag::err_drv_argument_not_allowed_with) << "-fsycl-is-device"
615 << "-fsycl-is-host";
616
617 // SYCL requires C++; reject C inputs on both device and host.
618 if ((LangOpts.SYCLIsDevice || LangOpts.SYCLIsHost) && !LangOpts.CPlusPlus)
619 Diags.Report(diag::err_drv_argument_not_allowed_with)
620 << GetInputKindName(IK) << "-fsycl";
621
622 if (Args.hasArg(OPT_fgnu89_inline) && LangOpts.CPlusPlus)
623 Diags.Report(diag::err_drv_argument_not_allowed_with)
624 << "-fgnu89-inline" << GetInputKindName(IK);
625
626 if (Args.hasArg(OPT_hlsl_entrypoint) && !LangOpts.HLSL)
627 Diags.Report(diag::err_drv_argument_not_allowed_with)
628 << "-hlsl-entry" << GetInputKindName(IK);
629
630 if (Args.hasArg(OPT_fdx_rootsignature_version) && !LangOpts.HLSL)
631 Diags.Report(diag::err_drv_argument_not_allowed_with)
632 << "-fdx-rootsignature-version" << GetInputKindName(IK);
633
634 if (Args.hasArg(OPT_fdx_rootsignature_define) && !LangOpts.HLSL)
635 Diags.Report(diag::err_drv_argument_not_allowed_with)
636 << "-fdx-rootsignature-define" << GetInputKindName(IK);
637
638 if (Args.hasArg(OPT_fgpu_allow_device_init) && !LangOpts.HIP)
639 Diags.Report(diag::warn_ignored_hip_only_option)
640 << Args.getLastArg(OPT_fgpu_allow_device_init)->getAsString(Args);
641
642 if (Args.hasArg(OPT_gpu_max_threads_per_block_EQ) && !LangOpts.HIP)
643 Diags.Report(diag::warn_ignored_hip_only_option)
644 << Args.getLastArg(OPT_gpu_max_threads_per_block_EQ)->getAsString(Args);
645
646 // HLSL invocations should always have -Wconversion, -Wvector-conversion, and
647 // -Wmatrix-conversion by default.
648 if (LangOpts.HLSL) {
649 auto &Warnings = Invocation.getDiagnosticOpts().Warnings;
650 if (!llvm::is_contained(Warnings, "conversion"))
651 Warnings.insert(Warnings.begin(), "conversion");
652 if (!llvm::is_contained(Warnings, "vector-conversion"))
653 Warnings.insert(Warnings.begin(), "vector-conversion");
654 if (!llvm::is_contained(Warnings, "matrix-conversion"))
655 Warnings.insert(Warnings.begin(), "matrix-conversion");
656 }
657
658 // When these options are used, the compiler is allowed to apply
659 // optimizations that may affect the final result. For example
660 // (x+y)+z is transformed to x+(y+z) but may not give the same
661 // final result; it's not value safe.
662 // Another example can be to simplify x/x to 1.0 but x could be 0.0, INF
663 // or NaN. Final result may then differ. An error is issued when the eval
664 // method is set with one of these options.
665 if (Args.hasArg(OPT_ffp_eval_method_EQ)) {
666 if (LangOpts.ApproxFunc)
667 Diags.Report(diag::err_incompatible_fp_eval_method_options) << 0;
668 if (LangOpts.AllowFPReassoc)
669 Diags.Report(diag::err_incompatible_fp_eval_method_options) << 1;
670 if (LangOpts.AllowRecip)
671 Diags.Report(diag::err_incompatible_fp_eval_method_options) << 2;
672 }
673
674 // -cl-strict-aliasing needs to emit diagnostic in the case where CL > 1.0.
675 // This option should be deprecated for CL > 1.0 because
676 // this option was added for compatibility with OpenCL 1.0.
677 if (Args.getLastArg(OPT_cl_strict_aliasing) &&
678 (LangOpts.getOpenCLCompatibleVersion() > 100))
679 Diags.Report(diag::warn_option_invalid_ocl_version)
680 << LangOpts.getOpenCLVersionString()
681 << Args.getLastArg(OPT_cl_strict_aliasing)->getAsString(Args);
682
683 if (Arg *A = Args.getLastArg(OPT_fdefault_calling_conv_EQ)) {
684 auto DefaultCC = LangOpts.getDefaultCallingConv();
685
686 bool emitError = (DefaultCC == LangOptions::DCC_FastCall ||
687 DefaultCC == LangOptions::DCC_StdCall) &&
688 Arch != llvm::Triple::x86;
689 emitError |= (DefaultCC == LangOptions::DCC_VectorCall ||
690 DefaultCC == LangOptions::DCC_RegCall) &&
691 !T.isX86();
692 emitError |= DefaultCC == LangOptions::DCC_RtdCall && Arch != llvm::Triple::m68k;
693 if (emitError)
694 Diags.Report(diag::err_drv_argument_not_allowed_with)
695 << A->getSpelling() << T.getTriple();
696 }
697
698 return Diags.getNumErrors() == NumErrorsBefore;
699}
700
701//===----------------------------------------------------------------------===//
702// Deserialization (from args)
703//===----------------------------------------------------------------------===//
704
705static void GenerateArg(ArgumentConsumer Consumer,
706 llvm::opt::OptSpecifier OptSpecifier) {
707 Option Opt = getDriverOptTable().getOption(OptSpecifier);
708 denormalizeSimpleFlag(Consumer, Opt.getPrefixedName(),
709 Option::OptionClass::FlagClass, 0);
710}
711
712static void GenerateArg(ArgumentConsumer Consumer,
713 llvm::opt::OptSpecifier OptSpecifier,
714 const Twine &Value) {
715 Option Opt = getDriverOptTable().getOption(OptSpecifier);
716 denormalizeString(Consumer, Opt.getPrefixedName(), Opt.getKind(), 0, Value);
717}
718
719// Parse command line arguments into CompilerInvocation.
720using ParseFn =
721 llvm::function_ref<bool(CompilerInvocation &, ArrayRef<const char *>,
722 DiagnosticsEngine &, const char *)>;
723
724// Generate command line arguments from CompilerInvocation.
725using GenerateFn = llvm::function_ref<void(
728
729/// May perform round-trip of command line arguments. By default, the round-trip
730/// is enabled in assert builds. This can be overwritten at run-time via the
731/// "-round-trip-args" and "-no-round-trip-args" command line flags, or via the
732/// ForceRoundTrip parameter.
733///
734/// During round-trip, the command line arguments are parsed into a dummy
735/// CompilerInvocation, which is used to generate the command line arguments
736/// again. The real CompilerInvocation is then created by parsing the generated
737/// arguments, not the original ones. This (in combination with tests covering
738/// argument behavior) ensures the generated command line is complete (doesn't
739/// drop/mangle any arguments).
740///
741/// Finally, we check the command line that was used to create the real
742/// CompilerInvocation instance. By default, we compare it to the command line
743/// the real CompilerInvocation generates. This checks whether the generator is
744/// deterministic. If \p CheckAgainstOriginalInvocation is enabled, we instead
745/// compare it to the original command line to verify the original command-line
746/// was canonical and can round-trip exactly.
747static bool RoundTrip(ParseFn Parse, GenerateFn Generate,
748 CompilerInvocation &RealInvocation,
749 CompilerInvocation &DummyInvocation,
750 ArrayRef<const char *> CommandLineArgs,
751 DiagnosticsEngine &Diags, const char *Argv0,
752 bool CheckAgainstOriginalInvocation = false,
753 bool ForceRoundTrip = false) {
754#ifndef NDEBUG
755 bool DoRoundTripDefault = true;
756#else
757 bool DoRoundTripDefault = false;
758#endif
759
760 bool DoRoundTrip = DoRoundTripDefault;
761 if (ForceRoundTrip) {
762 DoRoundTrip = true;
763 } else {
764 for (const auto *Arg : CommandLineArgs) {
765 if (Arg == StringRef("-round-trip-args"))
766 DoRoundTrip = true;
767 if (Arg == StringRef("-no-round-trip-args"))
768 DoRoundTrip = false;
769 }
770 }
771
772 // If round-trip was not requested, simply run the parser with the real
773 // invocation diagnostics.
774 if (!DoRoundTrip)
775 return Parse(RealInvocation, CommandLineArgs, Diags, Argv0);
776
777 // Serializes quoted (and potentially escaped) arguments.
778 auto SerializeArgs = [](ArrayRef<const char *> Args) {
779 std::string Buffer;
780 llvm::raw_string_ostream OS(Buffer);
781 for (const char *Arg : Args) {
782 llvm::sys::printArg(OS, Arg, /*Quote=*/true);
783 OS << ' ';
784 }
785 return Buffer;
786 };
787
788 // Setup a dummy DiagnosticsEngine.
789 DiagnosticOptions DummyDiagOpts;
790 DiagnosticsEngine DummyDiags(DiagnosticIDs::create(), DummyDiagOpts);
791 DummyDiags.setClient(new TextDiagnosticBuffer());
792
793 // Run the first parse on the original arguments with the dummy invocation and
794 // diagnostics.
795 if (!Parse(DummyInvocation, CommandLineArgs, DummyDiags, Argv0) ||
796 DummyDiags.getNumWarnings() != 0) {
797 // If the first parse did not succeed, it must be user mistake (invalid
798 // command line arguments). We won't be able to generate arguments that
799 // would reproduce the same result. Let's fail again with the real
800 // invocation and diagnostics, so all side-effects of parsing are visible.
801 unsigned NumWarningsBefore = Diags.getNumWarnings();
802 auto Success = Parse(RealInvocation, CommandLineArgs, Diags, Argv0);
803 if (!Success || Diags.getNumWarnings() != NumWarningsBefore)
804 return Success;
805
806 // Parse with original options and diagnostics succeeded even though it
807 // shouldn't have. Something is off.
808 Diags.Report(diag::err_cc1_round_trip_fail_then_ok);
809 Diags.Report(diag::note_cc1_round_trip_original)
810 << SerializeArgs(CommandLineArgs);
811 return false;
812 }
813
814 // Setup string allocator.
815 llvm::BumpPtrAllocator Alloc;
816 llvm::StringSaver StringPool(Alloc);
817 auto SA = [&StringPool](const Twine &Arg) {
818 return StringPool.save(Arg).data();
819 };
820
821 // Generate arguments from the dummy invocation. If Generate is the
822 // inverse of Parse, the newly generated arguments must have the same
823 // semantics as the original.
824 SmallVector<const char *> GeneratedArgs;
825 Generate(DummyInvocation, GeneratedArgs, SA);
826
827 // Run the second parse, now on the generated arguments, and with the real
828 // invocation and diagnostics. The result is what we will end up using for the
829 // rest of compilation, so if Generate is not inverse of Parse, something down
830 // the line will break.
831 bool Success2 = Parse(RealInvocation, GeneratedArgs, Diags, Argv0);
832
833 // The first parse on original arguments succeeded, but second parse of
834 // generated arguments failed. Something must be wrong with the generator.
835 if (!Success2) {
836 Diags.Report(diag::err_cc1_round_trip_ok_then_fail);
837 Diags.Report(diag::note_cc1_round_trip_generated)
838 << 1 << SerializeArgs(GeneratedArgs);
839 return false;
840 }
841
842 SmallVector<const char *> ComparisonArgs;
843 if (CheckAgainstOriginalInvocation)
844 // Compare against original arguments.
845 ComparisonArgs.assign(CommandLineArgs.begin(), CommandLineArgs.end());
846 else
847 // Generate arguments again, this time from the options we will end up using
848 // for the rest of the compilation.
849 Generate(RealInvocation, ComparisonArgs, SA);
850
851 // Compares two lists of arguments.
852 auto Equal = [](const ArrayRef<const char *> A,
853 const ArrayRef<const char *> B) {
854 return llvm::equal(A, B, [](const char *AElem, const char *BElem) {
855 return StringRef(AElem) == StringRef(BElem);
856 });
857 };
858
859 // If we generated different arguments from what we assume are two
860 // semantically equivalent CompilerInvocations, the Generate function may
861 // be non-deterministic.
862 if (!Equal(GeneratedArgs, ComparisonArgs)) {
863 Diags.Report(diag::err_cc1_round_trip_mismatch);
864 Diags.Report(diag::note_cc1_round_trip_generated)
865 << 1 << SerializeArgs(GeneratedArgs);
866 Diags.Report(diag::note_cc1_round_trip_generated)
867 << 2 << SerializeArgs(ComparisonArgs);
868 return false;
869 }
870
871 Diags.Report(diag::remark_cc1_round_trip_generated)
872 << 1 << SerializeArgs(GeneratedArgs);
873 Diags.Report(diag::remark_cc1_round_trip_generated)
874 << 2 << SerializeArgs(ComparisonArgs);
875
876 return Success2;
877}
878
880 DiagnosticsEngine &Diags,
881 const char *Argv0) {
882 CompilerInvocation DummyInvocation1, DummyInvocation2;
883 return RoundTrip(
884 [](CompilerInvocation &Invocation, ArrayRef<const char *> CommandLineArgs,
885 DiagnosticsEngine &Diags, const char *Argv0) {
886 return CreateFromArgsImpl(Invocation, CommandLineArgs, Diags, Argv0);
887 },
889 StringAllocator SA) {
890 Args.push_back("-cc1");
891 Invocation.generateCC1CommandLine(Args, SA);
892 },
893 DummyInvocation1, DummyInvocation2, Args, Diags, Argv0,
894 /*CheckAgainstOriginalInvocation=*/true, /*ForceRoundTrip=*/true);
895}
896
897static void addDiagnosticArgs(ArgList &Args, OptSpecifier Group,
898 OptSpecifier GroupWithValue,
899 std::vector<std::string> &Diagnostics) {
900 for (auto *A : Args.filtered(Group)) {
901 if (A->getOption().getKind() == Option::FlagClass) {
902 // The argument is a pure flag (such as OPT_Wall or OPT_Wdeprecated). Add
903 // its name (minus the "W" or "R" at the beginning) to the diagnostics.
904 Diagnostics.push_back(
905 std::string(A->getOption().getName().drop_front(1)));
906 } else if (A->getOption().matches(GroupWithValue)) {
907 // This is -Wfoo= or -Rfoo=, where foo is the name of the diagnostic
908 // group. Add only the group name to the diagnostics.
909 Diagnostics.push_back(
910 std::string(A->getOption().getName().drop_front(1).rtrim("=-")));
911 } else {
912 // Otherwise, add its value (for OPT_W_Joined and similar).
913 Diagnostics.push_back(A->getValue());
914 }
915 }
916}
917
918// Parse the Static Analyzer configuration. If \p Diags is set to nullptr,
919// it won't verify the input.
920static void parseAnalyzerConfigs(AnalyzerOptions &AnOpts,
921 DiagnosticsEngine *Diags);
922
923static void getAllNoBuiltinFuncValues(ArgList &Args,
924 std::vector<std::string> &Funcs) {
925 std::vector<std::string> Values = Args.getAllArgValues(OPT_fno_builtin_);
926 auto BuiltinEnd = llvm::partition(Values, Builtin::Context::isBuiltinFunc);
927 Funcs.insert(Funcs.end(), Values.begin(), BuiltinEnd);
928}
929
930static void GenerateAnalyzerArgs(const AnalyzerOptions &Opts,
931 ArgumentConsumer Consumer) {
932 const AnalyzerOptions *AnalyzerOpts = &Opts;
933
934#define ANALYZER_OPTION_WITH_MARSHALLING(...) \
935 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
936#include "clang/Options/Options.inc"
937#undef ANALYZER_OPTION_WITH_MARSHALLING
938
939 if (Opts.AnalysisConstraintsOpt != RangeConstraintsModel) {
940 switch (Opts.AnalysisConstraintsOpt) {
941#define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) \
942 case NAME##Model: \
943 GenerateArg(Consumer, OPT_analyzer_constraints, CMDFLAG); \
944 break;
945#include "clang/StaticAnalyzer/Core/Analyses.def"
946 default:
947 llvm_unreachable("Tried to generate unknown analysis constraint.");
948 }
949 }
950
951 if (Opts.AnalysisDiagOpt != PD_HTML) {
952 switch (Opts.AnalysisDiagOpt) {
953#define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN) \
954 case PD_##NAME: \
955 GenerateArg(Consumer, OPT_analyzer_output, CMDFLAG); \
956 break;
957#include "clang/StaticAnalyzer/Core/Analyses.def"
958 default:
959 llvm_unreachable("Tried to generate unknown analysis diagnostic client.");
960 }
961 }
962
963 if (Opts.AnalysisPurgeOpt != PurgeStmt) {
964 switch (Opts.AnalysisPurgeOpt) {
965#define ANALYSIS_PURGE(NAME, CMDFLAG, DESC) \
966 case NAME: \
967 GenerateArg(Consumer, OPT_analyzer_purge, CMDFLAG); \
968 break;
969#include "clang/StaticAnalyzer/Core/Analyses.def"
970 default:
971 llvm_unreachable("Tried to generate unknown analysis purge mode.");
972 }
973 }
974
975 if (Opts.InliningMode != NoRedundancy) {
976 switch (Opts.InliningMode) {
977#define ANALYSIS_INLINING_MODE(NAME, CMDFLAG, DESC) \
978 case NAME: \
979 GenerateArg(Consumer, OPT_analyzer_inlining_mode, CMDFLAG); \
980 break;
981#include "clang/StaticAnalyzer/Core/Analyses.def"
982 default:
983 llvm_unreachable("Tried to generate unknown analysis inlining mode.");
984 }
985 }
986
987 for (const auto &CP : Opts.CheckersAndPackages) {
988 OptSpecifier Opt =
989 CP.second ? OPT_analyzer_checker : OPT_analyzer_disable_checker;
990 GenerateArg(Consumer, Opt, CP.first);
991 }
992
993 AnalyzerOptions ConfigOpts;
994 parseAnalyzerConfigs(ConfigOpts, nullptr);
995
996 // Sort options by key to avoid relying on StringMap iteration order.
998 for (const auto &C : Opts.Config)
999 SortedConfigOpts.emplace_back(C.getKey(), C.getValue());
1000 llvm::sort(SortedConfigOpts, llvm::less_first());
1001
1002 for (const auto &[Key, Value] : SortedConfigOpts) {
1003 // Don't generate anything that came from parseAnalyzerConfigs. It would be
1004 // redundant and may not be valid on the command line.
1005 auto Entry = ConfigOpts.Config.find(Key);
1006 if (Entry != ConfigOpts.Config.end() && Entry->getValue() == Value)
1007 continue;
1008
1009 GenerateArg(Consumer, OPT_analyzer_config, Key + "=" + Value);
1010 }
1011
1012 // Nothing to generate for FullCompilerInvocation.
1013}
1014
1015static void GenerateSSAFArgs(const ssaf::SSAFOptions &Opts,
1016 ArgumentConsumer Consumer) {
1017 const ssaf::SSAFOptions *SSAFOpts = &Opts;
1018
1019#define SSAF_OPTION_WITH_MARSHALLING(...) \
1020 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
1021#include "clang/Options/Options.inc"
1022#undef SSAF_OPTION_WITH_MARSHALLING
1023}
1024
1025static bool ParseSSAFArgs(ssaf::SSAFOptions &Opts, ArgList &Args,
1026 DiagnosticsEngine &Diags) {
1027 unsigned NumErrorsBefore = Diags.getNumErrors();
1028
1029 ssaf::SSAFOptions *SSAFOpts = &Opts;
1030
1031#define SSAF_OPTION_WITH_MARSHALLING(...) \
1032 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
1033#include "clang/Options/Options.inc"
1034#undef SSAF_OPTION_WITH_MARSHALLING
1035
1036 return Diags.getNumErrors() == NumErrorsBefore;
1037}
1038
1039static bool ParseAnalyzerArgs(AnalyzerOptions &Opts, ArgList &Args,
1040 DiagnosticsEngine &Diags) {
1041 unsigned NumErrorsBefore = Diags.getNumErrors();
1042
1043 AnalyzerOptions *AnalyzerOpts = &Opts;
1044
1045#define ANALYZER_OPTION_WITH_MARSHALLING(...) \
1046 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
1047#include "clang/Options/Options.inc"
1048#undef ANALYZER_OPTION_WITH_MARSHALLING
1049
1050 if (Arg *A = Args.getLastArg(OPT_analyzer_constraints)) {
1051 StringRef Name = A->getValue();
1052 AnalysisConstraints Value = llvm::StringSwitch<AnalysisConstraints>(Name)
1053#define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) \
1054 .Case(CMDFLAG, NAME##Model)
1055#include "clang/StaticAnalyzer/Core/Analyses.def"
1056 .Default(NumConstraints);
1057 if (Value == NumConstraints) {
1058 Diags.Report(diag::err_drv_invalid_value)
1059 << A->getAsString(Args) << Name;
1060 } else {
1061#ifndef LLVM_WITH_Z3
1062 if (Value == AnalysisConstraints::Z3ConstraintsModel) {
1063 Diags.Report(diag::err_analyzer_not_built_with_z3);
1064 }
1065#endif // LLVM_WITH_Z3
1067 }
1068 }
1069
1070 if (Arg *A = Args.getLastArg(OPT_analyzer_output)) {
1071 StringRef Name = A->getValue();
1072 AnalysisDiagClients Value = llvm::StringSwitch<AnalysisDiagClients>(Name)
1073#define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN) \
1074 .Case(CMDFLAG, PD_##NAME)
1075#include "clang/StaticAnalyzer/Core/Analyses.def"
1076 .Default(NUM_ANALYSIS_DIAG_CLIENTS);
1078 Diags.Report(diag::err_drv_invalid_value)
1079 << A->getAsString(Args) << Name;
1080 } else {
1081 Opts.AnalysisDiagOpt = Value;
1082 }
1083 }
1084
1085 if (Arg *A = Args.getLastArg(OPT_analyzer_purge)) {
1086 StringRef Name = A->getValue();
1087 AnalysisPurgeMode Value = llvm::StringSwitch<AnalysisPurgeMode>(Name)
1088#define ANALYSIS_PURGE(NAME, CMDFLAG, DESC) \
1089 .Case(CMDFLAG, NAME)
1090#include "clang/StaticAnalyzer/Core/Analyses.def"
1091 .Default(NumPurgeModes);
1092 if (Value == NumPurgeModes) {
1093 Diags.Report(diag::err_drv_invalid_value)
1094 << A->getAsString(Args) << Name;
1095 } else {
1096 Opts.AnalysisPurgeOpt = Value;
1097 }
1098 }
1099
1100 if (Arg *A = Args.getLastArg(OPT_analyzer_inlining_mode)) {
1101 StringRef Name = A->getValue();
1102 AnalysisInliningMode Value = llvm::StringSwitch<AnalysisInliningMode>(Name)
1103#define ANALYSIS_INLINING_MODE(NAME, CMDFLAG, DESC) \
1104 .Case(CMDFLAG, NAME)
1105#include "clang/StaticAnalyzer/Core/Analyses.def"
1106 .Default(NumInliningModes);
1107 if (Value == NumInliningModes) {
1108 Diags.Report(diag::err_drv_invalid_value)
1109 << A->getAsString(Args) << Name;
1110 } else {
1111 Opts.InliningMode = Value;
1112 }
1113 }
1114
1115 Opts.CheckersAndPackages.clear();
1116 for (const Arg *A :
1117 Args.filtered(OPT_analyzer_checker, OPT_analyzer_disable_checker)) {
1118 A->claim();
1119 bool IsEnabled = A->getOption().getID() == OPT_analyzer_checker;
1120 // We can have a list of comma separated checker names, e.g:
1121 // '-analyzer-checker=cocoa,unix'
1122 StringRef CheckerAndPackageList = A->getValue();
1123 SmallVector<StringRef, 16> CheckersAndPackages;
1124 CheckerAndPackageList.split(CheckersAndPackages, ",");
1125 for (const StringRef &CheckerOrPackage : CheckersAndPackages)
1126 Opts.CheckersAndPackages.emplace_back(std::string(CheckerOrPackage),
1127 IsEnabled);
1128 }
1129
1130 // Go through the analyzer configuration options.
1131 for (const auto *A : Args.filtered(OPT_analyzer_config)) {
1132
1133 // We can have a list of comma separated config names, e.g:
1134 // '-analyzer-config key1=val1,key2=val2'
1135 StringRef configList = A->getValue();
1136 SmallVector<StringRef, 4> configVals;
1137 configList.split(configVals, ",");
1138 for (const auto &configVal : configVals) {
1139 StringRef key, val;
1140 std::tie(key, val) = configVal.split("=");
1141 if (val.empty()) {
1142 Diags.Report(SourceLocation(),
1143 diag::err_analyzer_config_no_value) << configVal;
1144 break;
1145 }
1146 if (val.contains('=')) {
1147 Diags.Report(SourceLocation(),
1148 diag::err_analyzer_config_multiple_values)
1149 << configVal;
1150 break;
1151 }
1152
1153 // TODO: Check checker options too, possibly in CheckerRegistry.
1154 // Leave unknown non-checker configs unclaimed.
1155 if (!key.contains(":") && Opts.isUnknownAnalyzerConfig(key)) {
1157 Diags.Report(diag::err_analyzer_config_unknown) << key;
1158 continue;
1159 }
1160
1161 A->claim();
1162 Opts.Config[key] = std::string(val);
1163 }
1164 }
1165
1167 parseAnalyzerConfigs(Opts, &Diags);
1168 else
1169 parseAnalyzerConfigs(Opts, nullptr);
1170
1171 llvm::raw_string_ostream os(Opts.FullCompilerInvocation);
1172 for (unsigned i = 0; i < Args.getNumInputArgStrings(); ++i) {
1173 if (i != 0)
1174 os << " ";
1175 os << Args.getArgString(i);
1176 }
1177
1178 return Diags.getNumErrors() == NumErrorsBefore;
1179}
1180
1182 StringRef OptionName, StringRef DefaultVal) {
1183 return Config.insert({OptionName, std::string(DefaultVal)}).first->second;
1184}
1185
1187 DiagnosticsEngine *Diags,
1188 StringRef &OptionField, StringRef Name,
1189 StringRef DefaultVal) {
1190 // String options may be known to invalid (e.g. if the expected string is a
1191 // file name, but the file does not exist), those will have to be checked in
1192 // parseConfigs.
1193 OptionField = getStringOption(Config, Name, DefaultVal);
1194}
1195
1197 DiagnosticsEngine *Diags,
1198 bool &OptionField, StringRef Name, bool DefaultVal) {
1199 auto PossiblyInvalidVal =
1200 llvm::StringSwitch<std::optional<bool>>(
1201 getStringOption(Config, Name, (DefaultVal ? "true" : "false")))
1202 .Case("true", true)
1203 .Case("false", false)
1204 .Default(std::nullopt);
1205
1206 if (!PossiblyInvalidVal) {
1207 if (Diags)
1208 Diags->Report(diag::err_analyzer_config_invalid_input)
1209 << Name << "a boolean";
1210 else
1211 OptionField = DefaultVal;
1212 } else
1213 OptionField = *PossiblyInvalidVal;
1214}
1215
1217 DiagnosticsEngine *Diags,
1218 unsigned &OptionField, StringRef Name,
1219 unsigned DefaultVal) {
1220
1221 OptionField = DefaultVal;
1222 bool HasFailed = getStringOption(Config, Name, std::to_string(DefaultVal))
1223 .getAsInteger(0, OptionField);
1224 if (Diags && HasFailed)
1225 Diags->Report(diag::err_analyzer_config_invalid_input)
1226 << Name << "an unsigned";
1227}
1228
1230 DiagnosticsEngine *Diags,
1231 PositiveAnalyzerOption &OptionField, StringRef Name,
1232 unsigned DefaultVal) {
1233 auto Parsed = PositiveAnalyzerOption::create(
1234 getStringOption(Config, Name, std::to_string(DefaultVal)));
1235 if (Parsed.has_value()) {
1236 OptionField = Parsed.value();
1237 return;
1238 }
1239 if (Diags && !Parsed.has_value())
1240 Diags->Report(diag::err_analyzer_config_invalid_input)
1241 << Name << "a positive";
1242
1243 OptionField = DefaultVal;
1244}
1245
1247 DiagnosticsEngine *Diags) {
1248 // TODO: There's no need to store the entire configtable, it'd be plenty
1249 // enough to store checker options.
1250
1251#define ANALYZER_OPTION(TYPE, NAME, CMDFLAG, DESC, DEFAULT_VAL) \
1252 initOption(AnOpts.Config, Diags, AnOpts.NAME, CMDFLAG, DEFAULT_VAL);
1253#define ANALYZER_OPTION_DEPENDS_ON_USER_MODE(...)
1254#include "clang/StaticAnalyzer/Core/AnalyzerOptions.def"
1255
1256 assert(AnOpts.UserMode == "shallow" || AnOpts.UserMode == "deep");
1257 const bool InShallowMode = AnOpts.UserMode == "shallow";
1258
1259#define ANALYZER_OPTION(...)
1260#define ANALYZER_OPTION_DEPENDS_ON_USER_MODE(TYPE, NAME, CMDFLAG, DESC, \
1261 SHALLOW_VAL, DEEP_VAL) \
1262 initOption(AnOpts.Config, Diags, AnOpts.NAME, CMDFLAG, \
1263 InShallowMode ? SHALLOW_VAL : DEEP_VAL);
1264#include "clang/StaticAnalyzer/Core/AnalyzerOptions.def"
1265
1266 // At this point, AnalyzerOptions is configured. Let's validate some options.
1267
1268 // FIXME: Here we try to validate the silenced checkers or packages are valid.
1269 // The current approach only validates the registered checkers which does not
1270 // contain the runtime enabled checkers and optimally we would validate both.
1271 if (!AnOpts.RawSilencedCheckersAndPackages.empty()) {
1272 std::vector<StringRef> Checkers =
1273 AnOpts.getRegisteredCheckers(/*IncludeExperimental=*/true);
1274 std::vector<StringRef> Packages =
1275 AnOpts.getRegisteredPackages(/*IncludeExperimental=*/true);
1276
1277 SmallVector<StringRef, 16> CheckersAndPackages;
1278 AnOpts.RawSilencedCheckersAndPackages.split(CheckersAndPackages, ";");
1279
1280 for (const StringRef &CheckerOrPackage : CheckersAndPackages) {
1281 if (Diags) {
1282 bool IsChecker = CheckerOrPackage.contains('.');
1283 bool IsValidName = IsChecker
1284 ? llvm::is_contained(Checkers, CheckerOrPackage)
1285 : llvm::is_contained(Packages, CheckerOrPackage);
1286
1287 if (!IsValidName)
1288 Diags->Report(diag::err_unknown_analyzer_checker_or_package)
1289 << CheckerOrPackage;
1290 }
1291
1292 AnOpts.SilencedCheckersAndPackages.emplace_back(CheckerOrPackage);
1293 }
1294 }
1295
1296 if (!Diags)
1297 return;
1298
1299 if (AnOpts.ShouldTrackConditionsDebug && !AnOpts.ShouldTrackConditions)
1300 Diags->Report(diag::err_analyzer_config_invalid_input)
1301 << "track-conditions-debug" << "'track-conditions' to also be enabled";
1302}
1303
1304/// Generate a remark argument. This is an inverse of `ParseOptimizationRemark`.
1305static void
1307 StringRef Name,
1309 if (Remark.hasValidPattern()) {
1310 GenerateArg(Consumer, OptEQ, Remark.Pattern);
1311 } else if (Remark.Kind == CodeGenOptions::RK_Enabled) {
1312 GenerateArg(Consumer, OPT_R_Joined, Name);
1313 } else if (Remark.Kind == CodeGenOptions::RK_Disabled) {
1314 GenerateArg(Consumer, OPT_R_Joined, StringRef("no-") + Name);
1315 }
1316}
1317
1318/// Parse a remark command line argument. It may be missing, disabled/enabled by
1319/// '-R[no-]group' or specified with a regular expression by '-Rgroup=regexp'.
1320/// On top of that, it can be disabled/enabled globally by '-R[no-]everything'.
1323 OptSpecifier OptEQ, StringRef Name) {
1325
1326 auto InitializeResultPattern = [&Diags, &Args, &Result](const Arg *A,
1327 StringRef Pattern) {
1328 Result.Pattern = Pattern.str();
1329
1330 std::string RegexError;
1331 Result.Regex = std::make_shared<llvm::Regex>(Result.Pattern);
1332 if (!Result.Regex->isValid(RegexError)) {
1333 Diags.Report(diag::err_drv_optimization_remark_pattern)
1334 << RegexError << A->getAsString(Args);
1335 return false;
1336 }
1337
1338 return true;
1339 };
1340
1341 for (Arg *A : Args) {
1342 if (A->getOption().matches(OPT_R_Joined)) {
1343 StringRef Value = A->getValue();
1344
1345 if (Value == Name)
1347 else if (Value == "everything")
1349 else if (Value.split('-') == std::make_pair(StringRef("no"), Name))
1351 else if (Value == "no-everything")
1353 else
1354 continue;
1355
1356 if (Result.Kind == CodeGenOptions::RK_Disabled ||
1358 Result.Pattern = "";
1359 Result.Regex = nullptr;
1360 } else {
1361 InitializeResultPattern(A, ".*");
1362 }
1363 } else if (A->getOption().matches(OptEQ)) {
1365 if (!InitializeResultPattern(A, A->getValue()))
1367 }
1368 }
1369
1370 return Result;
1371}
1372
1373static bool parseDiagnosticLevelMask(StringRef FlagName,
1374 const std::vector<std::string> &Levels,
1375 DiagnosticsEngine &Diags,
1377 bool Success = true;
1378 for (const auto &Level : Levels) {
1379 DiagnosticLevelMask const PM =
1380 llvm::StringSwitch<DiagnosticLevelMask>(Level)
1381 .Case("note", DiagnosticLevelMask::Note)
1382 .Case("remark", DiagnosticLevelMask::Remark)
1383 .Case("warning", DiagnosticLevelMask::Warning)
1384 .Case("error", DiagnosticLevelMask::Error)
1385 .Default(DiagnosticLevelMask::None);
1386 if (PM == DiagnosticLevelMask::None) {
1387 Success = false;
1388 Diags.Report(diag::err_drv_invalid_value) << FlagName << Level;
1389 }
1390 M = M | PM;
1391 }
1392 return Success;
1393}
1394
1395static void parseSanitizerKinds(StringRef FlagName,
1396 const std::vector<std::string> &Sanitizers,
1397 DiagnosticsEngine &Diags, SanitizerSet &S) {
1398 for (const auto &Sanitizer : Sanitizers) {
1399 SanitizerMask K = parseSanitizerValue(Sanitizer, /*AllowGroups=*/false);
1400 if (K == SanitizerMask())
1401 Diags.Report(diag::err_drv_invalid_value) << FlagName << Sanitizer;
1402 else
1403 S.set(K, true);
1404 }
1405}
1406
1412
1415 const std::vector<std::string> &Sanitizers,
1416 DiagnosticsEngine &Diags) {
1417 SanitizerMaskCutoffs Cutoffs;
1418 for (const auto &Sanitizer : Sanitizers) {
1419 if (!parseSanitizerWeightedValue(Sanitizer, /*AllowGroups=*/false, Cutoffs))
1420 Diags.Report(diag::err_drv_invalid_value) << FlagName << Sanitizer;
1421 }
1422 return Cutoffs;
1423}
1424
1425static void parseXRayInstrumentationBundle(StringRef FlagName, StringRef Bundle,
1426 ArgList &Args, DiagnosticsEngine &D,
1427 XRayInstrSet &S) {
1429 llvm::SplitString(Bundle, BundleParts, ",");
1430 for (const auto &B : BundleParts) {
1431 auto Mask = parseXRayInstrValue(B);
1432 if (Mask == XRayInstrKind::None)
1433 if (B != "none")
1434 D.Report(diag::err_drv_invalid_value) << FlagName << Bundle;
1435 else
1436 S.Mask = Mask;
1437 else if (Mask == XRayInstrKind::All)
1438 S.Mask = Mask;
1439 else
1440 S.set(Mask, true);
1441 }
1442}
1443
1446 serializeXRayInstrValue(S, BundleParts);
1447 std::string Buffer;
1448 llvm::raw_string_ostream OS(Buffer);
1449 llvm::interleave(BundleParts, OS, [&OS](StringRef Part) { OS << Part; }, ",");
1450 return Buffer;
1451}
1452
1455 const llvm::Triple &Triple) {
1456 assert(Triple.getArch() == llvm::Triple::aarch64);
1457 if (LangOpts.PointerAuthCalls) {
1458 using Key = PointerAuthSchema::ARM8_3Key;
1459 using Discrimination = PointerAuthSchema::Discrimination;
1460 // If you change anything here, be sure to update <ptrauth.h>.
1462 Key::ASIA, false,
1463 LangOpts.PointerAuthFunctionTypeDiscrimination ? Discrimination::Type
1464 : Discrimination::None);
1465
1467 Key::ASDA, LangOpts.PointerAuthVTPtrAddressDiscrimination,
1468 LangOpts.PointerAuthVTPtrTypeDiscrimination ? Discrimination::Type
1469 : Discrimination::None);
1470
1471 if (LangOpts.PointerAuthTypeInfoVTPtrDiscrimination)
1473 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1475 else
1477 PointerAuthSchema(Key::ASDA, false, Discrimination::None);
1478
1480 PointerAuthSchema(Key::ASDA, false, Discrimination::None);
1482 PointerAuthSchema(Key::ASIA, true, Discrimination::Decl);
1484 PointerAuthSchema(Key::ASIA, false, Discrimination::Type);
1485
1487 PointerAuthSchema(Key::ASIA, true, Discrimination::None);
1489 PointerAuthSchema(Key::ASIA, true, Discrimination::None);
1491 PointerAuthSchema(Key::ASIA, true, Discrimination::None);
1492 if (LangOpts.PointerAuthBlockDescriptorPointers)
1494 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1496
1498 PointerAuthSchema(Key::ASIA, true, Discrimination::None);
1500 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1502 if (LangOpts.PointerAuthObjcIsa) {
1503 Opts.ObjCIsaPointers =
1504 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1506 Opts.ObjCSuperPointers =
1507 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1509 }
1510
1511 if (LangOpts.PointerAuthObjcClassROPointers)
1512 Opts.ObjCClassROPointers =
1513 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1515 }
1516 Opts.ReturnAddresses = LangOpts.PointerAuthReturns;
1517 Opts.AuthTraps = LangOpts.PointerAuthAuthTraps;
1518 Opts.IndirectGotos = LangOpts.PointerAuthIndirectGotos;
1519 Opts.AArch64JumpTableHardening = LangOpts.AArch64JumpTableHardening;
1520}
1521
1523 const LangOptions &LangOpts,
1524 const llvm::Triple &Triple,
1525 DiagnosticsEngine &Diags) {
1526 if (!LangOpts.PointerAuthCalls && !LangOpts.PointerAuthReturns &&
1527 !LangOpts.PointerAuthAuthTraps && !LangOpts.PointerAuthIndirectGotos &&
1528 !LangOpts.AArch64JumpTableHardening)
1529 return;
1530
1532}
1533
1534void CompilerInvocationBase::GenerateCodeGenArgs(const CodeGenOptions &Opts,
1535 ArgumentConsumer Consumer,
1536 const llvm::Triple &T,
1537 const std::string &OutputFile,
1538 const LangOptions *LangOpts) {
1539 const CodeGenOptions &CodeGenOpts = Opts;
1540
1541 if (Opts.OptimizationLevel == 0)
1542 GenerateArg(Consumer, OPT_O0);
1543 else
1544 GenerateArg(Consumer, OPT_O, Twine(Opts.OptimizationLevel));
1545
1546#define CODEGEN_OPTION_WITH_MARSHALLING(...) \
1547 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
1548#include "clang/Options/Options.inc"
1549#undef CODEGEN_OPTION_WITH_MARSHALLING
1550
1551 if (Opts.OptimizationLevel > 0) {
1552 if (Opts.Inlining == CodeGenOptions::NormalInlining)
1553 GenerateArg(Consumer, OPT_finline_functions);
1554 else if (Opts.Inlining == CodeGenOptions::OnlyHintInlining)
1555 GenerateArg(Consumer, OPT_finline_hint_functions);
1556 else if (Opts.Inlining == CodeGenOptions::OnlyAlwaysInlining)
1557 GenerateArg(Consumer, OPT_fno_inline);
1558 }
1559
1560 if (Opts.DirectAccessExternalData && LangOpts->PICLevel != 0)
1561 GenerateArg(Consumer, OPT_fdirect_access_external_data);
1562 else if (!Opts.DirectAccessExternalData && LangOpts->PICLevel == 0)
1563 GenerateArg(Consumer, OPT_fno_direct_access_external_data);
1564
1565 std::optional<StringRef> DebugInfoVal;
1566 switch (Opts.DebugInfo) {
1567 case llvm::codegenoptions::DebugLineTablesOnly:
1568 DebugInfoVal = "line-tables-only";
1569 break;
1570 case llvm::codegenoptions::DebugDirectivesOnly:
1571 DebugInfoVal = "line-directives-only";
1572 break;
1573 case llvm::codegenoptions::DebugInfoConstructor:
1574 DebugInfoVal = "constructor";
1575 break;
1576 case llvm::codegenoptions::LimitedDebugInfo:
1577 DebugInfoVal = "limited";
1578 break;
1579 case llvm::codegenoptions::FullDebugInfo:
1580 DebugInfoVal = "standalone";
1581 break;
1582 case llvm::codegenoptions::UnusedTypeInfo:
1583 DebugInfoVal = "unused-types";
1584 break;
1585 case llvm::codegenoptions::NoDebugInfo: // default value
1586 DebugInfoVal = std::nullopt;
1587 break;
1588 case llvm::codegenoptions::LocTrackingOnly: // implied value
1589 DebugInfoVal = std::nullopt;
1590 break;
1591 }
1592 if (DebugInfoVal)
1593 GenerateArg(Consumer, OPT_debug_info_kind_EQ, *DebugInfoVal);
1594
1595 for (const auto &Prefix : Opts.DebugPrefixMap)
1596 GenerateArg(Consumer, OPT_fdebug_prefix_map_EQ,
1597 Prefix.first + "=" + Prefix.second);
1598
1599 for (const auto &Prefix : Opts.CoveragePrefixMap)
1600 GenerateArg(Consumer, OPT_fcoverage_prefix_map_EQ,
1601 Prefix.first + "=" + Prefix.second);
1602
1603 if (Opts.NewStructPathTBAA)
1604 GenerateArg(Consumer, OPT_new_struct_path_tbaa);
1605
1606 if (Opts.OptimizeSize == 1)
1607 GenerateArg(Consumer, OPT_O, "s");
1608 else if (Opts.OptimizeSize == 2)
1609 GenerateArg(Consumer, OPT_O, "z");
1610
1611 // SimplifyLibCalls is set only in the absence of -fno-builtin and
1612 // -ffreestanding. We'll consider that when generating them.
1613
1614 // NoBuiltinFuncs are generated by LangOptions.
1615
1616 if (Opts.UnrollLoops && Opts.OptimizationLevel <= 1)
1617 GenerateArg(Consumer, OPT_funroll_loops);
1618 else if (!Opts.UnrollLoops && Opts.OptimizationLevel > 1)
1619 GenerateArg(Consumer, OPT_fno_unroll_loops);
1620
1621 if (Opts.InterchangeLoops)
1622 GenerateArg(Consumer, OPT_floop_interchange);
1623 else
1624 GenerateArg(Consumer, OPT_fno_loop_interchange);
1625
1626 if (Opts.FuseLoops)
1627 GenerateArg(Consumer, OPT_fexperimental_loop_fusion);
1628
1629 if (!Opts.BinutilsVersion.empty())
1630 GenerateArg(Consumer, OPT_fbinutils_version_EQ, Opts.BinutilsVersion);
1631
1632 if (Opts.DebugNameTable ==
1633 static_cast<unsigned>(llvm::DICompileUnit::DebugNameTableKind::GNU))
1634 GenerateArg(Consumer, OPT_ggnu_pubnames);
1635 else if (Opts.DebugNameTable ==
1636 static_cast<unsigned>(
1637 llvm::DICompileUnit::DebugNameTableKind::Default))
1638 GenerateArg(Consumer, OPT_gpubnames);
1639
1640 if (Opts.DebugTemplateAlias)
1641 GenerateArg(Consumer, OPT_gtemplate_alias);
1642
1643 auto TNK = Opts.getDebugSimpleTemplateNames();
1644 if (TNK != llvm::codegenoptions::DebugTemplateNamesKind::Full) {
1645 if (TNK == llvm::codegenoptions::DebugTemplateNamesKind::Simple)
1646 GenerateArg(Consumer, OPT_gsimple_template_names_EQ, "simple");
1647 else if (TNK == llvm::codegenoptions::DebugTemplateNamesKind::Mangled)
1648 GenerateArg(Consumer, OPT_gsimple_template_names_EQ, "mangled");
1649 }
1650 // ProfileInstrumentUsePath is marshalled automatically, no need to generate
1651 // it or PGOUseInstrumentor.
1652
1653 if (Opts.TimePasses) {
1654 if (Opts.TimePassesPerRun)
1655 GenerateArg(Consumer, OPT_ftime_report_EQ, "per-pass-run");
1656 else
1657 GenerateArg(Consumer, OPT_ftime_report);
1658
1659 if (Opts.TimePassesJson)
1660 GenerateArg(Consumer, OPT_ftime_report_json);
1661 }
1662
1663 if (Opts.PrepareForLTO && !Opts.PrepareForThinLTO)
1664 GenerateArg(Consumer, OPT_flto_EQ, "full");
1665
1666 if (Opts.PrepareForThinLTO)
1667 GenerateArg(Consumer, OPT_flto_EQ, "thin");
1668
1669 if (!Opts.ThinLTOIndexFile.empty())
1670 GenerateArg(Consumer, OPT_fthinlto_index_EQ, Opts.ThinLTOIndexFile);
1671
1672 if (Opts.SaveTempsFilePrefix == OutputFile)
1673 GenerateArg(Consumer, OPT_save_temps_EQ, "obj");
1674
1675 StringRef MemProfileBasename("memprof.profraw");
1676 if (!Opts.MemoryProfileOutput.empty()) {
1677 if (Opts.MemoryProfileOutput == MemProfileBasename) {
1678 GenerateArg(Consumer, OPT_fmemory_profile);
1679 } else {
1680 size_t ArgLength =
1681 Opts.MemoryProfileOutput.size() - MemProfileBasename.size();
1682 GenerateArg(Consumer, OPT_fmemory_profile_EQ,
1683 Opts.MemoryProfileOutput.substr(0, ArgLength));
1684 }
1685 }
1686
1687 if (memcmp(Opts.CoverageVersion, "0000", 4))
1688 GenerateArg(Consumer, OPT_coverage_version_EQ,
1689 StringRef(Opts.CoverageVersion, 4));
1690
1691 // TODO: Check if we need to generate arguments stored in CmdArgs. (Namely
1692 // '-fembed_bitcode', which does not map to any CompilerInvocation field and
1693 // won't be generated.)
1694
1696 std::string InstrBundle =
1698 if (!InstrBundle.empty())
1699 GenerateArg(Consumer, OPT_fxray_instrumentation_bundle, InstrBundle);
1700 }
1701
1702 if (Opts.CFProtectionReturn && Opts.CFProtectionBranch)
1703 GenerateArg(Consumer, OPT_fcf_protection_EQ, "full");
1704 else if (Opts.CFProtectionReturn)
1705 GenerateArg(Consumer, OPT_fcf_protection_EQ, "return");
1706 else if (Opts.CFProtectionBranch)
1707 GenerateArg(Consumer, OPT_fcf_protection_EQ, "branch");
1708
1709 if (Opts.CFProtectionBranch) {
1710 switch (Opts.getCFBranchLabelScheme()) {
1712 break;
1713#define CF_BRANCH_LABEL_SCHEME(Kind, FlagVal) \
1714 case CFBranchLabelSchemeKind::Kind: \
1715 GenerateArg(Consumer, OPT_mcf_branch_label_scheme_EQ, #FlagVal); \
1716 break;
1717#include "clang/Basic/CFProtectionOptions.def"
1718 }
1719 }
1720
1721 if (Opts.FunctionReturnThunks)
1722 GenerateArg(Consumer, OPT_mfunction_return_EQ, "thunk-extern");
1723
1724 for (const auto &F : Opts.LinkBitcodeFiles) {
1725 bool Builtint = F.LinkFlags == llvm::Linker::Flags::LinkOnlyNeeded &&
1726 F.PropagateAttrs && F.Internalize;
1727 GenerateArg(Consumer,
1728 Builtint ? OPT_mlink_builtin_bitcode : OPT_mlink_bitcode_file,
1729 F.Filename);
1730 }
1731
1732 if (Opts.EmulatedTLS)
1733 GenerateArg(Consumer, OPT_femulated_tls);
1734
1735 if (Opts.FPDenormalMode != llvm::DenormalMode::getIEEE())
1736 GenerateArg(Consumer, OPT_fdenormal_fp_math_EQ, Opts.FPDenormalMode.str());
1737
1738 if ((Opts.FPDenormalMode != Opts.FP32DenormalMode) ||
1739 (Opts.FP32DenormalMode != llvm::DenormalMode::getIEEE()))
1740 GenerateArg(Consumer, OPT_fdenormal_fp_math_f32_EQ,
1741 Opts.FP32DenormalMode.str());
1742
1743 if (Opts.StructReturnConvention == CodeGenOptions::SRCK_OnStack) {
1744 OptSpecifier Opt =
1745 T.isPPC32() ? OPT_maix_struct_return : OPT_fpcc_struct_return;
1746 GenerateArg(Consumer, Opt);
1747 } else if (Opts.StructReturnConvention == CodeGenOptions::SRCK_InRegs) {
1748 OptSpecifier Opt =
1749 T.isPPC32() ? OPT_msvr4_struct_return : OPT_freg_struct_return;
1750 GenerateArg(Consumer, Opt);
1751 }
1752
1753 if (Opts.EnableAIXExtendedAltivecABI)
1754 GenerateArg(Consumer, OPT_mabi_EQ_vec_extabi);
1755
1756 if (Opts.XCOFFReadOnlyPointers)
1757 GenerateArg(Consumer, OPT_mxcoff_roptr);
1758
1759 if (!Opts.OptRecordPasses.empty())
1760 GenerateArg(Consumer, OPT_opt_record_passes, Opts.OptRecordPasses);
1761
1762 if (!Opts.OptRecordFormat.empty())
1763 GenerateArg(Consumer, OPT_opt_record_format, Opts.OptRecordFormat);
1764
1765 GenerateOptimizationRemark(Consumer, OPT_Rpass_EQ, "pass",
1766 Opts.OptimizationRemark);
1767
1768 GenerateOptimizationRemark(Consumer, OPT_Rpass_missed_EQ, "pass-missed",
1770
1771 GenerateOptimizationRemark(Consumer, OPT_Rpass_analysis_EQ, "pass-analysis",
1773
1774 GenerateArg(Consumer, OPT_fdiagnostics_hotness_threshold_EQ,
1776 ? Twine(*Opts.DiagnosticsHotnessThreshold)
1777 : "auto");
1778
1779 GenerateArg(Consumer, OPT_fdiagnostics_misexpect_tolerance_EQ,
1780 Twine(*Opts.DiagnosticsMisExpectTolerance));
1781
1782 for (StringRef Sanitizer : serializeSanitizerKinds(Opts.SanitizeRecover))
1783 GenerateArg(Consumer, OPT_fsanitize_recover_EQ, Sanitizer);
1784
1785 for (StringRef Sanitizer : serializeSanitizerKinds(Opts.SanitizeTrap))
1786 GenerateArg(Consumer, OPT_fsanitize_trap_EQ, Sanitizer);
1787
1788 for (StringRef Sanitizer :
1790 GenerateArg(Consumer, OPT_fsanitize_merge_handlers_EQ, Sanitizer);
1791
1792 SmallVector<std::string, 4> Values;
1794 for (std::string Sanitizer : Values)
1795 GenerateArg(Consumer, OPT_fsanitize_skip_hot_cutoff_EQ, Sanitizer);
1796
1798 GenerateArg(Consumer, OPT_fallow_runtime_check_skip_hot_cutoff_EQ,
1799 std::to_string(*Opts.AllowRuntimeCheckSkipHotCutoff));
1800 }
1801
1802 for (StringRef Sanitizer :
1804 GenerateArg(Consumer, OPT_fsanitize_annotate_debug_info_EQ, Sanitizer);
1805
1806 if (!Opts.EmitVersionIdentMetadata)
1807 GenerateArg(Consumer, OPT_Qn);
1808
1809 switch (Opts.FiniteLoops) {
1811 break;
1813 GenerateArg(Consumer, OPT_ffinite_loops);
1814 break;
1816 GenerateArg(Consumer, OPT_fno_finite_loops);
1817 break;
1818 }
1819
1820 if (Opts.StaticClosure)
1821 GenerateArg(Consumer, OPT_static_libclosure);
1822}
1823
1824bool CompilerInvocation::ParseCodeGenArgs(CodeGenOptions &Opts, ArgList &Args,
1825 InputKind IK,
1826 DiagnosticsEngine &Diags,
1827 const llvm::Triple &T,
1828 const std::string &OutputFile,
1829 const LangOptions &LangOptsRef) {
1830 unsigned NumErrorsBefore = Diags.getNumErrors();
1831
1832 Opts.OptimizationLevel = getOptimizationLevel(Args, IK, Diags);
1833
1834 // The key paths of codegen options defined in Options.td start with
1835 // "CodeGenOpts.". Let's provide the expected variable name and type.
1836 CodeGenOptions &CodeGenOpts = Opts;
1837 // Some codegen options depend on language options. Let's provide the expected
1838 // variable name and type.
1839 const LangOptions *LangOpts = &LangOptsRef;
1840
1841#define CODEGEN_OPTION_WITH_MARSHALLING(...) \
1842 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
1843#include "clang/Options/Options.inc"
1844#undef CODEGEN_OPTION_WITH_MARSHALLING
1845
1846 // At O0 we want to fully disable inlining outside of cases marked with
1847 // 'alwaysinline' that are required for correctness.
1848 if (Opts.OptimizationLevel == 0) {
1849 Opts.setInlining(CodeGenOptions::OnlyAlwaysInlining);
1850 } else if (const Arg *A = Args.getLastArg(options::OPT_finline_functions,
1851 options::OPT_finline_hint_functions,
1852 options::OPT_fno_inline_functions,
1853 options::OPT_fno_inline)) {
1854 // Explicit inlining flags can disable some or all inlining even at
1855 // optimization levels above zero.
1856 if (A->getOption().matches(options::OPT_finline_functions))
1857 Opts.setInlining(CodeGenOptions::NormalInlining);
1858 else if (A->getOption().matches(options::OPT_finline_hint_functions))
1859 Opts.setInlining(CodeGenOptions::OnlyHintInlining);
1860 else
1861 Opts.setInlining(CodeGenOptions::OnlyAlwaysInlining);
1862 } else {
1863 Opts.setInlining(CodeGenOptions::NormalInlining);
1864 }
1865
1866 // PIC defaults to -fno-direct-access-external-data while non-PIC defaults to
1867 // -fdirect-access-external-data.
1868 Opts.DirectAccessExternalData =
1869 Args.hasArg(OPT_fdirect_access_external_data) ||
1870 (!Args.hasArg(OPT_fno_direct_access_external_data) &&
1871 LangOpts->PICLevel == 0);
1872
1873 if (Arg *A = Args.getLastArg(OPT_debug_info_kind_EQ)) {
1874 unsigned Val =
1875 llvm::StringSwitch<unsigned>(A->getValue())
1876 .Case("line-tables-only", llvm::codegenoptions::DebugLineTablesOnly)
1877 .Case("line-directives-only",
1878 llvm::codegenoptions::DebugDirectivesOnly)
1879 .Case("constructor", llvm::codegenoptions::DebugInfoConstructor)
1880 .Case("limited", llvm::codegenoptions::LimitedDebugInfo)
1881 .Case("standalone", llvm::codegenoptions::FullDebugInfo)
1882 .Case("unused-types", llvm::codegenoptions::UnusedTypeInfo)
1883 .Default(~0U);
1884 if (Val == ~0U)
1885 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args)
1886 << A->getValue();
1887 else
1888 Opts.setDebugInfo(static_cast<llvm::codegenoptions::DebugInfoKind>(Val));
1889 }
1890
1891 // If -fuse-ctor-homing is set and limited debug info is already on, then use
1892 // constructor homing, and vice versa for -fno-use-ctor-homing.
1893 if (const Arg *A =
1894 Args.getLastArg(OPT_fuse_ctor_homing, OPT_fno_use_ctor_homing)) {
1895 if (A->getOption().matches(OPT_fuse_ctor_homing) &&
1896 Opts.getDebugInfo() == llvm::codegenoptions::LimitedDebugInfo)
1897 Opts.setDebugInfo(llvm::codegenoptions::DebugInfoConstructor);
1898 if (A->getOption().matches(OPT_fno_use_ctor_homing) &&
1899 Opts.getDebugInfo() == llvm::codegenoptions::DebugInfoConstructor)
1900 Opts.setDebugInfo(llvm::codegenoptions::LimitedDebugInfo);
1901 }
1902
1903 for (const auto &Arg : Args.getAllArgValues(OPT_fdebug_prefix_map_EQ)) {
1904 auto Split = StringRef(Arg).split('=');
1905 Opts.DebugPrefixMap.emplace_back(Split.first, Split.second);
1906 }
1907
1908 for (const auto &Arg : Args.getAllArgValues(OPT_fcoverage_prefix_map_EQ)) {
1909 auto Split = StringRef(Arg).split('=');
1910 Opts.CoveragePrefixMap.emplace_back(Split.first, Split.second);
1911 }
1912
1913 const llvm::Triple::ArchType DebugEntryValueArchs[] = {
1914 llvm::Triple::x86, llvm::Triple::x86_64, llvm::Triple::aarch64,
1915 llvm::Triple::arm, llvm::Triple::armeb, llvm::Triple::mips,
1916 llvm::Triple::mipsel, llvm::Triple::mips64, llvm::Triple::mips64el,
1917 llvm::Triple::riscv32, llvm::Triple::riscv64};
1918
1919 if (Opts.OptimizationLevel > 0 && Opts.hasReducedDebugInfo() &&
1920 llvm::is_contained(DebugEntryValueArchs, T.getArch()))
1921 Opts.EmitCallSiteInfo = true;
1922
1923 if (!Opts.EnableDIPreservationVerify && Opts.DIBugsReportFilePath.size()) {
1924 Diags.Report(diag::warn_ignoring_verify_debuginfo_preserve_export)
1925 << Opts.DIBugsReportFilePath;
1926 Opts.DIBugsReportFilePath = "";
1927 }
1928
1929 Opts.NewStructPathTBAA = !Args.hasArg(OPT_no_struct_path_tbaa) &&
1930 Args.hasArg(OPT_new_struct_path_tbaa);
1931 Opts.OptimizeSize = getOptimizationLevelSize(Args);
1932 Opts.SimplifyLibCalls = !LangOpts->NoBuiltin;
1933 if (Opts.SimplifyLibCalls)
1934 Opts.NoBuiltinFuncs = LangOpts->NoBuiltinFuncs;
1935 Opts.UnrollLoops =
1936 Args.hasFlag(OPT_funroll_loops, OPT_fno_unroll_loops,
1937 (Opts.OptimizationLevel > 1));
1938 Opts.InterchangeLoops =
1939 Args.hasFlag(OPT_floop_interchange, OPT_fno_loop_interchange, false);
1940 Opts.FuseLoops = Args.hasFlag(OPT_fexperimental_loop_fusion,
1941 OPT_fno_experimental_loop_fusion, false);
1942 Opts.BinutilsVersion =
1943 std::string(Args.getLastArgValue(OPT_fbinutils_version_EQ));
1944
1945 Opts.DebugTemplateAlias = Args.hasArg(OPT_gtemplate_alias);
1946
1947 Opts.DebugNameTable = static_cast<unsigned>(
1948 Args.hasArg(OPT_ggnu_pubnames)
1949 ? llvm::DICompileUnit::DebugNameTableKind::GNU
1950 : Args.hasArg(OPT_gpubnames)
1951 ? llvm::DICompileUnit::DebugNameTableKind::Default
1952 : llvm::DICompileUnit::DebugNameTableKind::None);
1953 if (const Arg *A = Args.getLastArg(OPT_gsimple_template_names_EQ)) {
1954 StringRef Value = A->getValue();
1955 if (Value != "simple" && Value != "mangled")
1956 Diags.Report(diag::err_drv_unsupported_option_argument)
1957 << A->getSpelling() << A->getValue();
1958 Opts.setDebugSimpleTemplateNames(
1959 StringRef(A->getValue()) == "simple"
1960 ? llvm::codegenoptions::DebugTemplateNamesKind::Simple
1961 : llvm::codegenoptions::DebugTemplateNamesKind::Mangled);
1962 }
1963
1964 if (Args.hasArg(OPT_ftime_report, OPT_ftime_report_EQ, OPT_ftime_report_json,
1965 OPT_stats_file_timers)) {
1966 Opts.TimePasses = true;
1967
1968 // -ftime-report= is only for new pass manager.
1969 if (const Arg *EQ = Args.getLastArg(OPT_ftime_report_EQ)) {
1970 StringRef Val = EQ->getValue();
1971 if (Val == "per-pass")
1972 Opts.TimePassesPerRun = false;
1973 else if (Val == "per-pass-run")
1974 Opts.TimePassesPerRun = true;
1975 else
1976 Diags.Report(diag::err_drv_invalid_value)
1977 << EQ->getAsString(Args) << EQ->getValue();
1978 }
1979
1980 if (Args.getLastArg(OPT_ftime_report_json))
1981 Opts.TimePassesJson = true;
1982 }
1983
1984 Opts.PrepareForLTO = false;
1985 Opts.PrepareForThinLTO = false;
1986 if (Arg *A = Args.getLastArg(OPT_flto_EQ)) {
1987 Opts.PrepareForLTO = true;
1988 StringRef S = A->getValue();
1989 if (S == "thin")
1990 Opts.PrepareForThinLTO = true;
1991 else if (S != "full")
1992 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << S;
1993 if (Args.hasArg(OPT_funified_lto))
1994 Opts.PrepareForThinLTO = true;
1995 }
1996 if (Arg *A = Args.getLastArg(OPT_fthinlto_index_EQ)) {
1997 if (IK.getLanguage() != Language::LLVM_IR)
1998 Diags.Report(diag::err_drv_argument_only_allowed_with)
1999 << A->getAsString(Args) << "-x ir";
2000 Opts.ThinLTOIndexFile =
2001 std::string(Args.getLastArgValue(OPT_fthinlto_index_EQ));
2002 }
2003 if (Arg *A = Args.getLastArg(OPT_save_temps_EQ))
2004 Opts.SaveTempsFilePrefix =
2005 llvm::StringSwitch<std::string>(A->getValue())
2006 .Case("obj", OutputFile)
2007 .Default(llvm::sys::path::filename(OutputFile).str());
2008
2009 // The memory profile runtime appends the pid to make this name more unique.
2010 const char *MemProfileBasename = "memprof.profraw";
2011 if (Args.hasArg(OPT_fmemory_profile_EQ)) {
2012 SmallString<128> Path(Args.getLastArgValue(OPT_fmemory_profile_EQ));
2013 llvm::sys::path::append(Path, MemProfileBasename);
2014 Opts.MemoryProfileOutput = std::string(Path);
2015 } else if (Args.hasArg(OPT_fmemory_profile))
2016 Opts.MemoryProfileOutput = MemProfileBasename;
2017
2018 if (Opts.CoverageNotesFile.size() || Opts.CoverageDataFile.size()) {
2019 if (Args.hasArg(OPT_coverage_version_EQ)) {
2020 StringRef CoverageVersion = Args.getLastArgValue(OPT_coverage_version_EQ);
2021 if (CoverageVersion.size() != 4) {
2022 Diags.Report(diag::err_drv_invalid_value)
2023 << Args.getLastArg(OPT_coverage_version_EQ)->getAsString(Args)
2024 << CoverageVersion;
2025 } else {
2026 memcpy(Opts.CoverageVersion, CoverageVersion.data(), 4);
2027 }
2028 }
2029 }
2030 // FIXME: For backend options that are not yet recorded as function
2031 // attributes in the IR, keep track of them so we can embed them in a
2032 // separate data section and use them when building the bitcode.
2033 for (const auto &A : Args) {
2034 // Do not encode output and input.
2035 if (A->getOption().getID() == options::OPT_o ||
2036 A->getOption().getID() == options::OPT_INPUT ||
2037 A->getOption().getID() == options::OPT_x ||
2038 A->getOption().getID() == options::OPT_fembed_bitcode ||
2039 A->getOption().matches(options::OPT_W_Group))
2040 continue;
2041 ArgStringList ASL;
2042 A->render(Args, ASL);
2043 for (const auto &arg : ASL) {
2044 StringRef ArgStr(arg);
2045 llvm::append_range(Opts.CmdArgs, ArgStr);
2046 // using \00 to separate each commandline options.
2047 Opts.CmdArgs.push_back('\0');
2048 }
2049 }
2050
2051 auto XRayInstrBundles =
2052 Args.getAllArgValues(OPT_fxray_instrumentation_bundle);
2053 if (XRayInstrBundles.empty())
2055 else
2056 for (const auto &A : XRayInstrBundles)
2057 parseXRayInstrumentationBundle("-fxray-instrumentation-bundle=", A, Args,
2058 Diags, Opts.XRayInstrumentationBundle);
2059
2060 if (const Arg *A = Args.getLastArg(OPT_fcf_protection_EQ)) {
2061 StringRef Name = A->getValue();
2062 if (Name == "full") {
2063 Opts.CFProtectionReturn = 1;
2064 Opts.CFProtectionBranch = 1;
2065 } else if (Name == "return")
2066 Opts.CFProtectionReturn = 1;
2067 else if (Name == "branch")
2068 Opts.CFProtectionBranch = 1;
2069 else if (Name != "none")
2070 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << Name;
2071 }
2072
2073 if (Opts.CFProtectionBranch && T.isRISCV()) {
2074 if (const Arg *A = Args.getLastArg(OPT_mcf_branch_label_scheme_EQ)) {
2075 const auto Scheme =
2076 llvm::StringSwitch<CFBranchLabelSchemeKind>(A->getValue())
2077#define CF_BRANCH_LABEL_SCHEME(Kind, FlagVal) \
2078 .Case(#FlagVal, CFBranchLabelSchemeKind::Kind)
2079#include "clang/Basic/CFProtectionOptions.def"
2082 Opts.setCFBranchLabelScheme(Scheme);
2083 else
2084 Diags.Report(diag::err_drv_invalid_value)
2085 << A->getAsString(Args) << A->getValue();
2086 }
2087 }
2088
2089 if (const Arg *A = Args.getLastArg(OPT_mfunction_return_EQ)) {
2090 auto Val = llvm::StringSwitch<llvm::FunctionReturnThunksKind>(A->getValue())
2091 .Case("keep", llvm::FunctionReturnThunksKind::Keep)
2092 .Case("thunk-extern", llvm::FunctionReturnThunksKind::Extern)
2093 .Default(llvm::FunctionReturnThunksKind::Invalid);
2094 // SystemZ might want to add support for "expolines."
2095 if (!T.isX86())
2096 Diags.Report(diag::err_drv_argument_not_allowed_with)
2097 << A->getSpelling() << T.getTriple();
2098 else if (Val == llvm::FunctionReturnThunksKind::Invalid)
2099 Diags.Report(diag::err_drv_invalid_value)
2100 << A->getAsString(Args) << A->getValue();
2101 else if (Val == llvm::FunctionReturnThunksKind::Extern &&
2102 Args.getLastArgValue(OPT_mcmodel_EQ) == "large")
2103 Diags.Report(diag::err_drv_argument_not_allowed_with)
2104 << A->getAsString(Args)
2105 << Args.getLastArg(OPT_mcmodel_EQ)->getAsString(Args);
2106 else
2107 Opts.FunctionReturnThunks = static_cast<unsigned>(Val);
2108 }
2109
2110 for (auto *A :
2111 Args.filtered(OPT_mlink_bitcode_file, OPT_mlink_builtin_bitcode)) {
2112 CodeGenOptions::BitcodeFileToLink F;
2113 F.Filename = A->getValue();
2114 if (A->getOption().matches(OPT_mlink_builtin_bitcode)) {
2115 F.LinkFlags = llvm::Linker::Flags::LinkOnlyNeeded;
2116 // When linking CUDA bitcode, propagate function attributes so that
2117 // e.g. libdevice gets fast-math attrs if we're building with fast-math.
2118 F.PropagateAttrs = true;
2119 F.Internalize = true;
2120 }
2121 Opts.LinkBitcodeFiles.push_back(F);
2122 }
2123
2124 if (Arg *A = Args.getLastArg(OPT_fdenormal_fp_math_EQ)) {
2125 StringRef Val = A->getValue();
2126 Opts.FPDenormalMode = llvm::parseDenormalFPAttribute(Val);
2127 Opts.FP32DenormalMode = Opts.FPDenormalMode;
2128 if (!Opts.FPDenormalMode.isValid())
2129 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << Val;
2130 }
2131
2132 if (Arg *A = Args.getLastArg(OPT_fdenormal_fp_math_f32_EQ)) {
2133 StringRef Val = A->getValue();
2134 Opts.FP32DenormalMode = llvm::parseDenormalFPAttribute(Val);
2135 if (!Opts.FP32DenormalMode.isValid())
2136 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << Val;
2137 }
2138
2139 // X86_32 has -fppc-struct-return and -freg-struct-return.
2140 // PPC32 has -maix-struct-return and -msvr4-struct-return.
2141 if (Arg *A =
2142 Args.getLastArg(OPT_fpcc_struct_return, OPT_freg_struct_return,
2143 OPT_maix_struct_return, OPT_msvr4_struct_return)) {
2144 // TODO: We might want to consider enabling these options on AIX in the
2145 // future.
2146 if (T.isOSAIX())
2147 Diags.Report(diag::err_drv_unsupported_opt_for_target)
2148 << A->getSpelling() << T.str();
2149
2150 const Option &O = A->getOption();
2151 if (O.matches(OPT_fpcc_struct_return) ||
2152 O.matches(OPT_maix_struct_return)) {
2153 Opts.setStructReturnConvention(CodeGenOptions::SRCK_OnStack);
2154 } else {
2155 assert(O.matches(OPT_freg_struct_return) ||
2156 O.matches(OPT_msvr4_struct_return));
2157 Opts.setStructReturnConvention(CodeGenOptions::SRCK_InRegs);
2158 }
2159 }
2160
2161 if (Arg *A = Args.getLastArg(OPT_mxcoff_roptr)) {
2162 if (!T.isOSAIX())
2163 Diags.Report(diag::err_drv_unsupported_opt_for_target)
2164 << A->getSpelling() << T.str();
2165
2166 // Since the storage mapping class is specified per csect,
2167 // without using data sections, it is less effective to use read-only
2168 // pointers. Using read-only pointers may cause other RO variables in the
2169 // same csect to become RW when the linker acts upon `-bforceimprw`;
2170 // therefore, we require that separate data sections
2171 // are used when `-mxcoff-roptr` is in effect. We respect the setting of
2172 // data-sections since we have not found reasons to do otherwise that
2173 // overcome the user surprise of not respecting the setting.
2174 if (!Args.hasFlag(OPT_fdata_sections, OPT_fno_data_sections, false))
2175 Diags.Report(diag::err_roptr_requires_data_sections);
2176
2177 Opts.XCOFFReadOnlyPointers = true;
2178 }
2179
2180 if (Arg *A = Args.getLastArg(OPT_mabi_EQ_quadword_atomics)) {
2181 if (!T.isOSAIX() || T.isPPC32())
2182 Diags.Report(diag::err_drv_unsupported_opt_for_target)
2183 << A->getSpelling() << T.str();
2184 }
2185
2186 bool NeedLocTracking = false;
2187
2188 if (!Opts.OptRecordFile.empty())
2189 NeedLocTracking = true;
2190
2191 if (Arg *A = Args.getLastArg(OPT_opt_record_passes)) {
2192 Opts.OptRecordPasses = A->getValue();
2193 NeedLocTracking = true;
2194 }
2195
2196 if (Arg *A = Args.getLastArg(OPT_opt_record_format)) {
2197 Opts.OptRecordFormat = A->getValue();
2198 NeedLocTracking = true;
2199 }
2200
2201 Opts.OptimizationRemark =
2202 ParseOptimizationRemark(Diags, Args, OPT_Rpass_EQ, "pass");
2203
2205 ParseOptimizationRemark(Diags, Args, OPT_Rpass_missed_EQ, "pass-missed");
2206
2208 Diags, Args, OPT_Rpass_analysis_EQ, "pass-analysis");
2209
2210 NeedLocTracking |= Opts.OptimizationRemark.hasValidPattern() ||
2213
2214 bool UsingSampleProfile = !Opts.SampleProfileFile.empty();
2215 bool UsingProfile =
2216 UsingSampleProfile || !Opts.ProfileInstrumentUsePath.empty();
2217
2218 if (Opts.DiagnosticsWithHotness && !UsingProfile &&
2219 // An IR file will contain PGO as metadata
2221 Diags.Report(diag::warn_drv_diagnostics_hotness_requires_pgo)
2222 << "-fdiagnostics-show-hotness";
2223
2224 // Parse remarks hotness threshold. Valid value is either integer or 'auto'.
2225 if (auto *arg =
2226 Args.getLastArg(options::OPT_fdiagnostics_hotness_threshold_EQ)) {
2227 auto ResultOrErr =
2228 llvm::remarks::parseHotnessThresholdOption(arg->getValue());
2229
2230 if (!ResultOrErr) {
2231 Diags.Report(diag::err_drv_invalid_diagnotics_hotness_threshold)
2232 << "-fdiagnostics-hotness-threshold=";
2233 } else {
2234 Opts.DiagnosticsHotnessThreshold = *ResultOrErr;
2235 if ((!Opts.DiagnosticsHotnessThreshold ||
2236 *Opts.DiagnosticsHotnessThreshold > 0) &&
2237 !UsingProfile)
2238 Diags.Report(diag::warn_drv_diagnostics_hotness_requires_pgo)
2239 << "-fdiagnostics-hotness-threshold=";
2240 }
2241 }
2242
2243 if (auto *arg =
2244 Args.getLastArg(options::OPT_fdiagnostics_misexpect_tolerance_EQ)) {
2245 auto ResultOrErr = parseToleranceOption(arg->getValue());
2246
2247 if (!ResultOrErr) {
2248 Diags.Report(diag::err_drv_invalid_diagnotics_misexpect_tolerance)
2249 << "-fdiagnostics-misexpect-tolerance=";
2250 } else {
2251 Opts.DiagnosticsMisExpectTolerance = *ResultOrErr;
2252 if ((!Opts.DiagnosticsMisExpectTolerance ||
2253 *Opts.DiagnosticsMisExpectTolerance > 0) &&
2254 !UsingProfile)
2255 Diags.Report(diag::warn_drv_diagnostics_misexpect_requires_pgo)
2256 << "-fdiagnostics-misexpect-tolerance=";
2257 }
2258 }
2259
2260 // If the user requested to use a sample profile for PGO, then the
2261 // backend will need to track source location information so the profile
2262 // can be incorporated into the IR.
2263 if (UsingSampleProfile)
2264 NeedLocTracking = true;
2265
2266 if (!Opts.StackUsageFile.empty())
2267 NeedLocTracking = true;
2268
2269 // If the user requested a flag that requires source locations available in
2270 // the backend, make sure that the backend tracks source location information.
2271 if (NeedLocTracking &&
2272 Opts.getDebugInfo() == llvm::codegenoptions::NoDebugInfo)
2273 Opts.setDebugInfo(llvm::codegenoptions::LocTrackingOnly);
2274
2275 // Parse -fsanitize-recover= arguments.
2276 // FIXME: Report unrecoverable sanitizers incorrectly specified here.
2277 parseSanitizerKinds("-fsanitize-recover=",
2278 Args.getAllArgValues(OPT_fsanitize_recover_EQ), Diags,
2279 Opts.SanitizeRecover);
2280 parseSanitizerKinds("-fsanitize-trap=",
2281 Args.getAllArgValues(OPT_fsanitize_trap_EQ), Diags,
2282 Opts.SanitizeTrap);
2283 parseSanitizerKinds("-fsanitize-merge=",
2284 Args.getAllArgValues(OPT_fsanitize_merge_handlers_EQ),
2285 Diags, Opts.SanitizeMergeHandlers);
2286
2287 // Parse -fsanitize-skip-hot-cutoff= arguments.
2289 "-fsanitize-skip-hot-cutoff=",
2290 Args.getAllArgValues(OPT_fsanitize_skip_hot_cutoff_EQ), Diags);
2291
2293 "-fsanitize-annotate-debug-info=",
2294 Args.getAllArgValues(OPT_fsanitize_annotate_debug_info_EQ), Diags,
2296
2297 if (StringRef V =
2298 Args.getLastArgValue(OPT_fallow_runtime_check_skip_hot_cutoff_EQ);
2299 !V.empty()) {
2300 double A;
2301 if (V.getAsDouble(A) || A < 0.0 || A > 1.0) {
2302 Diags.Report(diag::err_drv_invalid_value)
2303 << "-fallow-runtime-check-skip-hot-cutoff=" << V;
2304 } else {
2306 }
2307 }
2308
2309 Opts.EmitVersionIdentMetadata = Args.hasFlag(OPT_Qy, OPT_Qn, true);
2310
2311 if (!LangOpts->CUDAIsDevice)
2313
2314 if (Args.hasArg(options::OPT_ffinite_loops))
2315 Opts.FiniteLoops = CodeGenOptions::FiniteLoopsKind::Always;
2316 else if (Args.hasArg(options::OPT_fno_finite_loops))
2317 Opts.FiniteLoops = CodeGenOptions::FiniteLoopsKind::Never;
2318
2319 Opts.EmitIEEENaNCompliantInsts = Args.hasFlag(
2320 options::OPT_mamdgpu_ieee, options::OPT_mno_amdgpu_ieee, true);
2321 if (!Opts.EmitIEEENaNCompliantInsts && !LangOptsRef.NoHonorNaNs)
2322 Diags.Report(diag::err_drv_amdgpu_ieee_without_no_honor_nans);
2323
2324 Opts.StaticClosure = Args.hasArg(options::OPT_static_libclosure);
2325
2326 if (!Opts.HLSLRecordCommandLine.empty()) {
2327 auto ParsedArgs =
2329 if (!ParsedArgs)
2330 Diags.Report(diag::err_drv_invalid_escaped_command_line)
2331 << llvm::toString(ParsedArgs.takeError());
2332 else
2333 Opts.HLSLParsedCommandLine = std::move(*ParsedArgs);
2334 }
2335
2336 return Diags.getNumErrors() == NumErrorsBefore;
2337}
2338
2340 ArgumentConsumer Consumer) {
2341 const DependencyOutputOptions &DependencyOutputOpts = Opts;
2342#define DEPENDENCY_OUTPUT_OPTION_WITH_MARSHALLING(...) \
2343 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2344#include "clang/Options/Options.inc"
2345#undef DEPENDENCY_OUTPUT_OPTION_WITH_MARSHALLING
2346
2348 GenerateArg(Consumer, OPT_show_includes);
2349
2350 for (const auto &Dep : Opts.ExtraDeps) {
2351 switch (Dep.second) {
2353 // Sanitizer ignorelist arguments are generated from LanguageOptions.
2354 continue;
2355 case EDK_ModuleFile:
2356 // Module file arguments are generated from FrontendOptions and
2357 // HeaderSearchOptions.
2358 continue;
2359 case EDK_ProfileList:
2360 // Profile list arguments are generated from LanguageOptions via the
2361 // marshalling infrastructure.
2362 continue;
2363 case EDK_DepFileEntry:
2364 GenerateArg(Consumer, OPT_fdepfile_entry, Dep.first);
2365 break;
2366 }
2367 }
2368}
2369
2371 ArgList &Args, DiagnosticsEngine &Diags,
2372 frontend::ActionKind Action,
2373 bool ShowLineMarkers) {
2374 unsigned NumErrorsBefore = Diags.getNumErrors();
2375
2376 DependencyOutputOptions &DependencyOutputOpts = Opts;
2377#define DEPENDENCY_OUTPUT_OPTION_WITH_MARSHALLING(...) \
2378 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
2379#include "clang/Options/Options.inc"
2380#undef DEPENDENCY_OUTPUT_OPTION_WITH_MARSHALLING
2381
2382 if (Args.hasArg(OPT_show_includes)) {
2383 // Writing both /showIncludes and preprocessor output to stdout
2384 // would produce interleaved output, so use stderr for /showIncludes.
2385 // This behaves the same as cl.exe, when /E, /EP or /P are passed.
2386 if (Action == frontend::PrintPreprocessedInput || !ShowLineMarkers)
2388 else
2390 } else {
2392 }
2393
2394 // Add sanitizer ignorelists as extra dependencies.
2395 // They won't be discovered by the regular preprocessor, so
2396 // we let make / ninja to know about this implicit dependency.
2397 if (!Args.hasArg(OPT_fno_sanitize_ignorelist)) {
2398 for (const auto *A : Args.filtered(OPT_fsanitize_ignorelist_EQ)) {
2399 StringRef Val = A->getValue();
2400 if (!Val.contains('='))
2401 Opts.ExtraDeps.emplace_back(std::string(Val), EDK_SanitizeIgnorelist);
2402 }
2403 if (Opts.IncludeSystemHeaders) {
2404 for (const auto *A : Args.filtered(OPT_fsanitize_system_ignorelist_EQ)) {
2405 StringRef Val = A->getValue();
2406 if (!Val.contains('='))
2407 Opts.ExtraDeps.emplace_back(std::string(Val), EDK_SanitizeIgnorelist);
2408 }
2409 }
2410 }
2411
2412 // -fprofile-list= dependencies.
2413 for (const auto &Filename : Args.getAllArgValues(OPT_fprofile_list_EQ))
2414 Opts.ExtraDeps.emplace_back(Filename, EDK_ProfileList);
2415
2416 // Propagate the extra dependencies.
2417 for (const auto *A : Args.filtered(OPT_fdepfile_entry))
2418 Opts.ExtraDeps.emplace_back(A->getValue(), EDK_DepFileEntry);
2419
2420 // Only the -fmodule-file=<file> form.
2421 for (const auto *A : Args.filtered(OPT_fmodule_file)) {
2422 StringRef Val = A->getValue();
2423 if (!Val.contains('='))
2424 Opts.ExtraDeps.emplace_back(std::string(Val), EDK_ModuleFile);
2425 }
2426
2427 // Check for invalid combinations of header-include-format
2428 // and header-include-filtering.
2429 if (Opts.HeaderIncludeFormat == HIFMT_Textual &&
2431 if (Args.hasArg(OPT_header_include_format_EQ))
2432 Diags.Report(diag::err_drv_print_header_cc1_invalid_combination)
2435 else
2436 Diags.Report(diag::err_drv_print_header_cc1_invalid_filtering)
2438 } else if (Opts.HeaderIncludeFormat == HIFMT_JSON &&
2440 if (Args.hasArg(OPT_header_include_filtering_EQ))
2441 Diags.Report(diag::err_drv_print_header_cc1_invalid_combination)
2444 else
2445 Diags.Report(diag::err_drv_print_header_cc1_invalid_format)
2447 }
2448
2449 return Diags.getNumErrors() == NumErrorsBefore;
2450}
2451
2452static ShowColorsKind parseShowColorsMode(const ArgList &Args,
2453 bool DefaultColor) {
2454 // Color diagnostics default to auto ("on" if terminal supports) in the driver
2455 // but default to off in cc1, needing an explicit OPT_fdiagnostics_color.
2456 // Support both clang's -f[no-]color-diagnostics and gcc's
2457 // -f[no-]diagnostics-colors[=never|always|auto].
2458 ShowColorsKind Mode =
2460 for (auto *A : Args) {
2461 const Option &O = A->getOption();
2462 if (O.matches(options::OPT_fcolor_diagnostics)) {
2463 Mode = ShowColorsKind::On;
2464 } else if (O.matches(options::OPT_fno_color_diagnostics)) {
2465 Mode = ShowColorsKind::Off;
2466 } else if (O.matches(options::OPT_fdiagnostics_color_EQ)) {
2467 StringRef Value(A->getValue());
2468 if (Value == "always")
2469 Mode = ShowColorsKind::On;
2470 else if (Value == "never")
2471 Mode = ShowColorsKind::Off;
2472 else if (Value == "auto")
2473 Mode = ShowColorsKind::Auto;
2474 }
2475 }
2476 return Mode;
2477}
2478
2479static bool checkVerifyPrefixes(const std::vector<std::string> &VerifyPrefixes,
2480 DiagnosticsEngine &Diags) {
2481 bool Success = true;
2482 for (const auto &Prefix : VerifyPrefixes) {
2483 // Every prefix must start with a letter and contain only alphanumeric
2484 // characters, hyphens, and underscores.
2485 auto BadChar = llvm::find_if(Prefix, [](char C) {
2486 return !isAlphanumeric(C) && C != '-' && C != '_';
2487 });
2488 if (BadChar != Prefix.end() || !isLetter(Prefix[0])) {
2489 Success = false;
2490 Diags.Report(diag::err_drv_invalid_value) << "-verify=" << Prefix;
2491 Diags.Report(diag::note_drv_verify_prefix_spelling);
2492 }
2493 }
2494 return Success;
2495}
2496
2498 ArgumentConsumer Consumer) {
2499 const FileSystemOptions &FileSystemOpts = Opts;
2500
2501#define FILE_SYSTEM_OPTION_WITH_MARSHALLING(...) \
2502 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2503#include "clang/Options/Options.inc"
2504#undef FILE_SYSTEM_OPTION_WITH_MARSHALLING
2505}
2506
2507static bool ParseFileSystemArgs(FileSystemOptions &Opts, const ArgList &Args,
2508 DiagnosticsEngine &Diags) {
2509 unsigned NumErrorsBefore = Diags.getNumErrors();
2510
2511 FileSystemOptions &FileSystemOpts = Opts;
2512
2513#define FILE_SYSTEM_OPTION_WITH_MARSHALLING(...) \
2514 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
2515#include "clang/Options/Options.inc"
2516#undef FILE_SYSTEM_OPTION_WITH_MARSHALLING
2517
2518 return Diags.getNumErrors() == NumErrorsBefore;
2519}
2520
2522 ArgumentConsumer Consumer) {
2523 const MigratorOptions &MigratorOpts = Opts;
2524#define MIGRATOR_OPTION_WITH_MARSHALLING(...) \
2525 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2526#include "clang/Options/Options.inc"
2527#undef MIGRATOR_OPTION_WITH_MARSHALLING
2528}
2529
2530static bool ParseMigratorArgs(MigratorOptions &Opts, const ArgList &Args,
2531 DiagnosticsEngine &Diags) {
2532 unsigned NumErrorsBefore = Diags.getNumErrors();
2533
2534 MigratorOptions &MigratorOpts = Opts;
2535
2536#define MIGRATOR_OPTION_WITH_MARSHALLING(...) \
2537 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
2538#include "clang/Options/Options.inc"
2539#undef MIGRATOR_OPTION_WITH_MARSHALLING
2540
2541 return Diags.getNumErrors() == NumErrorsBefore;
2542}
2543
2544void CompilerInvocationBase::GenerateDiagnosticArgs(
2545 const DiagnosticOptions &Opts, ArgumentConsumer Consumer,
2546 bool DefaultDiagColor) {
2547 const DiagnosticOptions *DiagnosticOpts = &Opts;
2548#define DIAG_OPTION_WITH_MARSHALLING(...) \
2549 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2550#include "clang/Options/Options.inc"
2551#undef DIAG_OPTION_WITH_MARSHALLING
2552
2553 if (!Opts.DiagnosticSerializationFile.empty())
2554 GenerateArg(Consumer, OPT_diagnostic_serialized_file,
2556
2557 switch (Opts.getShowColors()) {
2558 case ShowColorsKind::On:
2559 GenerateArg(Consumer, OPT_fcolor_diagnostics);
2560 break;
2562 GenerateArg(Consumer, OPT_fno_color_diagnostics);
2563 break;
2565 break;
2566 }
2567
2568 if (Opts.VerifyDiagnostics &&
2569 llvm::is_contained(Opts.VerifyPrefixes, "expected"))
2570 GenerateArg(Consumer, OPT_verify);
2571
2572 for (const auto &Prefix : Opts.VerifyPrefixes)
2573 if (Prefix != "expected")
2574 GenerateArg(Consumer, OPT_verify_EQ, Prefix);
2575
2576 if (Opts.VerifyDirectives) {
2577 GenerateArg(Consumer, OPT_verify_directives);
2578 }
2579
2580 DiagnosticLevelMask VIU = Opts.getVerifyIgnoreUnexpected();
2581 if (VIU == DiagnosticLevelMask::None) {
2582 // This is the default, don't generate anything.
2583 } else if (VIU == DiagnosticLevelMask::All) {
2584 GenerateArg(Consumer, OPT_verify_ignore_unexpected);
2585 } else {
2586 if (static_cast<unsigned>(VIU & DiagnosticLevelMask::Note) != 0)
2587 GenerateArg(Consumer, OPT_verify_ignore_unexpected_EQ, "note");
2588 if (static_cast<unsigned>(VIU & DiagnosticLevelMask::Remark) != 0)
2589 GenerateArg(Consumer, OPT_verify_ignore_unexpected_EQ, "remark");
2590 if (static_cast<unsigned>(VIU & DiagnosticLevelMask::Warning) != 0)
2591 GenerateArg(Consumer, OPT_verify_ignore_unexpected_EQ, "warning");
2592 if (static_cast<unsigned>(VIU & DiagnosticLevelMask::Error) != 0)
2593 GenerateArg(Consumer, OPT_verify_ignore_unexpected_EQ, "error");
2594 }
2595
2596 for (const auto &Warning : Opts.Warnings) {
2597 // This option is automatically generated from UndefPrefixes.
2598 if (Warning == "undef-prefix")
2599 continue;
2600 // This option is automatically generated from CheckConstexprFunctionBodies.
2601 if (Warning == "invalid-constexpr" || Warning == "no-invalid-constexpr")
2602 continue;
2603 Consumer(StringRef("-W") + Warning);
2604 }
2605
2606 for (const auto &Remark : Opts.Remarks) {
2607 // These arguments are generated from OptimizationRemark fields of
2608 // CodeGenOptions.
2609 StringRef IgnoredRemarks[] = {"pass", "no-pass",
2610 "pass-analysis", "no-pass-analysis",
2611 "pass-missed", "no-pass-missed"};
2612 if (llvm::is_contained(IgnoredRemarks, Remark))
2613 continue;
2614
2615 Consumer(StringRef("-R") + Remark);
2616 }
2617
2618 if (!Opts.DiagnosticSuppressionMappingsFile.empty()) {
2619 GenerateArg(Consumer, OPT_warning_suppression_mappings_EQ,
2621 }
2622}
2623
2624std::unique_ptr<DiagnosticOptions>
2626 auto DiagOpts = std::make_unique<DiagnosticOptions>();
2627 unsigned MissingArgIndex, MissingArgCount;
2628 InputArgList Args = getDriverOptTable().ParseArgs(
2629 Argv.slice(1), MissingArgIndex, MissingArgCount);
2630
2631 bool ShowColors = true;
2632 if (std::optional<std::string> NoColor =
2633 llvm::sys::Process::GetEnv("NO_COLOR");
2634 NoColor && !NoColor->empty()) {
2635 // If the user set the NO_COLOR environment variable, we'll honor that
2636 // unless the command line overrides it.
2637 ShowColors = false;
2638 }
2639
2640 // We ignore MissingArgCount and the return value of ParseDiagnosticArgs.
2641 // Any errors that would be diagnosed here will also be diagnosed later,
2642 // when the DiagnosticsEngine actually exists.
2643 (void)ParseDiagnosticArgs(*DiagOpts, Args, /*Diags=*/nullptr, ShowColors);
2644 return DiagOpts;
2645}
2646
2647bool clang::ParseDiagnosticArgs(DiagnosticOptions &Opts, ArgList &Args,
2648 DiagnosticsEngine *Diags,
2649 bool DefaultDiagColor) {
2650 std::optional<DiagnosticOptions> IgnoringDiagOpts;
2651 std::optional<DiagnosticsEngine> IgnoringDiags;
2652 if (!Diags) {
2653 IgnoringDiagOpts.emplace();
2654 IgnoringDiags.emplace(DiagnosticIDs::create(), *IgnoringDiagOpts,
2655 new IgnoringDiagConsumer());
2656 Diags = &*IgnoringDiags;
2657 }
2658
2659 unsigned NumErrorsBefore = Diags->getNumErrors();
2660
2661 // The key paths of diagnostic options defined in Options.td start with
2662 // "DiagnosticOpts->". Let's provide the expected variable name and type.
2663 DiagnosticOptions *DiagnosticOpts = &Opts;
2664
2665#define DIAG_OPTION_WITH_MARSHALLING(...) \
2666 PARSE_OPTION_WITH_MARSHALLING(Args, *Diags, __VA_ARGS__)
2667#include "clang/Options/Options.inc"
2668#undef DIAG_OPTION_WITH_MARSHALLING
2669
2670 llvm::sys::Process::UseANSIEscapeCodes(Opts.UseANSIEscapeCodes);
2671
2672 if (Arg *A =
2673 Args.getLastArg(OPT_diagnostic_serialized_file, OPT__serialize_diags))
2674 Opts.DiagnosticSerializationFile = A->getValue();
2675 Opts.setShowColors(parseShowColorsMode(Args, DefaultDiagColor));
2676
2677 Opts.VerifyDiagnostics = Args.hasArg(OPT_verify) || Args.hasArg(OPT_verify_EQ);
2678 Opts.VerifyDirectives = Args.hasArg(OPT_verify_directives);
2679 Opts.VerifyPrefixes = Args.getAllArgValues(OPT_verify_EQ);
2680 if (Args.hasArg(OPT_verify))
2681 Opts.VerifyPrefixes.push_back("expected");
2682 // Keep VerifyPrefixes in its original order for the sake of diagnostics, and
2683 // then sort it to prepare for fast lookup using std::binary_search.
2684 if (!checkVerifyPrefixes(Opts.VerifyPrefixes, *Diags))
2685 Opts.VerifyDiagnostics = false;
2686 else
2687 llvm::sort(Opts.VerifyPrefixes);
2690 "-verify-ignore-unexpected=",
2691 Args.getAllArgValues(OPT_verify_ignore_unexpected_EQ), *Diags, DiagMask);
2692 if (Args.hasArg(OPT_verify_ignore_unexpected))
2693 DiagMask = DiagnosticLevelMask::All;
2694 Opts.setVerifyIgnoreUnexpected(DiagMask);
2695 if (Opts.TabStop == 0 || Opts.TabStop > DiagnosticOptions::MaxTabStop) {
2696 Diags->Report(diag::warn_ignoring_ftabstop_value)
2697 << Opts.TabStop << DiagnosticOptions::DefaultTabStop;
2698 Opts.TabStop = DiagnosticOptions::DefaultTabStop;
2699 }
2700
2701 if (const Arg *A = Args.getLastArg(OPT_warning_suppression_mappings_EQ))
2702 Opts.DiagnosticSuppressionMappingsFile = A->getValue();
2703
2704 addDiagnosticArgs(Args, OPT_W_Group, OPT_W_value_Group, Opts.Warnings);
2705 addDiagnosticArgs(Args, OPT_R_Group, OPT_R_value_Group, Opts.Remarks);
2706
2707 return Diags->getNumErrors() == NumErrorsBefore;
2708}
2709
2710unsigned clang::getOptimizationLevel(const ArgList &Args, InputKind IK,
2711 DiagnosticsEngine &Diags) {
2712 unsigned DefaultOpt = 0;
2713 if ((IK.getLanguage() == Language::OpenCL ||
2715 !Args.hasArg(OPT_cl_opt_disable))
2716 DefaultOpt = 2;
2717
2718 if (Arg *A = Args.getLastArg(options::OPT_O_Group)) {
2719 if (A->getOption().matches(options::OPT_O0))
2720 return 0;
2721
2722 if (A->getOption().matches(options::OPT_Ofast))
2723 return 3;
2724
2725 assert(A->getOption().matches(options::OPT_O));
2726
2727 StringRef S(A->getValue());
2728 if (S == "s" || S == "z")
2729 return 2;
2730
2731 if (S == "g")
2732 return 1;
2733
2734 DefaultOpt = getLastArgIntValue(Args, OPT_O, DefaultOpt, Diags);
2735 }
2736
2737 unsigned MaxOptLevel = 3;
2738 if (DefaultOpt > MaxOptLevel) {
2739 // If the optimization level is not supported, fall back on the default
2740 // optimization
2741 Diags.Report(diag::warn_drv_optimization_value)
2742 << Args.getLastArg(OPT_O)->getAsString(Args) << "-O" << MaxOptLevel;
2743 DefaultOpt = MaxOptLevel;
2744 }
2745
2746 return DefaultOpt;
2747}
2748
2749unsigned clang::getOptimizationLevelSize(const ArgList &Args) {
2750 if (Arg *A = Args.getLastArg(options::OPT_O_Group)) {
2751 if (A->getOption().matches(options::OPT_O)) {
2752 switch (A->getValue()[0]) {
2753 default:
2754 return 0;
2755 case 's':
2756 return 1;
2757 case 'z':
2758 return 2;
2759 }
2760 }
2761 }
2762 return 0;
2763}
2764
2765/// Parse the argument to the -ftest-module-file-extension
2766/// command-line argument.
2767///
2768/// \returns true on error, false on success.
2769static bool parseTestModuleFileExtensionArg(StringRef Arg,
2770 std::string &BlockName,
2771 unsigned &MajorVersion,
2772 unsigned &MinorVersion,
2773 bool &Hashed,
2774 std::string &UserInfo) {
2776 Arg.split(Args, ':', 5);
2777 if (Args.size() < 5)
2778 return true;
2779
2780 BlockName = std::string(Args[0]);
2781 if (Args[1].getAsInteger(10, MajorVersion)) return true;
2782 if (Args[2].getAsInteger(10, MinorVersion)) return true;
2783 if (Args[3].getAsInteger(2, Hashed)) return true;
2784 if (Args.size() > 4)
2785 UserInfo = std::string(Args[4]);
2786 return false;
2787}
2788
2789/// Return a table that associates command line option specifiers with the
2790/// frontend action. Note: The pair {frontend::PluginAction, OPT_plugin} is
2791/// intentionally missing, as this case is handled separately from other
2792/// frontend options.
2793static const auto &getFrontendActionTable() {
2794 static const std::pair<frontend::ActionKind, unsigned> Table[] = {
2795 {frontend::ASTDeclList, OPT_ast_list},
2796
2797 {frontend::ASTDump, OPT_ast_dump_all_EQ},
2798 {frontend::ASTDump, OPT_ast_dump_all},
2799 {frontend::ASTDump, OPT_ast_dump_EQ},
2800 {frontend::ASTDump, OPT_ast_dump},
2801 {frontend::ASTDump, OPT_ast_dump_lookups},
2802 {frontend::ASTDump, OPT_ast_dump_decl_types},
2803
2804 {frontend::ASTPrint, OPT_ast_print},
2805 {frontend::ASTView, OPT_ast_view},
2806 {frontend::DumpCompilerOptions, OPT_compiler_options_dump},
2807 {frontend::DumpRawTokens, OPT_dump_raw_tokens},
2808 {frontend::DumpTokens, OPT_dump_tokens},
2809 {frontend::EmitAssembly, OPT_S},
2810 {frontend::EmitBC, OPT_emit_llvm_bc},
2811 {frontend::EmitCIR, OPT_emit_cir},
2812 {frontend::EmitHTML, OPT_emit_html},
2813 {frontend::EmitLLVM, OPT_emit_llvm},
2814 {frontend::EmitLLVMOnly, OPT_emit_llvm_only},
2815 {frontend::EmitCodeGenOnly, OPT_emit_codegen_only},
2816 {frontend::EmitObj, OPT_emit_obj},
2817 {frontend::ExtractAPI, OPT_extract_api},
2818
2819 {frontend::FixIt, OPT_fixit_EQ},
2820 {frontend::FixIt, OPT_fixit},
2821
2822 {frontend::GenerateModule, OPT_emit_module},
2823 {frontend::GenerateModuleInterface, OPT_emit_module_interface},
2825 OPT_emit_reduced_module_interface},
2826 {frontend::GenerateHeaderUnit, OPT_emit_header_unit},
2827 {frontend::GeneratePCH, OPT_emit_pch},
2828 {frontend::GenerateInterfaceStubs, OPT_emit_interface_stubs},
2829 {frontend::InitOnly, OPT_init_only},
2830 {frontend::ParseSyntaxOnly, OPT_fsyntax_only},
2831 {frontend::ModuleFileInfo, OPT_module_file_info},
2832 {frontend::VerifyPCH, OPT_verify_pch},
2833 {frontend::PrintPreamble, OPT_print_preamble},
2835 {frontend::TemplightDump, OPT_templight_dump},
2836 {frontend::RewriteMacros, OPT_rewrite_macros},
2837 {frontend::RewriteObjC, OPT_rewrite_objc},
2838 {frontend::RewriteTest, OPT_rewrite_test},
2839 {frontend::RunAnalysis, OPT_analyze},
2840 {frontend::RunPreprocessorOnly, OPT_Eonly},
2842 OPT_print_dependency_directives_minimized_source},
2843 };
2844
2845 return Table;
2846}
2847
2848/// Maps command line option to frontend action.
2849static std::optional<frontend::ActionKind>
2850getFrontendAction(OptSpecifier &Opt) {
2851 for (const auto &ActionOpt : getFrontendActionTable())
2852 if (ActionOpt.second == Opt.getID())
2853 return ActionOpt.first;
2854
2855 return std::nullopt;
2856}
2857
2858/// Maps frontend action to command line option.
2859static std::optional<OptSpecifier>
2861 for (const auto &ActionOpt : getFrontendActionTable())
2862 if (ActionOpt.first == ProgramAction)
2863 return OptSpecifier(ActionOpt.second);
2864
2865 return std::nullopt;
2866}
2867
2869 ArgumentConsumer Consumer, bool IsHeader) {
2870 const FrontendOptions &FrontendOpts = Opts;
2871#define FRONTEND_OPTION_WITH_MARSHALLING(...) \
2872 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2873#include "clang/Options/Options.inc"
2874#undef FRONTEND_OPTION_WITH_MARSHALLING
2875
2876 std::optional<OptSpecifier> ProgramActionOpt =
2878
2879 // Generating a simple flag covers most frontend actions.
2880 std::function<void()> GenerateProgramAction = [&]() {
2881 GenerateArg(Consumer, *ProgramActionOpt);
2882 };
2883
2884 if (!ProgramActionOpt) {
2885 // PluginAction is the only program action handled separately.
2886 assert(Opts.ProgramAction == frontend::PluginAction &&
2887 "Frontend action without option.");
2888 GenerateProgramAction = [&]() {
2889 GenerateArg(Consumer, OPT_plugin, Opts.ActionName);
2890 };
2891 }
2892
2893 // FIXME: Simplify the complex 'AST dump' command line.
2894 if (Opts.ProgramAction == frontend::ASTDump) {
2895 GenerateProgramAction = [&]() {
2896 // ASTDumpLookups, ASTDumpDeclTypes and ASTDumpFilter are generated via
2897 // marshalling infrastructure.
2898
2899 if (Opts.ASTDumpFormat != ADOF_Default) {
2900 StringRef Format;
2901 switch (Opts.ASTDumpFormat) {
2902 case ADOF_Default:
2903 llvm_unreachable("Default AST dump format.");
2904 case ADOF_JSON:
2905 Format = "json";
2906 break;
2907 }
2908
2909 if (Opts.ASTDumpAll)
2910 GenerateArg(Consumer, OPT_ast_dump_all_EQ, Format);
2911 if (Opts.ASTDumpDecls)
2912 GenerateArg(Consumer, OPT_ast_dump_EQ, Format);
2913 } else {
2914 if (Opts.ASTDumpAll)
2915 GenerateArg(Consumer, OPT_ast_dump_all);
2916 if (Opts.ASTDumpDecls)
2917 GenerateArg(Consumer, OPT_ast_dump);
2918 }
2919 };
2920 }
2921
2922 if (Opts.ProgramAction == frontend::FixIt && !Opts.FixItSuffix.empty()) {
2923 GenerateProgramAction = [&]() {
2924 GenerateArg(Consumer, OPT_fixit_EQ, Opts.FixItSuffix);
2925 };
2926 }
2927
2928 GenerateProgramAction();
2929
2930 for (const auto &PluginArgs : Opts.PluginArgs) {
2931 Option Opt = getDriverOptTable().getOption(OPT_plugin_arg);
2932 for (const auto &PluginArg : PluginArgs.second)
2933 denormalizeString(Consumer,
2934 Opt.getPrefix() + Opt.getName() + PluginArgs.first,
2935 Opt.getKind(), 0, PluginArg);
2936 }
2937
2938 for (const auto &Ext : Opts.ModuleFileExtensions)
2939 if (auto *TestExt = dyn_cast_or_null<TestModuleFileExtension>(Ext.get()))
2940 GenerateArg(Consumer, OPT_ftest_module_file_extension_EQ, TestExt->str());
2941
2942 if (!Opts.CodeCompletionAt.FileName.empty())
2943 GenerateArg(Consumer, OPT_code_completion_at,
2944 Opts.CodeCompletionAt.ToString());
2945
2946 for (const auto &Plugin : Opts.Plugins)
2947 GenerateArg(Consumer, OPT_load, Plugin);
2948
2949 // ASTDumpDecls and ASTDumpAll already handled with ProgramAction.
2950
2951 for (const auto &ModuleFile : Opts.ModuleFiles)
2952 GenerateArg(Consumer, OPT_fmodule_file, ModuleFile);
2953
2954 if (Opts.AuxTargetCPU)
2955 GenerateArg(Consumer, OPT_aux_target_cpu, *Opts.AuxTargetCPU);
2956
2957 if (Opts.AuxTargetFeatures)
2958 for (const auto &Feature : *Opts.AuxTargetFeatures)
2959 GenerateArg(Consumer, OPT_aux_target_feature, Feature);
2960
2961 {
2962 StringRef Preprocessed = Opts.DashX.isPreprocessed() ? "-cpp-output" : "";
2963 StringRef ModuleMap =
2964 Opts.DashX.getFormat() == InputKind::ModuleMap ? "-module-map" : "";
2965 StringRef HeaderUnit = "";
2966 switch (Opts.DashX.getHeaderUnitKind()) {
2968 break;
2970 HeaderUnit = "-user";
2971 break;
2973 HeaderUnit = "-system";
2974 break;
2976 HeaderUnit = "-header-unit";
2977 break;
2978 }
2979 StringRef Header = IsHeader ? "-header" : "";
2980
2981 StringRef Lang;
2982 switch (Opts.DashX.getLanguage()) {
2983 case Language::C:
2984 Lang = "c";
2985 break;
2986 case Language::OpenCL:
2987 Lang = "cl";
2988 break;
2990 Lang = "clcpp";
2991 break;
2992 case Language::CUDA:
2993 Lang = "cuda";
2994 break;
2995 case Language::HIP:
2996 Lang = "hip";
2997 break;
2998 case Language::CXX:
2999 Lang = "c++";
3000 break;
3001 case Language::ObjC:
3002 Lang = "objective-c";
3003 break;
3004 case Language::ObjCXX:
3005 Lang = "objective-c++";
3006 break;
3007 case Language::Asm:
3008 Lang = "assembler-with-cpp";
3009 break;
3010 case Language::Unknown:
3011 assert(Opts.DashX.getFormat() == InputKind::Precompiled &&
3012 "Generating -x argument for unknown language (not precompiled).");
3013 Lang = "ast";
3014 break;
3015 case Language::LLVM_IR:
3016 Lang = "ir";
3017 break;
3018 case Language::HLSL:
3019 Lang = "hlsl";
3020 break;
3021 case Language::CIR:
3022 Lang = "cir";
3023 break;
3024 }
3025
3026 GenerateArg(Consumer, OPT_x,
3027 Lang + HeaderUnit + Header + ModuleMap + Preprocessed);
3028 }
3029
3030 // OPT_INPUT has a unique class, generate it directly.
3031 for (const auto &Input : Opts.Inputs)
3032 Consumer(Input.getFile());
3033}
3034
3035static bool ParseFrontendArgs(FrontendOptions &Opts, ArgList &Args,
3036 DiagnosticsEngine &Diags, bool &IsHeaderFile) {
3037 unsigned NumErrorsBefore = Diags.getNumErrors();
3038
3039 FrontendOptions &FrontendOpts = Opts;
3040
3041#define FRONTEND_OPTION_WITH_MARSHALLING(...) \
3042 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
3043#include "clang/Options/Options.inc"
3044#undef FRONTEND_OPTION_WITH_MARSHALLING
3045
3047 if (const Arg *A = Args.getLastArg(OPT_Action_Group)) {
3048 OptSpecifier Opt = OptSpecifier(A->getOption().getID());
3049 std::optional<frontend::ActionKind> ProgramAction = getFrontendAction(Opt);
3050 assert(ProgramAction && "Option specifier not in Action_Group.");
3051
3052 if (ProgramAction == frontend::ASTDump &&
3053 (Opt == OPT_ast_dump_all_EQ || Opt == OPT_ast_dump_EQ)) {
3054 unsigned Val = llvm::StringSwitch<unsigned>(A->getValue())
3055 .CaseLower("default", ADOF_Default)
3056 .CaseLower("json", ADOF_JSON)
3057 .Default(std::numeric_limits<unsigned>::max());
3058
3059 if (Val != std::numeric_limits<unsigned>::max())
3060 Opts.ASTDumpFormat = static_cast<ASTDumpOutputFormat>(Val);
3061 else {
3062 Diags.Report(diag::err_drv_invalid_value)
3063 << A->getAsString(Args) << A->getValue();
3065 }
3066 }
3067
3068 if (ProgramAction == frontend::FixIt && Opt == OPT_fixit_EQ)
3069 Opts.FixItSuffix = A->getValue();
3070
3071 if (ProgramAction == frontend::GenerateInterfaceStubs) {
3072 StringRef ArgStr =
3073 Args.hasArg(OPT_interface_stub_version_EQ)
3074 ? Args.getLastArgValue(OPT_interface_stub_version_EQ)
3075 : "ifs-v1";
3076 if (ArgStr == "experimental-yaml-elf-v1" ||
3077 ArgStr == "experimental-ifs-v1" || ArgStr == "experimental-ifs-v2" ||
3078 ArgStr == "experimental-tapi-elf-v1") {
3079 std::string ErrorMessage =
3080 "Invalid interface stub format: " + ArgStr.str() +
3081 " is deprecated.";
3082 Diags.Report(diag::err_drv_invalid_value)
3083 << "Must specify a valid interface stub format type, ie: "
3084 "-interface-stub-version=ifs-v1"
3085 << ErrorMessage;
3086 ProgramAction = frontend::ParseSyntaxOnly;
3087 } else if (!ArgStr.starts_with("ifs-")) {
3088 std::string ErrorMessage =
3089 "Invalid interface stub format: " + ArgStr.str() + ".";
3090 Diags.Report(diag::err_drv_invalid_value)
3091 << "Must specify a valid interface stub format type, ie: "
3092 "-interface-stub-version=ifs-v1"
3093 << ErrorMessage;
3094 ProgramAction = frontend::ParseSyntaxOnly;
3095 }
3096 }
3097
3098 Opts.ProgramAction = *ProgramAction;
3099
3100 // Catch common mistakes when multiple actions are specified for cc1 (e.g.
3101 // -S -emit-llvm means -emit-llvm while -emit-llvm -S means -S). However, to
3102 // support driver `-c -Xclang ACTION` (-cc1 -emit-llvm file -main-file-name
3103 // X ACTION), we suppress the error when the two actions are separated by
3104 // -main-file-name.
3105 //
3106 // As an exception, accept composable -ast-dump*.
3107 if (!A->getSpelling().starts_with("-ast-dump")) {
3108 const Arg *SavedAction = nullptr;
3109 for (const Arg *AA :
3110 Args.filtered(OPT_Action_Group, OPT_main_file_name)) {
3111 if (AA->getOption().matches(OPT_main_file_name)) {
3112 SavedAction = nullptr;
3113 } else if (!SavedAction) {
3114 SavedAction = AA;
3115 } else {
3116 if (!A->getOption().matches(OPT_ast_dump_EQ))
3117 Diags.Report(diag::err_fe_invalid_multiple_actions)
3118 << SavedAction->getSpelling() << A->getSpelling();
3119 break;
3120 }
3121 }
3122 }
3123 }
3124
3125 if (const Arg* A = Args.getLastArg(OPT_plugin)) {
3126 Opts.Plugins.emplace_back(A->getValue(0));
3128 Opts.ActionName = A->getValue();
3129 }
3130 for (const auto *AA : Args.filtered(OPT_plugin_arg))
3131 Opts.PluginArgs[AA->getValue(0)].emplace_back(AA->getValue(1));
3132
3133 for (const std::string &Arg :
3134 Args.getAllArgValues(OPT_ftest_module_file_extension_EQ)) {
3135 std::string BlockName;
3136 unsigned MajorVersion;
3137 unsigned MinorVersion;
3138 bool Hashed;
3139 std::string UserInfo;
3140 if (parseTestModuleFileExtensionArg(Arg, BlockName, MajorVersion,
3141 MinorVersion, Hashed, UserInfo)) {
3142 Diags.Report(diag::err_test_module_file_extension_format) << Arg;
3143
3144 continue;
3145 }
3146
3147 // Add the testing module file extension.
3148 Opts.ModuleFileExtensions.push_back(
3149 std::make_shared<TestModuleFileExtension>(
3150 BlockName, MajorVersion, MinorVersion, Hashed, UserInfo));
3151 }
3152
3153 if (const Arg *A = Args.getLastArg(OPT_code_completion_at)) {
3154 Opts.CodeCompletionAt =
3155 ParsedSourceLocation::FromString(A->getValue());
3156 if (Opts.CodeCompletionAt.FileName.empty()) {
3157 Diags.Report(diag::err_drv_invalid_value)
3158 << A->getAsString(Args) << A->getValue();
3159 Diags.Report(diag::note_command_line_code_loc_requirement);
3160 }
3161 }
3162
3163 Opts.Plugins = Args.getAllArgValues(OPT_load);
3164 Opts.ASTDumpDecls = Args.hasArg(OPT_ast_dump, OPT_ast_dump_EQ);
3165 Opts.ASTDumpAll = Args.hasArg(OPT_ast_dump_all, OPT_ast_dump_all_EQ);
3166 // Only the -fmodule-file=<file> form.
3167 for (const auto *A : Args.filtered(OPT_fmodule_file)) {
3168 StringRef Val = A->getValue();
3169 if (!Val.contains('='))
3170 Opts.ModuleFiles.push_back(std::string(Val));
3171 }
3172
3174 Diags.Report(diag::err_drv_argument_only_allowed_with) << "-fsystem-module"
3175 << "-emit-module";
3176 if (Args.hasArg(OPT_fclangir) || Args.hasArg(OPT_emit_cir))
3177 Opts.UseClangIRPipeline = true;
3178
3179#if CLANG_ENABLE_CIR
3180 if (Args.hasArg(OPT_clangir_disable_passes))
3181 Opts.ClangIRDisablePasses = true;
3182
3183 if (Args.hasArg(OPT_clangir_disable_verifier))
3184 Opts.ClangIRDisableCIRVerifier = true;
3185
3186 if (Args.hasArg(OPT_clangir_lib_opt) || Args.hasArg(OPT_clangir_lib_opt_EQ))
3187 Opts.ClangIRLibOptEnabled = true;
3188#endif // CLANG_ENABLE_CIR
3189
3190 if (Args.hasArg(OPT_aux_target_cpu))
3191 Opts.AuxTargetCPU = std::string(Args.getLastArgValue(OPT_aux_target_cpu));
3192 if (Args.hasArg(OPT_aux_target_feature))
3193 Opts.AuxTargetFeatures = Args.getAllArgValues(OPT_aux_target_feature);
3194
3196 if (const Arg *A = Args.getLastArg(OPT_x)) {
3197 StringRef XValue = A->getValue();
3198
3199 // Parse suffixes:
3200 // '<lang>(-[{header-unit,user,system}-]header|[-module-map][-cpp-output])'.
3201 // FIXME: Supporting '<lang>-header-cpp-output' would be useful.
3202 bool Preprocessed = XValue.consume_back("-cpp-output");
3203 bool ModuleMap = XValue.consume_back("-module-map");
3204 // Detect and consume the header indicator.
3205 bool IsHeader =
3206 XValue != "precompiled-header" && XValue.consume_back("-header");
3207
3208 // If we have c++-{user,system}-header, that indicates a header unit input
3209 // likewise, if the user put -fmodule-header together with a header with an
3210 // absolute path (header-unit-header).
3212 if (IsHeader || Preprocessed) {
3213 if (XValue.consume_back("-header-unit"))
3215 else if (XValue.consume_back("-system"))
3217 else if (XValue.consume_back("-user"))
3219 }
3220
3221 // The value set by this processing is an un-preprocessed source which is
3222 // not intended to be a module map or header unit.
3223 IsHeaderFile = IsHeader && !Preprocessed && !ModuleMap &&
3225
3226 // Principal languages.
3227 DashX = llvm::StringSwitch<InputKind>(XValue)
3228 .Case("c", Language::C)
3229 .Case("cl", Language::OpenCL)
3230 .Case("clcpp", Language::OpenCLCXX)
3231 .Case("cuda", Language::CUDA)
3232 .Case("hip", Language::HIP)
3233 .Case("c++", Language::CXX)
3234 .Case("objective-c", Language::ObjC)
3235 .Case("objective-c++", Language::ObjCXX)
3236 .Case("hlsl", Language::HLSL)
3237 .Default(Language::Unknown);
3238
3239 // "objc[++]-cpp-output" is an acceptable synonym for
3240 // "objective-c[++]-cpp-output".
3241 if (DashX.isUnknown() && Preprocessed && !IsHeaderFile && !ModuleMap &&
3243 DashX = llvm::StringSwitch<InputKind>(XValue)
3244 .Case("objc", Language::ObjC)
3245 .Case("objc++", Language::ObjCXX)
3246 .Default(Language::Unknown);
3247
3248 // Some special cases cannot be combined with suffixes.
3249 if (DashX.isUnknown() && !Preprocessed && !IsHeaderFile && !ModuleMap &&
3251 DashX = llvm::StringSwitch<InputKind>(XValue)
3252 .Case("cpp-output", InputKind(Language::C).getPreprocessed())
3253 .Case("assembler-with-cpp", Language::Asm)
3254 .Cases({"ast", "pcm", "precompiled-header"},
3256 .Case("ir", Language::LLVM_IR)
3257 .Case("cir", Language::CIR)
3258 .Default(Language::Unknown);
3259
3260 if (DashX.isUnknown())
3261 Diags.Report(diag::err_drv_invalid_value)
3262 << A->getAsString(Args) << A->getValue();
3263
3264 if (Preprocessed)
3265 DashX = DashX.getPreprocessed();
3266 // A regular header is considered mutually exclusive with a header unit.
3267 if (HUK != InputKind::HeaderUnit_None) {
3268 DashX = DashX.withHeaderUnit(HUK);
3269 IsHeaderFile = true;
3270 } else if (IsHeaderFile)
3271 DashX = DashX.getHeader();
3272 if (ModuleMap)
3273 DashX = DashX.withFormat(InputKind::ModuleMap);
3274 }
3275
3276 // '-' is the default input if none is given.
3277 std::vector<std::string> Inputs = Args.getAllArgValues(OPT_INPUT);
3278 Opts.Inputs.clear();
3279 if (Inputs.empty())
3280 Inputs.push_back("-");
3281
3283 Inputs.size() > 1)
3284 Diags.Report(diag::err_drv_header_unit_extra_inputs) << Inputs[1];
3285
3286 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
3287 InputKind IK = DashX;
3288 if (IK.isUnknown()) {
3290 StringRef(Inputs[i]).rsplit('.').second);
3291 // FIXME: Warn on this?
3292 if (IK.isUnknown())
3293 IK = Language::C;
3294 // FIXME: Remove this hack.
3295 if (i == 0)
3296 DashX = IK;
3297 }
3298
3299 bool IsSystem = false;
3300
3301 // The -emit-module action implicitly takes a module map.
3303 IK.getFormat() == InputKind::Source) {
3305 IsSystem = Opts.IsSystemModule;
3306 }
3307
3308 Opts.Inputs.emplace_back(std::move(Inputs[i]), IK, IsSystem);
3309 }
3310
3311 Opts.DashX = DashX;
3312
3313 // CIR is a source-level frontend pipeline. When the input is already LLVM IR
3314 // (e.g. during the backend phase of OpenMP offloading), the standard LLVM
3315 // backend should be used instead.
3316 if (Opts.UseClangIRPipeline && DashX.getLanguage() == Language::LLVM_IR)
3317 Opts.UseClangIRPipeline = false;
3318
3319 return Diags.getNumErrors() == NumErrorsBefore;
3320}
3321
3323 ArgumentConsumer Consumer) {
3324 const HeaderSearchOptions *HeaderSearchOpts = &Opts;
3325#define HEADER_SEARCH_OPTION_WITH_MARSHALLING(...) \
3326 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
3327#include "clang/Options/Options.inc"
3328#undef HEADER_SEARCH_OPTION_WITH_MARSHALLING
3329
3330 if (Opts.UseLibcxx)
3331 GenerateArg(Consumer, OPT_stdlib_EQ, "libc++");
3332
3333 for (const auto &File : Opts.PrebuiltModuleFiles)
3334 GenerateArg(Consumer, OPT_fmodule_file, File.first + "=" + File.second);
3335
3336 for (const auto &Path : Opts.PrebuiltModulePaths)
3337 GenerateArg(Consumer, OPT_fprebuilt_module_path, Path);
3338
3339 for (const auto &Macro : Opts.ModulesIgnoreMacros)
3340 GenerateArg(Consumer, OPT_fmodules_ignore_macro, Macro.val());
3341
3342 auto Matches = [](const HeaderSearchOptions::Entry &Entry,
3344 std::optional<bool> IsFramework,
3345 std::optional<bool> IgnoreSysRoot) {
3346 return llvm::is_contained(Groups, Entry.Group) &&
3347 (!IsFramework || (Entry.IsFramework == *IsFramework)) &&
3348 (!IgnoreSysRoot || (Entry.IgnoreSysRoot == *IgnoreSysRoot));
3349 };
3350
3351 auto It = Opts.UserEntries.begin();
3352 auto End = Opts.UserEntries.end();
3353
3354 // Add -I... and -F... options in order.
3355 for (; It < End && Matches(*It, {frontend::Angled}, std::nullopt, true);
3356 ++It) {
3357 OptSpecifier Opt = [It, Matches]() {
3358 if (Matches(*It, frontend::Angled, true, true))
3359 return OPT_F;
3360 if (Matches(*It, frontend::Angled, false, true))
3361 return OPT_I;
3362 llvm_unreachable("Unexpected HeaderSearchOptions::Entry.");
3363 }();
3364
3365 GenerateArg(Consumer, Opt, It->Path);
3366 }
3367
3368 // Note: some paths that came from "[-iprefix=xx] -iwithprefixbefore=yy" may
3369 // have already been generated as "-I[xx]yy". If that's the case, their
3370 // position on command line was such that this has no semantic impact on
3371 // include paths.
3372 for (; It < End &&
3373 Matches(*It, {frontend::After, frontend::Angled}, false, true);
3374 ++It) {
3375 OptSpecifier Opt =
3376 It->Group == frontend::After ? OPT_iwithprefix : OPT_iwithprefixbefore;
3377 GenerateArg(Consumer, Opt, It->Path);
3378 }
3379
3380 // Note: Some paths that came from "-idirafter=xxyy" may have already been
3381 // generated as "-iwithprefix=xxyy". If that's the case, their position on
3382 // command line was such that this has no semantic impact on include paths.
3383 for (; It < End && Matches(*It, {frontend::After}, false, true); ++It)
3384 GenerateArg(Consumer, OPT_idirafter, It->Path);
3385 for (; It < End && Matches(*It, {frontend::Quoted}, false, true); ++It)
3386 GenerateArg(Consumer, OPT_iquote, It->Path);
3387 for (; It < End && Matches(*It, {frontend::System}, false, std::nullopt);
3388 ++It)
3389 GenerateArg(Consumer, It->IgnoreSysRoot ? OPT_isystem : OPT_iwithsysroot,
3390 It->Path);
3391 for (; It < End && Matches(*It, {frontend::System}, true, true); ++It)
3392 GenerateArg(Consumer, OPT_iframework, It->Path);
3393 for (; It < End && Matches(*It, {frontend::System}, true, false); ++It)
3394 GenerateArg(Consumer, OPT_iframeworkwithsysroot, It->Path);
3395
3396 // Add the paths for the various language specific isystem flags.
3397 for (; It < End && Matches(*It, {frontend::CSystem}, false, true); ++It)
3398 GenerateArg(Consumer, OPT_c_isystem, It->Path);
3399 for (; It < End && Matches(*It, {frontend::CXXSystem}, false, true); ++It)
3400 GenerateArg(Consumer, OPT_cxx_isystem, It->Path);
3401 for (; It < End && Matches(*It, {frontend::ObjCSystem}, false, true); ++It)
3402 GenerateArg(Consumer, OPT_objc_isystem, It->Path);
3403 for (; It < End && Matches(*It, {frontend::ObjCXXSystem}, false, true); ++It)
3404 GenerateArg(Consumer, OPT_objcxx_isystem, It->Path);
3405
3406 // Add the internal paths from a driver that detects standard include paths.
3407 // Note: Some paths that came from "-internal-isystem" arguments may have
3408 // already been generated as "-isystem". If that's the case, their position on
3409 // command line was such that this has no semantic impact on include paths.
3410 for (; It < End &&
3411 Matches(*It, {frontend::System, frontend::ExternCSystem}, false, true);
3412 ++It) {
3413 OptSpecifier Opt = It->Group == frontend::System
3414 ? OPT_internal_isystem
3415 : OPT_internal_externc_isystem;
3416 GenerateArg(Consumer, Opt, It->Path);
3417 }
3418 for (; It < End && Matches(*It, {frontend::System}, true, true); ++It)
3419 GenerateArg(Consumer, OPT_internal_iframework, It->Path);
3420
3421 assert(It == End && "Unhandled HeaderSearchOption::Entry.");
3422
3423 // Add the path prefixes which are implicitly treated as being system headers.
3424 for (const auto &P : Opts.SystemHeaderPrefixes) {
3425 OptSpecifier Opt = P.IsSystemHeader ? OPT_system_header_prefix
3426 : OPT_no_system_header_prefix;
3427 GenerateArg(Consumer, Opt, P.Prefix);
3428 }
3429
3430 for (const std::string &F : Opts.VFSOverlayFiles)
3431 GenerateArg(Consumer, OPT_ivfsoverlay, F);
3432}
3433
3434static bool ParseHeaderSearchArgs(HeaderSearchOptions &Opts, ArgList &Args,
3435 DiagnosticsEngine &Diags) {
3436 unsigned NumErrorsBefore = Diags.getNumErrors();
3437
3438 HeaderSearchOptions *HeaderSearchOpts = &Opts;
3439
3440#define HEADER_SEARCH_OPTION_WITH_MARSHALLING(...) \
3441 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
3442#include "clang/Options/Options.inc"
3443#undef HEADER_SEARCH_OPTION_WITH_MARSHALLING
3444
3445 if (const Arg *A = Args.getLastArg(OPT_stdlib_EQ))
3446 Opts.UseLibcxx = (strcmp(A->getValue(), "libc++") == 0);
3447
3448 // Only the -fmodule-file=<name>=<file> form.
3449 for (const auto *A : Args.filtered(OPT_fmodule_file)) {
3450 StringRef Val = A->getValue();
3451 if (Val.contains('=')) {
3452 auto Split = Val.split('=');
3453 Opts.PrebuiltModuleFiles.insert_or_assign(
3454 std::string(Split.first), std::string(Split.second));
3455 }
3456 }
3457 for (const auto *A : Args.filtered(OPT_fprebuilt_module_path))
3458 Opts.AddPrebuiltModulePath(A->getValue());
3459
3460 for (const auto *A : Args.filtered(OPT_fmodules_ignore_macro)) {
3461 StringRef MacroDef = A->getValue();
3462 Opts.ModulesIgnoreMacros.insert(
3463 llvm::CachedHashString(MacroDef.split('=').first));
3464 }
3465
3466 // Add -I... and -F... options in order.
3467 bool IsSysrootSpecified =
3468 Args.hasArg(OPT__sysroot_EQ) || Args.hasArg(OPT_isysroot);
3469
3470 // Expand a leading `=` to the sysroot if one was passed (and it's not a
3471 // framework flag).
3472 auto PrefixHeaderPath = [IsSysrootSpecified,
3473 &Opts](const llvm::opt::Arg *A,
3474 bool IsFramework = false) -> std::string {
3475 assert(A->getNumValues() && "Unexpected empty search path flag!");
3476 if (IsSysrootSpecified && !IsFramework && A->getValue()[0] == '=') {
3477 SmallString<32> Buffer;
3478 llvm::sys::path::append(Buffer, Opts.Sysroot,
3479 llvm::StringRef(A->getValue()).substr(1));
3480 return std::string(Buffer);
3481 }
3482 return A->getValue();
3483 };
3484
3485 for (const auto *A : Args.filtered(OPT_I, OPT_F)) {
3486 bool IsFramework = A->getOption().matches(OPT_F);
3487 Opts.AddPath(PrefixHeaderPath(A, IsFramework), frontend::Angled,
3488 IsFramework, /*IgnoreSysroot=*/true);
3489 }
3490
3491 // Add -iprefix/-iwithprefix/-iwithprefixbefore options.
3492 StringRef Prefix = ""; // FIXME: This isn't the correct default prefix.
3493 for (const auto *A :
3494 Args.filtered(OPT_iprefix, OPT_iwithprefix, OPT_iwithprefixbefore)) {
3495 if (A->getOption().matches(OPT_iprefix))
3496 Prefix = A->getValue();
3497 else if (A->getOption().matches(OPT_iwithprefix))
3498 Opts.AddPath(Prefix.str() + A->getValue(), frontend::After, false, true);
3499 else
3500 Opts.AddPath(Prefix.str() + A->getValue(), frontend::Angled, false, true);
3501 }
3502
3503 for (const auto *A : Args.filtered(OPT_idirafter))
3504 Opts.AddPath(PrefixHeaderPath(A), frontend::After, false, true);
3505 for (const auto *A : Args.filtered(OPT_iquote))
3506 Opts.AddPath(PrefixHeaderPath(A), frontend::Quoted, false, true);
3507
3508 for (const auto *A : Args.filtered(OPT_isystem, OPT_iwithsysroot)) {
3509 if (A->getOption().matches(OPT_iwithsysroot)) {
3510 Opts.AddPath(A->getValue(), frontend::System, false,
3511 /*IgnoreSysRoot=*/false);
3512 continue;
3513 }
3514 Opts.AddPath(PrefixHeaderPath(A), frontend::System, false, true);
3515 }
3516 for (const auto *A : Args.filtered(OPT_iframework))
3517 Opts.AddPath(A->getValue(), frontend::System, true, true);
3518 for (const auto *A : Args.filtered(OPT_iframeworkwithsysroot))
3519 Opts.AddPath(A->getValue(), frontend::System, /*IsFramework=*/true,
3520 /*IgnoreSysRoot=*/false);
3521
3522 // Add the paths for the various language specific isystem flags.
3523 for (const auto *A : Args.filtered(OPT_c_isystem))
3524 Opts.AddPath(A->getValue(), frontend::CSystem, false, true);
3525 for (const auto *A : Args.filtered(OPT_cxx_isystem))
3526 Opts.AddPath(A->getValue(), frontend::CXXSystem, false, true);
3527 for (const auto *A : Args.filtered(OPT_objc_isystem))
3528 Opts.AddPath(A->getValue(), frontend::ObjCSystem, false,true);
3529 for (const auto *A : Args.filtered(OPT_objcxx_isystem))
3530 Opts.AddPath(A->getValue(), frontend::ObjCXXSystem, false, true);
3531
3532 // Add the internal paths from a driver that detects standard include paths.
3533 for (const auto *A :
3534 Args.filtered(OPT_internal_isystem, OPT_internal_externc_isystem)) {
3536 if (A->getOption().matches(OPT_internal_externc_isystem))
3538 Opts.AddPath(A->getValue(), Group, false, true);
3539 }
3540 for (const auto *A : Args.filtered(OPT_internal_iframework))
3541 Opts.AddPath(A->getValue(), frontend::System, true, true);
3542
3543 // Add the path prefixes which are implicitly treated as being system headers.
3544 for (const auto *A :
3545 Args.filtered(OPT_system_header_prefix, OPT_no_system_header_prefix))
3547 A->getValue(), A->getOption().matches(OPT_system_header_prefix));
3548
3549 for (const auto *A : Args.filtered(OPT_ivfsoverlay, OPT_vfsoverlay))
3550 Opts.AddVFSOverlayFile(A->getValue());
3551
3552 return Diags.getNumErrors() == NumErrorsBefore;
3553}
3554
3556 ArgumentConsumer Consumer) {
3557 if (!Opts.SwiftVersion.empty())
3558 GenerateArg(Consumer, OPT_fapinotes_swift_version,
3559 Opts.SwiftVersion.getAsString());
3560
3561 for (const auto &Path : Opts.ModuleSearchPaths)
3562 GenerateArg(Consumer, OPT_iapinotes_modules, Path);
3563}
3564
3565static void ParseAPINotesArgs(APINotesOptions &Opts, ArgList &Args,
3566 DiagnosticsEngine &diags) {
3567 if (const Arg *A = Args.getLastArg(OPT_fapinotes_swift_version)) {
3568 if (Opts.SwiftVersion.tryParse(A->getValue()))
3569 diags.Report(diag::err_drv_invalid_value)
3570 << A->getAsString(Args) << A->getValue();
3571 }
3572 for (const Arg *A : Args.filtered(OPT_iapinotes_modules))
3573 Opts.ModuleSearchPaths.push_back(A->getValue());
3574}
3575
3576static void GeneratePointerAuthArgs(const LangOptions &Opts,
3577 ArgumentConsumer Consumer) {
3578 if (Opts.PointerAuthIntrinsics)
3579 GenerateArg(Consumer, OPT_fptrauth_intrinsics);
3580 if (Opts.PointerAuthCalls)
3581 GenerateArg(Consumer, OPT_fptrauth_calls);
3582 if (Opts.PointerAuthReturns)
3583 GenerateArg(Consumer, OPT_fptrauth_returns);
3584 if (Opts.PointerAuthIndirectGotos)
3585 GenerateArg(Consumer, OPT_fptrauth_indirect_gotos);
3586 if (Opts.PointerAuthAuthTraps)
3587 GenerateArg(Consumer, OPT_fptrauth_auth_traps);
3588 if (Opts.PointerAuthVTPtrAddressDiscrimination)
3589 GenerateArg(Consumer, OPT_fptrauth_vtable_pointer_address_discrimination);
3590 if (Opts.PointerAuthVTPtrTypeDiscrimination)
3591 GenerateArg(Consumer, OPT_fptrauth_vtable_pointer_type_discrimination);
3592 if (Opts.PointerAuthTypeInfoVTPtrDiscrimination)
3593 GenerateArg(Consumer, OPT_fptrauth_type_info_vtable_pointer_discrimination);
3594 if (Opts.PointerAuthFunctionTypeDiscrimination)
3595 GenerateArg(Consumer, OPT_fptrauth_function_pointer_type_discrimination);
3596 if (Opts.PointerAuthInitFini)
3597 GenerateArg(Consumer, OPT_fptrauth_init_fini);
3598 if (Opts.PointerAuthInitFiniAddressDiscrimination)
3599 GenerateArg(Consumer, OPT_fptrauth_init_fini_address_discrimination);
3600 if (Opts.PointerAuthELFGOT)
3601 GenerateArg(Consumer, OPT_fptrauth_elf_got);
3602 if (Opts.AArch64JumpTableHardening)
3603 GenerateArg(Consumer, OPT_faarch64_jump_table_hardening);
3604 if (Opts.PointerAuthObjcIsa)
3605 GenerateArg(Consumer, OPT_fptrauth_objc_isa);
3606 if (Opts.PointerAuthObjcInterfaceSel)
3607 GenerateArg(Consumer, OPT_fptrauth_objc_interface_sel);
3608 if (Opts.PointerAuthObjcClassROPointers)
3609 GenerateArg(Consumer, OPT_fptrauth_objc_class_ro);
3610 if (Opts.PointerAuthBlockDescriptorPointers)
3611 GenerateArg(Consumer, OPT_fptrauth_block_descriptor_pointers);
3612}
3613
3614static void ParsePointerAuthArgs(LangOptions &Opts, ArgList &Args,
3615 DiagnosticsEngine &Diags) {
3616 Opts.PointerAuthIntrinsics = Args.hasArg(OPT_fptrauth_intrinsics);
3617 Opts.PointerAuthCalls = Args.hasArg(OPT_fptrauth_calls);
3618 Opts.PointerAuthReturns = Args.hasArg(OPT_fptrauth_returns);
3619 Opts.PointerAuthIndirectGotos = Args.hasArg(OPT_fptrauth_indirect_gotos);
3620 Opts.PointerAuthAuthTraps = Args.hasArg(OPT_fptrauth_auth_traps);
3621 Opts.PointerAuthVTPtrAddressDiscrimination =
3622 Args.hasArg(OPT_fptrauth_vtable_pointer_address_discrimination);
3623 Opts.PointerAuthVTPtrTypeDiscrimination =
3624 Args.hasArg(OPT_fptrauth_vtable_pointer_type_discrimination);
3625 Opts.PointerAuthTypeInfoVTPtrDiscrimination =
3626 Args.hasArg(OPT_fptrauth_type_info_vtable_pointer_discrimination);
3627 Opts.PointerAuthFunctionTypeDiscrimination =
3628 Args.hasArg(OPT_fptrauth_function_pointer_type_discrimination);
3629 Opts.PointerAuthInitFini = Args.hasArg(OPT_fptrauth_init_fini);
3630 Opts.PointerAuthInitFiniAddressDiscrimination =
3631 Args.hasArg(OPT_fptrauth_init_fini_address_discrimination);
3632 Opts.PointerAuthELFGOT = Args.hasArg(OPT_fptrauth_elf_got);
3633 Opts.AArch64JumpTableHardening =
3634 Args.hasArg(OPT_faarch64_jump_table_hardening);
3635 Opts.PointerAuthBlockDescriptorPointers =
3636 Args.hasArg(OPT_fptrauth_block_descriptor_pointers);
3637 Opts.PointerAuthObjcIsa = Args.hasArg(OPT_fptrauth_objc_isa);
3638 Opts.PointerAuthObjcClassROPointers = Args.hasArg(OPT_fptrauth_objc_class_ro);
3639 Opts.PointerAuthObjcInterfaceSel =
3640 Args.hasArg(OPT_fptrauth_objc_interface_sel);
3641
3642 if (Opts.PointerAuthObjcInterfaceSel)
3643 Opts.PointerAuthObjcInterfaceSelKey =
3644 static_cast<unsigned>(PointerAuthSchema::ARM8_3Key::ASDB);
3645}
3646
3647/// Check if input file kind and language standard are compatible.
3649 const LangStandard &S) {
3650 switch (IK.getLanguage()) {
3651 case Language::Unknown:
3652 case Language::LLVM_IR:
3653 case Language::CIR:
3654 llvm_unreachable("should not parse language flags for this input");
3655
3656 case Language::C:
3657 case Language::ObjC:
3658 return S.getLanguage() == Language::C;
3659
3660 case Language::OpenCL:
3661 return S.getLanguage() == Language::OpenCL ||
3663
3665 return S.getLanguage() == Language::OpenCLCXX;
3666
3667 case Language::CXX:
3668 case Language::ObjCXX:
3669 return S.getLanguage() == Language::CXX;
3670
3671 case Language::CUDA:
3672 // FIXME: What -std= values should be permitted for CUDA compilations?
3673 return S.getLanguage() == Language::CUDA ||
3675
3676 case Language::HIP:
3677 return S.getLanguage() == Language::CXX || S.getLanguage() == Language::HIP;
3678
3679 case Language::Asm:
3680 // Accept (and ignore) all -std= values.
3681 // FIXME: The -std= value is not ignored; it affects the tokenization
3682 // and preprocessing rules if we're preprocessing this asm input.
3683 return true;
3684
3685 case Language::HLSL:
3686 return S.getLanguage() == Language::HLSL;
3687 }
3688
3689 llvm_unreachable("unexpected input language");
3690}
3691
3692/// Get language name for given input kind.
3693static StringRef GetInputKindName(InputKind IK) {
3694 switch (IK.getLanguage()) {
3695 case Language::C:
3696 return "C";
3697 case Language::ObjC:
3698 return "Objective-C";
3699 case Language::CXX:
3700 return "C++";
3701 case Language::ObjCXX:
3702 return "Objective-C++";
3703 case Language::OpenCL:
3704 return "OpenCL";
3706 return "C++ for OpenCL";
3707 case Language::CUDA:
3708 return "CUDA";
3709 case Language::HIP:
3710 return "HIP";
3711
3712 case Language::Asm:
3713 return "Asm";
3714 case Language::LLVM_IR:
3715 return "LLVM IR";
3716 case Language::CIR:
3717 return "Clang IR";
3718
3719 case Language::HLSL:
3720 return "HLSL";
3721
3722 case Language::Unknown:
3723 break;
3724 }
3725 llvm_unreachable("unknown input language");
3726}
3727
3728void CompilerInvocationBase::GenerateLangArgs(const LangOptions &Opts,
3729 ArgumentConsumer Consumer,
3730 const llvm::Triple &T,
3731 InputKind IK) {
3732 if (IK.getFormat() == InputKind::Precompiled ||
3734 IK.getLanguage() == Language::CIR) {
3735 if (Opts.ObjCAutoRefCount)
3736 GenerateArg(Consumer, OPT_fobjc_arc);
3737 if (Opts.PICLevel != 0)
3738 GenerateArg(Consumer, OPT_pic_level, Twine(Opts.PICLevel));
3739 if (Opts.PIE)
3740 GenerateArg(Consumer, OPT_pic_is_pie);
3741 for (StringRef Sanitizer : serializeSanitizerKinds(Opts.Sanitize))
3742 GenerateArg(Consumer, OPT_fsanitize_EQ, Sanitizer);
3743 for (StringRef Sanitizer :
3745 GenerateArg(Consumer, OPT_fsanitize_ignore_for_ubsan_feature_EQ,
3746 Sanitizer);
3747
3748 return;
3749 }
3750
3751 OptSpecifier StdOpt;
3752 switch (Opts.LangStd) {
3753 case LangStandard::lang_opencl10:
3754 case LangStandard::lang_opencl11:
3755 case LangStandard::lang_opencl12:
3756 case LangStandard::lang_opencl20:
3757 case LangStandard::lang_opencl30:
3758 case LangStandard::lang_openclcpp10:
3759 case LangStandard::lang_openclcpp2021:
3760 StdOpt = OPT_cl_std_EQ;
3761 break;
3762 default:
3763 StdOpt = OPT_std_EQ;
3764 break;
3765 }
3766
3767 auto LangStandard = LangStandard::getLangStandardForKind(Opts.LangStd);
3768 GenerateArg(Consumer, StdOpt, LangStandard.getName());
3769
3770 if (Opts.IncludeDefaultHeader)
3771 GenerateArg(Consumer, OPT_finclude_default_header);
3772 if (Opts.DeclareOpenCLBuiltins)
3773 GenerateArg(Consumer, OPT_fdeclare_opencl_builtins);
3774
3775 const LangOptions *LangOpts = &Opts;
3776
3777#define LANG_OPTION_WITH_MARSHALLING(...) \
3778 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
3779#include "clang/Options/Options.inc"
3780#undef LANG_OPTION_WITH_MARSHALLING
3781
3782 // The '-fcf-protection=' option is generated by CodeGenOpts generator.
3783
3784 if (Opts.ObjC) {
3785 GenerateArg(Consumer, OPT_fobjc_runtime_EQ, Opts.ObjCRuntime.getAsString());
3786
3787 if (Opts.GC == LangOptions::GCOnly)
3788 GenerateArg(Consumer, OPT_fobjc_gc_only);
3789 else if (Opts.GC == LangOptions::HybridGC)
3790 GenerateArg(Consumer, OPT_fobjc_gc);
3791 else if (Opts.ObjCAutoRefCount == 1)
3792 GenerateArg(Consumer, OPT_fobjc_arc);
3793
3794 if (Opts.ObjCWeakRuntime)
3795 GenerateArg(Consumer, OPT_fobjc_runtime_has_weak);
3796
3797 if (Opts.ObjCWeak)
3798 GenerateArg(Consumer, OPT_fobjc_weak);
3799
3800 if (Opts.ObjCSubscriptingLegacyRuntime)
3801 GenerateArg(Consumer, OPT_fobjc_subscripting_legacy_runtime);
3802 }
3803
3804 if (Opts.GNUCVersion != 0) {
3805 unsigned Major = Opts.GNUCVersion / 100 / 100;
3806 unsigned Minor = (Opts.GNUCVersion / 100) % 100;
3807 unsigned Patch = Opts.GNUCVersion % 100;
3808 GenerateArg(Consumer, OPT_fgnuc_version_EQ,
3809 Twine(Major) + "." + Twine(Minor) + "." + Twine(Patch));
3810 }
3811
3812 if (Opts.IgnoreXCOFFVisibility)
3813 GenerateArg(Consumer, OPT_mignore_xcoff_visibility);
3814
3815 if (Opts.SignedOverflowBehavior == LangOptions::SOB_Trapping) {
3816 GenerateArg(Consumer, OPT_ftrapv);
3817 GenerateArg(Consumer, OPT_ftrapv_handler, Opts.OverflowHandler);
3818 } else if (Opts.SignedOverflowBehavior == LangOptions::SOB_Defined) {
3819 if (!Opts.MSVCCompat)
3820 GenerateArg(Consumer, OPT_fwrapv);
3821 } else if (Opts.MSVCCompat) {
3822 GenerateArg(Consumer, OPT_fno_wrapv);
3823 }
3824 if (Opts.PointerOverflowDefined)
3825 GenerateArg(Consumer, OPT_fwrapv_pointer);
3826
3827 if (Opts.MSCompatibilityVersion != 0) {
3828 unsigned Major = Opts.MSCompatibilityVersion / 10000000;
3829 unsigned Minor = (Opts.MSCompatibilityVersion / 100000) % 100;
3830 unsigned Subminor = Opts.MSCompatibilityVersion % 100000;
3831 GenerateArg(Consumer, OPT_fms_compatibility_version,
3832 Twine(Major) + "." + Twine(Minor) + "." + Twine(Subminor));
3833 }
3834
3835 if ((!Opts.GNUMode && !Opts.MSVCCompat && !Opts.CPlusPlus17 && !Opts.C23) ||
3836 T.isOSzOS()) {
3837 if (!Opts.Trigraphs)
3838 GenerateArg(Consumer, OPT_fno_trigraphs);
3839 } else {
3840 if (Opts.Trigraphs)
3841 GenerateArg(Consumer, OPT_ftrigraphs);
3842 }
3843
3844 if (T.isOSzOS() && !Opts.ZOSExt)
3845 GenerateArg(Consumer, OPT_fno_zos_extensions);
3846 else if (Opts.ZOSExt)
3847 GenerateArg(Consumer, OPT_fzos_extensions);
3848
3849 if (Opts.Blocks && !(Opts.OpenCL && Opts.OpenCLVersion == 200))
3850 GenerateArg(Consumer, OPT_fblocks);
3851
3852 if (Opts.ConvergentFunctions)
3853 GenerateArg(Consumer, OPT_fconvergent_functions);
3854 else
3855 GenerateArg(Consumer, OPT_fno_convergent_functions);
3856
3857 if (Opts.NoBuiltin && !Opts.Freestanding)
3858 GenerateArg(Consumer, OPT_fno_builtin);
3859
3860 if (!Opts.NoBuiltin)
3861 for (const auto &Func : Opts.NoBuiltinFuncs)
3862 GenerateArg(Consumer, OPT_fno_builtin_, Func);
3863
3864 if (Opts.LongDoubleSize == 128)
3865 GenerateArg(Consumer, OPT_mlong_double_128);
3866 else if (Opts.LongDoubleSize == 64)
3867 GenerateArg(Consumer, OPT_mlong_double_64);
3868 else if (Opts.LongDoubleSize == 80)
3869 GenerateArg(Consumer, OPT_mlong_double_80);
3870
3871 // Not generating '-mrtd', it's just an alias for '-fdefault-calling-conv='.
3872
3873 // OpenMP was requested via '-fopenmp', not implied by '-fopenmp-simd' or
3874 // '-fopenmp-targets='.
3875 if (Opts.OpenMP && !Opts.OpenMPSimd) {
3876 GenerateArg(Consumer, OPT_fopenmp);
3877
3878 if (Opts.OpenMP != 51)
3879 GenerateArg(Consumer, OPT_fopenmp_version_EQ, Twine(Opts.OpenMP));
3880
3881 if (!Opts.OpenMPUseTLS)
3882 GenerateArg(Consumer, OPT_fnoopenmp_use_tls);
3883
3884 if (Opts.OpenMPIsTargetDevice)
3885 GenerateArg(Consumer, OPT_fopenmp_is_target_device);
3886
3887 if (Opts.OpenMPIRBuilder)
3888 GenerateArg(Consumer, OPT_fopenmp_enable_irbuilder);
3889 }
3890
3891 if (Opts.OpenMPSimd) {
3892 GenerateArg(Consumer, OPT_fopenmp_simd);
3893
3894 if (Opts.OpenMP != 51)
3895 GenerateArg(Consumer, OPT_fopenmp_version_EQ, Twine(Opts.OpenMP));
3896 }
3897
3898 if (Opts.OpenMPThreadSubscription)
3899 GenerateArg(Consumer, OPT_fopenmp_assume_threads_oversubscription);
3900
3901 if (Opts.OpenMPTeamSubscription)
3902 GenerateArg(Consumer, OPT_fopenmp_assume_teams_oversubscription);
3903
3904 if (Opts.OpenMPTargetDebug != 0)
3905 GenerateArg(Consumer, OPT_fopenmp_target_debug_EQ,
3906 Twine(Opts.OpenMPTargetDebug));
3907
3908 if (Opts.OpenMPCUDANumSMs != 0)
3909 GenerateArg(Consumer, OPT_fopenmp_cuda_number_of_sm_EQ,
3910 Twine(Opts.OpenMPCUDANumSMs));
3911
3912 if (Opts.OpenMPCUDABlocksPerSM != 0)
3913 GenerateArg(Consumer, OPT_fopenmp_cuda_blocks_per_sm_EQ,
3914 Twine(Opts.OpenMPCUDABlocksPerSM));
3915
3916 if (!Opts.OMPTargetTriples.empty()) {
3917 std::string Targets;
3918 llvm::raw_string_ostream OS(Targets);
3919 llvm::interleave(
3920 Opts.OMPTargetTriples, OS,
3921 [&OS](const llvm::Triple &T) { OS << T.str(); }, ",");
3922 GenerateArg(Consumer, OPT_offload_targets_EQ, Targets);
3923 }
3924
3925 if (Opts.OpenMPCUDAMode)
3926 GenerateArg(Consumer, OPT_fopenmp_cuda_mode);
3927
3928 if (Opts.OpenACC)
3929 GenerateArg(Consumer, OPT_fopenacc);
3930
3931 // The arguments used to set Optimize, OptimizeSize and NoInlineDefine are
3932 // generated from CodeGenOptions.
3933
3934 if (Opts.DefaultFPContractMode == LangOptions::FPM_Fast)
3935 GenerateArg(Consumer, OPT_ffp_contract, "fast");
3936 else if (Opts.DefaultFPContractMode == LangOptions::FPM_On)
3937 GenerateArg(Consumer, OPT_ffp_contract, "on");
3938 else if (Opts.DefaultFPContractMode == LangOptions::FPM_Off)
3939 GenerateArg(Consumer, OPT_ffp_contract, "off");
3940 else if (Opts.DefaultFPContractMode == LangOptions::FPM_FastHonorPragmas)
3941 GenerateArg(Consumer, OPT_ffp_contract, "fast-honor-pragmas");
3942
3943 for (StringRef Sanitizer : serializeSanitizerKinds(Opts.Sanitize))
3944 GenerateArg(Consumer, OPT_fsanitize_EQ, Sanitizer);
3945 for (StringRef Sanitizer :
3947 GenerateArg(Consumer, OPT_fsanitize_ignore_for_ubsan_feature_EQ, Sanitizer);
3948
3949 // Conflating '-fsanitize-system-ignorelist' and '-fsanitize-ignorelist'.
3950 for (const std::string &F : Opts.NoSanitizeFiles)
3951 GenerateArg(Consumer, OPT_fsanitize_ignorelist_EQ, F);
3952
3953 switch (Opts.getClangABICompat()) {
3954#define ABI_VER_MAJOR_MINOR(Major, Minor) \
3955 case LangOptions::ClangABI::Ver##Major##_##Minor: \
3956 GenerateArg(Consumer, OPT_fclang_abi_compat_EQ, #Major "." #Minor); \
3957 break;
3958#define ABI_VER_MAJOR(Major) \
3959 case LangOptions::ClangABI::Ver##Major: \
3960 GenerateArg(Consumer, OPT_fclang_abi_compat_EQ, #Major ".0"); \
3961 break;
3962#define ABI_VER_LATEST(Latest) \
3963 case LangOptions::ClangABI::Latest: \
3964 break;
3965#include "clang/Basic/ABIVersions.def"
3966 }
3967
3968 if (Opts.getSignReturnAddressScope() ==
3970 GenerateArg(Consumer, OPT_msign_return_address_EQ, "all");
3971 else if (Opts.getSignReturnAddressScope() ==
3973 GenerateArg(Consumer, OPT_msign_return_address_EQ, "non-leaf");
3974
3975 if (Opts.getSignReturnAddressKey() ==
3977 GenerateArg(Consumer, OPT_msign_return_address_key_EQ, "b_key");
3978
3979 if (Opts.CXXABI)
3980 GenerateArg(Consumer, OPT_fcxx_abi_EQ,
3982
3983 if (Opts.RelativeCXXABIVTables)
3984 GenerateArg(Consumer, OPT_fexperimental_relative_cxx_abi_vtables);
3985 else
3986 GenerateArg(Consumer, OPT_fno_experimental_relative_cxx_abi_vtables);
3987
3988 if (Opts.UseTargetPathSeparator)
3989 GenerateArg(Consumer, OPT_ffile_reproducible);
3990 else
3991 GenerateArg(Consumer, OPT_fno_file_reproducible);
3992
3993 for (const auto &MP : Opts.MacroPrefixMap)
3994 GenerateArg(Consumer, OPT_fmacro_prefix_map_EQ, MP.first + "=" + MP.second);
3995
3996 if (!Opts.RandstructSeed.empty())
3997 GenerateArg(Consumer, OPT_frandomize_layout_seed_EQ, Opts.RandstructSeed);
3998
3999 if (Opts.AllocTokenMax)
4000 GenerateArg(Consumer, OPT_falloc_token_max_EQ,
4001 std::to_string(*Opts.AllocTokenMax));
4002
4003 if (Opts.AllocTokenMode) {
4004 StringRef S = llvm::getAllocTokenModeAsString(*Opts.AllocTokenMode);
4005 GenerateArg(Consumer, OPT_falloc_token_mode_EQ, S);
4006 }
4007 // Generate args for matrix types.
4008 if (Opts.MatrixTypes) {
4009 if (Opts.getDefaultMatrixMemoryLayout() ==
4011 GenerateArg(Consumer, OPT_fmatrix_memory_layout_EQ, "column-major");
4012 if (Opts.getDefaultMatrixMemoryLayout() ==
4014 GenerateArg(Consumer, OPT_fmatrix_memory_layout_EQ, "row-major");
4015 }
4016}
4017
4018bool CompilerInvocation::ParseLangArgs(LangOptions &Opts, ArgList &Args,
4019 InputKind IK, const llvm::Triple &T,
4020 std::vector<std::string> &Includes,
4021 DiagnosticsEngine &Diags) {
4022 unsigned NumErrorsBefore = Diags.getNumErrors();
4023
4024 if (IK.getFormat() == InputKind::Precompiled ||
4026 IK.getLanguage() == Language::CIR) {
4027 // ObjCAAutoRefCount and Sanitize LangOpts are used to setup the
4028 // PassManager in BackendUtil.cpp. They need to be initialized no matter
4029 // what the input type is.
4030 if (Args.hasArg(OPT_fobjc_arc))
4031 Opts.ObjCAutoRefCount = 1;
4032 // PICLevel and PIELevel are needed during code generation and this should
4033 // be set regardless of the input type.
4034 Opts.PICLevel = getLastArgIntValue(Args, OPT_pic_level, 0, Diags);
4035 Opts.PIE = Args.hasArg(OPT_pic_is_pie);
4036 parseSanitizerKinds("-fsanitize=", Args.getAllArgValues(OPT_fsanitize_EQ),
4037 Diags, Opts.Sanitize);
4039 "-fsanitize-ignore-for-ubsan-feature=",
4040 Args.getAllArgValues(OPT_fsanitize_ignore_for_ubsan_feature_EQ), Diags,
4042
4043 return Diags.getNumErrors() == NumErrorsBefore;
4044 }
4045
4046 // Other LangOpts are only initialized when the input is not AST or LLVM IR.
4047 // FIXME: Should we really be parsing this for an Language::Asm input?
4048
4049 // FIXME: Cleanup per-file based stuff.
4051 if (const Arg *A = Args.getLastArg(OPT_std_EQ)) {
4052 LangStd = LangStandard::getLangKind(A->getValue());
4053 if (LangStd == LangStandard::lang_unspecified) {
4054 Diags.Report(diag::err_drv_invalid_value)
4055 << A->getAsString(Args) << A->getValue();
4056 // Report supported standards with short description.
4057 for (unsigned KindValue = 0;
4058 KindValue != LangStandard::lang_unspecified;
4059 ++KindValue) {
4060 const LangStandard &Std = LangStandard::getLangStandardForKind(
4061 static_cast<LangStandard::Kind>(KindValue));
4062 if (IsInputCompatibleWithStandard(IK, Std)) {
4063 auto Diag = Diags.Report(diag::note_drv_use_standard);
4064 Diag << Std.getName() << Std.getDescription();
4065 unsigned NumAliases = 0;
4066#define LANGSTANDARD(id, name, lang, desc, features, version)
4067#define LANGSTANDARD_ALIAS(id, alias) \
4068 if (KindValue == LangStandard::lang_##id) ++NumAliases;
4069#define LANGSTANDARD_ALIAS_DEPR(id, alias)
4070#include "clang/Basic/LangStandards.def"
4071 Diag << NumAliases;
4072#define LANGSTANDARD(id, name, lang, desc, features, version)
4073#define LANGSTANDARD_ALIAS(id, alias) \
4074 if (KindValue == LangStandard::lang_##id) Diag << alias;
4075#define LANGSTANDARD_ALIAS_DEPR(id, alias)
4076#include "clang/Basic/LangStandards.def"
4077 }
4078 }
4079 } else {
4080 // Valid standard, check to make sure language and standard are
4081 // compatible.
4082 const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
4083 if (!IsInputCompatibleWithStandard(IK, Std)) {
4084 Diags.Report(diag::err_drv_argument_not_allowed_with)
4085 << A->getAsString(Args) << GetInputKindName(IK);
4086 }
4087 }
4088 }
4089
4090 // -cl-std only applies for OpenCL language standards.
4091 // Override the -std option in this case.
4092 if (const Arg *A = Args.getLastArg(OPT_cl_std_EQ)) {
4093 LangStandard::Kind OpenCLLangStd =
4094 llvm::StringSwitch<LangStandard::Kind>(A->getValue())
4095 .Cases({"cl", "CL"}, LangStandard::lang_opencl10)
4096 .Cases({"cl1.0", "CL1.0"}, LangStandard::lang_opencl10)
4097 .Cases({"cl1.1", "CL1.1"}, LangStandard::lang_opencl11)
4098 .Cases({"cl1.2", "CL1.2"}, LangStandard::lang_opencl12)
4099 .Cases({"cl2.0", "CL2.0"}, LangStandard::lang_opencl20)
4100 .Cases({"cl3.0", "CL3.0"}, LangStandard::lang_opencl30)
4101 .Cases({"cl3.1", "CL3.1"}, LangStandard::lang_opencl31)
4102 .Cases({"clc++", "CLC++"}, LangStandard::lang_openclcpp10)
4103 .Cases({"clc++1.0", "CLC++1.0"}, LangStandard::lang_openclcpp10)
4104 .Cases({"clc++2021", "CLC++2021"}, LangStandard::lang_openclcpp2021)
4106
4107 if (OpenCLLangStd == LangStandard::lang_unspecified) {
4108 Diags.Report(diag::err_drv_invalid_value)
4109 << A->getAsString(Args) << A->getValue();
4110 }
4111 else
4112 LangStd = OpenCLLangStd;
4113 }
4114
4115 // These need to be parsed now. They are used to set OpenCL defaults.
4116 Opts.IncludeDefaultHeader = Args.hasArg(OPT_finclude_default_header);
4117 Opts.DeclareOpenCLBuiltins = Args.hasArg(OPT_fdeclare_opencl_builtins);
4118
4119 LangOptions::setLangDefaults(Opts, IK.getLanguage(), T, Includes, LangStd);
4120
4121 // The key paths of codegen options defined in Options.td start with
4122 // "LangOpts->". Let's provide the expected variable name and type.
4123 LangOptions *LangOpts = &Opts;
4124
4125#define LANG_OPTION_WITH_MARSHALLING(...) \
4126 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
4127#include "clang/Options/Options.inc"
4128#undef LANG_OPTION_WITH_MARSHALLING
4129
4130 // "Modules semantics" (e.g. cross-translation-unit declaration merging) are
4131 // needed for both Clang (header) modules and C++20 modules, so enable them
4132 // for either.
4133 Opts.Modules = Opts.ClangModules || Opts.CPlusPlusModules;
4134
4135 if (const Arg *A = Args.getLastArg(OPT_fcf_protection_EQ)) {
4136 StringRef Name = A->getValue();
4137 if (Name == "full") {
4138 Opts.CFProtectionBranch = 1;
4139 Opts.CFProtectionReturn = 1;
4140 } else if (Name == "branch") {
4141 Opts.CFProtectionBranch = 1;
4142 } else if (Name == "return") {
4143 Opts.CFProtectionReturn = 1;
4144 }
4145 }
4146
4147 if (Opts.CFProtectionBranch) {
4148 if (const Arg *A = Args.getLastArg(OPT_mcf_branch_label_scheme_EQ)) {
4149 const auto Scheme =
4150 llvm::StringSwitch<CFBranchLabelSchemeKind>(A->getValue())
4151#define CF_BRANCH_LABEL_SCHEME(Kind, FlagVal) \
4152 .Case(#FlagVal, CFBranchLabelSchemeKind::Kind)
4153#include "clang/Basic/CFProtectionOptions.def"
4155 Opts.setCFBranchLabelScheme(Scheme);
4156 }
4157 }
4158
4159 if ((Args.hasArg(OPT_fsycl_is_device) || Args.hasArg(OPT_fsycl_is_host)) &&
4160 !Args.hasArg(OPT_sycl_std_EQ)) {
4161 // If the user supplied -fsycl-is-device or -fsycl-is-host, but failed to
4162 // provide -sycl-std=, we want to default it to whatever the default SYCL
4163 // version is. I could not find a way to express this with the options
4164 // tablegen because we still want this value to be SYCL_None when the user
4165 // is not in device or host mode.
4166 Opts.setSYCLVersion(LangOptions::SYCL_Default);
4167 }
4168
4169 if (Opts.ObjC) {
4170 if (Arg *arg = Args.getLastArg(OPT_fobjc_runtime_EQ)) {
4171 StringRef value = arg->getValue();
4172 if (Opts.ObjCRuntime.tryParse(value))
4173 Diags.Report(diag::err_drv_unknown_objc_runtime) << value;
4174 }
4175
4176 if (Args.hasArg(OPT_fobjc_gc_only))
4177 Opts.setGC(LangOptions::GCOnly);
4178 else if (Args.hasArg(OPT_fobjc_gc))
4179 Opts.setGC(LangOptions::HybridGC);
4180 else if (Args.hasArg(OPT_fobjc_arc)) {
4181 Opts.ObjCAutoRefCount = 1;
4182 if (!Opts.ObjCRuntime.allowsARC())
4183 Diags.Report(diag::err_arc_unsupported_on_runtime);
4184 }
4185
4186 // ObjCWeakRuntime tracks whether the runtime supports __weak, not
4187 // whether the feature is actually enabled. This is predominantly
4188 // determined by -fobjc-runtime, but we allow it to be overridden
4189 // from the command line for testing purposes.
4190 if (Args.hasArg(OPT_fobjc_runtime_has_weak))
4191 Opts.ObjCWeakRuntime = 1;
4192 else
4193 Opts.ObjCWeakRuntime = Opts.ObjCRuntime.allowsWeak();
4194
4195 // ObjCWeak determines whether __weak is actually enabled.
4196 // Note that we allow -fno-objc-weak to disable this even in ARC mode.
4197 if (auto weakArg = Args.getLastArg(OPT_fobjc_weak, OPT_fno_objc_weak)) {
4198 if (!weakArg->getOption().matches(OPT_fobjc_weak)) {
4199 assert(!Opts.ObjCWeak);
4200 } else if (Opts.getGC() != LangOptions::NonGC) {
4201 Diags.Report(diag::err_objc_weak_with_gc);
4202 } else if (!Opts.ObjCWeakRuntime) {
4203 Diags.Report(diag::err_objc_weak_unsupported);
4204 } else {
4205 Opts.ObjCWeak = 1;
4206 }
4207 } else if (Opts.ObjCAutoRefCount) {
4208 Opts.ObjCWeak = Opts.ObjCWeakRuntime;
4209 }
4210
4211 if (Args.hasArg(OPT_fobjc_subscripting_legacy_runtime))
4212 Opts.ObjCSubscriptingLegacyRuntime =
4214 }
4215
4216 if (Arg *A = Args.getLastArg(options::OPT_fgnuc_version_EQ)) {
4217 // Check that the version has 1 to 3 components and the minor and patch
4218 // versions fit in two decimal digits.
4219 VersionTuple GNUCVer;
4220 bool Invalid = GNUCVer.tryParse(A->getValue());
4221 unsigned Major = GNUCVer.getMajor();
4222 unsigned Minor = GNUCVer.getMinor().value_or(0);
4223 unsigned Patch = GNUCVer.getSubminor().value_or(0);
4224 if (Invalid || GNUCVer.getBuild() || Minor >= 100 || Patch >= 100) {
4225 Diags.Report(diag::err_drv_invalid_value)
4226 << A->getAsString(Args) << A->getValue();
4227 }
4228 Opts.GNUCVersion = Major * 100 * 100 + Minor * 100 + Patch;
4229 }
4230
4231 if (T.isOSAIX() && (Args.hasArg(OPT_mignore_xcoff_visibility)))
4232 Opts.IgnoreXCOFFVisibility = 1;
4233
4234 if (Args.hasArg(OPT_ftrapv)) {
4235 Opts.setSignedOverflowBehavior(LangOptions::SOB_Trapping);
4236 // Set the handler, if one is specified.
4237 Opts.OverflowHandler =
4238 std::string(Args.getLastArgValue(OPT_ftrapv_handler));
4239 } else if (Args.hasFlag(OPT_fwrapv, OPT_fno_wrapv, Opts.MSVCCompat)) {
4240 Opts.setSignedOverflowBehavior(LangOptions::SOB_Defined);
4241 }
4242 if (Args.hasArg(OPT_fwrapv_pointer))
4243 Opts.PointerOverflowDefined = true;
4244
4245 Opts.MSCompatibilityVersion = 0;
4246 if (const Arg *A = Args.getLastArg(OPT_fms_compatibility_version)) {
4247 VersionTuple VT;
4248 if (VT.tryParse(A->getValue()))
4249 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args)
4250 << A->getValue();
4251 Opts.MSCompatibilityVersion = VT.getMajor() * 10000000 +
4252 VT.getMinor().value_or(0) * 100000 +
4253 VT.getSubminor().value_or(0);
4254 }
4255
4256 // Mimicking gcc's behavior, trigraphs are only enabled if -trigraphs
4257 // is specified, or -std is set to a conforming mode.
4258 // Trigraphs are disabled by default in C++17 and C23 onwards.
4259 // For z/OS, trigraphs are enabled by default (without regard to the above).
4260 Opts.Trigraphs =
4261 (!Opts.GNUMode && !Opts.MSVCCompat && !Opts.CPlusPlus17 && !Opts.C23) ||
4262 T.isOSzOS();
4263 Opts.Trigraphs =
4264 Args.hasFlag(OPT_ftrigraphs, OPT_fno_trigraphs, Opts.Trigraphs);
4265
4266 Opts.ZOSExt =
4267 Args.hasFlag(OPT_fzos_extensions, OPT_fno_zos_extensions, T.isOSzOS());
4268
4269 Opts.Blocks = Args.hasArg(OPT_fblocks) || (Opts.OpenCL
4270 && Opts.OpenCLVersion == 200);
4271
4272 bool HasConvergentOperations = Opts.isTargetDevice() || Opts.OpenCL ||
4273 Opts.HLSL || T.isAMDGPU() || T.isNVPTX();
4274 Opts.ConvergentFunctions =
4275 Args.hasFlag(OPT_fconvergent_functions, OPT_fno_convergent_functions,
4276 HasConvergentOperations);
4277
4278 Opts.NoBuiltin = Args.hasArg(OPT_fno_builtin) || Opts.Freestanding;
4279 if (!Opts.NoBuiltin)
4281 if (Arg *A = Args.getLastArg(options::OPT_LongDouble_Group)) {
4282 if (A->getOption().matches(options::OPT_mlong_double_64))
4283 Opts.LongDoubleSize = 64;
4284 else if (A->getOption().matches(options::OPT_mlong_double_80))
4285 Opts.LongDoubleSize = 80;
4286 else if (A->getOption().matches(options::OPT_mlong_double_128))
4287 Opts.LongDoubleSize = 128;
4288 else
4289 Opts.LongDoubleSize = 0;
4290 }
4291 if (Opts.FastRelaxedMath || Opts.CLUnsafeMath)
4292 Opts.setDefaultFPContractMode(LangOptions::FPM_Fast);
4293
4294 llvm::sort(Opts.ModuleFeatures);
4295
4296 // -mrtd option
4297 if (Arg *A = Args.getLastArg(OPT_mrtd)) {
4298 if (Opts.getDefaultCallingConv() != LangOptions::DCC_None)
4299 Diags.Report(diag::err_drv_argument_not_allowed_with)
4300 << A->getSpelling() << "-fdefault-calling-conv";
4301 else {
4302 switch (T.getArch()) {
4303 case llvm::Triple::x86:
4304 Opts.setDefaultCallingConv(LangOptions::DCC_StdCall);
4305 break;
4306 case llvm::Triple::m68k:
4307 Opts.setDefaultCallingConv(LangOptions::DCC_RtdCall);
4308 break;
4309 default:
4310 Diags.Report(diag::err_drv_argument_not_allowed_with)
4311 << A->getSpelling() << T.getTriple();
4312 }
4313 }
4314 }
4315
4316 // Check if -fopenmp is specified and set default version to 5.1.
4317 Opts.OpenMP = Args.hasArg(OPT_fopenmp) ? 51 : 0;
4318 // Check if -fopenmp-simd is specified.
4319 bool IsSimdSpecified =
4320 Args.hasFlag(options::OPT_fopenmp_simd, options::OPT_fno_openmp_simd,
4321 /*Default=*/false);
4322 Opts.OpenMPSimd = !Opts.OpenMP && IsSimdSpecified;
4323 Opts.OpenMPUseTLS =
4324 Opts.OpenMP && !Args.hasArg(options::OPT_fnoopenmp_use_tls);
4325 Opts.OpenMPIsTargetDevice =
4326 Opts.OpenMP && Args.hasArg(options::OPT_fopenmp_is_target_device);
4327 Opts.OpenMPIRBuilder =
4328 Opts.OpenMP && Args.hasArg(options::OPT_fopenmp_enable_irbuilder);
4329 bool IsTargetSpecified =
4330 Opts.OpenMPIsTargetDevice || Args.hasArg(options::OPT_offload_targets_EQ);
4331
4332 if (Opts.OpenMP || Opts.OpenMPSimd) {
4333 if (int Version = getLastArgIntValue(
4334 Args, OPT_fopenmp_version_EQ,
4335 (IsSimdSpecified || IsTargetSpecified) ? 51 : Opts.OpenMP, Diags))
4336 Opts.OpenMP = Version;
4337 // Provide diagnostic when a given target is not expected to be an OpenMP
4338 // device or host.
4339 if (!Opts.OpenMPIsTargetDevice) {
4340 switch (T.getArch()) {
4341 default:
4342 break;
4343 // Add unsupported host targets here:
4344 case llvm::Triple::nvptx:
4345 case llvm::Triple::nvptx64:
4346 Diags.Report(diag::err_drv_omp_host_target_not_supported) << T.str();
4347 break;
4348 }
4349 }
4350 }
4351
4352 // Set the flag to prevent the implementation from emitting device exception
4353 // handling code for those requiring so.
4354 if ((Opts.OpenMPIsTargetDevice && T.isGPU()) || Opts.OpenCLCPlusPlus) {
4355
4356 Opts.Exceptions = 0;
4357 Opts.CXXExceptions = 0;
4358 }
4359 if (Opts.OpenMPIsTargetDevice && T.isNVPTX()) {
4360 Opts.OpenMPCUDANumSMs =
4361 getLastArgIntValue(Args, options::OPT_fopenmp_cuda_number_of_sm_EQ,
4362 Opts.OpenMPCUDANumSMs, Diags);
4363 Opts.OpenMPCUDABlocksPerSM =
4364 getLastArgIntValue(Args, options::OPT_fopenmp_cuda_blocks_per_sm_EQ,
4365 Opts.OpenMPCUDABlocksPerSM, Diags);
4366 }
4367
4368 // Set the value of the debugging flag used in the new offloading device RTL.
4369 // Set either by a specific value or to a default if not specified.
4370 if (Opts.OpenMPIsTargetDevice && (Args.hasArg(OPT_fopenmp_target_debug) ||
4371 Args.hasArg(OPT_fopenmp_target_debug_EQ))) {
4372 Opts.OpenMPTargetDebug = getLastArgIntValue(
4373 Args, OPT_fopenmp_target_debug_EQ, Opts.OpenMPTargetDebug, Diags);
4374 if (!Opts.OpenMPTargetDebug && Args.hasArg(OPT_fopenmp_target_debug))
4375 Opts.OpenMPTargetDebug = 1;
4376 }
4377
4378 if (Opts.OpenMPIsTargetDevice) {
4379 if (Args.hasArg(OPT_fopenmp_assume_teams_oversubscription))
4380 Opts.OpenMPTeamSubscription = true;
4381 if (Args.hasArg(OPT_fopenmp_assume_threads_oversubscription))
4382 Opts.OpenMPThreadSubscription = true;
4383 }
4384
4385 // Get the OpenMP target triples if any.
4386 if (Arg *A = Args.getLastArg(options::OPT_offload_targets_EQ)) {
4387 enum ArchPtrSize { Arch16Bit, Arch32Bit, Arch64Bit };
4388 auto getArchPtrSize = [](const llvm::Triple &T) {
4389 if (T.isArch16Bit())
4390 return Arch16Bit;
4391 if (T.isArch32Bit())
4392 return Arch32Bit;
4393 assert(T.isArch64Bit() && "Expected 64-bit architecture");
4394 return Arch64Bit;
4395 };
4396
4397 for (unsigned i = 0; i < A->getNumValues(); ++i) {
4398 llvm::Triple TT(A->getValue(i));
4399
4400 if (TT.getArch() == llvm::Triple::UnknownArch ||
4401 !(TT.getArch() == llvm::Triple::aarch64 || TT.isPPC() ||
4402 TT.getArch() == llvm::Triple::spirv64 ||
4403 TT.getArch() == llvm::Triple::systemz ||
4404 TT.getArch() == llvm::Triple::loongarch64 ||
4405 TT.getArch() == llvm::Triple::nvptx ||
4406 TT.getArch() == llvm::Triple::nvptx64 || TT.isAMDGCN() ||
4407 TT.getArch() == llvm::Triple::x86 ||
4408 TT.getArch() == llvm::Triple::x86_64))
4409 Diags.Report(diag::err_drv_invalid_omp_target) << A->getValue(i);
4410 else if (getArchPtrSize(T) != getArchPtrSize(TT))
4411 Diags.Report(diag::err_drv_incompatible_omp_arch)
4412 << A->getValue(i) << T.str();
4413 else
4414 Opts.OMPTargetTriples.push_back(TT);
4415 }
4416 }
4417
4418 // Set CUDA mode for OpenMP target NVPTX/AMDGCN if specified in options
4419 Opts.OpenMPCUDAMode = Opts.OpenMPIsTargetDevice &&
4420 (T.isNVPTX() || T.isAMDGCN()) &&
4421 Args.hasArg(options::OPT_fopenmp_cuda_mode);
4422
4423 // OpenACC Configuration.
4424 if (Args.hasArg(options::OPT_fopenacc))
4425 Opts.OpenACC = true;
4426
4427 if (Arg *A = Args.getLastArg(OPT_ffp_contract)) {
4428 StringRef Val = A->getValue();
4429 if (Val == "fast")
4430 Opts.setDefaultFPContractMode(LangOptions::FPM_Fast);
4431 else if (Val == "on")
4432 Opts.setDefaultFPContractMode(LangOptions::FPM_On);
4433 else if (Val == "off")
4434 Opts.setDefaultFPContractMode(LangOptions::FPM_Off);
4435 else if (Val == "fast-honor-pragmas")
4436 Opts.setDefaultFPContractMode(LangOptions::FPM_FastHonorPragmas);
4437 else
4438 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << Val;
4439 }
4440
4441 if (auto *A =
4442 Args.getLastArg(OPT_fsanitize_undefined_ignore_overflow_pattern_EQ)) {
4443 for (int i = 0, n = A->getNumValues(); i != n; ++i) {
4445 llvm::StringSwitch<unsigned>(A->getValue(i))
4446 .Case("none", LangOptionsBase::None)
4447 .Case("all", LangOptionsBase::All)
4448 .Case("add-unsigned-overflow-test",
4450 .Case("add-signed-overflow-test",
4452 .Case("negated-unsigned-const", LangOptionsBase::NegUnsignedConst)
4453 .Case("unsigned-post-decr-while",
4455 .Default(0);
4456 }
4457 }
4458
4459 // Parse -fsanitize= arguments.
4460 parseSanitizerKinds("-fsanitize=", Args.getAllArgValues(OPT_fsanitize_EQ),
4461 Diags, Opts.Sanitize);
4463 "-fsanitize-ignore-for-ubsan-feature=",
4464 Args.getAllArgValues(OPT_fsanitize_ignore_for_ubsan_feature_EQ), Diags,
4466 Opts.NoSanitizeFiles = Args.getAllArgValues(OPT_fsanitize_ignorelist_EQ);
4467 std::vector<std::string> systemIgnorelists =
4468 Args.getAllArgValues(OPT_fsanitize_system_ignorelist_EQ);
4469 Opts.NoSanitizeFiles.insert(Opts.NoSanitizeFiles.end(),
4470 systemIgnorelists.begin(),
4471 systemIgnorelists.end());
4472
4473 if (Arg *A = Args.getLastArg(OPT_fclang_abi_compat_EQ)) {
4474 Opts.setClangABICompat(LangOptions::ClangABI::Latest);
4475
4476 StringRef Ver = A->getValue();
4477 std::pair<StringRef, StringRef> VerParts = Ver.split('.');
4478 int Major, Minor = 0;
4479
4480 // Check the version number is valid: either 3.x (0 <= x <= 9) or
4481 // y or y.0 (4 <= y <= current version).
4482 if (!VerParts.first.starts_with("0") &&
4483 !VerParts.first.getAsInteger(10, Major) && 3 <= Major &&
4484 Major <= MAX_CLANG_ABI_COMPAT_VERSION &&
4485 (Major == 3
4486 ? VerParts.second.size() == 1 &&
4487 !VerParts.second.getAsInteger(10, Minor)
4488 : VerParts.first.size() == Ver.size() || VerParts.second == "0")) {
4489 // Got a valid version number.
4490#define ABI_VER_MAJOR_MINOR(Major_, Minor_) \
4491 if (std::tuple(Major, Minor) <= std::tuple(Major_, Minor_)) \
4492 Opts.setClangABICompat(LangOptions::ClangABI::Ver##Major_##_##Minor_); \
4493 else
4494#define ABI_VER_MAJOR(Major_) \
4495 if (Major <= Major_) \
4496 Opts.setClangABICompat(LangOptions::ClangABI::Ver##Major_); \
4497 else
4498#define ABI_VER_LATEST(Latest) \
4499 { /* Equivalent to latest version - do nothing */ \
4500 }
4501#include "clang/Basic/ABIVersions.def"
4502 } else if (Ver != "latest") {
4503 Diags.Report(diag::err_drv_invalid_value)
4504 << A->getAsString(Args) << A->getValue();
4505 }
4506 }
4507
4508 if (Arg *A = Args.getLastArg(OPT_msign_return_address_EQ)) {
4509 StringRef SignScope = A->getValue();
4510
4511 if (SignScope.equals_insensitive("none"))
4512 Opts.setSignReturnAddressScope(
4514 else if (SignScope.equals_insensitive("all"))
4515 Opts.setSignReturnAddressScope(
4517 else if (SignScope.equals_insensitive("non-leaf"))
4518 Opts.setSignReturnAddressScope(
4520 else
4521 Diags.Report(diag::err_drv_invalid_value)
4522 << A->getAsString(Args) << SignScope;
4523
4524 if (Arg *A = Args.getLastArg(OPT_msign_return_address_key_EQ)) {
4525 StringRef SignKey = A->getValue();
4526 if (!SignScope.empty() && !SignKey.empty()) {
4527 if (SignKey == "a_key")
4528 Opts.setSignReturnAddressKey(
4530 else if (SignKey == "b_key")
4531 Opts.setSignReturnAddressKey(
4533 else
4534 Diags.Report(diag::err_drv_invalid_value)
4535 << A->getAsString(Args) << SignKey;
4536 }
4537 }
4538 }
4539
4540 // The value can be empty, which indicates the system default should be used.
4541 StringRef CXXABI = Args.getLastArgValue(OPT_fcxx_abi_EQ);
4542 if (!CXXABI.empty()) {
4544 Diags.Report(diag::err_invalid_cxx_abi) << CXXABI;
4545 } else {
4547 if (!TargetCXXABI::isSupportedCXXABI(T, Kind))
4548 Diags.Report(diag::err_unsupported_cxx_abi) << CXXABI << T.str();
4549 else
4550 Opts.CXXABI = Kind;
4551 }
4552 }
4553
4554 Opts.RelativeCXXABIVTables =
4555 Args.hasFlag(options::OPT_fexperimental_relative_cxx_abi_vtables,
4556 options::OPT_fno_experimental_relative_cxx_abi_vtables,
4558
4559 // RTTI is on by default.
4560 bool HasRTTI = !Args.hasArg(options::OPT_fno_rtti);
4561 Opts.OmitVTableRTTI =
4562 Args.hasFlag(options::OPT_fexperimental_omit_vtable_rtti,
4563 options::OPT_fno_experimental_omit_vtable_rtti, false);
4564 if (Opts.OmitVTableRTTI && HasRTTI)
4565 Diags.Report(diag::err_drv_using_omit_rtti_component_without_no_rtti);
4566
4567 for (const auto &A : Args.getAllArgValues(OPT_fmacro_prefix_map_EQ)) {
4568 auto Split = StringRef(A).split('=');
4569 Opts.MacroPrefixMap.insert(
4570 {std::string(Split.first), std::string(Split.second)});
4571 }
4572
4574 !Args.getLastArg(OPT_fno_file_reproducible) &&
4575 (Args.getLastArg(OPT_ffile_compilation_dir_EQ) ||
4576 Args.getLastArg(OPT_fmacro_prefix_map_EQ) ||
4577 Args.getLastArg(OPT_ffile_reproducible));
4578
4579 // Error if -mvscale-min is unbounded.
4580 if (Arg *A = Args.getLastArg(options::OPT_mvscale_min_EQ)) {
4581 unsigned VScaleMin;
4582 if (StringRef(A->getValue()).getAsInteger(10, VScaleMin) || VScaleMin == 0)
4583 Diags.Report(diag::err_cc1_unbounded_vscale_min);
4584 }
4585 if (Arg *A = Args.getLastArg(options::OPT_mvscale_streaming_min_EQ)) {
4586 unsigned VScaleMin;
4587 if (StringRef(A->getValue()).getAsInteger(10, VScaleMin) || VScaleMin == 0)
4588 Diags.Report(diag::err_cc1_unbounded_vscale_min);
4589 }
4590
4591 if (const Arg *A = Args.getLastArg(OPT_frandomize_layout_seed_file_EQ)) {
4592 std::ifstream SeedFile(A->getValue(0));
4593
4594 if (!SeedFile.is_open())
4595 Diags.Report(diag::err_drv_cannot_open_randomize_layout_seed_file)
4596 << A->getValue(0);
4597
4598 std::getline(SeedFile, Opts.RandstructSeed);
4599 }
4600
4601 if (const Arg *A = Args.getLastArg(OPT_frandomize_layout_seed_EQ))
4602 Opts.RandstructSeed = A->getValue(0);
4603
4604 if (const auto *Arg = Args.getLastArg(options::OPT_falloc_token_max_EQ)) {
4605 StringRef S = Arg->getValue();
4606 uint64_t Value = 0;
4607 if (S.getAsInteger(0, Value))
4608 Diags.Report(diag::err_drv_invalid_value) << Arg->getAsString(Args) << S;
4609 else
4610 Opts.AllocTokenMax = Value;
4611 }
4612
4613 if (const auto *Arg = Args.getLastArg(options::OPT_falloc_token_mode_EQ)) {
4614 StringRef S = Arg->getValue();
4615 if (auto Mode = getAllocTokenModeFromString(S))
4616 Opts.AllocTokenMode = Mode;
4617 else
4618 Diags.Report(diag::err_drv_invalid_value) << Arg->getAsString(Args) << S;
4619 }
4620
4621 // Enable options for matrix types.
4622 if (Opts.MatrixTypes) {
4623 if (const Arg *A = Args.getLastArg(OPT_fmatrix_memory_layout_EQ)) {
4624 StringRef ClangValue = A->getValue();
4625 if (ClangValue == "row-major")
4626 Opts.setDefaultMatrixMemoryLayout(
4628 else
4629 Opts.setDefaultMatrixMemoryLayout(
4631
4632 for (Arg *A : Args.filtered(options::OPT_mllvm)) {
4633 StringRef OptValue = A->getValue();
4634 if (OptValue.consume_front("-matrix-default-layout=") &&
4635 ClangValue != OptValue)
4636 Diags.Report(diag::err_conflicting_matrix_layout_flags)
4637 << ClangValue << OptValue;
4638 }
4639 }
4640 }
4641
4642 // Validate options for HLSL
4643 if (Opts.HLSL) {
4644 // TODO: Revisit restricting SPIR-V to logical once we've figured out how to
4645 // handle PhysicalStorageBuffer64 memory model
4646 if (T.isDXIL() || T.isSPIRVLogical()) {
4647 enum { ShaderModel, VulkanEnv, ShaderStage };
4648 enum { OS, Environment };
4649
4650 int ExpectedOS = T.isSPIRVLogical() ? VulkanEnv : ShaderModel;
4651
4652 if (T.getOSName().empty()) {
4653 Diags.Report(diag::err_drv_hlsl_bad_shader_required_in_target)
4654 << ExpectedOS << OS << T.str();
4655 } else if (T.getEnvironmentName().empty()) {
4656 Diags.Report(diag::err_drv_hlsl_bad_shader_required_in_target)
4657 << ShaderStage << Environment << T.str();
4658 } else if (!T.isShaderStageEnvironment()) {
4659 Diags.Report(diag::err_drv_hlsl_bad_shader_unsupported)
4660 << ShaderStage << T.getEnvironmentName() << T.str();
4661 }
4662
4663 if (T.isDXIL()) {
4664 if (!T.isShaderModelOS() || T.getOSVersion() == VersionTuple(0)) {
4665 Diags.Report(diag::err_drv_hlsl_bad_shader_unsupported)
4666 << ShaderModel << T.getOSName() << T.str();
4667 }
4668 // Validate that if fnative-half-type is given, that
4669 // the language standard is at least hlsl2018, and that
4670 // the target shader model is at least 6.2.
4671 if (Args.getLastArg(OPT_fnative_half_type) ||
4672 Args.getLastArg(OPT_fnative_int16_type)) {
4673 const LangStandard &Std =
4675 if (!(Opts.LangStd >= LangStandard::lang_hlsl2018 &&
4676 T.getOSVersion() >= VersionTuple(6, 2)))
4677 Diags.Report(diag::err_drv_hlsl_16bit_types_unsupported)
4678 << "-enable-16bit-types" << true << Std.getName()
4679 << T.getOSVersion().getAsString();
4680 }
4681 } else if (T.isSPIRVLogical()) {
4682 if (!T.isVulkanOS() || T.getVulkanVersion() == VersionTuple(0)) {
4683 Diags.Report(diag::err_drv_hlsl_bad_shader_unsupported)
4684 << VulkanEnv << T.getOSName() << T.str();
4685 }
4686 if (Args.getLastArg(OPT_fnative_half_type) ||
4687 Args.getLastArg(OPT_fnative_int16_type)) {
4688 const char *Str = Args.getLastArg(OPT_fnative_half_type)
4689 ? "-fnative-half-type"
4690 : "-fnative-int16-type";
4691 const LangStandard &Std =
4693 if (!(Opts.LangStd >= LangStandard::lang_hlsl2018))
4694 Diags.Report(diag::err_drv_hlsl_16bit_types_unsupported)
4695 << Str << false << Std.getName();
4696 }
4697 } else {
4698 llvm_unreachable("expected DXIL or SPIR-V target");
4699 }
4700 } else
4701 Diags.Report(diag::err_drv_hlsl_unsupported_target) << T.str();
4702
4703 if (Opts.LangStd < LangStandard::lang_hlsl202x) {
4704 const LangStandard &Requested =
4706 const LangStandard &Recommended =
4707 LangStandard::getLangStandardForKind(LangStandard::lang_hlsl202x);
4708 Diags.Report(diag::warn_hlsl_langstd_minimal)
4709 << Requested.getName() << Recommended.getName();
4710 }
4711 }
4712
4713 return Diags.getNumErrors() == NumErrorsBefore;
4714}
4715
4717 switch (Action) {
4719 case frontend::ASTDump:
4720 case frontend::ASTPrint:
4721 case frontend::ASTView:
4723 case frontend::EmitBC:
4724 case frontend::EmitCIR:
4725 case frontend::EmitHTML:
4726 case frontend::EmitLLVM:
4729 case frontend::EmitObj:
4731 case frontend::FixIt:
4746 return false;
4747
4751 case frontend::InitOnly:
4757 return true;
4758 }
4759 llvm_unreachable("invalid frontend action");
4760}
4761
4763 switch (Action) {
4765 case frontend::EmitBC:
4766 case frontend::EmitCIR:
4767 case frontend::EmitHTML:
4768 case frontend::EmitLLVM:
4771 case frontend::EmitObj:
4778 return true;
4780 case frontend::ASTDump:
4781 case frontend::ASTPrint:
4782 case frontend::ASTView:
4784 case frontend::FixIt:
4796 case frontend::InitOnly:
4802 return false;
4803 }
4804 llvm_unreachable("invalid frontend action");
4805}
4806
4808 ArgumentConsumer Consumer,
4809 const LangOptions &LangOpts,
4810 const FrontendOptions &FrontendOpts,
4811 const CodeGenOptions &CodeGenOpts) {
4812 const PreprocessorOptions *PreprocessorOpts = &Opts;
4813
4814#define PREPROCESSOR_OPTION_WITH_MARSHALLING(...) \
4815 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
4816#include "clang/Options/Options.inc"
4817#undef PREPROCESSOR_OPTION_WITH_MARSHALLING
4818
4819 if (Opts.PCHWithHdrStop && !Opts.PCHWithHdrStopCreate)
4820 GenerateArg(Consumer, OPT_pch_through_hdrstop_use);
4821
4822 for (const auto &D : Opts.DeserializedPCHDeclsToErrorOn)
4823 GenerateArg(Consumer, OPT_error_on_deserialized_pch_decl, D);
4824
4825 if (Opts.PrecompiledPreambleBytes != std::make_pair(0u, false))
4826 GenerateArg(Consumer, OPT_preamble_bytes_EQ,
4827 Twine(Opts.PrecompiledPreambleBytes.first) + "," +
4828 (Opts.PrecompiledPreambleBytes.second ? "1" : "0"));
4829
4830 for (const auto &M : Opts.Macros) {
4831 // Don't generate __CET__ macro definitions. They are implied by the
4832 // -fcf-protection option that is generated elsewhere.
4833 if (M.first == "__CET__=1" && !M.second &&
4834 !CodeGenOpts.CFProtectionReturn && CodeGenOpts.CFProtectionBranch)
4835 continue;
4836 if (M.first == "__CET__=2" && !M.second && CodeGenOpts.CFProtectionReturn &&
4837 !CodeGenOpts.CFProtectionBranch)
4838 continue;
4839 if (M.first == "__CET__=3" && !M.second && CodeGenOpts.CFProtectionReturn &&
4840 CodeGenOpts.CFProtectionBranch)
4841 continue;
4842
4843 GenerateArg(Consumer, M.second ? OPT_U : OPT_D, M.first);
4844 }
4845
4846 for (const auto &I : Opts.Includes) {
4847 // Don't generate OpenCL includes. They are implied by other flags that are
4848 // generated elsewhere.
4849 if (LangOpts.OpenCL && LangOpts.IncludeDefaultHeader &&
4850 ((LangOpts.DeclareOpenCLBuiltins && I == "opencl-c-base.h") ||
4851 I == "opencl-c.h"))
4852 continue;
4853 // Don't generate HLSL includes. They are implied by other flags that are
4854 // generated elsewhere.
4855 if (LangOpts.HLSL && I == "hlsl.h")
4856 continue;
4857
4858 GenerateArg(Consumer, OPT_include, I);
4859 }
4860
4861 for (const auto &CI : Opts.ChainedIncludes)
4862 GenerateArg(Consumer, OPT_chain_include, CI);
4863
4864 for (const auto &RF : Opts.RemappedFiles)
4865 GenerateArg(Consumer, OPT_remap_file, RF.first + ";" + RF.second);
4866
4867 if (Opts.SourceDateEpoch)
4868 GenerateArg(Consumer, OPT_source_date_epoch, Twine(*Opts.SourceDateEpoch));
4869
4870 if (Opts.DefineTargetOSMacros)
4871 GenerateArg(Consumer, OPT_fdefine_target_os_macros);
4872
4873 for (const auto &EmbedEntry : Opts.EmbedEntries)
4874 GenerateArg(Consumer, OPT_embed_dir_EQ, EmbedEntry);
4875
4876 // Don't handle LexEditorPlaceholders. It is implied by the action that is
4877 // generated elsewhere.
4878}
4879
4880static bool ParsePreprocessorArgs(PreprocessorOptions &Opts, ArgList &Args,
4881 DiagnosticsEngine &Diags,
4882 frontend::ActionKind Action,
4883 const FrontendOptions &FrontendOpts) {
4884 unsigned NumErrorsBefore = Diags.getNumErrors();
4885
4886 PreprocessorOptions *PreprocessorOpts = &Opts;
4887
4888#define PREPROCESSOR_OPTION_WITH_MARSHALLING(...) \
4889 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
4890#include "clang/Options/Options.inc"
4891#undef PREPROCESSOR_OPTION_WITH_MARSHALLING
4892
4893 Opts.PCHWithHdrStop = Args.hasArg(OPT_pch_through_hdrstop_create) ||
4894 Args.hasArg(OPT_pch_through_hdrstop_use);
4895
4896 for (const auto *A : Args.filtered(OPT_error_on_deserialized_pch_decl))
4897 Opts.DeserializedPCHDeclsToErrorOn.insert(A->getValue());
4898
4899 if (const Arg *A = Args.getLastArg(OPT_preamble_bytes_EQ)) {
4900 StringRef Value(A->getValue());
4901 size_t Comma = Value.find(',');
4902 unsigned Bytes = 0;
4903 unsigned EndOfLine = 0;
4904
4905 if (Comma == StringRef::npos ||
4906 Value.substr(0, Comma).getAsInteger(10, Bytes) ||
4907 Value.substr(Comma + 1).getAsInteger(10, EndOfLine))
4908 Diags.Report(diag::err_drv_preamble_format);
4909 else {
4910 Opts.PrecompiledPreambleBytes.first = Bytes;
4911 Opts.PrecompiledPreambleBytes.second = (EndOfLine != 0);
4912 }
4913 }
4914
4915 // Add macros from the command line.
4916 for (const auto *A : Args.filtered(OPT_D, OPT_U)) {
4917 if (A->getOption().matches(OPT_D))
4918 Opts.addMacroDef(A->getValue());
4919 else
4920 Opts.addMacroUndef(A->getValue());
4921 }
4922
4923 // Add the ordered list of -includes.
4924 for (const auto *A : Args.filtered(OPT_include))
4925 Opts.Includes.emplace_back(A->getValue());
4926
4927 for (const auto *A : Args.filtered(OPT_chain_include))
4928 Opts.ChainedIncludes.emplace_back(A->getValue());
4929
4930 for (const auto *A : Args.filtered(OPT_remap_file)) {
4931 std::pair<StringRef, StringRef> Split = StringRef(A->getValue()).split(';');
4932
4933 if (Split.second.empty()) {
4934 Diags.Report(diag::err_drv_invalid_remap_file) << A->getAsString(Args);
4935 continue;
4936 }
4937
4938 Opts.addRemappedFile(Split.first, Split.second);
4939 }
4940
4941 if (const Arg *A = Args.getLastArg(OPT_source_date_epoch)) {
4942 StringRef Epoch = A->getValue();
4943 // SOURCE_DATE_EPOCH, if specified, must be a non-negative decimal integer.
4944 // On time64 systems, pick 253402300799 (the UNIX timestamp of
4945 // 9999-12-31T23:59:59Z) as the upper bound.
4946 const uint64_t MaxTimestamp =
4947 std::min<uint64_t>(std::numeric_limits<time_t>::max(), 253402300799);
4948 uint64_t V;
4949 if (Epoch.getAsInteger(10, V) || V > MaxTimestamp) {
4950 Diags.Report(diag::err_fe_invalid_source_date_epoch)
4951 << Epoch << MaxTimestamp;
4952 } else {
4953 Opts.SourceDateEpoch = V;
4954 }
4955 }
4956
4957 for (const auto *A : Args.filtered(OPT_embed_dir_EQ)) {
4958 StringRef Val = A->getValue();
4959 Opts.EmbedEntries.push_back(std::string(Val));
4960 }
4961
4962 // Always avoid lexing editor placeholders when we're just running the
4963 // preprocessor as we never want to emit the
4964 // "editor placeholder in source file" error in PP only mode.
4965 if (isStrictlyPreprocessorAction(Action))
4966 Opts.LexEditorPlaceholders = false;
4967
4969 Args.hasFlag(OPT_fdefine_target_os_macros,
4970 OPT_fno_define_target_os_macros, Opts.DefineTargetOSMacros);
4971
4972 return Diags.getNumErrors() == NumErrorsBefore;
4973}
4974
4975static void
4977 ArgumentConsumer Consumer,
4978 frontend::ActionKind Action) {
4979 const PreprocessorOutputOptions &PreprocessorOutputOpts = Opts;
4980
4981#define PREPROCESSOR_OUTPUT_OPTION_WITH_MARSHALLING(...) \
4982 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
4983#include "clang/Options/Options.inc"
4984#undef PREPROCESSOR_OUTPUT_OPTION_WITH_MARSHALLING
4985
4986 bool Generate_dM = isStrictlyPreprocessorAction(Action) && !Opts.ShowCPP;
4987 if (Generate_dM)
4988 GenerateArg(Consumer, OPT_dM);
4989 if (!Generate_dM && Opts.ShowMacros)
4990 GenerateArg(Consumer, OPT_dD);
4991 if (Opts.DirectivesOnly)
4992 GenerateArg(Consumer, OPT_fdirectives_only);
4993}
4994
4996 ArgList &Args, DiagnosticsEngine &Diags,
4997 frontend::ActionKind Action) {
4998 unsigned NumErrorsBefore = Diags.getNumErrors();
4999
5000 PreprocessorOutputOptions &PreprocessorOutputOpts = Opts;
5001
5002#define PREPROCESSOR_OUTPUT_OPTION_WITH_MARSHALLING(...) \
5003 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
5004#include "clang/Options/Options.inc"
5005#undef PREPROCESSOR_OUTPUT_OPTION_WITH_MARSHALLING
5006
5007 Opts.ShowCPP = isStrictlyPreprocessorAction(Action) && !Args.hasArg(OPT_dM);
5008 Opts.ShowMacros = Args.hasArg(OPT_dM) || Args.hasArg(OPT_dD);
5009 Opts.DirectivesOnly = Args.hasArg(OPT_fdirectives_only);
5010
5011 return Diags.getNumErrors() == NumErrorsBefore;
5012}
5013
5014static void GenerateTargetArgs(const TargetOptions &Opts,
5015 ArgumentConsumer Consumer) {
5016 const TargetOptions *TargetOpts = &Opts;
5017#define TARGET_OPTION_WITH_MARSHALLING(...) \
5018 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
5019#include "clang/Options/Options.inc"
5020#undef TARGET_OPTION_WITH_MARSHALLING
5021
5022 if (!Opts.SDKVersion.empty())
5023 GenerateArg(Consumer, OPT_target_sdk_version_EQ,
5024 Opts.SDKVersion.getAsString());
5025 if (!Opts.DarwinTargetVariantSDKVersion.empty())
5026 GenerateArg(Consumer, OPT_darwin_target_variant_sdk_version_EQ,
5027 Opts.DarwinTargetVariantSDKVersion.getAsString());
5028}
5029
5030static bool ParseTargetArgs(TargetOptions &Opts, ArgList &Args,
5031 DiagnosticsEngine &Diags) {
5032 unsigned NumErrorsBefore = Diags.getNumErrors();
5033
5034 TargetOptions *TargetOpts = &Opts;
5035
5036#define TARGET_OPTION_WITH_MARSHALLING(...) \
5037 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
5038#include "clang/Options/Options.inc"
5039#undef TARGET_OPTION_WITH_MARSHALLING
5040
5041 if (Arg *A = Args.getLastArg(options::OPT_target_sdk_version_EQ)) {
5042 llvm::VersionTuple Version;
5043 if (Version.tryParse(A->getValue()))
5044 Diags.Report(diag::err_drv_invalid_value)
5045 << A->getAsString(Args) << A->getValue();
5046 else
5047 Opts.SDKVersion = Version;
5048 }
5049 if (Arg *A =
5050 Args.getLastArg(options::OPT_darwin_target_variant_sdk_version_EQ)) {
5051 llvm::VersionTuple Version;
5052 if (Version.tryParse(A->getValue()))
5053 Diags.Report(diag::err_drv_invalid_value)
5054 << A->getAsString(Args) << A->getValue();
5055 else
5056 Opts.DarwinTargetVariantSDKVersion = Version;
5057 }
5058
5059 return Diags.getNumErrors() == NumErrorsBefore;
5060}
5061
5062bool CompilerInvocation::CreateFromArgsImpl(
5063 CompilerInvocation &Res, ArrayRef<const char *> CommandLineArgs,
5064 DiagnosticsEngine &Diags, const char *Argv0) {
5065 unsigned NumErrorsBefore = Diags.getNumErrors();
5066
5067 // Parse the arguments.
5068 const OptTable &Opts = getDriverOptTable();
5069 llvm::opt::Visibility VisibilityMask(options::CC1Option);
5070 unsigned MissingArgIndex, MissingArgCount;
5071 InputArgList Args = Opts.ParseArgs(CommandLineArgs, MissingArgIndex,
5072 MissingArgCount, VisibilityMask);
5073 LangOptions &LangOpts = Res.getLangOpts();
5074
5075 // Check for missing argument error.
5076 if (MissingArgCount)
5077 Diags.Report(diag::err_drv_missing_argument)
5078 << Args.getArgString(MissingArgIndex) << MissingArgCount;
5079
5080 // Issue errors on unknown arguments.
5081 for (const auto *A : Args.filtered(OPT_UNKNOWN)) {
5082 auto ArgString = A->getAsString(Args);
5083 std::string Nearest;
5084 if (Opts.findNearest(ArgString, Nearest, VisibilityMask) > 1)
5085 Diags.Report(diag::err_drv_unknown_argument) << ArgString;
5086 else
5087 Diags.Report(diag::err_drv_unknown_argument_with_suggestion)
5088 << ArgString << Nearest;
5089 }
5090
5091 ParseFileSystemArgs(Res.getFileSystemOpts(), Args, Diags);
5092 ParseMigratorArgs(Res.getMigratorOpts(), Args, Diags);
5093 ParseAnalyzerArgs(Res.getAnalyzerOpts(), Args, Diags);
5094 ParseSSAFArgs(Res.getSSAFOpts(), Args, Diags);
5095 ParseDiagnosticArgs(Res.getDiagnosticOpts(), Args, &Diags);
5096 ParseFrontendArgs(Res.getFrontendOpts(), Args, Diags, LangOpts.IsHeaderFile);
5097 // FIXME: We shouldn't have to pass the DashX option around here
5098 InputKind DashX = Res.getFrontendOpts().DashX;
5099 ParseTargetArgs(Res.getTargetOpts(), Args, Diags);
5100 llvm::Triple T(Res.getTargetOpts().Triple);
5101 ParseHeaderSearchArgs(Res.getHeaderSearchOpts(), Args, Diags);
5102 if (Res.getFrontendOpts().GenReducedBMI ||
5109 }
5110 ParseAPINotesArgs(Res.getAPINotesOpts(), Args, Diags);
5111
5112 ParsePointerAuthArgs(LangOpts, Args, Diags);
5113
5114 ParseLangArgs(LangOpts, Args, DashX, T, Res.getPreprocessorOpts().Includes,
5115 Diags);
5117 LangOpts.ObjCExceptions = 1;
5118
5119 for (auto Warning : Res.getDiagnosticOpts().Warnings) {
5120 if (Warning == "misexpect" &&
5121 !Diags.isIgnored(diag::warn_profile_data_misexpect, SourceLocation())) {
5122 Res.getCodeGenOpts().MisExpect = true;
5123 }
5124 }
5125
5126 if (LangOpts.CUDA) {
5127 // During CUDA device-side compilation, the aux triple is the
5128 // triple used for host compilation.
5129 if (LangOpts.CUDAIsDevice)
5131 }
5132
5133 if (LangOpts.OpenACC && !Res.getFrontendOpts().UseClangIRPipeline &&
5135 Diags.Report(diag::warn_drv_openacc_without_cir);
5136
5137 // Set the triple of the host for OpenMP device compile.
5138 if (LangOpts.OpenMPIsTargetDevice)
5140
5141 // Set the default and host triples for SYCL device compilation.
5142 if (LangOpts.SYCLIsDevice) {
5143 if (!Args.hasArg(options::OPT_triple))
5144 Res.getTargetOpts().Triple = "spirv64-unknown-unknown";
5146 }
5147
5148 ParseCodeGenArgs(Res.getCodeGenOpts(), Args, DashX, Diags, T,
5150
5151 // FIXME: Override value name discarding when asan or msan is used because the
5152 // backend passes depend on the name of the alloca in order to print out
5153 // names.
5154 Res.getCodeGenOpts().DiscardValueNames &=
5155 !LangOpts.Sanitize.has(SanitizerKind::Address) &&
5156 !LangOpts.Sanitize.has(SanitizerKind::KernelAddress) &&
5157 !LangOpts.Sanitize.has(SanitizerKind::Memory) &&
5158 !LangOpts.Sanitize.has(SanitizerKind::KernelMemory);
5159
5160 ParsePreprocessorArgs(Res.getPreprocessorOpts(), Args, Diags,
5162 Res.getFrontendOpts());
5165
5169 if (!Res.getDependencyOutputOpts().OutputFile.empty() &&
5170 Res.getDependencyOutputOpts().Targets.empty())
5171 Diags.Report(diag::err_fe_dependency_file_requires_MT);
5172
5173 // If sanitizer is enabled, disable OPT_ffine_grained_bitfield_accesses.
5174 if (Res.getCodeGenOpts().FineGrainedBitfieldAccesses &&
5175 !Res.getLangOpts().Sanitize.empty()) {
5176 Res.getCodeGenOpts().FineGrainedBitfieldAccesses = false;
5177 Diags.Report(diag::warn_drv_fine_grained_bitfield_accesses_ignored);
5178 }
5179
5180 // Store the command-line for using in the CodeView backend.
5181 if (Res.getCodeGenOpts().CodeViewCommandLine) {
5182 Res.getCodeGenOpts().Argv0 = Argv0;
5183 append_range(Res.getCodeGenOpts().CommandLineArgs, CommandLineArgs);
5184 }
5185
5186 if (!Res.getCodeGenOpts().ProfileInstrumentUsePath.empty() &&
5187 Res.getCodeGenOpts().getProfileUse() ==
5188 llvm::driver::ProfileInstrKind::ProfileNone)
5189 Diags.Report(diag::err_drv_profile_instrument_use_path_with_no_kind);
5190
5191 FixupInvocation(Res, Diags, Args, DashX);
5192
5193 return Diags.getNumErrors() == NumErrorsBefore;
5194}
5195
5197 ArrayRef<const char *> CommandLineArgs,
5198 DiagnosticsEngine &Diags,
5199 const char *Argv0) {
5200 CompilerInvocation DummyInvocation;
5201
5202 return RoundTrip(
5203 [](CompilerInvocation &Invocation, ArrayRef<const char *> CommandLineArgs,
5204 DiagnosticsEngine &Diags, const char *Argv0) {
5205 return CreateFromArgsImpl(Invocation, CommandLineArgs, Diags, Argv0);
5206 },
5208 StringAllocator SA) {
5209 Args.push_back("-cc1");
5210 Invocation.generateCC1CommandLine(Args, SA);
5211 },
5212 Invocation, DummyInvocation, CommandLineArgs, Diags, Argv0);
5213}
5214
5216 // FIXME: Consider using SHA1 instead of MD5.
5217 llvm::HashBuilder<llvm::MD5, llvm::endianness::native> HBuilder;
5218
5219 // Note: For QoI reasons, the things we use as a hash here should all be
5220 // dumped via the -module-info flag.
5221
5222 // Start the signature with the compiler version.
5223 HBuilder.add(getClangFullRepositoryVersion());
5224
5225 // Also include the serialization version, in case LLVM_APPEND_VC_REV is off
5226 // and getClangFullRepositoryVersion() doesn't include git revision.
5228
5229 // Extend the signature with the language options
5230 const unsigned LanguageOptionValues[] = {
5231#define HASH_LANGOPT_Benign(Value)
5232#define HASH_LANGOPT_Compatible(Value) Value,
5233#define HASH_LANGOPT_NotCompatible(Value) Value,
5234#define LANGOPT(Name, Bits, Default, Compatibility, Description) \
5235 HASH_LANGOPT_##Compatibility(LangOpts->Name)
5236#define ENUM_LANGOPT(Name, Type, Bits, Default, Compatibility, Description) \
5237 HASH_LANGOPT_##Compatibility(static_cast<unsigned>(LangOpts->get##Name()))
5238#include "clang/Basic/LangOptions.def"
5239 };
5240#undef HASH_LANGOPT_Benign
5241#undef HASH_LANGOPT_Compatible
5242#undef HASH_LANGOPT_NotCompatible
5243 // addRangeElements preserves the HBuilder.add sequence and excludes the
5244 // LanguageOptionValues element count.
5245 HBuilder.addRangeElements(LanguageOptionValues);
5246
5247 HBuilder.addRange(getLangOpts().ModuleFeatures);
5248
5249 HBuilder.add(getLangOpts().ObjCRuntime);
5250 HBuilder.addRange(getLangOpts().CommentOpts.BlockCommandNames);
5251
5252 // Extend the signature with the target options.
5253 HBuilder.add(getTargetOpts().Triple, getTargetOpts().CPU,
5254 getTargetOpts().TuneCPU, getTargetOpts().ABI);
5255 HBuilder.addRange(getTargetOpts().FeaturesAsWritten);
5256
5257 // Extend the signature with preprocessor options.
5258 const PreprocessorOptions &ppOpts = getPreprocessorOpts();
5259 HBuilder.add(ppOpts.UsePredefines, ppOpts.DetailedRecord);
5260
5261 const HeaderSearchOptions &hsOpts = getHeaderSearchOpts();
5262 for (const auto &Macro : getPreprocessorOpts().Macros) {
5263 // If we're supposed to ignore this macro for the purposes of modules,
5264 // don't put it into the hash.
5265 if (!hsOpts.ModulesIgnoreMacros.empty()) {
5266 // Check whether we're ignoring this macro.
5267 StringRef MacroDef = Macro.first;
5268 if (hsOpts.ModulesIgnoreMacros.count(
5269 llvm::CachedHashString(MacroDef.split('=').first)))
5270 continue;
5271 }
5272
5273 HBuilder.add(Macro);
5274 }
5275
5276 // Extend the signature with the sysroot and other header search options.
5277 HBuilder.add(hsOpts.Sysroot, hsOpts.ModuleFormat, hsOpts.UseDebugInfo,
5279 hsOpts.UseStandardCXXIncludes, hsOpts.UseLibcxx,
5281 HBuilder.add(hsOpts.ResourceDir);
5282
5283 if (hsOpts.ModulesStrictContextHash) {
5284 HBuilder.addRange(hsOpts.SystemHeaderPrefixes);
5285 HBuilder.addRange(hsOpts.UserEntries);
5286 HBuilder.addRange(hsOpts.VFSOverlayFiles);
5287
5288 const DiagnosticOptions &diagOpts = getDiagnosticOpts();
5289#define DIAGOPT(Name, Bits, Default) HBuilder.add(diagOpts.Name);
5290#define ENUM_DIAGOPT(Name, Type, Bits, Default) \
5291 HBuilder.add(diagOpts.get##Name());
5292#include "clang/Basic/DiagnosticOptions.def"
5293#undef DIAGOPT
5294#undef ENUM_DIAGOPT
5295 }
5296
5297 // Extend the signature with the user build path.
5298 HBuilder.add(hsOpts.ModuleUserBuildPath);
5299
5300 // Extend the signature with the module file extensions.
5301 for (const auto &ext : getFrontendOpts().ModuleFileExtensions)
5302 ext->hashExtension(HBuilder);
5303
5304 // Extend the signature with the Swift version for API notes.
5306 if (!APINotesOpts.SwiftVersion.empty()) {
5307 HBuilder.add(APINotesOpts.SwiftVersion.getMajor());
5308 if (auto Minor = APINotesOpts.SwiftVersion.getMinor())
5309 HBuilder.add(*Minor);
5310 if (auto Subminor = APINotesOpts.SwiftVersion.getSubminor())
5311 HBuilder.add(*Subminor);
5312 if (auto Build = APINotesOpts.SwiftVersion.getBuild())
5313 HBuilder.add(*Build);
5314 }
5315
5316 // Extend the signature with affecting codegen options.
5317 {
5319#define CODEGENOPT(Name, Bits, Default, Compatibility) \
5320 if constexpr (CK::Compatibility != CK::Benign) \
5321 HBuilder.add(CodeGenOpts->Name);
5322#define ENUM_CODEGENOPT(Name, Type, Bits, Default, Compatibility) \
5323 if constexpr (CK::Compatibility != CK::Benign) \
5324 HBuilder.add(static_cast<unsigned>(CodeGenOpts->get##Name()));
5325#define DEBUGOPT(Name, Bits, Default, Compatibility)
5326#define VALUE_DEBUGOPT(Name, Bits, Default, Compatibility)
5327#define ENUM_DEBUGOPT(Name, Type, Bits, Default, Compatibility)
5328#include "clang/Basic/CodeGenOptions.def"
5329 }
5330
5331 // When compiling with -gmodules, also hash -fdebug-prefix-map as it
5332 // affects the debug info in the PCM.
5333 if (getCodeGenOpts().DebugTypeExtRefs)
5334 HBuilder.addRange(getCodeGenOpts().DebugPrefixMap);
5335
5336 // Extend the signature with the affecting debug options.
5337 if (getHeaderSearchOpts().ModuleFormat == "obj") {
5338 // FIXME: Replace with C++20 `using enum CodeGenOptions::CompatibilityKind`.
5340#define DEBUGOPT(Name, Bits, Default, Compatibility) \
5341 if constexpr (CK::Compatibility != CK::Benign) \
5342 HBuilder.add(CodeGenOpts->Name);
5343#define VALUE_DEBUGOPT(Name, Bits, Default, Compatibility) \
5344 if constexpr (CK::Compatibility != CK::Benign) \
5345 HBuilder.add(CodeGenOpts->Name);
5346#define ENUM_DEBUGOPT(Name, Type, Bits, Default, Compatibility) \
5347 if constexpr (CK::Compatibility != CK::Benign) \
5348 HBuilder.add(static_cast<unsigned>(CodeGenOpts->get##Name()));
5349#include "clang/Basic/DebugOptions.def"
5350 }
5351
5352 // Extend the signature with the enabled sanitizers, if at least one is
5353 // enabled. Sanitizers which cannot affect AST generation aren't hashed.
5354 SanitizerSet SanHash = getLangOpts().Sanitize;
5356 if (!SanHash.empty())
5357 HBuilder.add(SanHash.Mask);
5358
5359 llvm::MD5::MD5Result Result;
5360 HBuilder.getHasher().final(Result);
5361 uint64_t Hash = Result.high() ^ Result.low();
5362 return toString(llvm::APInt(64, Hash), 36, /*Signed=*/false);
5363}
5364
5366 llvm::function_ref<VisitMutResult(StringRef, std::string &)> Cb) {
5367 std::string NewValue;
5368
5369#define RETURN_IF(OPTS, PATH) \
5370 do { \
5371 VisitMutResult Res = Cb(PATH, NewValue); \
5372 if (Res.Replace) { \
5373 (void)ensureOwned(OPTS); \
5374 PATH.clear(); \
5375 std::swap(PATH, NewValue); \
5376 } \
5377 if (Res.Terminate) \
5378 return; \
5379 } while (0)
5380
5381#define RETURN_IF_MANY(OPTS, PATHS) \
5382 do { \
5383 for (unsigned I = 0, E = PATHS.size(); I != E; ++I) \
5384 RETURN_IF(OPTS, PATHS[I]); \
5385 } while (0)
5386
5387 // Header search paths.
5388 RETURN_IF(HSOpts, HSOpts->Sysroot);
5389 for (auto &Entry : HSOpts->UserEntries)
5390 if (Entry.IgnoreSysRoot)
5391 RETURN_IF(HSOpts, Entry.Path);
5392 RETURN_IF(HSOpts, HSOpts->ResourceDir);
5393 RETURN_IF(HSOpts, HSOpts->ModuleCachePath);
5394 RETURN_IF(HSOpts, HSOpts->ModuleUserBuildPath);
5395 for (auto &[Name, File] : HSOpts->PrebuiltModuleFiles)
5397 RETURN_IF_MANY(HSOpts, HSOpts->PrebuiltModulePaths);
5398 RETURN_IF_MANY(HSOpts, HSOpts->VFSOverlayFiles);
5399
5400 // Preprocessor options.
5401 RETURN_IF_MANY(PPOpts, PPOpts->MacroIncludes);
5402 RETURN_IF_MANY(PPOpts, PPOpts->Includes);
5403 RETURN_IF(PPOpts, PPOpts->ImplicitPCHInclude);
5404
5405 // Frontend options.
5406 for (auto &Input : FrontendOpts->Inputs) {
5407 if (Input.isBuffer())
5408 continue;
5409
5410 RETURN_IF(FrontendOpts, Input.File);
5411 }
5412 // TODO: Also report output files such as FrontendOpts->OutputFile;
5413 RETURN_IF(FrontendOpts, FrontendOpts->CodeCompletionAt.FileName);
5414 RETURN_IF_MANY(FrontendOpts, FrontendOpts->ModuleMapFiles);
5416 RETURN_IF_MANY(FrontendOpts, FrontendOpts->ModulesEmbedFiles);
5417 RETURN_IF_MANY(FrontendOpts, FrontendOpts->ASTMergeFiles);
5418 RETURN_IF(FrontendOpts, FrontendOpts->OverrideRecordLayoutsFile);
5419 RETURN_IF(FrontendOpts, FrontendOpts->StatsFile);
5420
5421 // Filesystem options.
5422 RETURN_IF(FSOpts, FSOpts->WorkingDir);
5423
5424 // Codegen options.
5425 RETURN_IF(CodeGenOpts, CodeGenOpts->DebugCompilationDir);
5426 RETURN_IF(CodeGenOpts, CodeGenOpts->CoverageCompilationDir);
5427
5428 // Sanitizer options.
5429 RETURN_IF_MANY(LangOpts, LangOpts->NoSanitizeFiles);
5430
5431 // Coverage mappings.
5432 RETURN_IF(CodeGenOpts, CodeGenOpts->ProfileInstrumentUsePath);
5433 RETURN_IF(CodeGenOpts, CodeGenOpts->SampleProfileFile);
5434 RETURN_IF(CodeGenOpts, CodeGenOpts->ProfileRemappingFile);
5435
5436 // Dependency output options.
5437 for (auto &ExtraDep : DependencyOutputOpts->ExtraDeps)
5438 RETURN_IF(DependencyOutputOpts, ExtraDep.first);
5439}
5440
5442 llvm::function_ref<VisitConstResult(StringRef)> Cb) const {
5443 // The const_cast here is OK, because our callback never tries to modify.
5444 return const_cast<CowCompilerInvocation *>(this)->visitMutPaths(
5445 [&Cb](StringRef Path, std::string &) { return Cb(Path); });
5446}
5447
5449 ArgumentConsumer Consumer) const {
5450 llvm::Triple T(getTargetOpts().Triple);
5451
5455 GenerateSSAFArgs(getSSAFOpts(), Consumer);
5456 GenerateDiagnosticArgs(getDiagnosticOpts(), Consumer,
5457 /*DefaultDiagColor=*/false);
5458 GenerateFrontendArgs(getFrontendOpts(), Consumer, getLangOpts().IsHeaderFile);
5459 GenerateTargetArgs(getTargetOpts(), Consumer);
5463 GenerateLangArgs(getLangOpts(), Consumer, T, getFrontendOpts().DashX);
5464 GenerateCodeGenArgs(getCodeGenOpts(), Consumer, T,
5465 getFrontendOpts().OutputFile, &getLangOpts());
5469 getFrontendOpts().ProgramAction);
5471}
5472
5473std::vector<std::string> CompilerInvocationBase::getCC1CommandLine() const {
5474 std::vector<std::string> Args{"-cc1"};
5476 [&Args](const Twine &Arg) { Args.push_back(Arg.str()); });
5477 return Args;
5478}
5479
5485
5487 getLangOpts().ImplicitModules = false;
5492 // The specific values we canonicalize to for pruning don't affect behaviour,
5493 /// so use the default values so they may be dropped from the command-line.
5494 getHeaderSearchOpts().ModuleCachePruneInterval = 7 * 24 * 60 * 60;
5495 getHeaderSearchOpts().ModuleCachePruneAfter = 31 * 24 * 60 * 60;
5496}
5497
5500 DiagnosticsEngine &Diags) {
5501 return createVFSFromCompilerInvocation(CI, Diags,
5502 llvm::vfs::getRealFileSystem());
5503}
5504
5512
5514 ArrayRef<std::string> VFSOverlayFiles, DiagnosticsEngine &Diags,
5516 if (VFSOverlayFiles.empty())
5517 return BaseFS;
5518
5520 // earlier vfs files are on the bottom
5521 for (const auto &File : VFSOverlayFiles) {
5522 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> Buffer =
5523 Result->getBufferForFile(File);
5524 if (!Buffer) {
5525 Diags.Report(diag::err_missing_vfs_overlay_file) << File;
5526 continue;
5527 }
5528
5529 IntrusiveRefCntPtr<llvm::vfs::FileSystem> FS = llvm::vfs::getVFSFromYAML(
5530 std::move(Buffer.get()), /*DiagHandler*/ nullptr, File,
5531 /*DiagContext*/ nullptr, Result);
5532 if (!FS) {
5533 Diags.Report(diag::err_invalid_vfs_overlay) << File;
5534 continue;
5535 }
5536
5537 Result = FS;
5538 }
5539 return Result;
5540}
#define V(N, I)
Defines the Diagnostic-related interfaces.
Defines enum values for all the target-independent builtin functions.
Defines the clang::CommentOptions interface.
static void getAllNoBuiltinFuncValues(ArgList &Args, std::vector< std::string > &Funcs)
static std::optional< IntTy > normalizeStringIntegral(OptSpecifier Opt, int, const ArgList &Args, DiagnosticsEngine &Diags)
static std::optional< std::string > normalizeString(OptSpecifier Opt, int TableIndex, const ArgList &Args, DiagnosticsEngine &Diags)
static auto makeBooleanOptionNormalizer(bool Value, bool OtherValue, OptSpecifier OtherOpt)
static void parsePointerAuthOptions(PointerAuthOptions &Opts, const LangOptions &LangOpts, const llvm::Triple &Triple, DiagnosticsEngine &Diags)
static void denormalizeString(ArgumentConsumer Consumer, unsigned SpellingOffset, Option::OptionClass OptClass, unsigned TableIndex, T Value)
static SmallVector< StringRef, 4 > serializeSanitizerKinds(SanitizerSet S)
static void parseXRayInstrumentationBundle(StringRef FlagName, StringRef Bundle, ArgList &Args, DiagnosticsEngine &D, XRayInstrSet &S)
static void GenerateFrontendArgs(const FrontendOptions &Opts, ArgumentConsumer Consumer, bool IsHeader)
static std::optional< SimpleEnumValue > findValueTableByValue(const SimpleEnumValueTable &Table, unsigned Value)
static void GenerateSSAFArgs(const ssaf::SSAFOptions &Opts, ArgumentConsumer Consumer)
static bool ParseTargetArgs(TargetOptions &Opts, ArgList &Args, DiagnosticsEngine &Diags)
static auto makeFlagToValueNormalizer(T Value)
#define RETURN_IF_MANY(OPTS, PATHS)
static CodeGenOptions::OptRemark ParseOptimizationRemark(DiagnosticsEngine &Diags, ArgList &Args, OptSpecifier OptEQ, StringRef Name)
Parse a remark command line argument.
static bool ParseFileSystemArgs(FileSystemOptions &Opts, const ArgList &Args, DiagnosticsEngine &Diags)
static constexpr bool is_uint64_t_convertible()
static void GeneratePointerAuthArgs(const LangOptions &Opts, ArgumentConsumer Consumer)
static std::optional< SimpleEnumValue > findValueTableByName(const SimpleEnumValueTable &Table, StringRef Name)
static std::optional< OptSpecifier > getProgramActionOpt(frontend::ActionKind ProgramAction)
Maps frontend action to command line option.
static bool parseDiagnosticLevelMask(StringRef FlagName, const std::vector< std::string > &Levels, DiagnosticsEngine &Diags, DiagnosticLevelMask &M)
static std::optional< bool > normalizeSimpleFlag(OptSpecifier Opt, unsigned TableIndex, const ArgList &Args, DiagnosticsEngine &Diags)
CompilerInvocation::ArgumentConsumer ArgumentConsumer
static void denormalizeSimpleEnumImpl(ArgumentConsumer Consumer, unsigned SpellingOffset, Option::OptionClass OptClass, unsigned TableIndex, unsigned Value)
static void GenerateArg(ArgumentConsumer Consumer, llvm::opt::OptSpecifier OptSpecifier)
static void addDiagnosticArgs(ArgList &Args, OptSpecifier Group, OptSpecifier GroupWithValue, std::vector< std::string > &Diagnostics)
static bool ParseAnalyzerArgs(AnalyzerOptions &Opts, ArgList &Args, DiagnosticsEngine &Diags)
static void ParsePointerAuthArgs(LangOptions &Opts, ArgList &Args, DiagnosticsEngine &Diags)
static void parseAnalyzerConfigs(AnalyzerOptions &AnOpts, DiagnosticsEngine *Diags)
static void denormalizeSimpleFlag(ArgumentConsumer Consumer, unsigned SpellingOffset, Option::OptionClass, unsigned,...)
The tblgen-erated code passes in a fifth parameter of an arbitrary type, but denormalizeSimpleFlags n...
static bool ParsePreprocessorArgs(PreprocessorOptions &Opts, ArgList &Args, DiagnosticsEngine &Diags, frontend::ActionKind Action, const FrontendOptions &FrontendOpts)
static std::optional< unsigned > normalizeSimpleEnum(OptSpecifier Opt, unsigned TableIndex, const ArgList &Args, DiagnosticsEngine &Diags)
static StringRef GetInputKindName(InputKind IK)
Get language name for given input kind.
static void initOption(AnalyzerOptions::ConfigTable &Config, DiagnosticsEngine *Diags, StringRef &OptionField, StringRef Name, StringRef DefaultVal)
#define RETURN_IF(OPTS, PATH)
static std::optional< std::string > normalizeTriple(OptSpecifier Opt, int TableIndex, const ArgList &Args, DiagnosticsEngine &Diags)
T & ensureOwned(std::shared_ptr< T > &Storage)
static void GenerateMigratorArgs(const MigratorOptions &Opts, ArgumentConsumer Consumer)
static const auto & getFrontendActionTable()
Return a table that associates command line option specifiers with the frontend action.
static void GenerateTargetArgs(const TargetOptions &Opts, ArgumentConsumer Consumer)
static std::optional< frontend::ActionKind > getFrontendAction(OptSpecifier &Opt)
Maps command line option to frontend action.
static bool checkVerifyPrefixes(const std::vector< std::string > &VerifyPrefixes, DiagnosticsEngine &Diags)
static SanitizerMaskCutoffs parseSanitizerWeightedKinds(StringRef FlagName, const std::vector< std::string > &Sanitizers, DiagnosticsEngine &Diags)
static ShowColorsKind parseShowColorsMode(const ArgList &Args, bool DefaultColor)
static void GenerateAPINotesArgs(const APINotesOptions &Opts, ArgumentConsumer Consumer)
static bool isCodeGenAction(frontend::ActionKind Action)
static std::optional< bool > normalizeSimpleNegativeFlag(OptSpecifier Opt, unsigned, const ArgList &Args, DiagnosticsEngine &)
static void GenerateFileSystemArgs(const FileSystemOptions &Opts, ArgumentConsumer Consumer)
static bool IsInputCompatibleWithStandard(InputKind IK, const LangStandard &S)
Check if input file kind and language standard are compatible.
static void denormalizeStringImpl(ArgumentConsumer Consumer, const Twine &Spelling, Option::OptionClass OptClass, unsigned, const Twine &Value)
static llvm::StringRef lookupStrInTable(unsigned Offset)
static bool ParseSSAFArgs(ssaf::SSAFOptions &Opts, ArgList &Args, DiagnosticsEngine &Diags)
static void GeneratePreprocessorArgs(const PreprocessorOptions &Opts, ArgumentConsumer Consumer, const LangOptions &LangOpts, const FrontendOptions &FrontendOpts, const CodeGenOptions &CodeGenOpts)
static bool ParseFrontendArgs(FrontendOptions &Opts, ArgList &Args, DiagnosticsEngine &Diags, bool &IsHeaderFile)
static auto makeBooleanOptionDenormalizer(bool Value)
static void GeneratePreprocessorOutputArgs(const PreprocessorOutputOptions &Opts, ArgumentConsumer Consumer, frontend::ActionKind Action)
static bool isStrictlyPreprocessorAction(frontend::ActionKind Action)
static std::string serializeXRayInstrumentationBundle(const XRayInstrSet &S)
static bool ParseMigratorArgs(MigratorOptions &Opts, const ArgList &Args, DiagnosticsEngine &Diags)
static void ParseAPINotesArgs(APINotesOptions &Opts, ArgList &Args, DiagnosticsEngine &diags)
static void denormalizeStringVector(ArgumentConsumer Consumer, unsigned SpellingOffset, Option::OptionClass OptClass, unsigned TableIndex, const std::vector< std::string > &Values)
static bool ParseDependencyOutputArgs(DependencyOutputOptions &Opts, ArgList &Args, DiagnosticsEngine &Diags, frontend::ActionKind Action, bool ShowLineMarkers)
static Expected< std::optional< uint32_t > > parseToleranceOption(StringRef Arg)
static std::optional< std::vector< std::string > > normalizeStringVector(OptSpecifier Opt, int, const ArgList &Args, DiagnosticsEngine &)
static void GenerateAnalyzerArgs(const AnalyzerOptions &Opts, ArgumentConsumer Consumer)
static void GenerateOptimizationRemark(ArgumentConsumer Consumer, OptSpecifier OptEQ, StringRef Name, const CodeGenOptions::OptRemark &Remark)
Generate a remark argument. This is an inverse of ParseOptimizationRemark.
static bool ParsePreprocessorOutputArgs(PreprocessorOutputOptions &Opts, ArgList &Args, DiagnosticsEngine &Diags, frontend::ActionKind Action)
llvm::function_ref< void( CompilerInvocation &, SmallVectorImpl< const char * > &, CompilerInvocation::StringAllocator)> GenerateFn
static bool RoundTrip(ParseFn Parse, GenerateFn Generate, CompilerInvocation &RealInvocation, CompilerInvocation &DummyInvocation, ArrayRef< const char * > CommandLineArgs, DiagnosticsEngine &Diags, const char *Argv0, bool CheckAgainstOriginalInvocation=false, bool ForceRoundTrip=false)
May perform round-trip of command line arguments.
static void denormalizeSimpleEnum(ArgumentConsumer Consumer, unsigned SpellingOffset, Option::OptionClass OptClass, unsigned TableIndex, T Value)
std::shared_ptr< T > make_shared_copy(const T &X)
llvm::function_ref< bool(CompilerInvocation &, ArrayRef< const char * >, DiagnosticsEngine &, const char *)> ParseFn
static bool parseTestModuleFileExtensionArg(StringRef Arg, std::string &BlockName, unsigned &MajorVersion, unsigned &MinorVersion, bool &Hashed, std::string &UserInfo)
Parse the argument to the -ftest-module-file-extension command-line argument.
static bool ParseHeaderSearchArgs(HeaderSearchOptions &Opts, ArgList &Args, DiagnosticsEngine &Diags)
static void GenerateDependencyOutputArgs(const DependencyOutputOptions &Opts, ArgumentConsumer Consumer)
static StringRef getStringOption(AnalyzerOptions::ConfigTable &Config, StringRef OptionName, StringRef DefaultVal)
static bool FixupInvocation(CompilerInvocation &Invocation, DiagnosticsEngine &Diags, const ArgList &Args, InputKind IK)
static void parseSanitizerKinds(StringRef FlagName, const std::vector< std::string > &Sanitizers, DiagnosticsEngine &Diags, SanitizerSet &S)
static void GenerateHeaderSearchArgs(const HeaderSearchOptions &Opts, ArgumentConsumer Consumer)
Defines the clang::FileSystemOptions interface.
Result
Implement __builtin_bit_cast and related operations.
#define X(type, name)
Definition Value.h:97
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines the clang::LangOptions interface.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
Defines types useful for describing an Objective-C runtime.
static std::string toString(const clang::SanitizerSet &Sanitizers)
Produce a string containing comma-separated names of sanitizers in Sanitizers set.
Defines the clang::SanitizerKind enum.
Defines the clang::SourceLocation class and associated facilities.
#define CXXABI(Name, Str)
Defines the clang::TargetOptions class.
Defines version macros and version-related utility functions for Clang.
Defines the clang::XRayInstrKind enum.
__DEVICE__ void * memcpy(void *__a, const void *__b, size_t __c)
Tracks various options which control how API notes are found and handled.
llvm::VersionTuple SwiftVersion
The Swift version which should be used for API notes.
std::vector< std::string > ModuleSearchPaths
The set of search paths where we API notes can be found for particular modules.
Stores options for the analyzer from the command line.
static std::vector< StringRef > getRegisteredPackages(bool IncludeExperimental=false)
Retrieves the list of packages generated from Checkers.td.
std::vector< std::pair< std::string, bool > > CheckersAndPackages
Pairs of checker/package name and enable/disable.
std::vector< std::string > SilencedCheckersAndPackages
Vector of checker/package names which will not emit warnings.
AnalysisDiagClients AnalysisDiagOpt
AnalysisConstraints AnalysisConstraintsOpt
ConfigTable Config
A key-value table of use-specified configuration values.
unsigned ShouldEmitErrorsOnInvalidConfigValue
AnalysisPurgeMode AnalysisPurgeOpt
bool isUnknownAnalyzerConfig(llvm::StringRef Name)
static std::vector< StringRef > getRegisteredCheckers(bool IncludeExperimental=false)
Retrieves the list of checkers generated from Checkers.td.
llvm::StringMap< std::string > ConfigTable
std::string FullCompilerInvocation
Store full compiler invocation for reproducible instructions in the generated report.
AnalysisInliningMode InliningMode
The mode of function selection used during inlining.
static bool isBuiltinFunc(llvm::StringRef Name)
Returns true if this is a libc/libm function without the '__builtin_' prefix.
Definition Builtins.cpp:137
CompatibilityKind
For ASTs produced with different option value, signifies their level of compatibility.
CodeGenOptions - Track various options which control how the code is optimized and passed to the back...
llvm::SmallVector< std::pair< std::string, std::string >, 0 > CoveragePrefixMap
Prefix replacement map for source-based code coverage to remap source file paths in coverage mapping.
SanitizerSet SanitizeMergeHandlers
Set of sanitizer checks that can merge handlers (smaller code size at the expense of debuggability).
std::string StackUsageFile
Name of the stack usage file (i.e., .su file) if user passes -fstack-usage.
llvm::SmallVector< std::pair< std::string, std::string >, 0 > DebugPrefixMap
std::string OptRecordFile
The name of the file to which the backend should save YAML optimization records.
std::vector< BitcodeFileToLink > LinkBitcodeFiles
The files specified here are linked in to the module before optimizations.
std::optional< uint64_t > DiagnosticsHotnessThreshold
The minimum hotness value a diagnostic needs in order to be included in optimization diagnostics.
char CoverageVersion[4]
The version string to put into coverage files.
std::string HLSLRecordCommandLine
The string containing the commandline for the dx.source.args metadata, if non-empty.
llvm::DenormalMode FPDenormalMode
The floating-point denormal mode to use.
std::string CoverageNotesFile
The filename with path we use for coverage notes files.
std::string ProfileInstrumentUsePath
Name of the profile file to use as input for -fprofile-instr-use.
std::string SampleProfileFile
Name of the profile file to use with -fprofile-sample-use.
uint64_t LargeDataThreshold
The code model-specific large data threshold to use (-mlarge-data-threshold).
std::string MemoryProfileOutput
Name of the profile file to use as output for with -fmemory-profile.
std::string CodeModel
The code model to use (-mcmodel).
std::string CoverageDataFile
The filename with path we use for coverage data files.
std::optional< uint32_t > DiagnosticsMisExpectTolerance
The maximum percentage profiling weights can deviate from the expected values in order to be included...
std::string OptRecordPasses
The regex that filters the passes that should be saved to the optimization records.
std::string SaveTempsFilePrefix
Prefix to use for -save-temps output.
XRayInstrSet XRayInstrumentationBundle
Set of XRay instrumentation kinds to emit.
bool hasSanitizeCoverage() const
SanitizerSet SanitizeAnnotateDebugInfo
Set of sanitizer checks, for which the instrumentation will be annotated with extra debug info.
PointerAuthOptions PointerAuth
Configuration for pointer-signing.
llvm::DenormalMode FP32DenormalMode
The floating-point denormal mode to use, for float.
SanitizerSet SanitizeTrap
Set of sanitizer checks that trap rather than diagnose.
SanitizerSet SanitizeRecover
Set of sanitizer checks that are non-fatal (i.e.
bool hasReducedDebugInfo() const
Check if type and variable info should be emitted.
OptRemark OptimizationRemark
Selected optimizations for which we should enable optimization remarks.
std::string ThinLTOIndexFile
Name of the function summary index file to use for ThinLTO function importing.
const char * Argv0
Executable and command-line used to create a given CompilerInvocation.
llvm::SmallVector< llvm::SmallString< 8 > > HLSLParsedCommandLine
The vector contains parsed commandline for the dx.source.args metadata, if parsing was successful.
SanitizerMaskCutoffs SanitizeSkipHotCutoffs
Set of thresholds in a range [0.0, 1.0]: the top hottest code responsible for the given fraction of P...
std::vector< std::string > NoBuiltinFuncs
A list of all -fno-builtin-* function names (e.g., memset).
std::vector< uint8_t > CmdArgs
List of backend command-line options for -fembed-bitcode.
OptRemark OptimizationRemarkAnalysis
Selected optimizations for which we should enable optimization analyses.
std::optional< double > AllowRuntimeCheckSkipHotCutoff
std::vector< std::string > CommandLineArgs
void resetNonModularOptions(StringRef ModuleFormat)
Reset all of the options that are not considered when building a module.
std::string OptRecordFormat
The format used for serializing remarks (default: YAML)
std::string DIBugsReportFilePath
The file to use for dumping bug report by Debugify for original debug info.
OptRemark OptimizationRemarkMissed
Selected optimizations for which we should enable missed optimization remarks.
The base class of CompilerInvocation.
std::shared_ptr< DiagnosticOptions > DiagnosticOpts
Options controlling the diagnostic engine.
std::shared_ptr< AnalyzerOptions > AnalyzerOpts
Options controlling the static analyzer.
std::shared_ptr< MigratorOptions > MigratorOpts
std::shared_ptr< PreprocessorOutputOptions > PreprocessorOutputOpts
Options controlling preprocessed output.
std::shared_ptr< APINotesOptions > APINotesOpts
Options controlling API notes.
std::shared_ptr< TargetOptions > TargetOpts
Options controlling the target.
const FrontendOptions & getFrontendOpts() const
std::shared_ptr< ssaf::SSAFOptions > SSAFOpts
Options controlling the Scalable Static Analysis Framework (SSAF).
const CodeGenOptions & getCodeGenOpts() const
llvm::function_ref< const char *(const Twine &)> StringAllocator
Command line generation.
const FileSystemOptions & getFileSystemOpts() const
std::shared_ptr< PreprocessorOptions > PPOpts
Options controlling the preprocessor (aside from #include handling).
const PreprocessorOutputOptions & getPreprocessorOutputOpts() const
const ssaf::SSAFOptions & getSSAFOpts() const
std::vector< std::string > getCC1CommandLine() const
Generate cc1-compatible command line arguments from this instance, wrapping the result as a std::vect...
std::shared_ptr< FileSystemOptions > FSOpts
Options controlling file system operations.
const AnalyzerOptions & getAnalyzerOpts() const
const MigratorOptions & getMigratorOpts() const
void generateCC1CommandLine(llvm::SmallVectorImpl< const char * > &Args, StringAllocator SA) const
Generate cc1-compatible command line arguments from this instance.
CompilerInvocationBase & deep_copy_assign(const CompilerInvocationBase &X)
const DependencyOutputOptions & getDependencyOutputOpts() const
CompilerInvocationBase & shallow_copy_assign(const CompilerInvocationBase &X)
const TargetOptions & getTargetOpts() const
std::shared_ptr< CodeGenOptions > CodeGenOpts
Options controlling IRgen and the backend.
std::shared_ptr< LangOptions > LangOpts
Options controlling the language variant.
const APINotesOptions & getAPINotesOpts() const
const HeaderSearchOptions & getHeaderSearchOpts() const
std::shared_ptr< HeaderSearchOptions > HSOpts
Options controlling the #include directive.
const PreprocessorOptions & getPreprocessorOpts() const
const DiagnosticOptions & getDiagnosticOpts() const
const LangOptions & getLangOpts() const
Const getters.
std::shared_ptr< FrontendOptions > FrontendOpts
Options controlling the frontend itself.
llvm::function_ref< void(const Twine &)> ArgumentConsumer
std::shared_ptr< DependencyOutputOptions > DependencyOutputOpts
Options controlling dependency output.
Helper class for holding the data necessary to invoke the compiler.
PreprocessorOptions & getPreprocessorOpts()
void clearImplicitModuleBuildOptions()
Disable implicit modules and canonicalize options that are only used by implicit modules.
MigratorOptions & getMigratorOpts()
AnalyzerOptions & getAnalyzerOpts()
APINotesOptions & getAPINotesOpts()
static bool CreateFromArgs(CompilerInvocation &Res, ArrayRef< const char * > CommandLineArgs, DiagnosticsEngine &Diags, const char *Argv0=nullptr)
Create a compiler invocation from a list of input options.
ssaf::SSAFOptions & getSSAFOpts()
LangOptions & getLangOpts()
Mutable getters.
static bool checkCC1RoundTrip(ArrayRef< const char * > Args, DiagnosticsEngine &Diags, const char *Argv0=nullptr)
Check that Args can be parsed and re-serialized without change, emiting diagnostics for any differenc...
DependencyOutputOptions & getDependencyOutputOpts()
void resetNonModularOptions()
Reset all of the options that are not considered when building a module.
FrontendOptions & getFrontendOpts()
FileSystemOptions & getFileSystemOpts()
CompilerInvocation & operator=(const CompilerInvocation &X)
static void setDefaultPointerAuthOptions(PointerAuthOptions &Opts, const LangOptions &LangOpts, const llvm::Triple &Triple)
Populate Opts with the default set of pointer authentication-related options given LangOpts and Tripl...
CodeGenOptions & getCodeGenOpts()
std::string computeContextHash() const
Compute the context hash - a string that uniquely identifies compiler settings.
HeaderSearchOptions & getHeaderSearchOpts()
DiagnosticOptions & getDiagnosticOpts()
PreprocessorOutputOptions & getPreprocessorOutputOpts()
Same as CompilerInvocation, but with copy-on-write optimization.
LangOptions & getMutLangOpts()
Mutable getters.
HeaderSearchOptions & getMutHeaderSearchOpts()
PreprocessorOptions & getMutPreprocessorOpts()
PreprocessorOutputOptions & getMutPreprocessorOutputOpts()
FileSystemOptions & getMutFileSystemOpts()
void visitMutPaths(llvm::function_ref< VisitMutResult(StringRef, std::string &)> Cb)
Visits paths stored in the invocation, allowing the callback to mutate them via the out-param.
DiagnosticOptions & getMutDiagnosticOpts()
DependencyOutputOptions & getMutDependencyOutputOpts()
void visitPaths(llvm::function_ref< VisitConstResult(StringRef)> Cb) const
Visits paths stored in the invocation.
ssaf::SSAFOptions & getMutSSAFOpts()
DependencyOutputOptions - Options for controlling the compiler dependency file generation.
ShowIncludesDestination ShowIncludesDest
Destination of cl.exe style /showIncludes info.
HeaderIncludeFormatKind HeaderIncludeFormat
The format of header information.
std::string OutputFile
The file to write dependency output to.
HeaderIncludeFilteringKind HeaderIncludeFiltering
Determine whether header information should be filtered.
std::vector< std::string > Targets
A list of names to use as the targets in the dependency file; this list must contain at least one ent...
std::vector< std::pair< std::string, ExtraDepKind > > ExtraDeps
A list of extra dependencies (filename and kind) to be used for every target.
unsigned IncludeSystemHeaders
Include system header dependencies.
static llvm::IntrusiveRefCntPtr< DiagnosticIDs > create()
Options for controlling the compiler diagnostics engine.
std::string DiagnosticSuppressionMappingsFile
Path for the file that defines diagnostic suppression mappings.
std::vector< std::string > Remarks
The list of -R... options used to alter the diagnostic mappings, with the prefixes removed.
std::vector< std::string > Warnings
The list of -W... options used to alter the diagnostic mappings, with the prefixes removed.
std::vector< std::string > VerifyPrefixes
The prefixes for comment directives sought by -verify ("expected" by default).
std::string DiagnosticSerializationFile
The file to serialize diagnostics to (non-appending).
Concrete class used by the front-end to report problems and issues.
Definition Diagnostic.h:234
DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID)
Issue the message to the client.
void setClient(DiagnosticConsumer *client, bool ShouldOwnClient=true)
Set the diagnostic client associated with this diagnostic object.
unsigned getNumErrors() const
Definition Diagnostic.h:896
bool isIgnored(unsigned DiagID, SourceLocation Loc) const
Determine whether the diagnostic is known to be ignored.
Definition Diagnostic.h:961
unsigned getNumWarnings() const
Definition Diagnostic.h:897
Keeps track of options that affect how file operations are performed.
FrontendOptions - Options for controlling the behavior of the frontend.
InputKind DashX
The input kind, either specified via -x argument or deduced from the input file name.
std::vector< std::string > ModuleFiles
The list of additional prebuilt module files to load before processing the input.
unsigned ClangIRDisablePasses
Disable Clang IR specific (CIR) passes.
std::map< std::string, std::vector< std::string > > PluginArgs
Args to pass to the plugins.
unsigned ClangIRDisableCIRVerifier
Disable Clang IR (CIR) verifier.
unsigned IsSystemModule
When using -emit-module, treat the modulemap as a system module.
unsigned ClangIRLibOptEnabled
Enable ClangIR library optimization.
unsigned UseClangIRPipeline
Use Clang IR pipeline to emit code.
ASTDumpOutputFormat ASTDumpFormat
Specifies the output format of the AST.
std::optional< std::string > AuxTargetCPU
Auxiliary target CPU for CUDA/HIP compilation.
std::string OutputFile
The output file, if any.
unsigned ShowStats
Show frontend performance metrics and statistics.
unsigned GenReducedBMI
Whether to generate reduced BMI for C++20 named modules.
std::string ActionName
The name of the action to run when using a plugin action.
std::vector< std::shared_ptr< ModuleFileExtension > > ModuleFileExtensions
The list of module file extensions.
ParsedSourceLocation CodeCompletionAt
If given, enable code completion at the provided location.
std::string FixItSuffix
If given, the new suffix for fix-it rewritten files.
static InputKind getInputKindForExtension(StringRef Extension)
getInputKindForExtension - Return the appropriate input kind for a file extension.
std::vector< std::string > Plugins
The list of plugins to load.
unsigned ASTDumpAll
Whether we deserialize all decls when forming AST dumps.
unsigned GenerateGlobalModuleIndex
Whether we can generate the global module index if needed.
unsigned DisableFree
Disable memory freeing on exit.
SmallVector< FrontendInputFile, 0 > Inputs
The input files and their types.
frontend::ActionKind ProgramAction
The frontend action to perform.
std::optional< std::vector< std::string > > AuxTargetFeatures
Auxiliary target features for CUDA/HIP compilation.
std::string AuxTriple
Auxiliary triple for CUDA/HIP/SYCL compilation.
unsigned UseGlobalModuleIndex
Whether we can use the global module index if available.
unsigned ASTDumpDecls
Whether we include declaration dumps in AST dumps.
HeaderSearchOptions - Helper class for storing options related to the initialization of the HeaderSea...
unsigned ModulesStrictContextHash
Whether we should include all things that could impact the module in the hash.
void AddPath(StringRef Path, frontend::IncludeDirGroup Group, bool IsFramework, bool IgnoreSysRoot)
AddPath - Add the Path path to the specified Group list.
unsigned ModuleCachePruneInterval
The interval (in seconds) between pruning operations.
std::map< std::string, std::string, std::less<> > PrebuiltModuleFiles
The mapping of module names to prebuilt module files.
uint64_t BuildSessionTimestamp
The time in seconds when the build session started.
std::vector< std::string > PrebuiltModulePaths
The directories used to load prebuilt module files.
unsigned ModulesSkipHeaderSearchPaths
Whether to entirely skip writing header search paths.
unsigned ImplicitModuleMaps
Implicit module maps.
void AddSystemHeaderPrefix(StringRef Prefix, bool IsSystemHeader)
AddSystemHeaderPrefix - Override whether #include directives naming a path starting with Prefix shoul...
std::vector< SystemHeaderPrefix > SystemHeaderPrefixes
User-specified system header prefixes.
std::string ModuleFormat
The module/pch container format.
std::string Sysroot
If non-empty, the directory to use as a "virtual system root" for include paths.
unsigned ModulesSkipDiagnosticOptions
Whether to entirely skip writing diagnostic options.
llvm::SmallSetVector< llvm::CachedHashString, 16 > ModulesIgnoreMacros
The set of macro names that should be ignored for the purposes of computing the module hash.
std::string ModuleCachePath
The directory used for the module cache.
std::string ModuleUserBuildPath
The directory used for a user build.
std::vector< std::string > VFSOverlayFiles
The set of user-provided virtual filesystem overlay files.
unsigned UseLibcxx
Use libc++ instead of the default libstdc++.
unsigned UseBuiltinIncludes
Include the compiler builtin includes.
unsigned UseStandardCXXIncludes
Include the system standard C++ library include search directories.
unsigned UseDebugInfo
Whether the module includes debug information (-gmodules).
std::vector< Entry > UserEntries
User specified include entries.
std::string ResourceDir
The directory which holds the compiler resource files (builtin includes, etc.).
void AddPrebuiltModulePath(StringRef Name)
unsigned UseStandardSystemIncludes
Include the system standard include search directories.
void AddVFSOverlayFile(StringRef Name)
unsigned ModulesValidateOncePerBuildSession
If true, skip verifying input files used by modules if the module was already verified during this bu...
unsigned ModuleCachePruneAfter
The time (in seconds) after which an unused module file will be considered unused and will,...
A diagnostic client that ignores all diagnostics.
The kind of a file that we've been handed as an input.
bool isPreprocessed() const
InputKind withHeaderUnit(HeaderUnitKind HU) const
bool isUnknown() const
Is the input kind fully-unknown?
InputKind getPreprocessed() const
Format getFormat() const
HeaderUnitKind getHeaderUnitKind() const
InputKind getHeader() const
InputKind withFormat(Format F) const
Language getLanguage() const
@ NonLeaf
Sign the return address of functions that spill LR.
@ All
Sign the return address of all functions,.
@ BKey
Return address signing uses APIB key.
@ AKey
Return address signing uses APIA key.
@ None
Don't exclude any overflow patterns from sanitizers.
@ AddUnsignedOverflowTest
if (a + b < a)
@ All
Exclude all overflow patterns (below)
@ AddSignedOverflowTest
if (a + b < a)
@ PostDecrInWhile
while (count–)
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
SanitizerSet UBSanFeatureIgnoredSanitize
Set of (UBSan) sanitizers that when enabled do not cause __has_feature(undefined_behavior_sanitizer) ...
void resetNonModularOptions()
Reset all of the options that are not considered when building a module.
std::optional< TargetCXXABI::Kind > CXXABI
C++ ABI to compile with, if specified by the frontend through -fc++-abi=.
std::vector< std::string > NoBuiltinFuncs
A list of all -fno-builtin-* function names (e.g., memset).
std::string ModuleName
The module currently being compiled as specified by -fmodule-name.
clang::ObjCRuntime ObjCRuntime
std::string getOpenCLVersionString() const
Return the OpenCL C or C++ for OpenCL language name and version as a string.
unsigned OverflowPatternExclusionMask
Which overflow patterns should be excluded from sanitizer instrumentation.
SanitizerSet Sanitize
Set of enabled sanitizers.
std::optional< llvm::AllocTokenMode > AllocTokenMode
The allocation token mode.
bool UseTargetPathSeparator
Indicates whether to use target's platform-specific file separator when FILE macro is used and when c...
static void setLangDefaults(LangOptions &Opts, Language Lang, const llvm::Triple &T, std::vector< std::string > &Includes, LangStandard::Kind LangStd=LangStandard::lang_unspecified)
Set language defaults for the given input language and language standard in the given LangOptions obj...
std::string OverflowHandler
The name of the handler function to be called when -ftrapv is specified.
std::string RandstructSeed
The seed used by the randomize structure layout feature.
std::map< std::string, std::string, std::greater< std::string > > MacroPrefixMap
A prefix map for FILE, BASE_FILE and __builtin_FILE().
bool isTargetDevice() const
True when compiling for an offloading target device.
std::optional< uint64_t > AllocTokenMax
Maximum number of allocation tokens (0 = target SIZE_MAX), nullopt if none set (use target SIZE_MAX).
LangStandard::Kind LangStd
The used language standard.
unsigned getOpenCLCompatibleVersion() const
Return the OpenCL version that kernel language is compatible with.
bool SanitizeCoverage
Is at least one coverage instrumentation type enabled.
std::vector< llvm::Triple > OMPTargetTriples
Triples of the OpenMP targets that the host code codegen should take into account in order to generat...
std::vector< std::string > NoSanitizeFiles
Paths to files specifying which objects (files, functions, variables) should not be instrumented.
std::string CurrentModule
The name of the current module, of which the main source file is a part.
std::vector< std::string > ModuleFeatures
The names of any features to enable in module 'requires' decls in addition to the hard-coded list in ...
The basic abstraction for the target Objective-C runtime.
Definition ObjCRuntime.h:28
bool allowsWeak() const
Does this runtime allow the use of __weak?
Kind getKind() const
Definition ObjCRuntime.h:77
bool tryParse(StringRef input)
Try to parse an Objective-C runtime specification from the given string.
std::string getAsString() const
bool allowsARC() const
Does this runtime allow ARC at all?
@ FragileMacOSX
'macosx-fragile' is the Apple-provided NeXT-derived runtime on Mac OS X platforms that use the fragil...
Definition ObjCRuntime.h:40
Discrimination
Forms of extra discrimination.
ARM8_3Key
Hardware pointer-signing keys in ARM8.3.
static constexpr std::optional< PositiveAnalyzerOption > create(unsigned Val)
PreprocessorOptions - This class is used for passing the various options used in preprocessor initial...
std::vector< std::pair< std::string, std::string > > RemappedFiles
The set of file remappings, which take existing files on the system (the first part of each pair) and...
bool PCHWithHdrStopCreate
When true, we are creating a PCH or creating the PCH object while expecting a pragma hdrstop to separ...
std::vector< std::string > Includes
std::pair< unsigned, bool > PrecompiledPreambleBytes
If non-zero, the implicit PCH include is actually a precompiled preamble that covers this number of b...
bool LexEditorPlaceholders
When enabled, the preprocessor will construct editor placeholder tokens.
void resetNonModularOptions()
Reset any options that are not considered when building a module.
void addMacroUndef(StringRef Name)
std::set< std::string > DeserializedPCHDeclsToErrorOn
This is a set of names for decls that we do not want to be deserialized, and we emit an error if they...
std::vector< std::string > EmbedEntries
User specified embed entries.
void addMacroDef(StringRef Name)
bool DefineTargetOSMacros
Indicates whether to predefine target OS macros.
bool DetailedRecord
Whether we should maintain a detailed record of all macro definitions and expansions.
std::vector< std::string > ChainedIncludes
Headers that will be converted to chained PCHs in memory.
bool PCHWithHdrStop
When true, we are creating or using a PCH where a pragma hdrstop is expected to indicate the beginnin...
std::optional< uint64_t > SourceDateEpoch
If set, the UNIX timestamp specified by SOURCE_DATE_EPOCH.
bool UsePredefines
Initialize the preprocessor with the compiler and target specific predefines.
void addRemappedFile(StringRef From, StringRef To)
std::vector< std::pair< std::string, bool > > Macros
PreprocessorOutputOptions - Options for controlling the C preprocessor output (e.g....
unsigned ShowMacros
Print macro definitions.
unsigned ShowCPP
Print normal preprocessed output.
unsigned ShowLineMarkers
Show #line markers.
unsigned DirectivesOnly
Process directives but do not expand macros.
Encodes a location in the source.
static bool isSupportedCXXABI(const llvm::Triple &T, Kind Kind)
static const auto & getSpelling(Kind ABIKind)
static bool usesRelativeVTables(const llvm::Triple &T)
static bool isABI(StringRef Name)
Kind getKind() const
Options for controlling the target.
std::string Triple
The name of the target triple to compile for.
llvm::VersionTuple SDKVersion
The version of the SDK which was used during the compilation.
llvm::VersionTuple DarwinTargetVariantSDKVersion
The version of the darwin target variant SDK which was used during the compilation.
std::string HostTriple
When compiling for the device side, contains the triple used to compile for the host.
Value()=default
constexpr XRayInstrMask None
Definition XRayInstr.h:38
constexpr XRayInstrMask All
Definition XRayInstr.h:43
@ OS
Indicates that the tracking object is a descendant of a referenced-counted OSObject,...
IncludeDirGroup
IncludeDirGroup - Identifies the group an include Entry belongs to, representing its relative positiv...
@ CXXSystem
Like System, but only used for C++.
@ Angled
Paths for '#include <>' added by '-I'.
@ CSystem
Like System, but only used for C.
@ System
Like Angled, but marks system directories.
@ Quoted
'#include ""' paths, added by 'gcc -iquote'.
@ ExternCSystem
Like System, but headers are implicitly wrapped in extern "C".
@ ObjCSystem
Like System, but only used for ObjC.
@ ObjCXXSystem
Like System, but only used for ObjC++.
@ After
Like System, but searched after the system directories.
@ GenerateHeaderUnit
Generate a C++20 header unit module from a header file.
@ VerifyPCH
Load and verify that a PCH file is usable.
@ PrintPreprocessedInput
-E mode.
@ RewriteTest
Rewriter playground.
@ ParseSyntaxOnly
Parse and perform semantic analysis.
@ TemplightDump
Dump template instantiations.
@ EmitBC
Emit a .bc file.
@ GenerateModuleInterface
Generate pre-compiled module from a standard C++ module interface unit.
@ EmitLLVM
Emit a .ll file.
@ PrintPreamble
Print the "preamble" of the input file.
@ InitOnly
Only execute frontend initialization.
@ ASTView
Parse ASTs and view them in Graphviz.
@ PluginAction
Run a plugin action,.
@ EmitObj
Emit a .o file.
@ DumpRawTokens
Dump out raw tokens.
@ PrintDependencyDirectivesSourceMinimizerOutput
Print the output of the dependency directives source minimizer.
@ RewriteObjC
ObjC->C Rewriter.
@ RunPreprocessorOnly
Just lex, no output.
@ ModuleFileInfo
Dump information about a module file.
@ EmitCIR
Emit a .cir file.
@ DumpCompilerOptions
Dump the compiler configuration.
@ RunAnalysis
Run one or more source code analyses.
@ ASTPrint
Parse ASTs and print them.
@ GenerateReducedModuleInterface
Generate reduced module interface for a standard C++ module interface unit.
@ GenerateInterfaceStubs
Generate Interface Stub Files.
@ ASTDump
Parse ASTs and dump them.
@ DumpTokens
Dump out preprocessed tokens.
@ FixIt
Parse and apply any fixits to the source.
@ EmitAssembly
Emit a .s file.
@ EmitCodeGenOnly
Generate machine code, but don't emit anything.
@ RewriteMacros
Expand macros but not #includes.
@ EmitHTML
Translate input source into HTML.
@ GeneratePCH
Generate pre-compiled header.
@ EmitLLVMOnly
Generate LLVM IR, but do not emit anything.
@ GenerateModule
Generate pre-compiled module from a module map.
@ ASTDeclList
Parse ASTs and list Decl nodes.
bool EQ(InterpState &S, CodePtr OpPC)
Definition Interp.h:1478
const unsigned VERSION_MINOR
AST file minor version number supported by this version of Clang.
Definition ASTBitCodes.h:57
const unsigned VERSION_MAJOR
AST file major version number supported by this version of Clang.
Definition ASTBitCodes.h:47
The JSON file list parser is used to communicate input to InstallAPI.
ASTDumpOutputFormat
Used to specify the format for printing AST dump information.
bool ParseDiagnosticArgs(DiagnosticOptions &Opts, llvm::opt::ArgList &Args, DiagnosticsEngine *Diags=nullptr, bool DefaultDiagColor=true)
Fill out Opts based on the options given in Args.
SanitizerMask getPPTransparentSanitizers()
Return the sanitizers which do not affect preprocessing.
Definition Sanitizers.h:230
IntrusiveRefCntPtr< llvm::vfs::FileSystem > createVFSFromOverlayFiles(ArrayRef< std::string > VFSOverlayFiles, DiagnosticsEngine &Diags, IntrusiveRefCntPtr< llvm::vfs::FileSystem > BaseFS)
DiagnosticLevelMask
A bitmask representing the diagnostic levels used by VerifyDiagnosticConsumer.
const char * headerIncludeFormatKindToString(HeaderIncludeFormatKind K)
std::unique_ptr< DiagnosticOptions > CreateAndPopulateDiagOpts(ArrayRef< const char * > Argv)
constexpr uint16_t BlockDescriptorConstantDiscriminator
Constant discriminator to be used with block descriptor pointers.
constexpr uint16_t IsaPointerConstantDiscriminator
Constant discriminator to be used with objective-c isa pointers.
const char * headerIncludeFilteringKindToString(HeaderIncludeFilteringKind K)
std::vector< std::string > Macros
A list of macros of the form <definition>=<expansion> .
Definition Format.h:3951
AnalysisConstraints
AnalysisConstraints - Set of available constraint models.
@ Success
Annotation was successful.
Definition Parser.h:65
@ Parse
Parse the block; this code is always used.
Definition Parser.h:137
constexpr uint16_t SuperPointerConstantDiscriminator
Constant discriminator to be used with objective-c superclass pointers.
void serializeSanitizerSet(SanitizerSet Set, SmallVectorImpl< StringRef > &Values)
Serialize a SanitizerSet into values for -fsanitize= or -fno-sanitize=.
LLVM_READONLY bool isLetter(unsigned char c)
Return true if this character is an ASCII letter: [a-zA-Z].
Definition CharInfo.h:132
LLVM_READONLY bool isAlphanumeric(unsigned char c)
Return true if this character is an ASCII letter or digit: [a-zA-Z0-9].
Definition CharInfo.h:138
constexpr uint16_t MethodListPointerConstantDiscriminator
Constant discriminator to be used with method list pointers.
constexpr uint16_t ClassROConstantDiscriminator
Constant discriminator to be used with objective-c class_ro_t pointers.
@ C
Languages that the frontend can parse and compile.
@ CIR
LLVM IR & CIR: we accept these so that we can run the optimizer on them, and compile them to assembly...
@ Asm
Assembly: we accept this only so that we can preprocess it.
@ Default
Set to the current date and time.
bool parseSanitizerWeightedValue(StringRef Value, bool AllowGroups, SanitizerMaskCutoffs &Cutoffs)
Parse a single weighted value (e.g., 'undefined=0.05') from a -fsanitize= or -fno-sanitize= value lis...
@ Result
The result type of a method or function.
Definition TypeBase.h:905
unsigned getOptimizationLevel(const llvm::opt::ArgList &Args, InputKind IK, DiagnosticsEngine &Diags)
XRayInstrMask parseXRayInstrValue(StringRef Value)
Parses a command line argument into a mask.
Definition XRayInstr.cpp:19
IntrusiveRefCntPtr< llvm::vfs::FileSystem > createVFSFromCompilerInvocation(const CompilerInvocation &CI, DiagnosticsEngine &Diags)
void serializeXRayInstrValue(XRayInstrSet Set, SmallVectorImpl< StringRef > &Values)
Serializes a set into a list of command line arguments.
Definition XRayInstr.cpp:34
unsigned getOptimizationLevelSize(const llvm::opt::ArgList &Args)
AnalysisPurgeMode
AnalysisPurgeModes - Set of available strategies for dead symbol removal.
llvm::Expected< llvm::SmallVector< llvm::SmallString< 8 > > > parseEscapedCommandLine(const char *CommandLine)
Parse a space-separated command line with escaped spaces and backslashes.
void serializeSanitizerMaskCutoffs(const SanitizerMaskCutoffs &Cutoffs, SmallVectorImpl< std::string > &Values)
Serialize a SanitizerMaskCutoffs into command line arguments.
ShowColorsKind
Controls whether to show colors in diagnostic output.
@ Auto
Emit colors only if the output stream is detected to support them.
@ On
Always emit colors regardless of the output stream.
@ Off
Never emit colors regardless of the output stream.
ShaderStage
Shader programs run in specific pipeline stages.
Definition LangOptions.h:44
constexpr uint16_t StdTypeInfoVTablePointerConstantDiscrimination
Constant discriminator for std::type_info vtable pointers: 0xB1EA/45546 The value is ptrauth_string_d...
SanitizerMask parseSanitizerValue(StringRef Value, bool AllowGroups)
Parse a single value from a -fsanitize= or -fno-sanitize= value list.
const llvm::opt::OptTable & getDriverOptTable()
AnalysisDiagClients
AnalysisDiagClients - Set of available diagnostic clients for rendering analysis results.
@ NUM_ANALYSIS_DIAG_CLIENTS
std::string getClangFullRepositoryVersion()
Retrieves the full repository version that is an amalgamation of the information in getClangRepositor...
Definition Version.cpp:68
int getLastArgIntValue(const llvm::opt::ArgList &Args, llvm::opt::OptSpecifier Id, int Default, DiagnosticsEngine *Diags=nullptr, unsigned Base=0)
Return the value of the last argument as an integer, or a default.
AnalysisInliningMode
AnalysisInlineFunctionSelection - Set of inlining function selection heuristics.
@ NumInliningModes
@ HIFMT_Textual
unsigned long uint64_t
int const char * function
Definition c++config.h:31
__DEVICE__ _Tp arg(const std::complex< _Tp > &__c)
__packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 __packed_splat2 __packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 uint32_t
Optimization remark with an optional regular expression pattern.
bool hasValidPattern() const
Returns true iff the optimization remark holds a valid regular expression.
Dummy tag type whose instance can be passed into the constructor to prevent creation of the reference...
unsigned IgnoreSysRoot
IgnoreSysRoot - This is false if an absolute path should be treated relative to the sysroot,...
LangStandard - Information about the properties of a particular language standard.
clang::Language getLanguage() const
Get the language that this standard describes.
const char * getDescription() const
getDescription - Get the description of this standard.
static const LangStandard & getLangStandardForKind(Kind K)
const char * getName() const
getName - Get the name of this standard.
static Kind getLangKind(StringRef Name)
static ParsedSourceLocation FromString(StringRef Str)
Construct a parsed source location from a string; the Filename is empty on error.
std::string ToString() const
Serialize ParsedSourceLocation back to a string.
PointerAuthSchema BlockDescriptorPointers
The ABI for pointers to block descriptors.
PointerAuthSchema BlockHelperFunctionPointers
The ABI for block object copy/destroy function pointers.
PointerAuthSchema CXXVTablePointers
The ABI for C++ virtual table pointers (the pointer to the table itself) as installed in an actual cl...
PointerAuthSchema BlockInvocationFunctionPointers
The ABI for block invocation function pointers.
PointerAuthSchema BlockByrefHelperFunctionPointers
The ABI for __block variable copy/destroy function pointers.
PointerAuthSchema CXXVTTVTablePointers
The ABI for C++ virtual table pointers as installed in a VTT.
bool ReturnAddresses
Should return addresses be authenticated?
PointerAuthSchema CXXTypeInfoVTablePointer
TypeInfo has external ABI requirements and is emitted without actually having parsed the libcxx defin...
bool AArch64JumpTableHardening
Use hardened lowering for jump-table dispatch?
PointerAuthSchema ObjCMethodListPointer
The ABI for a reference to an Objective-C method list in _class_ro_t.
PointerAuthSchema FunctionPointers
The ABI for C function pointers.
PointerAuthSchema ObjCSuperPointers
The ABI for Objective-C superclass pointers.
bool AuthTraps
Do authentication failures cause a trap?
PointerAuthSchema CXXMemberFunctionPointers
The ABI for C++ member function pointers.
PointerAuthSchema CXXVirtualVariadicFunctionPointers
The ABI for variadic C++ virtual function pointers.
PointerAuthSchema ObjCMethodListFunctionPointers
The ABI for Objective-C method lists.
PointerAuthSchema ObjCClassROPointers
The ABI for Objective-C class_ro_t pointers.
PointerAuthSchema CXXVirtualFunctionPointers
The ABI for most C++ virtual function pointers, i.e. v-table entries.
PointerAuthSchema ObjCIsaPointers
The ABI for Objective-C isa pointers.
bool IndirectGotos
Do indirect goto label addresses need to be authenticated?
void clear(SanitizerMask K=SanitizerKind::All)
Disable the sanitizers specified in K.
Definition Sanitizers.h:195
void set(SanitizerMask K, bool Value)
Enable or disable a certain (single) sanitizer.
Definition Sanitizers.h:187
bool empty() const
Returns true if no sanitizers are enabled.
Definition Sanitizers.h:198
SanitizerMask Mask
Bitmask of enabled sanitizers.
Definition Sanitizers.h:201
XRayInstrMask Mask
Definition XRayInstr.h:65
void set(XRayInstrMask K, bool Value)
Definition XRayInstr.h:55