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
1479 if (LangOpts.PointerAuthVTTVTPtrDiscrimination)
1481 Key::ASDA, LangOpts.PointerAuthVTPtrAddressDiscrimination,
1482 LangOpts.PointerAuthVTPtrTypeDiscrimination ? Discrimination::Type
1483 : Discrimination::None);
1484 else
1486 PointerAuthSchema(Key::ASDA, false, Discrimination::None);
1487
1489 PointerAuthSchema(Key::ASIA, true, Discrimination::Decl);
1491 PointerAuthSchema(Key::ASIA, false, Discrimination::Type);
1492
1494 PointerAuthSchema(Key::ASIA, true, Discrimination::None);
1496 PointerAuthSchema(Key::ASIA, true, Discrimination::None);
1498 PointerAuthSchema(Key::ASIA, true, Discrimination::None);
1499 if (LangOpts.PointerAuthBlockDescriptorPointers)
1501 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1503
1505 PointerAuthSchema(Key::ASIA, true, Discrimination::None);
1507 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1509 if (LangOpts.PointerAuthObjcIsa) {
1510 Opts.ObjCIsaPointers =
1511 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1513 Opts.ObjCSuperPointers =
1514 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1516 }
1517
1518 if (LangOpts.PointerAuthObjcClassROPointers)
1519 Opts.ObjCClassROPointers =
1520 PointerAuthSchema(Key::ASDA, true, Discrimination::Constant,
1522 }
1523 Opts.ReturnAddresses = LangOpts.PointerAuthReturns;
1524 Opts.AuthTraps = LangOpts.PointerAuthAuthTraps;
1525 Opts.IndirectGotos = LangOpts.PointerAuthIndirectGotos;
1526 Opts.AArch64JumpTableHardening = LangOpts.AArch64JumpTableHardening;
1527}
1528
1530 const LangOptions &LangOpts,
1531 const llvm::Triple &Triple,
1532 DiagnosticsEngine &Diags) {
1533 if (!LangOpts.PointerAuthCalls && !LangOpts.PointerAuthReturns &&
1534 !LangOpts.PointerAuthAuthTraps && !LangOpts.PointerAuthIndirectGotos &&
1535 !LangOpts.AArch64JumpTableHardening)
1536 return;
1537
1539}
1540
1541void CompilerInvocationBase::GenerateCodeGenArgs(const CodeGenOptions &Opts,
1542 ArgumentConsumer Consumer,
1543 const llvm::Triple &T,
1544 const std::string &OutputFile,
1545 const LangOptions *LangOpts) {
1546 const CodeGenOptions &CodeGenOpts = Opts;
1547
1548 if (Opts.OptimizationLevel == 0)
1549 GenerateArg(Consumer, OPT_O0);
1550 else
1551 GenerateArg(Consumer, OPT_O, Twine(Opts.OptimizationLevel));
1552
1553#define CODEGEN_OPTION_WITH_MARSHALLING(...) \
1554 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
1555#include "clang/Options/Options.inc"
1556#undef CODEGEN_OPTION_WITH_MARSHALLING
1557
1558 if (Opts.OptimizationLevel > 0) {
1559 if (Opts.Inlining == CodeGenOptions::NormalInlining)
1560 GenerateArg(Consumer, OPT_finline_functions);
1561 else if (Opts.Inlining == CodeGenOptions::OnlyHintInlining)
1562 GenerateArg(Consumer, OPT_finline_hint_functions);
1563 else if (Opts.Inlining == CodeGenOptions::OnlyAlwaysInlining)
1564 GenerateArg(Consumer, OPT_fno_inline);
1565 }
1566
1567 if (Opts.DirectAccessExternalData && LangOpts->PICLevel != 0)
1568 GenerateArg(Consumer, OPT_fdirect_access_external_data);
1569 else if (!Opts.DirectAccessExternalData && LangOpts->PICLevel == 0)
1570 GenerateArg(Consumer, OPT_fno_direct_access_external_data);
1571
1572 std::optional<StringRef> DebugInfoVal;
1573 switch (Opts.DebugInfo) {
1574 case llvm::codegenoptions::DebugLineTablesOnly:
1575 DebugInfoVal = "line-tables-only";
1576 break;
1577 case llvm::codegenoptions::DebugDirectivesOnly:
1578 DebugInfoVal = "line-directives-only";
1579 break;
1580 case llvm::codegenoptions::DebugInfoConstructor:
1581 DebugInfoVal = "constructor";
1582 break;
1583 case llvm::codegenoptions::LimitedDebugInfo:
1584 DebugInfoVal = "limited";
1585 break;
1586 case llvm::codegenoptions::FullDebugInfo:
1587 DebugInfoVal = "standalone";
1588 break;
1589 case llvm::codegenoptions::UnusedTypeInfo:
1590 DebugInfoVal = "unused-types";
1591 break;
1592 case llvm::codegenoptions::NoDebugInfo: // default value
1593 DebugInfoVal = std::nullopt;
1594 break;
1595 case llvm::codegenoptions::LocTrackingOnly: // implied value
1596 DebugInfoVal = std::nullopt;
1597 break;
1598 }
1599 if (DebugInfoVal)
1600 GenerateArg(Consumer, OPT_debug_info_kind_EQ, *DebugInfoVal);
1601
1602 for (const auto &Prefix : Opts.DebugPrefixMap)
1603 GenerateArg(Consumer, OPT_fdebug_prefix_map_EQ,
1604 Prefix.first + "=" + Prefix.second);
1605
1606 for (const auto &Prefix : Opts.CoveragePrefixMap)
1607 GenerateArg(Consumer, OPT_fcoverage_prefix_map_EQ,
1608 Prefix.first + "=" + Prefix.second);
1609
1610 if (Opts.NewStructPathTBAA)
1611 GenerateArg(Consumer, OPT_new_struct_path_tbaa);
1612
1613 if (Opts.OptimizeSize == 1)
1614 GenerateArg(Consumer, OPT_O, "s");
1615 else if (Opts.OptimizeSize == 2)
1616 GenerateArg(Consumer, OPT_O, "z");
1617
1618 // SimplifyLibCalls is set only in the absence of -fno-builtin and
1619 // -ffreestanding. We'll consider that when generating them.
1620
1621 // NoBuiltinFuncs are generated by LangOptions.
1622
1623 if (Opts.UnrollLoops && Opts.OptimizationLevel <= 1)
1624 GenerateArg(Consumer, OPT_funroll_loops);
1625 else if (!Opts.UnrollLoops && Opts.OptimizationLevel > 1)
1626 GenerateArg(Consumer, OPT_fno_unroll_loops);
1627
1628 if (Opts.InterchangeLoops)
1629 GenerateArg(Consumer, OPT_floop_interchange);
1630 else
1631 GenerateArg(Consumer, OPT_fno_loop_interchange);
1632
1633 if (Opts.FuseLoops)
1634 GenerateArg(Consumer, OPT_fexperimental_loop_fusion);
1635
1636 if (!Opts.BinutilsVersion.empty())
1637 GenerateArg(Consumer, OPT_fbinutils_version_EQ, Opts.BinutilsVersion);
1638
1639 if (Opts.DebugNameTable ==
1640 static_cast<unsigned>(llvm::DICompileUnit::DebugNameTableKind::GNU))
1641 GenerateArg(Consumer, OPT_ggnu_pubnames);
1642 else if (Opts.DebugNameTable ==
1643 static_cast<unsigned>(
1644 llvm::DICompileUnit::DebugNameTableKind::Default))
1645 GenerateArg(Consumer, OPT_gpubnames);
1646
1647 if (Opts.DebugTemplateAlias)
1648 GenerateArg(Consumer, OPT_gtemplate_alias);
1649
1650 auto TNK = Opts.getDebugSimpleTemplateNames();
1651 if (TNK != llvm::codegenoptions::DebugTemplateNamesKind::Full) {
1652 if (TNK == llvm::codegenoptions::DebugTemplateNamesKind::Simple)
1653 GenerateArg(Consumer, OPT_gsimple_template_names_EQ, "simple");
1654 else if (TNK == llvm::codegenoptions::DebugTemplateNamesKind::Mangled)
1655 GenerateArg(Consumer, OPT_gsimple_template_names_EQ, "mangled");
1656 }
1657 // ProfileInstrumentUsePath is marshalled automatically, no need to generate
1658 // it or PGOUseInstrumentor.
1659
1660 if (Opts.TimePasses) {
1661 if (Opts.TimePassesPerRun)
1662 GenerateArg(Consumer, OPT_ftime_report_EQ, "per-pass-run");
1663 else
1664 GenerateArg(Consumer, OPT_ftime_report);
1665
1666 if (Opts.TimePassesJson)
1667 GenerateArg(Consumer, OPT_ftime_report_json);
1668 }
1669
1670 if (Opts.PrepareForLTO && !Opts.PrepareForThinLTO)
1671 GenerateArg(Consumer, OPT_flto_EQ, "full");
1672
1673 if (Opts.PrepareForThinLTO)
1674 GenerateArg(Consumer, OPT_flto_EQ, "thin");
1675
1676 if (!Opts.ThinLTOIndexFile.empty())
1677 GenerateArg(Consumer, OPT_fthinlto_index_EQ, Opts.ThinLTOIndexFile);
1678
1679 if (Opts.SaveTempsFilePrefix == OutputFile)
1680 GenerateArg(Consumer, OPT_save_temps_EQ, "obj");
1681
1682 if (!Opts.SaveDynDbgTempsFilePrefix.empty())
1683 GenerateArg(Consumer, OPT_save_dynamic_debugging_temps);
1684
1685 StringRef MemProfileBasename("memprof.profraw");
1686 if (!Opts.MemoryProfileOutput.empty()) {
1687 if (Opts.MemoryProfileOutput == MemProfileBasename) {
1688 GenerateArg(Consumer, OPT_fmemory_profile);
1689 } else {
1690 size_t ArgLength =
1691 Opts.MemoryProfileOutput.size() - MemProfileBasename.size();
1692 GenerateArg(Consumer, OPT_fmemory_profile_EQ,
1693 Opts.MemoryProfileOutput.substr(0, ArgLength));
1694 }
1695 }
1696
1697 if (memcmp(Opts.CoverageVersion, "0000", 4))
1698 GenerateArg(Consumer, OPT_coverage_version_EQ,
1699 StringRef(Opts.CoverageVersion, 4));
1700
1701 // TODO: Check if we need to generate arguments stored in CmdArgs. (Namely
1702 // '-fembed_bitcode', which does not map to any CompilerInvocation field and
1703 // won't be generated.)
1704
1706 std::string InstrBundle =
1708 if (!InstrBundle.empty())
1709 GenerateArg(Consumer, OPT_fxray_instrumentation_bundle, InstrBundle);
1710 }
1711
1712 if (Opts.CFProtectionReturn && Opts.CFProtectionBranch)
1713 GenerateArg(Consumer, OPT_fcf_protection_EQ, "full");
1714 else if (Opts.CFProtectionReturn)
1715 GenerateArg(Consumer, OPT_fcf_protection_EQ, "return");
1716 else if (Opts.CFProtectionBranch)
1717 GenerateArg(Consumer, OPT_fcf_protection_EQ, "branch");
1718
1719 if (Opts.CFProtectionBranch) {
1720 switch (Opts.getCFBranchLabelScheme()) {
1722 break;
1723#define CF_BRANCH_LABEL_SCHEME(Kind, FlagVal) \
1724 case CFBranchLabelSchemeKind::Kind: \
1725 GenerateArg(Consumer, OPT_mcf_branch_label_scheme_EQ, #FlagVal); \
1726 break;
1727#include "clang/Basic/CFProtectionOptions.def"
1728 }
1729 }
1730
1731 if (Opts.FunctionReturnThunks)
1732 GenerateArg(Consumer, OPT_mfunction_return_EQ, "thunk-extern");
1733
1734 for (const auto &F : Opts.LinkBitcodeFiles) {
1735 bool Builtint = F.LinkFlags == llvm::Linker::Flags::LinkOnlyNeeded &&
1736 F.PropagateAttrs && F.Internalize;
1737 GenerateArg(Consumer,
1738 Builtint ? OPT_mlink_builtin_bitcode : OPT_mlink_bitcode_file,
1739 F.Filename);
1740 }
1741
1742 if (Opts.EmulatedTLS)
1743 GenerateArg(Consumer, OPT_femulated_tls);
1744
1745 if (Opts.FPDenormalMode != llvm::DenormalMode::getIEEE())
1746 GenerateArg(Consumer, OPT_fdenormal_fp_math_EQ, Opts.FPDenormalMode.str());
1747
1748 if ((Opts.FPDenormalMode != Opts.FP32DenormalMode) ||
1749 (Opts.FP32DenormalMode != llvm::DenormalMode::getIEEE()))
1750 GenerateArg(Consumer, OPT_fdenormal_fp_math_f32_EQ,
1751 Opts.FP32DenormalMode.str());
1752
1753 if (Opts.StructReturnConvention == CodeGenOptions::SRCK_OnStack) {
1754 OptSpecifier Opt =
1755 T.isPPC32() ? OPT_maix_struct_return : OPT_fpcc_struct_return;
1756 GenerateArg(Consumer, Opt);
1757 } else if (Opts.StructReturnConvention == CodeGenOptions::SRCK_InRegs) {
1758 OptSpecifier Opt =
1759 T.isPPC32() ? OPT_msvr4_struct_return : OPT_freg_struct_return;
1760 GenerateArg(Consumer, Opt);
1761 }
1762
1763 if (Opts.EnableAIXExtendedAltivecABI)
1764 GenerateArg(Consumer, OPT_mabi_EQ_vec_extabi);
1765
1766 if (Opts.XCOFFReadOnlyPointers)
1767 GenerateArg(Consumer, OPT_mxcoff_roptr);
1768
1769 if (!Opts.OptRecordPasses.empty())
1770 GenerateArg(Consumer, OPT_opt_record_passes, Opts.OptRecordPasses);
1771
1772 if (!Opts.OptRecordFormat.empty())
1773 GenerateArg(Consumer, OPT_opt_record_format, Opts.OptRecordFormat);
1774
1775 GenerateOptimizationRemark(Consumer, OPT_Rpass_EQ, "pass",
1776 Opts.OptimizationRemark);
1777
1778 GenerateOptimizationRemark(Consumer, OPT_Rpass_missed_EQ, "pass-missed",
1780
1781 GenerateOptimizationRemark(Consumer, OPT_Rpass_analysis_EQ, "pass-analysis",
1783
1784 GenerateArg(Consumer, OPT_fdiagnostics_hotness_threshold_EQ,
1786 ? Twine(*Opts.DiagnosticsHotnessThreshold)
1787 : "auto");
1788
1789 GenerateArg(Consumer, OPT_fdiagnostics_misexpect_tolerance_EQ,
1790 Twine(*Opts.DiagnosticsMisExpectTolerance));
1791
1792 for (StringRef Sanitizer : serializeSanitizerKinds(Opts.SanitizeRecover))
1793 GenerateArg(Consumer, OPT_fsanitize_recover_EQ, Sanitizer);
1794
1795 for (StringRef Sanitizer : serializeSanitizerKinds(Opts.SanitizeTrap))
1796 GenerateArg(Consumer, OPT_fsanitize_trap_EQ, Sanitizer);
1797
1798 for (StringRef Sanitizer :
1800 GenerateArg(Consumer, OPT_fsanitize_merge_handlers_EQ, Sanitizer);
1801
1802 SmallVector<std::string, 4> Values;
1804 for (std::string Sanitizer : Values)
1805 GenerateArg(Consumer, OPT_fsanitize_skip_hot_cutoff_EQ, Sanitizer);
1806
1808 GenerateArg(Consumer, OPT_fallow_runtime_check_skip_hot_cutoff_EQ,
1809 std::to_string(*Opts.AllowRuntimeCheckSkipHotCutoff));
1810 }
1811
1812 for (StringRef Sanitizer :
1814 GenerateArg(Consumer, OPT_fsanitize_annotate_debug_info_EQ, Sanitizer);
1815
1816 if (!Opts.EmitVersionIdentMetadata)
1817 GenerateArg(Consumer, OPT_Qn);
1818
1819 switch (Opts.FiniteLoops) {
1821 break;
1823 GenerateArg(Consumer, OPT_ffinite_loops);
1824 break;
1826 GenerateArg(Consumer, OPT_fno_finite_loops);
1827 break;
1828 }
1829
1830 if (Opts.StaticClosure)
1831 GenerateArg(Consumer, OPT_static_libclosure);
1832}
1833
1834bool CompilerInvocation::ParseCodeGenArgs(CodeGenOptions &Opts, ArgList &Args,
1835 InputKind IK,
1836 DiagnosticsEngine &Diags,
1837 const llvm::Triple &T,
1838 const std::string &OutputFile,
1839 const LangOptions &LangOptsRef) {
1840 unsigned NumErrorsBefore = Diags.getNumErrors();
1841
1842 Opts.OptimizationLevel = getOptimizationLevel(Args, IK, Diags);
1843
1844 // The key paths of codegen options defined in Options.td start with
1845 // "CodeGenOpts.". Let's provide the expected variable name and type.
1846 CodeGenOptions &CodeGenOpts = Opts;
1847 // Some codegen options depend on language options. Let's provide the expected
1848 // variable name and type.
1849 const LangOptions *LangOpts = &LangOptsRef;
1850
1851#define CODEGEN_OPTION_WITH_MARSHALLING(...) \
1852 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
1853#include "clang/Options/Options.inc"
1854#undef CODEGEN_OPTION_WITH_MARSHALLING
1855
1856 // At O0 we want to fully disable inlining outside of cases marked with
1857 // 'alwaysinline' that are required for correctness.
1858 if (Opts.OptimizationLevel == 0) {
1859 Opts.setInlining(CodeGenOptions::OnlyAlwaysInlining);
1860 } else if (const Arg *A = Args.getLastArg(options::OPT_finline_functions,
1861 options::OPT_finline_hint_functions,
1862 options::OPT_fno_inline_functions,
1863 options::OPT_fno_inline)) {
1864 // Explicit inlining flags can disable some or all inlining even at
1865 // optimization levels above zero.
1866 if (A->getOption().matches(options::OPT_finline_functions))
1867 Opts.setInlining(CodeGenOptions::NormalInlining);
1868 else if (A->getOption().matches(options::OPT_finline_hint_functions))
1869 Opts.setInlining(CodeGenOptions::OnlyHintInlining);
1870 else
1871 Opts.setInlining(CodeGenOptions::OnlyAlwaysInlining);
1872 } else {
1873 Opts.setInlining(CodeGenOptions::NormalInlining);
1874 }
1875
1876 // PIC defaults to -fno-direct-access-external-data while non-PIC defaults to
1877 // -fdirect-access-external-data.
1878 Opts.DirectAccessExternalData =
1879 Args.hasArg(OPT_fdirect_access_external_data) ||
1880 (!Args.hasArg(OPT_fno_direct_access_external_data) &&
1881 LangOpts->PICLevel == 0);
1882
1883 if (Arg *A = Args.getLastArg(OPT_debug_info_kind_EQ)) {
1884 unsigned Val =
1885 llvm::StringSwitch<unsigned>(A->getValue())
1886 .Case("line-tables-only", llvm::codegenoptions::DebugLineTablesOnly)
1887 .Case("line-directives-only",
1888 llvm::codegenoptions::DebugDirectivesOnly)
1889 .Case("constructor", llvm::codegenoptions::DebugInfoConstructor)
1890 .Case("limited", llvm::codegenoptions::LimitedDebugInfo)
1891 .Case("standalone", llvm::codegenoptions::FullDebugInfo)
1892 .Case("unused-types", llvm::codegenoptions::UnusedTypeInfo)
1893 .Default(~0U);
1894 if (Val == ~0U)
1895 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args)
1896 << A->getValue();
1897 else
1898 Opts.setDebugInfo(static_cast<llvm::codegenoptions::DebugInfoKind>(Val));
1899 }
1900
1901 // If -fuse-ctor-homing is set and limited debug info is already on, then use
1902 // constructor homing, and vice versa for -fno-use-ctor-homing.
1903 if (const Arg *A =
1904 Args.getLastArg(OPT_fuse_ctor_homing, OPT_fno_use_ctor_homing)) {
1905 if (A->getOption().matches(OPT_fuse_ctor_homing) &&
1906 Opts.getDebugInfo() == llvm::codegenoptions::LimitedDebugInfo)
1907 Opts.setDebugInfo(llvm::codegenoptions::DebugInfoConstructor);
1908 if (A->getOption().matches(OPT_fno_use_ctor_homing) &&
1909 Opts.getDebugInfo() == llvm::codegenoptions::DebugInfoConstructor)
1910 Opts.setDebugInfo(llvm::codegenoptions::LimitedDebugInfo);
1911 }
1912
1913 for (const auto &Arg : Args.getAllArgValues(OPT_fdebug_prefix_map_EQ)) {
1914 auto Split = StringRef(Arg).split('=');
1915 Opts.DebugPrefixMap.emplace_back(Split.first, Split.second);
1916 }
1917
1918 for (const auto &Arg : Args.getAllArgValues(OPT_fcoverage_prefix_map_EQ)) {
1919 auto Split = StringRef(Arg).split('=');
1920 Opts.CoveragePrefixMap.emplace_back(Split.first, Split.second);
1921 }
1922
1923 if (Opts.OptimizationLevel > 0 && Opts.hasReducedDebugInfo() &&
1924 T.supportsDebugEntryValues())
1925 Opts.EmitCallSiteInfo = true;
1926
1927 if (!Opts.EnableDIPreservationVerify && Opts.DIBugsReportFilePath.size()) {
1928 Diags.Report(diag::warn_ignoring_verify_debuginfo_preserve_export)
1929 << Opts.DIBugsReportFilePath;
1930 Opts.DIBugsReportFilePath = "";
1931 }
1932
1933 Opts.NewStructPathTBAA = !Args.hasArg(OPT_no_struct_path_tbaa) &&
1934 Args.hasArg(OPT_new_struct_path_tbaa);
1935 Opts.OptimizeSize = getOptimizationLevelSize(Args);
1936 Opts.SimplifyLibCalls = !LangOpts->NoBuiltin;
1937 if (Opts.SimplifyLibCalls)
1938 Opts.NoBuiltinFuncs = LangOpts->NoBuiltinFuncs;
1939 Opts.UnrollLoops =
1940 Args.hasFlag(OPT_funroll_loops, OPT_fno_unroll_loops,
1941 (Opts.OptimizationLevel > 1));
1942 // Match the LLVM pipeline default (PipelineTuningOptions::LoopInterchange),
1943 // which enables the pass whenever the optimization pipeline runs.
1944 Opts.InterchangeLoops =
1945 Args.hasFlag(OPT_floop_interchange, OPT_fno_loop_interchange, true);
1946 Opts.FuseLoops = Args.hasFlag(OPT_fexperimental_loop_fusion,
1947 OPT_fno_experimental_loop_fusion, false);
1948 Opts.BinutilsVersion =
1949 std::string(Args.getLastArgValue(OPT_fbinutils_version_EQ));
1950
1951 Opts.DebugTemplateAlias = Args.hasArg(OPT_gtemplate_alias);
1952
1953 Opts.DebugNameTable = static_cast<unsigned>(
1954 Args.hasArg(OPT_ggnu_pubnames)
1955 ? llvm::DICompileUnit::DebugNameTableKind::GNU
1956 : Args.hasArg(OPT_gpubnames)
1957 ? llvm::DICompileUnit::DebugNameTableKind::Default
1958 : llvm::DICompileUnit::DebugNameTableKind::None);
1959 if (const Arg *A = Args.getLastArg(OPT_gsimple_template_names_EQ)) {
1960 StringRef Value = A->getValue();
1961 if (Value != "simple" && Value != "mangled")
1962 Diags.Report(diag::err_drv_unsupported_option_argument)
1963 << A->getSpelling() << A->getValue();
1964 Opts.setDebugSimpleTemplateNames(
1965 StringRef(A->getValue()) == "simple"
1966 ? llvm::codegenoptions::DebugTemplateNamesKind::Simple
1967 : llvm::codegenoptions::DebugTemplateNamesKind::Mangled);
1968 }
1969
1970 if (Args.hasArg(OPT_ftime_report, OPT_ftime_report_EQ, OPT_ftime_report_json,
1971 OPT_stats_file_timers)) {
1972 Opts.TimePasses = true;
1973
1974 // -ftime-report= is only for new pass manager.
1975 if (const Arg *EQ = Args.getLastArg(OPT_ftime_report_EQ)) {
1976 StringRef Val = EQ->getValue();
1977 if (Val == "per-pass")
1978 Opts.TimePassesPerRun = false;
1979 else if (Val == "per-pass-run")
1980 Opts.TimePassesPerRun = true;
1981 else
1982 Diags.Report(diag::err_drv_invalid_value)
1983 << EQ->getAsString(Args) << EQ->getValue();
1984 }
1985
1986 if (Args.getLastArg(OPT_ftime_report_json))
1987 Opts.TimePassesJson = true;
1988 }
1989
1990 Opts.PrepareForLTO = false;
1991 Opts.PrepareForThinLTO = false;
1992 if (Arg *A = Args.getLastArg(OPT_flto_EQ)) {
1993 Opts.PrepareForLTO = true;
1994 StringRef S = A->getValue();
1995 if (S == "thin")
1996 Opts.PrepareForThinLTO = true;
1997 else if (S != "full")
1998 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << S;
1999 if (Args.hasArg(OPT_funified_lto))
2000 Opts.PrepareForThinLTO = true;
2001 }
2002 if (Arg *A = Args.getLastArg(OPT_fthinlto_index_EQ)) {
2003 if (IK.getLanguage() != Language::LLVM_IR)
2004 Diags.Report(diag::err_drv_argument_only_allowed_with)
2005 << A->getAsString(Args) << "-x ir";
2006 Opts.ThinLTOIndexFile =
2007 std::string(Args.getLastArgValue(OPT_fthinlto_index_EQ));
2008 }
2009 if (Arg *A = Args.getLastArg(OPT_save_temps_EQ))
2010 Opts.SaveTempsFilePrefix =
2011 llvm::StringSwitch<std::string>(A->getValue())
2012 .Case("obj", OutputFile)
2013 .Default(llvm::sys::path::filename(OutputFile).str());
2014
2015 if (Args.getLastArg(OPT_save_dynamic_debugging_temps))
2016 Opts.SaveDynDbgTempsFilePrefix = OutputFile;
2017
2018 // The memory profile runtime appends the pid to make this name more unique.
2019 const char *MemProfileBasename = "memprof.profraw";
2020 if (Args.hasArg(OPT_fmemory_profile_EQ)) {
2021 SmallString<128> Path(Args.getLastArgValue(OPT_fmemory_profile_EQ));
2022 llvm::sys::path::append(Path, MemProfileBasename);
2023 Opts.MemoryProfileOutput = std::string(Path);
2024 } else if (Args.hasArg(OPT_fmemory_profile))
2025 Opts.MemoryProfileOutput = MemProfileBasename;
2026
2027 if (Opts.CoverageNotesFile.size() || Opts.CoverageDataFile.size()) {
2028 if (Args.hasArg(OPT_coverage_version_EQ)) {
2029 StringRef CoverageVersion = Args.getLastArgValue(OPT_coverage_version_EQ);
2030 if (CoverageVersion.size() != 4) {
2031 Diags.Report(diag::err_drv_invalid_value)
2032 << Args.getLastArg(OPT_coverage_version_EQ)->getAsString(Args)
2033 << CoverageVersion;
2034 } else {
2035 memcpy(Opts.CoverageVersion, CoverageVersion.data(), 4);
2036 }
2037 }
2038 }
2039 // FIXME: For backend options that are not yet recorded as function
2040 // attributes in the IR, keep track of them so we can embed them in a
2041 // separate data section and use them when building the bitcode.
2042 for (const auto &A : Args) {
2043 // Do not encode output and input.
2044 if (A->getOption().getID() == options::OPT_o ||
2045 A->getOption().getID() == options::OPT_INPUT ||
2046 A->getOption().getID() == options::OPT_x ||
2047 A->getOption().getID() == options::OPT_fembed_bitcode ||
2048 A->getOption().matches(options::OPT_W_Group))
2049 continue;
2050 ArgStringList ASL;
2051 A->render(Args, ASL);
2052 for (const auto &arg : ASL) {
2053 StringRef ArgStr(arg);
2054 llvm::append_range(Opts.CmdArgs, ArgStr);
2055 // using \00 to separate each commandline options.
2056 Opts.CmdArgs.push_back('\0');
2057 }
2058 }
2059
2060 auto XRayInstrBundles =
2061 Args.getAllArgValues(OPT_fxray_instrumentation_bundle);
2062 if (XRayInstrBundles.empty())
2064 else
2065 for (const auto &A : XRayInstrBundles)
2066 parseXRayInstrumentationBundle("-fxray-instrumentation-bundle=", A, Args,
2067 Diags, Opts.XRayInstrumentationBundle);
2068
2069 if (const Arg *A = Args.getLastArg(OPT_fcf_protection_EQ)) {
2070 StringRef Name = A->getValue();
2071 if (Name == "full") {
2072 Opts.CFProtectionReturn = 1;
2073 Opts.CFProtectionBranch = 1;
2074 } else if (Name == "return")
2075 Opts.CFProtectionReturn = 1;
2076 else if (Name == "branch")
2077 Opts.CFProtectionBranch = 1;
2078 else if (Name != "none")
2079 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << Name;
2080 }
2081
2082 if (Opts.CFProtectionBranch && T.isRISCV()) {
2083 if (const Arg *A = Args.getLastArg(OPT_mcf_branch_label_scheme_EQ)) {
2084 const auto Scheme =
2085 llvm::StringSwitch<CFBranchLabelSchemeKind>(A->getValue())
2086#define CF_BRANCH_LABEL_SCHEME(Kind, FlagVal) \
2087 .Case(#FlagVal, CFBranchLabelSchemeKind::Kind)
2088#include "clang/Basic/CFProtectionOptions.def"
2091 Opts.setCFBranchLabelScheme(Scheme);
2092 else
2093 Diags.Report(diag::err_drv_invalid_value)
2094 << A->getAsString(Args) << A->getValue();
2095 }
2096 }
2097
2098 if (const Arg *A = Args.getLastArg(OPT_mfunction_return_EQ)) {
2099 auto Val = llvm::StringSwitch<llvm::FunctionReturnThunksKind>(A->getValue())
2100 .Case("keep", llvm::FunctionReturnThunksKind::Keep)
2101 .Case("thunk-extern", llvm::FunctionReturnThunksKind::Extern)
2102 .Default(llvm::FunctionReturnThunksKind::Invalid);
2103 // SystemZ might want to add support for "expolines."
2104 if (!T.isX86())
2105 Diags.Report(diag::err_drv_argument_not_allowed_with)
2106 << A->getSpelling() << T.getTriple();
2107 else if (Val == llvm::FunctionReturnThunksKind::Invalid)
2108 Diags.Report(diag::err_drv_invalid_value)
2109 << A->getAsString(Args) << A->getValue();
2110 else if (Val == llvm::FunctionReturnThunksKind::Extern &&
2111 Args.getLastArgValue(OPT_mcmodel_EQ) == "large")
2112 Diags.Report(diag::err_drv_argument_not_allowed_with)
2113 << A->getAsString(Args)
2114 << Args.getLastArg(OPT_mcmodel_EQ)->getAsString(Args);
2115 else
2116 Opts.FunctionReturnThunks = static_cast<unsigned>(Val);
2117 }
2118
2119 for (auto *A :
2120 Args.filtered(OPT_mlink_bitcode_file, OPT_mlink_builtin_bitcode)) {
2121 CodeGenOptions::BitcodeFileToLink F;
2122 F.Filename = A->getValue();
2123 if (A->getOption().matches(OPT_mlink_builtin_bitcode)) {
2124 F.LinkFlags = llvm::Linker::Flags::LinkOnlyNeeded;
2125 // When linking CUDA bitcode, propagate function attributes so that
2126 // e.g. libdevice gets fast-math attrs if we're building with fast-math.
2127 F.PropagateAttrs = true;
2128 F.Internalize = true;
2129 }
2130 Opts.LinkBitcodeFiles.push_back(F);
2131 }
2132
2133 if (Arg *A = Args.getLastArg(OPT_fdenormal_fp_math_EQ)) {
2134 StringRef Val = A->getValue();
2135 Opts.FPDenormalMode = llvm::parseDenormalFPAttribute(Val);
2136 Opts.FP32DenormalMode = Opts.FPDenormalMode;
2137 if (!Opts.FPDenormalMode.isValid())
2138 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << Val;
2139 }
2140
2141 if (Arg *A = Args.getLastArg(OPT_fdenormal_fp_math_f32_EQ)) {
2142 StringRef Val = A->getValue();
2143 Opts.FP32DenormalMode = llvm::parseDenormalFPAttribute(Val);
2144 if (!Opts.FP32DenormalMode.isValid())
2145 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << Val;
2146 }
2147
2148 // X86_32 has -fppc-struct-return and -freg-struct-return.
2149 // PPC32 has -maix-struct-return and -msvr4-struct-return.
2150 if (Arg *A =
2151 Args.getLastArg(OPT_fpcc_struct_return, OPT_freg_struct_return,
2152 OPT_maix_struct_return, OPT_msvr4_struct_return)) {
2153 // TODO: We might want to consider enabling these options on AIX in the
2154 // future.
2155 if (T.isOSAIX())
2156 Diags.Report(diag::err_drv_unsupported_opt_for_target)
2157 << A->getSpelling() << T.str();
2158
2159 const Option &O = A->getOption();
2160 if (O.matches(OPT_fpcc_struct_return) ||
2161 O.matches(OPT_maix_struct_return)) {
2162 Opts.setStructReturnConvention(CodeGenOptions::SRCK_OnStack);
2163 } else {
2164 assert(O.matches(OPT_freg_struct_return) ||
2165 O.matches(OPT_msvr4_struct_return));
2166 Opts.setStructReturnConvention(CodeGenOptions::SRCK_InRegs);
2167 }
2168 }
2169
2170 if (Arg *A = Args.getLastArg(OPT_mxcoff_roptr)) {
2171 if (!T.isOSAIX())
2172 Diags.Report(diag::err_drv_unsupported_opt_for_target)
2173 << A->getSpelling() << T.str();
2174
2175 // Since the storage mapping class is specified per csect,
2176 // without using data sections, it is less effective to use read-only
2177 // pointers. Using read-only pointers may cause other RO variables in the
2178 // same csect to become RW when the linker acts upon `-bforceimprw`;
2179 // therefore, we require that separate data sections
2180 // are used when `-mxcoff-roptr` is in effect. We respect the setting of
2181 // data-sections since we have not found reasons to do otherwise that
2182 // overcome the user surprise of not respecting the setting.
2183 if (!Args.hasFlag(OPT_fdata_sections, OPT_fno_data_sections, false))
2184 Diags.Report(diag::err_roptr_requires_data_sections);
2185
2186 Opts.XCOFFReadOnlyPointers = true;
2187 }
2188
2189 if (Arg *A = Args.getLastArg(OPT_mabi_EQ_quadword_atomics)) {
2190 if (!T.isOSAIX() || T.isPPC32())
2191 Diags.Report(diag::err_drv_unsupported_opt_for_target)
2192 << A->getSpelling() << T.str();
2193 }
2194
2195 bool NeedLocTracking = false;
2196
2197 if (!Opts.OptRecordFile.empty())
2198 NeedLocTracking = true;
2199
2200 if (Arg *A = Args.getLastArg(OPT_opt_record_passes)) {
2201 Opts.OptRecordPasses = A->getValue();
2202 NeedLocTracking = true;
2203 }
2204
2205 if (Arg *A = Args.getLastArg(OPT_opt_record_format)) {
2206 Opts.OptRecordFormat = A->getValue();
2207 NeedLocTracking = true;
2208 }
2209
2210 Opts.OptimizationRemark =
2211 ParseOptimizationRemark(Diags, Args, OPT_Rpass_EQ, "pass");
2212
2214 ParseOptimizationRemark(Diags, Args, OPT_Rpass_missed_EQ, "pass-missed");
2215
2217 Diags, Args, OPT_Rpass_analysis_EQ, "pass-analysis");
2218
2219 NeedLocTracking |= Opts.OptimizationRemark.hasValidPattern() ||
2222
2223 bool UsingSampleProfile = !Opts.SampleProfileFile.empty();
2224 bool UsingProfile =
2225 UsingSampleProfile || !Opts.ProfileInstrumentUsePath.empty();
2226
2227 if (Opts.DiagnosticsWithHotness && !UsingProfile &&
2228 // An IR file will contain PGO as metadata
2230 Diags.Report(diag::warn_drv_diagnostics_hotness_requires_pgo)
2231 << "-fdiagnostics-show-hotness";
2232
2233 // Parse remarks hotness threshold. Valid value is either integer or 'auto'.
2234 if (auto *arg =
2235 Args.getLastArg(options::OPT_fdiagnostics_hotness_threshold_EQ)) {
2236 auto ResultOrErr =
2237 llvm::remarks::parseHotnessThresholdOption(arg->getValue());
2238
2239 if (!ResultOrErr) {
2240 Diags.Report(diag::err_drv_invalid_diagnotics_hotness_threshold)
2241 << "-fdiagnostics-hotness-threshold=";
2242 } else {
2243 Opts.DiagnosticsHotnessThreshold = *ResultOrErr;
2244 if ((!Opts.DiagnosticsHotnessThreshold ||
2245 *Opts.DiagnosticsHotnessThreshold > 0) &&
2246 !UsingProfile)
2247 Diags.Report(diag::warn_drv_diagnostics_hotness_requires_pgo)
2248 << "-fdiagnostics-hotness-threshold=";
2249 }
2250 }
2251
2252 if (auto *arg =
2253 Args.getLastArg(options::OPT_fdiagnostics_misexpect_tolerance_EQ)) {
2254 auto ResultOrErr = parseToleranceOption(arg->getValue());
2255
2256 if (!ResultOrErr) {
2257 Diags.Report(diag::err_drv_invalid_diagnotics_misexpect_tolerance)
2258 << "-fdiagnostics-misexpect-tolerance=";
2259 } else {
2260 Opts.DiagnosticsMisExpectTolerance = *ResultOrErr;
2261 if ((!Opts.DiagnosticsMisExpectTolerance ||
2262 *Opts.DiagnosticsMisExpectTolerance > 0) &&
2263 !UsingProfile)
2264 Diags.Report(diag::warn_drv_diagnostics_misexpect_requires_pgo)
2265 << "-fdiagnostics-misexpect-tolerance=";
2266 }
2267 }
2268
2269 // If the user requested to use a sample profile for PGO, then the
2270 // backend will need to track source location information so the profile
2271 // can be incorporated into the IR.
2272 if (UsingSampleProfile)
2273 NeedLocTracking = true;
2274
2275 if (!Opts.StackUsageFile.empty())
2276 NeedLocTracking = true;
2277
2278 // If the user requested a flag that requires source locations available in
2279 // the backend, make sure that the backend tracks source location information.
2280 if (NeedLocTracking &&
2281 Opts.getDebugInfo() == llvm::codegenoptions::NoDebugInfo)
2282 Opts.setDebugInfo(llvm::codegenoptions::LocTrackingOnly);
2283
2284 // Parse -fsanitize-recover= arguments.
2285 // FIXME: Report unrecoverable sanitizers incorrectly specified here.
2286 parseSanitizerKinds("-fsanitize-recover=",
2287 Args.getAllArgValues(OPT_fsanitize_recover_EQ), Diags,
2288 Opts.SanitizeRecover);
2289 parseSanitizerKinds("-fsanitize-trap=",
2290 Args.getAllArgValues(OPT_fsanitize_trap_EQ), Diags,
2291 Opts.SanitizeTrap);
2292 parseSanitizerKinds("-fsanitize-merge=",
2293 Args.getAllArgValues(OPT_fsanitize_merge_handlers_EQ),
2294 Diags, Opts.SanitizeMergeHandlers);
2295
2296 // Parse -fsanitize-skip-hot-cutoff= arguments.
2298 "-fsanitize-skip-hot-cutoff=",
2299 Args.getAllArgValues(OPT_fsanitize_skip_hot_cutoff_EQ), Diags);
2300
2302 "-fsanitize-annotate-debug-info=",
2303 Args.getAllArgValues(OPT_fsanitize_annotate_debug_info_EQ), Diags,
2305
2306 if (StringRef V =
2307 Args.getLastArgValue(OPT_fallow_runtime_check_skip_hot_cutoff_EQ);
2308 !V.empty()) {
2309 double A;
2310 if (V.getAsDouble(A) || A < 0.0 || A > 1.0) {
2311 Diags.Report(diag::err_drv_invalid_value)
2312 << "-fallow-runtime-check-skip-hot-cutoff=" << V;
2313 } else {
2315 }
2316 }
2317
2318 Opts.EmitVersionIdentMetadata = Args.hasFlag(OPT_Qy, OPT_Qn, true);
2319
2320 if (!LangOpts->CUDAIsDevice)
2322
2323 if (Args.hasArg(options::OPT_ffinite_loops))
2324 Opts.FiniteLoops = CodeGenOptions::FiniteLoopsKind::Always;
2325 else if (Args.hasArg(options::OPT_fno_finite_loops))
2326 Opts.FiniteLoops = CodeGenOptions::FiniteLoopsKind::Never;
2327
2328 Opts.EmitIEEENaNCompliantInsts = Args.hasFlag(
2329 options::OPT_mamdgpu_ieee, options::OPT_mno_amdgpu_ieee, true);
2330 if (!Opts.EmitIEEENaNCompliantInsts && !LangOptsRef.NoHonorNaNs)
2331 Diags.Report(diag::err_drv_amdgpu_ieee_without_no_honor_nans);
2332
2333 Opts.StaticClosure = Args.hasArg(options::OPT_static_libclosure);
2334
2335 if (!Opts.HLSLRecordCommandLine.empty()) {
2336 auto ParsedArgs =
2338 if (!ParsedArgs)
2339 Diags.Report(diag::err_drv_invalid_escaped_command_line)
2340 << llvm::toString(ParsedArgs.takeError());
2341 else
2342 Opts.HLSLParsedCommandLine = std::move(*ParsedArgs);
2343 }
2344
2345 return Diags.getNumErrors() == NumErrorsBefore;
2346}
2347
2349 ArgumentConsumer Consumer) {
2350 const DependencyOutputOptions &DependencyOutputOpts = Opts;
2351#define DEPENDENCY_OUTPUT_OPTION_WITH_MARSHALLING(...) \
2352 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2353#include "clang/Options/Options.inc"
2354#undef DEPENDENCY_OUTPUT_OPTION_WITH_MARSHALLING
2355
2357 GenerateArg(Consumer, OPT_show_includes);
2358
2359 for (const auto &Dep : Opts.ExtraDeps) {
2360 switch (Dep.second) {
2362 // Sanitizer ignorelist arguments are generated from LanguageOptions.
2363 continue;
2364 case EDK_ModuleFile:
2365 // Module file arguments are generated from FrontendOptions and
2366 // HeaderSearchOptions.
2367 continue;
2368 case EDK_ProfileList:
2369 // Profile list arguments are generated from LanguageOptions via the
2370 // marshalling infrastructure.
2371 continue;
2372 case EDK_DepFileEntry:
2373 GenerateArg(Consumer, OPT_fdepfile_entry, Dep.first);
2374 break;
2375 }
2376 }
2377}
2378
2380 ArgList &Args, DiagnosticsEngine &Diags,
2381 frontend::ActionKind Action,
2382 bool ShowLineMarkers) {
2383 unsigned NumErrorsBefore = Diags.getNumErrors();
2384
2385 DependencyOutputOptions &DependencyOutputOpts = Opts;
2386#define DEPENDENCY_OUTPUT_OPTION_WITH_MARSHALLING(...) \
2387 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
2388#include "clang/Options/Options.inc"
2389#undef DEPENDENCY_OUTPUT_OPTION_WITH_MARSHALLING
2390
2391 if (Args.hasArg(OPT_show_includes)) {
2392 // Writing both /showIncludes and preprocessor output to stdout
2393 // would produce interleaved output, so use stderr for /showIncludes.
2394 // This behaves the same as cl.exe, when /E, /EP or /P are passed.
2395 if (Action == frontend::PrintPreprocessedInput || !ShowLineMarkers)
2397 else
2399 } else {
2401 }
2402
2403 // Add sanitizer ignorelists as extra dependencies.
2404 // They won't be discovered by the regular preprocessor, so
2405 // we let make / ninja to know about this implicit dependency.
2406 if (!Args.hasArg(OPT_fno_sanitize_ignorelist)) {
2407 for (const auto *A : Args.filtered(OPT_fsanitize_ignorelist_EQ)) {
2408 StringRef Val = A->getValue();
2409 if (!Val.contains('='))
2410 Opts.ExtraDeps.emplace_back(std::string(Val), EDK_SanitizeIgnorelist);
2411 }
2412 if (Opts.IncludeSystemHeaders) {
2413 for (const auto *A : Args.filtered(OPT_fsanitize_system_ignorelist_EQ)) {
2414 StringRef Val = A->getValue();
2415 if (!Val.contains('='))
2416 Opts.ExtraDeps.emplace_back(std::string(Val), EDK_SanitizeIgnorelist);
2417 }
2418 }
2419 }
2420
2421 // -fprofile-list= dependencies.
2422 for (const auto &Filename : Args.getAllArgValues(OPT_fprofile_list_EQ))
2423 Opts.ExtraDeps.emplace_back(Filename, EDK_ProfileList);
2424
2425 // Propagate the extra dependencies.
2426 for (const auto *A : Args.filtered(OPT_fdepfile_entry))
2427 Opts.ExtraDeps.emplace_back(A->getValue(), EDK_DepFileEntry);
2428
2429 // Only the -fmodule-file=<file> form.
2430 for (const auto *A : Args.filtered(OPT_fmodule_file)) {
2431 StringRef Val = A->getValue();
2432 if (!Val.contains('='))
2433 Opts.ExtraDeps.emplace_back(std::string(Val), EDK_ModuleFile);
2434 }
2435
2436 // Check for invalid combinations of header-include-format
2437 // and header-include-filtering.
2438 if (Opts.HeaderIncludeFormat == HIFMT_Textual &&
2440 if (Args.hasArg(OPT_header_include_format_EQ))
2441 Diags.Report(diag::err_drv_print_header_cc1_invalid_combination)
2444 else
2445 Diags.Report(diag::err_drv_print_header_cc1_invalid_filtering)
2447 } else if (Opts.HeaderIncludeFormat == HIFMT_JSON &&
2449 if (Args.hasArg(OPT_header_include_filtering_EQ))
2450 Diags.Report(diag::err_drv_print_header_cc1_invalid_combination)
2453 else
2454 Diags.Report(diag::err_drv_print_header_cc1_invalid_format)
2456 }
2457
2458 return Diags.getNumErrors() == NumErrorsBefore;
2459}
2460
2461static ShowColorsKind parseShowColorsMode(const ArgList &Args,
2462 bool DefaultColor) {
2463 // Color diagnostics default to auto ("on" if terminal supports) in the driver
2464 // but default to off in cc1, needing an explicit OPT_fdiagnostics_color.
2465 // Support both clang's -f[no-]color-diagnostics and gcc's
2466 // -f[no-]diagnostics-colors[=never|always|auto].
2467 ShowColorsKind Mode =
2469 for (auto *A : Args) {
2470 const Option &O = A->getOption();
2471 if (O.matches(options::OPT_fcolor_diagnostics)) {
2472 Mode = ShowColorsKind::On;
2473 } else if (O.matches(options::OPT_fno_color_diagnostics)) {
2474 Mode = ShowColorsKind::Off;
2475 } else if (O.matches(options::OPT_fdiagnostics_color_EQ)) {
2476 StringRef Value(A->getValue());
2477 if (Value == "always")
2478 Mode = ShowColorsKind::On;
2479 else if (Value == "never")
2480 Mode = ShowColorsKind::Off;
2481 else if (Value == "auto")
2482 Mode = ShowColorsKind::Auto;
2483 }
2484 }
2485 return Mode;
2486}
2487
2488static bool checkVerifyPrefixes(const std::vector<std::string> &VerifyPrefixes,
2489 DiagnosticsEngine &Diags) {
2490 bool Success = true;
2491 for (const auto &Prefix : VerifyPrefixes) {
2492 // Every prefix must start with a letter and contain only alphanumeric
2493 // characters, hyphens, and underscores.
2494 auto BadChar = llvm::find_if(Prefix, [](char C) {
2495 return !isAlphanumeric(C) && C != '-' && C != '_';
2496 });
2497 if (BadChar != Prefix.end() || !isLetter(Prefix[0])) {
2498 Success = false;
2499 Diags.Report(diag::err_drv_invalid_value) << "-verify=" << Prefix;
2500 Diags.Report(diag::note_drv_verify_prefix_spelling);
2501 }
2502 }
2503 return Success;
2504}
2505
2507 ArgumentConsumer Consumer) {
2508 const FileSystemOptions &FileSystemOpts = Opts;
2509
2510#define FILE_SYSTEM_OPTION_WITH_MARSHALLING(...) \
2511 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2512#include "clang/Options/Options.inc"
2513#undef FILE_SYSTEM_OPTION_WITH_MARSHALLING
2514}
2515
2516static bool ParseFileSystemArgs(FileSystemOptions &Opts, const ArgList &Args,
2517 DiagnosticsEngine &Diags) {
2518 unsigned NumErrorsBefore = Diags.getNumErrors();
2519
2520 FileSystemOptions &FileSystemOpts = Opts;
2521
2522#define FILE_SYSTEM_OPTION_WITH_MARSHALLING(...) \
2523 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
2524#include "clang/Options/Options.inc"
2525#undef FILE_SYSTEM_OPTION_WITH_MARSHALLING
2526
2527 return Diags.getNumErrors() == NumErrorsBefore;
2528}
2529
2531 ArgumentConsumer Consumer) {
2532 const MigratorOptions &MigratorOpts = Opts;
2533#define MIGRATOR_OPTION_WITH_MARSHALLING(...) \
2534 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2535#include "clang/Options/Options.inc"
2536#undef MIGRATOR_OPTION_WITH_MARSHALLING
2537}
2538
2539static bool ParseMigratorArgs(MigratorOptions &Opts, const ArgList &Args,
2540 DiagnosticsEngine &Diags) {
2541 unsigned NumErrorsBefore = Diags.getNumErrors();
2542
2543 MigratorOptions &MigratorOpts = Opts;
2544
2545#define MIGRATOR_OPTION_WITH_MARSHALLING(...) \
2546 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
2547#include "clang/Options/Options.inc"
2548#undef MIGRATOR_OPTION_WITH_MARSHALLING
2549
2550 return Diags.getNumErrors() == NumErrorsBefore;
2551}
2552
2553void CompilerInvocationBase::GenerateDiagnosticArgs(
2554 const DiagnosticOptions &Opts, ArgumentConsumer Consumer,
2555 bool DefaultDiagColor) {
2556 const DiagnosticOptions *DiagnosticOpts = &Opts;
2557#define DIAG_OPTION_WITH_MARSHALLING(...) \
2558 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2559#include "clang/Options/Options.inc"
2560#undef DIAG_OPTION_WITH_MARSHALLING
2561
2562 if (!Opts.DiagnosticSerializationFile.empty())
2563 GenerateArg(Consumer, OPT_diagnostic_serialized_file,
2565
2566 switch (Opts.getShowColors()) {
2567 case ShowColorsKind::On:
2568 GenerateArg(Consumer, OPT_fcolor_diagnostics);
2569 break;
2571 GenerateArg(Consumer, OPT_fno_color_diagnostics);
2572 break;
2574 break;
2575 }
2576
2577 if (Opts.VerifyDiagnostics &&
2578 llvm::is_contained(Opts.VerifyPrefixes, "expected"))
2579 GenerateArg(Consumer, OPT_verify);
2580
2581 for (const auto &Prefix : Opts.VerifyPrefixes)
2582 if (Prefix != "expected")
2583 GenerateArg(Consumer, OPT_verify_EQ, Prefix);
2584
2585 if (Opts.VerifyDirectives) {
2586 GenerateArg(Consumer, OPT_verify_directives);
2587 }
2588
2589 DiagnosticLevelMask VIU = Opts.getVerifyIgnoreUnexpected();
2590 if (VIU == DiagnosticLevelMask::None) {
2591 // This is the default, don't generate anything.
2592 } else if (VIU == DiagnosticLevelMask::All) {
2593 GenerateArg(Consumer, OPT_verify_ignore_unexpected);
2594 } else {
2595 if (static_cast<unsigned>(VIU & DiagnosticLevelMask::Note) != 0)
2596 GenerateArg(Consumer, OPT_verify_ignore_unexpected_EQ, "note");
2597 if (static_cast<unsigned>(VIU & DiagnosticLevelMask::Remark) != 0)
2598 GenerateArg(Consumer, OPT_verify_ignore_unexpected_EQ, "remark");
2599 if (static_cast<unsigned>(VIU & DiagnosticLevelMask::Warning) != 0)
2600 GenerateArg(Consumer, OPT_verify_ignore_unexpected_EQ, "warning");
2601 if (static_cast<unsigned>(VIU & DiagnosticLevelMask::Error) != 0)
2602 GenerateArg(Consumer, OPT_verify_ignore_unexpected_EQ, "error");
2603 }
2604
2605 for (const auto &Warning : Opts.Warnings) {
2606 // This option is automatically generated from UndefPrefixes.
2607 if (Warning == "undef-prefix")
2608 continue;
2609 // This option is automatically generated from CheckConstexprFunctionBodies.
2610 if (Warning == "invalid-constexpr" || Warning == "no-invalid-constexpr")
2611 continue;
2612 Consumer(StringRef("-W") + Warning);
2613 }
2614
2615 for (const auto &Remark : Opts.Remarks) {
2616 // These arguments are generated from OptimizationRemark fields of
2617 // CodeGenOptions.
2618 StringRef IgnoredRemarks[] = {"pass", "no-pass",
2619 "pass-analysis", "no-pass-analysis",
2620 "pass-missed", "no-pass-missed"};
2621 if (llvm::is_contained(IgnoredRemarks, Remark))
2622 continue;
2623
2624 Consumer(StringRef("-R") + Remark);
2625 }
2626
2627 if (!Opts.DiagnosticSuppressionMappingsFile.empty()) {
2628 GenerateArg(Consumer, OPT_warning_suppression_mappings_EQ,
2630 }
2631}
2632
2633std::unique_ptr<DiagnosticOptions>
2635 auto DiagOpts = std::make_unique<DiagnosticOptions>();
2636 unsigned MissingArgIndex, MissingArgCount;
2637 InputArgList Args = getDriverOptTable().ParseArgs(
2638 Argv.slice(1), MissingArgIndex, MissingArgCount);
2639
2640 bool ShowColors = true;
2641 if (std::optional<std::string> NoColor =
2642 llvm::sys::Process::GetEnv("NO_COLOR");
2643 NoColor && !NoColor->empty()) {
2644 // If the user set the NO_COLOR environment variable, we'll honor that
2645 // unless the command line overrides it.
2646 ShowColors = false;
2647 }
2648
2649 // We ignore MissingArgCount and the return value of ParseDiagnosticArgs.
2650 // Any errors that would be diagnosed here will also be diagnosed later,
2651 // when the DiagnosticsEngine actually exists.
2652 (void)ParseDiagnosticArgs(*DiagOpts, Args, /*Diags=*/nullptr, ShowColors);
2653 return DiagOpts;
2654}
2655
2656bool clang::ParseDiagnosticArgs(DiagnosticOptions &Opts, ArgList &Args,
2657 DiagnosticsEngine *Diags,
2658 bool DefaultDiagColor) {
2659 std::optional<DiagnosticOptions> IgnoringDiagOpts;
2660 std::optional<DiagnosticsEngine> IgnoringDiags;
2661 if (!Diags) {
2662 IgnoringDiagOpts.emplace();
2663 IgnoringDiags.emplace(DiagnosticIDs::create(), *IgnoringDiagOpts,
2664 new IgnoringDiagConsumer());
2665 Diags = &*IgnoringDiags;
2666 }
2667
2668 unsigned NumErrorsBefore = Diags->getNumErrors();
2669
2670 // The key paths of diagnostic options defined in Options.td start with
2671 // "DiagnosticOpts->". Let's provide the expected variable name and type.
2672 DiagnosticOptions *DiagnosticOpts = &Opts;
2673
2674#define DIAG_OPTION_WITH_MARSHALLING(...) \
2675 PARSE_OPTION_WITH_MARSHALLING(Args, *Diags, __VA_ARGS__)
2676#include "clang/Options/Options.inc"
2677#undef DIAG_OPTION_WITH_MARSHALLING
2678
2679 llvm::sys::Process::UseANSIEscapeCodes(Opts.UseANSIEscapeCodes);
2680
2681 if (Arg *A =
2682 Args.getLastArg(OPT_diagnostic_serialized_file, OPT__serialize_diags))
2683 Opts.DiagnosticSerializationFile = A->getValue();
2684 Opts.setShowColors(parseShowColorsMode(Args, DefaultDiagColor));
2685
2686 Opts.VerifyDiagnostics = Args.hasArg(OPT_verify) || Args.hasArg(OPT_verify_EQ);
2687 Opts.VerifyDirectives = Args.hasArg(OPT_verify_directives);
2688 Opts.VerifyPrefixes = Args.getAllArgValues(OPT_verify_EQ);
2689 if (Args.hasArg(OPT_verify))
2690 Opts.VerifyPrefixes.push_back("expected");
2691 // Keep VerifyPrefixes in its original order for the sake of diagnostics, and
2692 // then sort it to prepare for fast lookup using std::binary_search.
2693 if (!checkVerifyPrefixes(Opts.VerifyPrefixes, *Diags))
2694 Opts.VerifyDiagnostics = false;
2695 else
2696 llvm::sort(Opts.VerifyPrefixes);
2699 "-verify-ignore-unexpected=",
2700 Args.getAllArgValues(OPT_verify_ignore_unexpected_EQ), *Diags, DiagMask);
2701 if (Args.hasArg(OPT_verify_ignore_unexpected))
2702 DiagMask = DiagnosticLevelMask::All;
2703 Opts.setVerifyIgnoreUnexpected(DiagMask);
2704 if (Opts.TabStop == 0 || Opts.TabStop > DiagnosticOptions::MaxTabStop) {
2705 Diags->Report(diag::warn_ignoring_ftabstop_value)
2706 << Opts.TabStop << DiagnosticOptions::DefaultTabStop;
2707 Opts.TabStop = DiagnosticOptions::DefaultTabStop;
2708 }
2709
2710 if (const Arg *A = Args.getLastArg(OPT_warning_suppression_mappings_EQ))
2711 Opts.DiagnosticSuppressionMappingsFile = A->getValue();
2712
2713 addDiagnosticArgs(Args, OPT_W_Group, OPT_W_value_Group, Opts.Warnings);
2714 addDiagnosticArgs(Args, OPT_R_Group, OPT_R_value_Group, Opts.Remarks);
2715
2716 return Diags->getNumErrors() == NumErrorsBefore;
2717}
2718
2719unsigned clang::getOptimizationLevel(const ArgList &Args, InputKind IK,
2720 DiagnosticsEngine &Diags) {
2721 unsigned DefaultOpt = 0;
2722 if ((IK.getLanguage() == Language::OpenCL ||
2724 !Args.hasArg(OPT_cl_opt_disable))
2725 DefaultOpt = 2;
2726
2727 if (Arg *A = Args.getLastArg(options::OPT_O_Group)) {
2728 if (A->getOption().matches(options::OPT_O0))
2729 return 0;
2730
2731 if (A->getOption().matches(options::OPT_Ofast) ||
2732 A->getOption().matches(options::OPT_O4))
2733 return 3;
2734
2735 assert(A->getOption().matches(options::OPT_O));
2736
2737 StringRef S(A->getValue());
2738 if (S == "s" || S == "z")
2739 return 2;
2740
2741 if (S == "g")
2742 return 1;
2743
2744 DefaultOpt = getLastArgIntValue(Args, OPT_O, DefaultOpt, Diags);
2745 }
2746
2747 unsigned MaxOptLevel = 3;
2748 if (DefaultOpt > MaxOptLevel) {
2749 // If the optimization level is not supported, fall back on the default
2750 // optimization
2751 Diags.Report(diag::warn_drv_optimization_value)
2752 << Args.getLastArg(OPT_O)->getAsString(Args) << "-O" << MaxOptLevel;
2753 DefaultOpt = MaxOptLevel;
2754 }
2755
2756 return DefaultOpt;
2757}
2758
2759unsigned clang::getOptimizationLevelSize(const ArgList &Args) {
2760 if (Arg *A = Args.getLastArg(options::OPT_O_Group)) {
2761 if (A->getOption().matches(options::OPT_O)) {
2762 switch (A->getValue()[0]) {
2763 default:
2764 return 0;
2765 case 's':
2766 return 1;
2767 case 'z':
2768 return 2;
2769 }
2770 }
2771 }
2772 return 0;
2773}
2774
2775/// Parse the argument to the -ftest-module-file-extension
2776/// command-line argument.
2777///
2778/// \returns true on error, false on success.
2779static bool parseTestModuleFileExtensionArg(StringRef Arg,
2780 std::string &BlockName,
2781 unsigned &MajorVersion,
2782 unsigned &MinorVersion,
2783 bool &Hashed,
2784 std::string &UserInfo) {
2786 Arg.split(Args, ':', 5);
2787 if (Args.size() < 5)
2788 return true;
2789
2790 BlockName = std::string(Args[0]);
2791 if (Args[1].getAsInteger(10, MajorVersion)) return true;
2792 if (Args[2].getAsInteger(10, MinorVersion)) return true;
2793 if (Args[3].getAsInteger(2, Hashed)) return true;
2794 if (Args.size() > 4)
2795 UserInfo = std::string(Args[4]);
2796 return false;
2797}
2798
2799/// Return a table that associates command line option specifiers with the
2800/// frontend action. Note: The pair {frontend::PluginAction, OPT_plugin} is
2801/// intentionally missing, as this case is handled separately from other
2802/// frontend options.
2803static const auto &getFrontendActionTable() {
2804 static const std::pair<frontend::ActionKind, unsigned> Table[] = {
2805 {frontend::ASTDeclList, OPT_ast_list},
2806
2807 {frontend::ASTDump, OPT_ast_dump_all_EQ},
2808 {frontend::ASTDump, OPT_ast_dump_all},
2809 {frontend::ASTDump, OPT_ast_dump_EQ},
2810 {frontend::ASTDump, OPT_ast_dump},
2811 {frontend::ASTDump, OPT_ast_dump_lookups},
2812 {frontend::ASTDump, OPT_ast_dump_decl_types},
2813
2814 {frontend::ASTPrint, OPT_ast_print},
2815 {frontend::ASTView, OPT_ast_view},
2816 {frontend::DumpCompilerOptions, OPT_compiler_options_dump},
2817 {frontend::DumpRawTokens, OPT_dump_raw_tokens},
2818 {frontend::DumpTokens, OPT_dump_tokens},
2819 {frontend::EmitAssembly, OPT_S},
2820 {frontend::EmitBC, OPT_emit_llvm_bc},
2821 {frontend::EmitCIR, OPT_emit_cir},
2822 {frontend::EmitHTML, OPT_emit_html},
2823 {frontend::EmitLLVM, OPT_emit_llvm},
2824 {frontend::EmitLLVMOnly, OPT_emit_llvm_only},
2825 {frontend::EmitCodeGenOnly, OPT_emit_codegen_only},
2826 {frontend::EmitObj, OPT_emit_obj},
2827 {frontend::ExtractAPI, OPT_extract_api},
2828
2829 {frontend::FixIt, OPT_fixit_EQ},
2830 {frontend::FixIt, OPT_fixit},
2831
2832 {frontend::GenerateModule, OPT_emit_module},
2833 {frontend::GenerateModuleInterface, OPT_emit_module_interface},
2835 OPT_emit_reduced_module_interface},
2836 {frontend::GenerateHeaderUnit, OPT_emit_header_unit},
2837 {frontend::GeneratePCH, OPT_emit_pch},
2838 {frontend::GenerateInterfaceStubs, OPT_emit_interface_stubs},
2839 {frontend::InitOnly, OPT_init_only},
2840 {frontend::ParseSyntaxOnly, OPT_fsyntax_only},
2841 {frontend::ModuleFileInfo, OPT_module_file_info},
2842 {frontend::VerifyPCH, OPT_verify_pch},
2843 {frontend::PrintPreamble, OPT_print_preamble},
2845 {frontend::RewriteMacros, OPT_rewrite_macros},
2846 {frontend::RewriteObjC, OPT_rewrite_objc},
2847 {frontend::RewriteTest, OPT_rewrite_test},
2848 {frontend::RunAnalysis, OPT_analyze},
2849 {frontend::RunPreprocessorOnly, OPT_Eonly},
2851 OPT_print_dependency_directives_minimized_source},
2852 };
2853
2854 return Table;
2855}
2856
2857/// Maps command line option to frontend action.
2858static std::optional<frontend::ActionKind>
2859getFrontendAction(OptSpecifier &Opt) {
2860 for (const auto &ActionOpt : getFrontendActionTable())
2861 if (ActionOpt.second == Opt.getID())
2862 return ActionOpt.first;
2863
2864 return std::nullopt;
2865}
2866
2867/// Maps frontend action to command line option.
2868static std::optional<OptSpecifier>
2870 for (const auto &ActionOpt : getFrontendActionTable())
2871 if (ActionOpt.first == ProgramAction)
2872 return OptSpecifier(ActionOpt.second);
2873
2874 return std::nullopt;
2875}
2876
2878 ArgumentConsumer Consumer, bool IsHeader) {
2879 const FrontendOptions &FrontendOpts = Opts;
2880#define FRONTEND_OPTION_WITH_MARSHALLING(...) \
2881 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
2882#include "clang/Options/Options.inc"
2883#undef FRONTEND_OPTION_WITH_MARSHALLING
2884
2885 std::optional<OptSpecifier> ProgramActionOpt =
2887
2888 // Generating a simple flag covers most frontend actions.
2889 std::function<void()> GenerateProgramAction = [&]() {
2890 GenerateArg(Consumer, *ProgramActionOpt);
2891 };
2892
2893 if (!ProgramActionOpt) {
2894 // PluginAction is the only program action handled separately.
2895 assert(Opts.ProgramAction == frontend::PluginAction &&
2896 "Frontend action without option.");
2897 GenerateProgramAction = [&]() {
2898 GenerateArg(Consumer, OPT_plugin, Opts.ActionName);
2899 };
2900 }
2901
2902 // FIXME: Simplify the complex 'AST dump' command line.
2903 if (Opts.ProgramAction == frontend::ASTDump) {
2904 GenerateProgramAction = [&]() {
2905 // ASTDumpLookups, ASTDumpDeclTypes and ASTDumpFilter are generated via
2906 // marshalling infrastructure.
2907
2908 if (Opts.ASTDumpFormat != ADOF_Default) {
2909 StringRef Format;
2910 switch (Opts.ASTDumpFormat) {
2911 case ADOF_Default:
2912 llvm_unreachable("Default AST dump format.");
2913 case ADOF_JSON:
2914 Format = "json";
2915 break;
2916 }
2917
2918 if (Opts.ASTDumpAll)
2919 GenerateArg(Consumer, OPT_ast_dump_all_EQ, Format);
2920 if (Opts.ASTDumpDecls)
2921 GenerateArg(Consumer, OPT_ast_dump_EQ, Format);
2922 } else {
2923 if (Opts.ASTDumpAll)
2924 GenerateArg(Consumer, OPT_ast_dump_all);
2925 if (Opts.ASTDumpDecls)
2926 GenerateArg(Consumer, OPT_ast_dump);
2927 }
2928 };
2929 }
2930
2931 if (Opts.ProgramAction == frontend::FixIt && !Opts.FixItSuffix.empty()) {
2932 GenerateProgramAction = [&]() {
2933 GenerateArg(Consumer, OPT_fixit_EQ, Opts.FixItSuffix);
2934 };
2935 }
2936
2937 GenerateProgramAction();
2938
2939 for (const auto &PluginArgs : Opts.PluginArgs) {
2940 Option Opt = getDriverOptTable().getOption(OPT_plugin_arg);
2941 for (const auto &PluginArg : PluginArgs.second)
2942 denormalizeString(Consumer,
2943 Opt.getPrefix() + Opt.getName() + PluginArgs.first,
2944 Opt.getKind(), 0, PluginArg);
2945 }
2946
2947 for (const auto &Ext : Opts.ModuleFileExtensions)
2948 if (auto *TestExt = dyn_cast_or_null<TestModuleFileExtension>(Ext.get()))
2949 GenerateArg(Consumer, OPT_ftest_module_file_extension_EQ, TestExt->str());
2950
2951 if (!Opts.CodeCompletionAt.FileName.empty())
2952 GenerateArg(Consumer, OPT_code_completion_at,
2953 Opts.CodeCompletionAt.ToString());
2954
2955 for (const auto &Plugin : Opts.Plugins)
2956 GenerateArg(Consumer, OPT_load, Plugin);
2957
2958 // ASTDumpDecls and ASTDumpAll already handled with ProgramAction.
2959
2960 for (const auto &ModuleFile : Opts.ModuleFiles)
2961 GenerateArg(Consumer, OPT_fmodule_file, ModuleFile);
2962
2963 if (Opts.AuxTargetCPU)
2964 GenerateArg(Consumer, OPT_aux_target_cpu, *Opts.AuxTargetCPU);
2965
2966 if (Opts.AuxTargetFeatures)
2967 for (const auto &Feature : *Opts.AuxTargetFeatures)
2968 GenerateArg(Consumer, OPT_aux_target_feature, Feature);
2969
2970 {
2971 StringRef Preprocessed = Opts.DashX.isPreprocessed() ? "-cpp-output" : "";
2972 StringRef ModuleMap =
2973 Opts.DashX.getFormat() == InputKind::ModuleMap ? "-module-map" : "";
2974 StringRef HeaderUnit = "";
2975 switch (Opts.DashX.getHeaderUnitKind()) {
2977 break;
2979 HeaderUnit = "-user";
2980 break;
2982 HeaderUnit = "-system";
2983 break;
2985 HeaderUnit = "-header-unit";
2986 break;
2987 }
2988 StringRef Header = IsHeader ? "-header" : "";
2989
2990 StringRef Lang;
2991 switch (Opts.DashX.getLanguage()) {
2992 case Language::C:
2993 Lang = "c";
2994 break;
2995 case Language::OpenCL:
2996 Lang = "cl";
2997 break;
2999 Lang = "clcpp";
3000 break;
3001 case Language::CUDA:
3002 Lang = "cuda";
3003 break;
3004 case Language::HIP:
3005 Lang = "hip";
3006 break;
3007 case Language::CXX:
3008 Lang = "c++";
3009 break;
3010 case Language::ObjC:
3011 Lang = "objective-c";
3012 break;
3013 case Language::ObjCXX:
3014 Lang = "objective-c++";
3015 break;
3016 case Language::Asm:
3017 Lang = "assembler-with-cpp";
3018 break;
3019 case Language::Unknown:
3020 assert(Opts.DashX.getFormat() == InputKind::Precompiled &&
3021 "Generating -x argument for unknown language (not precompiled).");
3022 Lang = "ast";
3023 break;
3024 case Language::LLVM_IR:
3025 Lang = "ir";
3026 break;
3027 case Language::HLSL:
3028 Lang = "hlsl";
3029 break;
3030 case Language::CIR:
3031 Lang = "cir";
3032 break;
3033 }
3034
3035 GenerateArg(Consumer, OPT_x,
3036 Lang + HeaderUnit + Header + ModuleMap + Preprocessed);
3037 }
3038
3039 // OPT_INPUT has a unique class, generate it directly.
3040 for (const auto &Input : Opts.Inputs)
3041 Consumer(Input.getFile());
3042}
3043
3044static bool ParseFrontendArgs(FrontendOptions &Opts, ArgList &Args,
3045 DiagnosticsEngine &Diags, bool &IsHeaderFile) {
3046 unsigned NumErrorsBefore = Diags.getNumErrors();
3047
3048 FrontendOptions &FrontendOpts = Opts;
3049
3050#define FRONTEND_OPTION_WITH_MARSHALLING(...) \
3051 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
3052#include "clang/Options/Options.inc"
3053#undef FRONTEND_OPTION_WITH_MARSHALLING
3054
3056 if (const Arg *A = Args.getLastArg(OPT_Action_Group)) {
3057 OptSpecifier Opt = OptSpecifier(A->getOption().getID());
3058 std::optional<frontend::ActionKind> ProgramAction = getFrontendAction(Opt);
3059 assert(ProgramAction && "Option specifier not in Action_Group.");
3060
3061 if (ProgramAction == frontend::ASTDump &&
3062 (Opt == OPT_ast_dump_all_EQ || Opt == OPT_ast_dump_EQ)) {
3063 unsigned Val = llvm::StringSwitch<unsigned>(A->getValue())
3064 .CaseLower("default", ADOF_Default)
3065 .CaseLower("json", ADOF_JSON)
3066 .Default(std::numeric_limits<unsigned>::max());
3067
3068 if (Val != std::numeric_limits<unsigned>::max())
3069 Opts.ASTDumpFormat = static_cast<ASTDumpOutputFormat>(Val);
3070 else {
3071 Diags.Report(diag::err_drv_invalid_value)
3072 << A->getAsString(Args) << A->getValue();
3074 }
3075 }
3076
3077 if (ProgramAction == frontend::FixIt && Opt == OPT_fixit_EQ)
3078 Opts.FixItSuffix = A->getValue();
3079
3080 if (ProgramAction == frontend::GenerateInterfaceStubs) {
3081 StringRef ArgStr =
3082 Args.hasArg(OPT_interface_stub_version_EQ)
3083 ? Args.getLastArgValue(OPT_interface_stub_version_EQ)
3084 : "ifs-v1";
3085 if (ArgStr == "experimental-yaml-elf-v1" ||
3086 ArgStr == "experimental-ifs-v1" || ArgStr == "experimental-ifs-v2" ||
3087 ArgStr == "experimental-tapi-elf-v1") {
3088 std::string ErrorMessage =
3089 "Invalid interface stub format: " + ArgStr.str() +
3090 " is deprecated.";
3091 Diags.Report(diag::err_drv_invalid_value)
3092 << "Must specify a valid interface stub format type, ie: "
3093 "-interface-stub-version=ifs-v1"
3094 << ErrorMessage;
3095 ProgramAction = frontend::ParseSyntaxOnly;
3096 } else if (!ArgStr.starts_with("ifs-")) {
3097 std::string ErrorMessage =
3098 "Invalid interface stub format: " + ArgStr.str() + ".";
3099 Diags.Report(diag::err_drv_invalid_value)
3100 << "Must specify a valid interface stub format type, ie: "
3101 "-interface-stub-version=ifs-v1"
3102 << ErrorMessage;
3103 ProgramAction = frontend::ParseSyntaxOnly;
3104 }
3105 }
3106
3107 Opts.ProgramAction = *ProgramAction;
3108
3109 // Catch common mistakes when multiple actions are specified for cc1 (e.g.
3110 // -S -emit-llvm means -emit-llvm while -emit-llvm -S means -S). However, to
3111 // support driver `-c -Xclang ACTION` (-cc1 -emit-llvm file -main-file-name
3112 // X ACTION), we suppress the error when the two actions are separated by
3113 // -main-file-name.
3114 //
3115 // As an exception, accept composable -ast-dump*.
3116 if (!A->getSpelling().starts_with("-ast-dump")) {
3117 const Arg *SavedAction = nullptr;
3118 for (const Arg *AA :
3119 Args.filtered(OPT_Action_Group, OPT_main_file_name)) {
3120 if (AA->getOption().matches(OPT_main_file_name)) {
3121 SavedAction = nullptr;
3122 } else if (!SavedAction) {
3123 SavedAction = AA;
3124 } else {
3125 if (!A->getOption().matches(OPT_ast_dump_EQ))
3126 Diags.Report(diag::err_fe_invalid_multiple_actions)
3127 << SavedAction->getSpelling() << A->getSpelling();
3128 break;
3129 }
3130 }
3131 }
3132 }
3133
3134 if (const Arg* A = Args.getLastArg(OPT_plugin)) {
3135 Opts.Plugins.emplace_back(A->getValue(0));
3137 Opts.ActionName = A->getValue();
3138 }
3139 for (const auto *AA : Args.filtered(OPT_plugin_arg))
3140 Opts.PluginArgs[AA->getValue(0)].emplace_back(AA->getValue(1));
3141
3142 for (const std::string &Arg :
3143 Args.getAllArgValues(OPT_ftest_module_file_extension_EQ)) {
3144 std::string BlockName;
3145 unsigned MajorVersion;
3146 unsigned MinorVersion;
3147 bool Hashed;
3148 std::string UserInfo;
3149 if (parseTestModuleFileExtensionArg(Arg, BlockName, MajorVersion,
3150 MinorVersion, Hashed, UserInfo)) {
3151 Diags.Report(diag::err_test_module_file_extension_format) << Arg;
3152
3153 continue;
3154 }
3155
3156 // Add the testing module file extension.
3157 Opts.ModuleFileExtensions.push_back(
3158 std::make_shared<TestModuleFileExtension>(
3159 BlockName, MajorVersion, MinorVersion, Hashed, UserInfo));
3160 }
3161
3162 if (const Arg *A = Args.getLastArg(OPT_code_completion_at)) {
3163 Opts.CodeCompletionAt =
3164 ParsedSourceLocation::FromString(A->getValue());
3165 if (Opts.CodeCompletionAt.FileName.empty()) {
3166 Diags.Report(diag::err_drv_invalid_value)
3167 << A->getAsString(Args) << A->getValue();
3168 Diags.Report(diag::note_command_line_code_loc_requirement);
3169 }
3170 }
3171
3172 Opts.Plugins = Args.getAllArgValues(OPT_load);
3173 Opts.ASTDumpDecls = Args.hasArg(OPT_ast_dump, OPT_ast_dump_EQ);
3174 Opts.ASTDumpAll = Args.hasArg(OPT_ast_dump_all, OPT_ast_dump_all_EQ);
3175 // Only the -fmodule-file=<file> form.
3176 for (const auto *A : Args.filtered(OPT_fmodule_file)) {
3177 StringRef Val = A->getValue();
3178 if (!Val.contains('='))
3179 Opts.ModuleFiles.push_back(std::string(Val));
3180 }
3181
3183 Diags.Report(diag::err_drv_argument_only_allowed_with) << "-fsystem-module"
3184 << "-emit-module";
3185 if (Args.hasArg(OPT_emit_cir))
3186 Opts.UseClangIRPipeline = true;
3187
3188#if CLANG_ENABLE_CIR
3189 if (Args.hasArg(OPT_clangir_disable_passes))
3190 Opts.ClangIRDisablePasses = true;
3191
3192 if (Args.hasArg(OPT_clangir_disable_verifier))
3193 Opts.ClangIRDisableCIRVerifier = true;
3194
3195 if (Args.hasArg(OPT_clangir_lib_opt) || Args.hasArg(OPT_clangir_lib_opt_EQ))
3196 Opts.ClangIRLibOptEnabled = true;
3197#endif // CLANG_ENABLE_CIR
3198
3199 if (Args.hasArg(OPT_aux_target_cpu))
3200 Opts.AuxTargetCPU = std::string(Args.getLastArgValue(OPT_aux_target_cpu));
3201 if (Args.hasArg(OPT_aux_target_feature))
3202 Opts.AuxTargetFeatures = Args.getAllArgValues(OPT_aux_target_feature);
3203
3205 if (const Arg *A = Args.getLastArg(OPT_x)) {
3206 StringRef XValue = A->getValue();
3207
3208 // Parse suffixes:
3209 // '<lang>(-[{header-unit,user,system}-]header|[-module-map][-cpp-output])'.
3210 // FIXME: Supporting '<lang>-header-cpp-output' would be useful.
3211 bool Preprocessed = XValue.consume_back("-cpp-output");
3212 bool ModuleMap = XValue.consume_back("-module-map");
3213 // Detect and consume the header indicator.
3214 bool IsHeader =
3215 XValue != "precompiled-header" && XValue.consume_back("-header");
3216
3217 // If we have c++-{user,system}-header, that indicates a header unit input
3218 // likewise, if the user put -fmodule-header together with a header with an
3219 // absolute path (header-unit-header).
3221 if (IsHeader || Preprocessed) {
3222 if (XValue.consume_back("-header-unit"))
3224 else if (XValue.consume_back("-system"))
3226 else if (XValue.consume_back("-user"))
3228 }
3229
3230 // The value set by this processing is an un-preprocessed source which is
3231 // not intended to be a module map or header unit.
3232 IsHeaderFile = IsHeader && !Preprocessed && !ModuleMap &&
3234
3235 // Principal languages.
3236 DashX = llvm::StringSwitch<InputKind>(XValue)
3237 .Case("c", Language::C)
3238 .Case("cl", Language::OpenCL)
3239 .Case("clcpp", Language::OpenCLCXX)
3240 .Case("cuda", Language::CUDA)
3241 .Case("hip", Language::HIP)
3242 .Case("c++", Language::CXX)
3243 .Case("objective-c", Language::ObjC)
3244 .Case("objective-c++", Language::ObjCXX)
3245 .Case("hlsl", Language::HLSL)
3246 .Default(Language::Unknown);
3247
3248 // "objc[++]-cpp-output" is an acceptable synonym for
3249 // "objective-c[++]-cpp-output".
3250 if (DashX.isUnknown() && Preprocessed && !IsHeaderFile && !ModuleMap &&
3252 DashX = llvm::StringSwitch<InputKind>(XValue)
3253 .Case("objc", Language::ObjC)
3254 .Case("objc++", Language::ObjCXX)
3255 .Default(Language::Unknown);
3256
3257 // Some special cases cannot be combined with suffixes.
3258 if (DashX.isUnknown() && !Preprocessed && !IsHeaderFile && !ModuleMap &&
3260 DashX = llvm::StringSwitch<InputKind>(XValue)
3261 .Case("cpp-output", InputKind(Language::C).getPreprocessed())
3262 .Case("assembler-with-cpp", Language::Asm)
3263 .Cases({"ast", "pcm", "precompiled-header"},
3265 .Case("ir", Language::LLVM_IR)
3266 .Case("cir", Language::CIR)
3267 .Default(Language::Unknown);
3268
3269 if (DashX.isUnknown())
3270 Diags.Report(diag::err_drv_invalid_value)
3271 << A->getAsString(Args) << A->getValue();
3272
3273 if (Preprocessed)
3274 DashX = DashX.getPreprocessed();
3275 // A regular header is considered mutually exclusive with a header unit.
3276 if (HUK != InputKind::HeaderUnit_None) {
3277 DashX = DashX.withHeaderUnit(HUK);
3278 IsHeaderFile = true;
3279 } else if (IsHeaderFile)
3280 DashX = DashX.getHeader();
3281 if (ModuleMap)
3282 DashX = DashX.withFormat(InputKind::ModuleMap);
3283 }
3284
3285 // '-' is the default input if none is given.
3286 std::vector<std::string> Inputs = Args.getAllArgValues(OPT_INPUT);
3287 Opts.Inputs.clear();
3288 if (Inputs.empty())
3289 Inputs.push_back("-");
3290
3292 Inputs.size() > 1)
3293 Diags.Report(diag::err_drv_header_unit_extra_inputs) << Inputs[1];
3294
3295 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
3296 InputKind IK = DashX;
3297 if (IK.isUnknown()) {
3299 StringRef(Inputs[i]).rsplit('.').second);
3300 // FIXME: Warn on this?
3301 if (IK.isUnknown())
3302 IK = Language::C;
3303 // FIXME: Remove this hack.
3304 if (i == 0)
3305 DashX = IK;
3306 }
3307
3308 bool IsSystem = false;
3309
3310 // The -emit-module action implicitly takes a module map.
3312 IK.getFormat() == InputKind::Source) {
3314 IsSystem = Opts.IsSystemModule;
3315 }
3316
3317 Opts.Inputs.emplace_back(std::move(Inputs[i]), IK, IsSystem);
3318 }
3319
3320 Opts.DashX = DashX;
3321
3322 // CIR is a source-level frontend pipeline. When the input is already LLVM IR
3323 // (e.g. during the backend phase of OpenMP offloading), the standard LLVM
3324 // backend should be used instead.
3325 if (Opts.UseClangIRPipeline && DashX.getLanguage() == Language::LLVM_IR)
3326 Opts.UseClangIRPipeline = false;
3327
3328 return Diags.getNumErrors() == NumErrorsBefore;
3329}
3330
3332 ArgumentConsumer Consumer) {
3333 const HeaderSearchOptions *HeaderSearchOpts = &Opts;
3334#define HEADER_SEARCH_OPTION_WITH_MARSHALLING(...) \
3335 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
3336#include "clang/Options/Options.inc"
3337#undef HEADER_SEARCH_OPTION_WITH_MARSHALLING
3338
3339 if (Opts.UseLibcxx)
3340 GenerateArg(Consumer, OPT_stdlib_EQ, "libc++");
3341
3342 for (const auto &File : Opts.PrebuiltModuleFiles)
3343 GenerateArg(Consumer, OPT_fmodule_file, File.first + "=" + File.second);
3344
3345 for (const auto &Path : Opts.PrebuiltModulePaths)
3346 GenerateArg(Consumer, OPT_fprebuilt_module_path, Path);
3347
3348 for (const auto &Macro : Opts.ModulesIgnoreMacros)
3349 GenerateArg(Consumer, OPT_fmodules_ignore_macro, Macro.val());
3350
3351 for (const auto &Path : Opts.ModulesIgnoreSearchPaths)
3352 GenerateArg(Consumer, OPT_fmodules_ignore_search_path, Path.val());
3353
3354 auto Matches = [](const HeaderSearchOptions::Entry &Entry,
3356 std::optional<bool> IsFramework,
3357 std::optional<bool> IgnoreSysRoot) {
3358 return llvm::is_contained(Groups, Entry.Group) &&
3359 (!IsFramework || (Entry.IsFramework == *IsFramework)) &&
3360 (!IgnoreSysRoot || (Entry.IgnoreSysRoot == *IgnoreSysRoot));
3361 };
3362
3363 auto It = Opts.UserEntries.begin();
3364 auto End = Opts.UserEntries.end();
3365
3366 // Add -I... and -F... options in order.
3367 for (; It < End && Matches(*It, {frontend::Angled}, std::nullopt, true);
3368 ++It) {
3369 OptSpecifier Opt = [It, Matches]() {
3370 if (Matches(*It, frontend::Angled, true, true))
3371 return OPT_F;
3372 if (Matches(*It, frontend::Angled, false, true))
3373 return OPT_I;
3374 llvm_unreachable("Unexpected HeaderSearchOptions::Entry.");
3375 }();
3376
3377 GenerateArg(Consumer, Opt, It->Path);
3378 }
3379
3380 // Note: some paths that came from "[-iprefix=xx] -iwithprefixbefore=yy" may
3381 // have already been generated as "-I[xx]yy". If that's the case, their
3382 // position on command line was such that this has no semantic impact on
3383 // include paths.
3384 for (; It < End &&
3385 Matches(*It, {frontend::After, frontend::Angled}, false, true);
3386 ++It) {
3387 OptSpecifier Opt =
3388 It->Group == frontend::After ? OPT_iwithprefix : OPT_iwithprefixbefore;
3389 GenerateArg(Consumer, Opt, It->Path);
3390 }
3391
3392 // Note: Some paths that came from "-idirafter=xxyy" may have already been
3393 // generated as "-iwithprefix=xxyy". If that's the case, their position on
3394 // command line was such that this has no semantic impact on include paths.
3395 for (; It < End && Matches(*It, {frontend::After}, false, true); ++It)
3396 GenerateArg(Consumer, OPT_idirafter, It->Path);
3397 for (; It < End && Matches(*It, {frontend::Quoted}, false, true); ++It)
3398 GenerateArg(Consumer, OPT_iquote, It->Path);
3399 for (; It < End && Matches(*It, {frontend::System}, false, std::nullopt);
3400 ++It)
3401 GenerateArg(Consumer, It->IgnoreSysRoot ? OPT_isystem : OPT_iwithsysroot,
3402 It->Path);
3403 for (; It < End && Matches(*It, {frontend::System}, true, true); ++It)
3404 GenerateArg(Consumer, OPT_iframework, It->Path);
3405 for (; It < End && Matches(*It, {frontend::System}, true, false); ++It)
3406 GenerateArg(Consumer, OPT_iframeworkwithsysroot, It->Path);
3407
3408 // Add the paths for the various language specific isystem flags.
3409 for (; It < End && Matches(*It, {frontend::CSystem}, false, true); ++It)
3410 GenerateArg(Consumer, OPT_c_isystem, It->Path);
3411 for (; It < End && Matches(*It, {frontend::CXXSystem}, false, true); ++It)
3412 GenerateArg(Consumer, OPT_cxx_isystem, It->Path);
3413 for (; It < End && Matches(*It, {frontend::ObjCSystem}, false, true); ++It)
3414 GenerateArg(Consumer, OPT_objc_isystem, It->Path);
3415 for (; It < End && Matches(*It, {frontend::ObjCXXSystem}, false, true); ++It)
3416 GenerateArg(Consumer, OPT_objcxx_isystem, It->Path);
3417
3418 // Add the internal paths from a driver that detects standard include paths.
3419 // Note: Some paths that came from "-internal-isystem" arguments may have
3420 // already been generated as "-isystem". If that's the case, their position on
3421 // command line was such that this has no semantic impact on include paths.
3422 for (; It < End &&
3423 Matches(*It, {frontend::System, frontend::ExternCSystem}, false, true);
3424 ++It) {
3425 OptSpecifier Opt = It->Group == frontend::System
3426 ? OPT_internal_isystem
3427 : OPT_internal_externc_isystem;
3428 GenerateArg(Consumer, Opt, It->Path);
3429 }
3430 for (; It < End && Matches(*It, {frontend::System}, true, true); ++It)
3431 GenerateArg(Consumer, OPT_internal_iframework, It->Path);
3432
3433 assert(It == End && "Unhandled HeaderSearchOption::Entry.");
3434
3435 // Add the path prefixes which are implicitly treated as being system headers.
3436 for (const auto &P : Opts.SystemHeaderPrefixes) {
3437 OptSpecifier Opt = P.IsSystemHeader ? OPT_system_header_prefix
3438 : OPT_no_system_header_prefix;
3439 GenerateArg(Consumer, Opt, P.Prefix);
3440 }
3441
3442 for (const std::string &F : Opts.VFSOverlayFiles)
3443 GenerateArg(Consumer, OPT_ivfsoverlay, F);
3444}
3445
3446static bool ParseHeaderSearchArgs(HeaderSearchOptions &Opts, ArgList &Args,
3447 DiagnosticsEngine &Diags) {
3448 unsigned NumErrorsBefore = Diags.getNumErrors();
3449
3450 HeaderSearchOptions *HeaderSearchOpts = &Opts;
3451
3452#define HEADER_SEARCH_OPTION_WITH_MARSHALLING(...) \
3453 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
3454#include "clang/Options/Options.inc"
3455#undef HEADER_SEARCH_OPTION_WITH_MARSHALLING
3456
3457 if (const Arg *A = Args.getLastArg(OPT_stdlib_EQ))
3458 Opts.UseLibcxx = (strcmp(A->getValue(), "libc++") == 0);
3459
3460 // Only the -fmodule-file=<name>=<file> form.
3461 for (const auto *A : Args.filtered(OPT_fmodule_file)) {
3462 StringRef Val = A->getValue();
3463 if (Val.contains('=')) {
3464 auto Split = Val.split('=');
3465 Opts.PrebuiltModuleFiles.insert_or_assign(
3466 std::string(Split.first), std::string(Split.second));
3467 }
3468 }
3469 for (const auto *A : Args.filtered(OPT_fprebuilt_module_path))
3470 Opts.AddPrebuiltModulePath(A->getValue());
3471
3472 for (const auto *A : Args.filtered(OPT_fmodules_ignore_macro)) {
3473 StringRef MacroDef = A->getValue();
3474 Opts.ModulesIgnoreMacros.insert(
3475 llvm::CachedHashString(MacroDef.split('=').first));
3476 }
3477
3478 for (const auto *A : Args.filtered(OPT_fmodules_ignore_search_path))
3479 Opts.ModulesIgnoreSearchPaths.insert(llvm::CachedHashString(A->getValue()));
3480
3481 // Add -I... and -F... options in order.
3482 bool IsSysrootSpecified =
3483 Args.hasArg(OPT__sysroot_EQ) || Args.hasArg(OPT_isysroot);
3484
3485 // Expand a leading `=` to the sysroot if one was passed (and it's not a
3486 // framework flag).
3487 auto PrefixHeaderPath = [IsSysrootSpecified,
3488 &Opts](const llvm::opt::Arg *A,
3489 bool IsFramework = false) -> std::string {
3490 assert(A->getNumValues() && "Unexpected empty search path flag!");
3491 if (IsSysrootSpecified && !IsFramework && A->getValue()[0] == '=') {
3492 SmallString<32> Buffer;
3493 llvm::sys::path::append(Buffer, Opts.Sysroot,
3494 llvm::StringRef(A->getValue()).substr(1));
3495 return std::string(Buffer);
3496 }
3497 return A->getValue();
3498 };
3499
3500 for (const auto *A : Args.filtered(OPT_I, OPT_F)) {
3501 bool IsFramework = A->getOption().matches(OPT_F);
3502 Opts.AddPath(PrefixHeaderPath(A, IsFramework), frontend::Angled,
3503 IsFramework, /*IgnoreSysroot=*/true);
3504 }
3505
3506 // Add -iprefix/-iwithprefix/-iwithprefixbefore options.
3507 StringRef Prefix = ""; // FIXME: This isn't the correct default prefix.
3508 for (const auto *A :
3509 Args.filtered(OPT_iprefix, OPT_iwithprefix, OPT_iwithprefixbefore)) {
3510 if (A->getOption().matches(OPT_iprefix))
3511 Prefix = A->getValue();
3512 else if (A->getOption().matches(OPT_iwithprefix))
3513 Opts.AddPath(Prefix.str() + A->getValue(), frontend::After, false, true);
3514 else
3515 Opts.AddPath(Prefix.str() + A->getValue(), frontend::Angled, false, true);
3516 }
3517
3518 for (const auto *A : Args.filtered(OPT_idirafter))
3519 Opts.AddPath(PrefixHeaderPath(A), frontend::After, false, true);
3520 for (const auto *A : Args.filtered(OPT_iquote))
3521 Opts.AddPath(PrefixHeaderPath(A), frontend::Quoted, false, true);
3522
3523 for (const auto *A : Args.filtered(OPT_isystem, OPT_iwithsysroot)) {
3524 if (A->getOption().matches(OPT_iwithsysroot)) {
3525 Opts.AddPath(A->getValue(), frontend::System, false,
3526 /*IgnoreSysRoot=*/false);
3527 continue;
3528 }
3529 Opts.AddPath(PrefixHeaderPath(A), frontend::System, false, true);
3530 }
3531 for (const auto *A : Args.filtered(OPT_iframework))
3532 Opts.AddPath(A->getValue(), frontend::System, true, true);
3533 for (const auto *A : Args.filtered(OPT_iframeworkwithsysroot))
3534 Opts.AddPath(A->getValue(), frontend::System, /*IsFramework=*/true,
3535 /*IgnoreSysRoot=*/false);
3536
3537 // Add the paths for the various language specific isystem flags.
3538 for (const auto *A : Args.filtered(OPT_c_isystem))
3539 Opts.AddPath(A->getValue(), frontend::CSystem, false, true);
3540 for (const auto *A : Args.filtered(OPT_cxx_isystem))
3541 Opts.AddPath(A->getValue(), frontend::CXXSystem, false, true);
3542 for (const auto *A : Args.filtered(OPT_objc_isystem))
3543 Opts.AddPath(A->getValue(), frontend::ObjCSystem, false,true);
3544 for (const auto *A : Args.filtered(OPT_objcxx_isystem))
3545 Opts.AddPath(A->getValue(), frontend::ObjCXXSystem, false, true);
3546
3547 // Add the internal paths from a driver that detects standard include paths.
3548 for (const auto *A :
3549 Args.filtered(OPT_internal_isystem, OPT_internal_externc_isystem)) {
3551 if (A->getOption().matches(OPT_internal_externc_isystem))
3553 Opts.AddPath(A->getValue(), Group, false, true);
3554 }
3555 for (const auto *A : Args.filtered(OPT_internal_iframework))
3556 Opts.AddPath(A->getValue(), frontend::System, true, true);
3557
3558 // Add the path prefixes which are implicitly treated as being system headers.
3559 for (const auto *A :
3560 Args.filtered(OPT_system_header_prefix, OPT_no_system_header_prefix))
3562 A->getValue(), A->getOption().matches(OPT_system_header_prefix));
3563
3564 for (const auto *A : Args.filtered(OPT_ivfsoverlay, OPT_vfsoverlay))
3565 Opts.AddVFSOverlayFile(A->getValue());
3566
3567 return Diags.getNumErrors() == NumErrorsBefore;
3568}
3569
3571 ArgumentConsumer Consumer) {
3572 if (!Opts.SwiftVersion.empty())
3573 GenerateArg(Consumer, OPT_fapinotes_swift_version,
3574 Opts.SwiftVersion.getAsString());
3575
3576 for (const auto &Path : Opts.ModuleSearchPaths)
3577 GenerateArg(Consumer, OPT_iapinotes_modules, Path);
3578}
3579
3580static void ParseAPINotesArgs(APINotesOptions &Opts, ArgList &Args,
3581 DiagnosticsEngine &diags) {
3582 if (const Arg *A = Args.getLastArg(OPT_fapinotes_swift_version)) {
3583 if (Opts.SwiftVersion.tryParse(A->getValue()))
3584 diags.Report(diag::err_drv_invalid_value)
3585 << A->getAsString(Args) << A->getValue();
3586 }
3587 for (const Arg *A : Args.filtered(OPT_iapinotes_modules))
3588 Opts.ModuleSearchPaths.push_back(A->getValue());
3589}
3590
3591static void GeneratePointerAuthArgs(const LangOptions &Opts,
3592 ArgumentConsumer Consumer) {
3593 if (Opts.PointerAuthIntrinsics)
3594 GenerateArg(Consumer, OPT_fptrauth_intrinsics);
3595 if (Opts.PointerAuthCalls)
3596 GenerateArg(Consumer, OPT_fptrauth_calls);
3597 if (Opts.PointerAuthReturns)
3598 GenerateArg(Consumer, OPT_fptrauth_returns);
3599 if (Opts.PointerAuthIndirectGotos)
3600 GenerateArg(Consumer, OPT_fptrauth_indirect_gotos);
3601 if (Opts.PointerAuthAuthTraps)
3602 GenerateArg(Consumer, OPT_fptrauth_auth_traps);
3603 if (Opts.PointerAuthVTPtrAddressDiscrimination)
3604 GenerateArg(Consumer, OPT_fptrauth_vtable_pointer_address_discrimination);
3605 if (Opts.PointerAuthVTPtrTypeDiscrimination)
3606 GenerateArg(Consumer, OPT_fptrauth_vtable_pointer_type_discrimination);
3607 if (Opts.PointerAuthVTTVTPtrDiscrimination)
3608 GenerateArg(Consumer, OPT_fptrauth_vtt_vtable_pointer_discrimination);
3609 if (Opts.PointerAuthTypeInfoVTPtrDiscrimination)
3610 GenerateArg(Consumer, OPT_fptrauth_type_info_vtable_pointer_discrimination);
3611 if (Opts.PointerAuthFunctionTypeDiscrimination)
3612 GenerateArg(Consumer, OPT_fptrauth_function_pointer_type_discrimination);
3613 if (Opts.PointerAuthInitFini)
3614 GenerateArg(Consumer, OPT_fptrauth_init_fini);
3615 if (Opts.PointerAuthInitFiniAddressDiscrimination)
3616 GenerateArg(Consumer, OPT_fptrauth_init_fini_address_discrimination);
3617 if (Opts.PointerAuthELFGOT)
3618 GenerateArg(Consumer, OPT_fptrauth_elf_got);
3619 if (Opts.AArch64JumpTableHardening)
3620 GenerateArg(Consumer, OPT_faarch64_jump_table_hardening);
3621 if (Opts.PointerAuthObjcIsa)
3622 GenerateArg(Consumer, OPT_fptrauth_objc_isa);
3623 if (Opts.PointerAuthObjcInterfaceSel)
3624 GenerateArg(Consumer, OPT_fptrauth_objc_interface_sel);
3625 if (Opts.PointerAuthObjcClassROPointers)
3626 GenerateArg(Consumer, OPT_fptrauth_objc_class_ro);
3627 if (Opts.PointerAuthBlockDescriptorPointers)
3628 GenerateArg(Consumer, OPT_fptrauth_block_descriptor_pointers);
3629}
3630
3631static void ParsePointerAuthArgs(LangOptions &Opts, ArgList &Args,
3632 DiagnosticsEngine &Diags) {
3633 Opts.PointerAuthIntrinsics = Args.hasArg(OPT_fptrauth_intrinsics);
3634 Opts.PointerAuthCalls = Args.hasArg(OPT_fptrauth_calls);
3635 Opts.PointerAuthReturns = Args.hasArg(OPT_fptrauth_returns);
3636 Opts.PointerAuthIndirectGotos = Args.hasArg(OPT_fptrauth_indirect_gotos);
3637 Opts.PointerAuthAuthTraps = Args.hasArg(OPT_fptrauth_auth_traps);
3638 Opts.PointerAuthVTPtrAddressDiscrimination =
3639 Args.hasArg(OPT_fptrauth_vtable_pointer_address_discrimination);
3640 Opts.PointerAuthVTPtrTypeDiscrimination =
3641 Args.hasArg(OPT_fptrauth_vtable_pointer_type_discrimination);
3642 Opts.PointerAuthVTTVTPtrDiscrimination =
3643 Args.hasArg(OPT_fptrauth_vtt_vtable_pointer_discrimination);
3644 Opts.PointerAuthTypeInfoVTPtrDiscrimination =
3645 Args.hasArg(OPT_fptrauth_type_info_vtable_pointer_discrimination);
3646 Opts.PointerAuthFunctionTypeDiscrimination =
3647 Args.hasArg(OPT_fptrauth_function_pointer_type_discrimination);
3648 Opts.PointerAuthInitFini = Args.hasArg(OPT_fptrauth_init_fini);
3649 Opts.PointerAuthInitFiniAddressDiscrimination =
3650 Args.hasArg(OPT_fptrauth_init_fini_address_discrimination);
3651 Opts.PointerAuthELFGOT = Args.hasArg(OPT_fptrauth_elf_got);
3652 Opts.AArch64JumpTableHardening =
3653 Args.hasArg(OPT_faarch64_jump_table_hardening);
3654 Opts.PointerAuthBlockDescriptorPointers =
3655 Args.hasArg(OPT_fptrauth_block_descriptor_pointers);
3656 Opts.PointerAuthObjcIsa = Args.hasArg(OPT_fptrauth_objc_isa);
3657 Opts.PointerAuthObjcClassROPointers = Args.hasArg(OPT_fptrauth_objc_class_ro);
3658 Opts.PointerAuthObjcInterfaceSel =
3659 Args.hasArg(OPT_fptrauth_objc_interface_sel);
3660
3661 if (Opts.PointerAuthObjcInterfaceSel)
3662 Opts.PointerAuthObjcInterfaceSelKey =
3663 static_cast<unsigned>(PointerAuthSchema::ARM8_3Key::ASDB);
3664}
3665
3666/// Check if input file kind and language standard are compatible.
3668 const LangStandard &S) {
3669 switch (IK.getLanguage()) {
3670 case Language::Unknown:
3671 case Language::LLVM_IR:
3672 case Language::CIR:
3673 llvm_unreachable("should not parse language flags for this input");
3674
3675 case Language::C:
3676 case Language::ObjC:
3677 return S.getLanguage() == Language::C;
3678
3679 case Language::OpenCL:
3680 return S.getLanguage() == Language::OpenCL ||
3682
3684 return S.getLanguage() == Language::OpenCLCXX;
3685
3686 case Language::CXX:
3687 case Language::ObjCXX:
3688 return S.getLanguage() == Language::CXX;
3689
3690 case Language::CUDA:
3691 // FIXME: What -std= values should be permitted for CUDA compilations?
3692 return S.getLanguage() == Language::CUDA ||
3694
3695 case Language::HIP:
3696 return S.getLanguage() == Language::CXX || S.getLanguage() == Language::HIP;
3697
3698 case Language::Asm:
3699 // Accept (and ignore) all -std= values.
3700 // FIXME: The -std= value is not ignored; it affects the tokenization
3701 // and preprocessing rules if we're preprocessing this asm input.
3702 return true;
3703
3704 case Language::HLSL:
3705 return S.getLanguage() == Language::HLSL;
3706 }
3707
3708 llvm_unreachable("unexpected input language");
3709}
3710
3711/// Get language name for given input kind.
3712static StringRef GetInputKindName(InputKind IK) {
3713 switch (IK.getLanguage()) {
3714 case Language::C:
3715 return "C";
3716 case Language::ObjC:
3717 return "Objective-C";
3718 case Language::CXX:
3719 return "C++";
3720 case Language::ObjCXX:
3721 return "Objective-C++";
3722 case Language::OpenCL:
3723 return "OpenCL";
3725 return "C++ for OpenCL";
3726 case Language::CUDA:
3727 return "CUDA";
3728 case Language::HIP:
3729 return "HIP";
3730
3731 case Language::Asm:
3732 return "Asm";
3733 case Language::LLVM_IR:
3734 return "LLVM IR";
3735 case Language::CIR:
3736 return "Clang IR";
3737
3738 case Language::HLSL:
3739 return "HLSL";
3740
3741 case Language::Unknown:
3742 break;
3743 }
3744 llvm_unreachable("unknown input language");
3745}
3746
3747void CompilerInvocationBase::GenerateLangArgs(const LangOptions &Opts,
3748 ArgumentConsumer Consumer,
3749 const llvm::Triple &T,
3750 InputKind IK) {
3751 if (IK.getFormat() == InputKind::Precompiled ||
3753 IK.getLanguage() == Language::CIR) {
3754 if (Opts.ObjCAutoRefCount)
3755 GenerateArg(Consumer, OPT_fobjc_arc);
3756 if (Opts.PICLevel != 0)
3757 GenerateArg(Consumer, OPT_pic_level, Twine(Opts.PICLevel));
3758 if (Opts.PIE)
3759 GenerateArg(Consumer, OPT_pic_is_pie);
3760 for (StringRef Sanitizer : serializeSanitizerKinds(Opts.Sanitize))
3761 GenerateArg(Consumer, OPT_fsanitize_EQ, Sanitizer);
3762 for (StringRef Sanitizer :
3764 GenerateArg(Consumer, OPT_fsanitize_ignore_for_ubsan_feature_EQ,
3765 Sanitizer);
3766
3767 return;
3768 }
3769
3770 OptSpecifier StdOpt;
3771 switch (Opts.LangStd) {
3772 case LangStandard::lang_opencl10:
3773 case LangStandard::lang_opencl11:
3774 case LangStandard::lang_opencl12:
3775 case LangStandard::lang_opencl20:
3776 case LangStandard::lang_opencl30:
3777 case LangStandard::lang_openclcpp10:
3778 case LangStandard::lang_openclcpp2021:
3779 StdOpt = OPT_cl_std_EQ;
3780 break;
3781 default:
3782 StdOpt = OPT_std_EQ;
3783 break;
3784 }
3785
3786 auto LangStandard = LangStandard::getLangStandardForKind(Opts.LangStd);
3787 GenerateArg(Consumer, StdOpt, LangStandard.getName());
3788
3789 if (Opts.IncludeDefaultHeader)
3790 GenerateArg(Consumer, OPT_finclude_default_header);
3791 if (Opts.DeclareOpenCLBuiltins)
3792 GenerateArg(Consumer, OPT_fdeclare_opencl_builtins);
3793
3794 const LangOptions *LangOpts = &Opts;
3795
3796#define LANG_OPTION_WITH_MARSHALLING(...) \
3797 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
3798#include "clang/Options/Options.inc"
3799#undef LANG_OPTION_WITH_MARSHALLING
3800
3801 // The '-fcf-protection=' option is generated by CodeGenOpts generator.
3802
3803 if (Opts.ObjC) {
3804 GenerateArg(Consumer, OPT_fobjc_runtime_EQ, Opts.ObjCRuntime.getAsString());
3805
3806 if (Opts.GC == LangOptions::GCOnly)
3807 GenerateArg(Consumer, OPT_fobjc_gc_only);
3808 else if (Opts.GC == LangOptions::HybridGC)
3809 GenerateArg(Consumer, OPT_fobjc_gc);
3810 else if (Opts.ObjCAutoRefCount == 1)
3811 GenerateArg(Consumer, OPT_fobjc_arc);
3812
3813 if (Opts.ObjCWeakRuntime)
3814 GenerateArg(Consumer, OPT_fobjc_runtime_has_weak);
3815
3816 if (Opts.ObjCWeak)
3817 GenerateArg(Consumer, OPT_fobjc_weak);
3818
3819 if (Opts.ObjCSubscriptingLegacyRuntime)
3820 GenerateArg(Consumer, OPT_fobjc_subscripting_legacy_runtime);
3821 }
3822
3823 if (Opts.GNUCVersion != 0) {
3824 unsigned Major = Opts.GNUCVersion / 100 / 100;
3825 unsigned Minor = (Opts.GNUCVersion / 100) % 100;
3826 unsigned Patch = Opts.GNUCVersion % 100;
3827 GenerateArg(Consumer, OPT_fgnuc_version_EQ,
3828 Twine(Major) + "." + Twine(Minor) + "." + Twine(Patch));
3829 }
3830
3831 if (Opts.IgnoreXCOFFVisibility)
3832 GenerateArg(Consumer, OPT_mignore_xcoff_visibility);
3833
3834 if (Opts.SignedOverflowBehavior == LangOptions::SOB_Trapping) {
3835 GenerateArg(Consumer, OPT_ftrapv);
3836 GenerateArg(Consumer, OPT_ftrapv_handler, Opts.OverflowHandler);
3837 } else if (Opts.SignedOverflowBehavior == LangOptions::SOB_Defined) {
3838 if (!Opts.MSVCCompat)
3839 GenerateArg(Consumer, OPT_fwrapv);
3840 } else if (Opts.MSVCCompat) {
3841 GenerateArg(Consumer, OPT_fno_wrapv);
3842 }
3843 if (Opts.PointerOverflowDefined)
3844 GenerateArg(Consumer, OPT_fwrapv_pointer);
3845
3846 if (Opts.MSCompatibilityVersion != 0) {
3847 unsigned Major = Opts.MSCompatibilityVersion / 10000000;
3848 unsigned Minor = (Opts.MSCompatibilityVersion / 100000) % 100;
3849 unsigned Subminor = Opts.MSCompatibilityVersion % 100000;
3850 GenerateArg(Consumer, OPT_fms_compatibility_version,
3851 Twine(Major) + "." + Twine(Minor) + "." + Twine(Subminor));
3852 }
3853
3854 if ((!Opts.GNUMode && !Opts.MSVCCompat && !Opts.CPlusPlus17 && !Opts.C23) ||
3855 T.isOSzOS()) {
3856 if (!Opts.Trigraphs)
3857 GenerateArg(Consumer, OPT_fno_trigraphs);
3858 } else {
3859 if (Opts.Trigraphs)
3860 GenerateArg(Consumer, OPT_ftrigraphs);
3861 }
3862
3863 if (T.isOSzOS() && !Opts.ZOSExt)
3864 GenerateArg(Consumer, OPT_fno_zos_extensions);
3865 else if (Opts.ZOSExt)
3866 GenerateArg(Consumer, OPT_fzos_extensions);
3867
3868 if (Opts.Blocks && !(Opts.OpenCL && Opts.OpenCLVersion == 200))
3869 GenerateArg(Consumer, OPT_fblocks);
3870
3871 if (Opts.ConvergentFunctions)
3872 GenerateArg(Consumer, OPT_fconvergent_functions);
3873 else
3874 GenerateArg(Consumer, OPT_fno_convergent_functions);
3875
3876 if (Opts.NoBuiltin && !Opts.Freestanding)
3877 GenerateArg(Consumer, OPT_fno_builtin);
3878
3879 if (!Opts.NoBuiltin)
3880 for (const auto &Func : Opts.NoBuiltinFuncs)
3881 GenerateArg(Consumer, OPT_fno_builtin_, Func);
3882
3883 if (Opts.LongDoubleSize == 128)
3884 GenerateArg(Consumer, OPT_mlong_double_128);
3885 else if (Opts.LongDoubleSize == 64)
3886 GenerateArg(Consumer, OPT_mlong_double_64);
3887 else if (Opts.LongDoubleSize == 80)
3888 GenerateArg(Consumer, OPT_mlong_double_80);
3889
3890 // Not generating '-mrtd', it's just an alias for '-fdefault-calling-conv='.
3891
3892 // OpenMP was requested via '-fopenmp', not implied by '-fopenmp-simd' or
3893 // '-fopenmp-targets='.
3894 if (Opts.OpenMP && !Opts.OpenMPSimd) {
3895 GenerateArg(Consumer, OPT_fopenmp);
3896
3897 if (Opts.OpenMP != 51)
3898 GenerateArg(Consumer, OPT_fopenmp_version_EQ, Twine(Opts.OpenMP));
3899
3900 if (!Opts.OpenMPUseTLS)
3901 GenerateArg(Consumer, OPT_fnoopenmp_use_tls);
3902
3903 if (Opts.OpenMPIsTargetDevice)
3904 GenerateArg(Consumer, OPT_fopenmp_is_target_device);
3905
3906 if (Opts.OpenMPIRBuilder)
3907 GenerateArg(Consumer, OPT_fopenmp_enable_irbuilder);
3908 }
3909
3910 if (Opts.OpenMPSimd) {
3911 GenerateArg(Consumer, OPT_fopenmp_simd);
3912
3913 if (Opts.OpenMP != 51)
3914 GenerateArg(Consumer, OPT_fopenmp_version_EQ, Twine(Opts.OpenMP));
3915 }
3916
3917 if (Opts.OpenMPThreadSubscription)
3918 GenerateArg(Consumer, OPT_fopenmp_assume_threads_oversubscription);
3919
3920 if (Opts.OpenMPTeamSubscription)
3921 GenerateArg(Consumer, OPT_fopenmp_assume_teams_oversubscription);
3922
3923 if (Opts.OpenMPTargetDebug != 0)
3924 GenerateArg(Consumer, OPT_fopenmp_target_debug_EQ,
3925 Twine(Opts.OpenMPTargetDebug));
3926
3927 if (Opts.OpenMPCUDANumSMs != 0)
3928 GenerateArg(Consumer, OPT_fopenmp_cuda_number_of_sm_EQ,
3929 Twine(Opts.OpenMPCUDANumSMs));
3930
3931 if (Opts.OpenMPCUDABlocksPerSM != 0)
3932 GenerateArg(Consumer, OPT_fopenmp_cuda_blocks_per_sm_EQ,
3933 Twine(Opts.OpenMPCUDABlocksPerSM));
3934
3935 if (!Opts.OMPTargetTriples.empty()) {
3936 std::string Targets;
3937 llvm::raw_string_ostream OS(Targets);
3938 llvm::interleave(
3939 Opts.OMPTargetTriples, OS,
3940 [&OS](const llvm::Triple &T) { OS << T.str(); }, ",");
3941 GenerateArg(Consumer, OPT_offload_targets_EQ, Targets);
3942 }
3943
3944 if (Opts.OpenMPCUDAMode)
3945 GenerateArg(Consumer, OPT_fopenmp_cuda_mode);
3946
3947 if (Opts.OpenACC)
3948 GenerateArg(Consumer, OPT_fopenacc);
3949
3950 // The arguments used to set Optimize, OptimizeSize and NoInlineDefine are
3951 // generated from CodeGenOptions.
3952
3953 if (Opts.DefaultFPContractMode == LangOptions::FPM_Fast)
3954 GenerateArg(Consumer, OPT_ffp_contract, "fast");
3955 else if (Opts.DefaultFPContractMode == LangOptions::FPM_On)
3956 GenerateArg(Consumer, OPT_ffp_contract, "on");
3957 else if (Opts.DefaultFPContractMode == LangOptions::FPM_Off)
3958 GenerateArg(Consumer, OPT_ffp_contract, "off");
3959 else if (Opts.DefaultFPContractMode == LangOptions::FPM_FastHonorPragmas)
3960 GenerateArg(Consumer, OPT_ffp_contract, "fast-honor-pragmas");
3961
3962 for (StringRef Sanitizer : serializeSanitizerKinds(Opts.Sanitize))
3963 GenerateArg(Consumer, OPT_fsanitize_EQ, Sanitizer);
3964 for (StringRef Sanitizer :
3966 GenerateArg(Consumer, OPT_fsanitize_ignore_for_ubsan_feature_EQ, Sanitizer);
3967
3968 // Conflating '-fsanitize-system-ignorelist' and '-fsanitize-ignorelist'.
3969 for (const std::string &F : Opts.NoSanitizeFiles)
3970 GenerateArg(Consumer, OPT_fsanitize_ignorelist_EQ, F);
3971
3972 switch (Opts.getClangABICompat()) {
3973#define ABI_VER_MAJOR_MINOR(Major, Minor) \
3974 case LangOptions::ClangABI::Ver##Major##_##Minor: \
3975 GenerateArg(Consumer, OPT_fclang_abi_compat_EQ, #Major "." #Minor); \
3976 break;
3977#define ABI_VER_MAJOR(Major) \
3978 case LangOptions::ClangABI::Ver##Major: \
3979 GenerateArg(Consumer, OPT_fclang_abi_compat_EQ, #Major ".0"); \
3980 break;
3981#define ABI_VER_LATEST(Latest) \
3982 case LangOptions::ClangABI::Latest: \
3983 break;
3984#include "clang/Basic/ABIVersions.def"
3985 }
3986
3987 if (Opts.getSignReturnAddressScope() ==
3989 GenerateArg(Consumer, OPT_msign_return_address_EQ, "all");
3990 else if (Opts.getSignReturnAddressScope() ==
3992 GenerateArg(Consumer, OPT_msign_return_address_EQ, "non-leaf");
3993
3994 if (Opts.getSignReturnAddressKey() ==
3996 GenerateArg(Consumer, OPT_msign_return_address_key_EQ, "b_key");
3997
3998 if (Opts.CXXABI)
3999 GenerateArg(Consumer, OPT_fcxx_abi_EQ,
4001
4002 if (Opts.RelativeCXXABIVTables)
4003 GenerateArg(Consumer, OPT_fexperimental_relative_cxx_abi_vtables);
4004 else
4005 GenerateArg(Consumer, OPT_fno_experimental_relative_cxx_abi_vtables);
4006
4007 if (Opts.UseTargetPathSeparator)
4008 GenerateArg(Consumer, OPT_ffile_reproducible);
4009 else
4010 GenerateArg(Consumer, OPT_fno_file_reproducible);
4011
4012 for (const auto &MP : Opts.MacroPrefixMap)
4013 GenerateArg(Consumer, OPT_fmacro_prefix_map_EQ, MP.first + "=" + MP.second);
4014
4015 if (!Opts.RandstructSeed.empty())
4016 GenerateArg(Consumer, OPT_frandomize_layout_seed_EQ, Opts.RandstructSeed);
4017
4018 if (Opts.AllocTokenMax)
4019 GenerateArg(Consumer, OPT_falloc_token_max_EQ,
4020 std::to_string(*Opts.AllocTokenMax));
4021
4022 if (Opts.AllocTokenMode) {
4023 StringRef S = llvm::getAllocTokenModeAsString(*Opts.AllocTokenMode);
4024 GenerateArg(Consumer, OPT_falloc_token_mode_EQ, S);
4025 }
4026 // Generate args for matrix types.
4027 if (Opts.MatrixTypes) {
4028 if (Opts.getDefaultMatrixMemoryLayout() ==
4030 GenerateArg(Consumer, OPT_fmatrix_memory_layout_EQ, "column-major");
4031 if (Opts.getDefaultMatrixMemoryLayout() ==
4033 GenerateArg(Consumer, OPT_fmatrix_memory_layout_EQ, "row-major");
4034 }
4035}
4036
4037bool CompilerInvocation::ParseLangArgs(LangOptions &Opts, ArgList &Args,
4038 InputKind IK, const llvm::Triple &T,
4039 std::vector<std::string> &Includes,
4040 DiagnosticsEngine &Diags) {
4041 unsigned NumErrorsBefore = Diags.getNumErrors();
4042
4043 if (IK.getFormat() == InputKind::Precompiled ||
4045 IK.getLanguage() == Language::CIR) {
4046 // ObjCAAutoRefCount and Sanitize LangOpts are used to setup the
4047 // PassManager in BackendUtil.cpp. They need to be initialized no matter
4048 // what the input type is.
4049 if (Args.hasArg(OPT_fobjc_arc))
4050 Opts.ObjCAutoRefCount = 1;
4051 // PICLevel and PIELevel are needed during code generation and this should
4052 // be set regardless of the input type.
4053 Opts.PICLevel = getLastArgIntValue(Args, OPT_pic_level, 0, Diags);
4054 Opts.PIE = Args.hasArg(OPT_pic_is_pie);
4055 parseSanitizerKinds("-fsanitize=", Args.getAllArgValues(OPT_fsanitize_EQ),
4056 Diags, Opts.Sanitize);
4058 "-fsanitize-ignore-for-ubsan-feature=",
4059 Args.getAllArgValues(OPT_fsanitize_ignore_for_ubsan_feature_EQ), Diags,
4061
4062 return Diags.getNumErrors() == NumErrorsBefore;
4063 }
4064
4065 // Other LangOpts are only initialized when the input is not AST or LLVM IR.
4066 // FIXME: Should we really be parsing this for an Language::Asm input?
4067
4068 // FIXME: Cleanup per-file based stuff.
4070 if (const Arg *A = Args.getLastArg(OPT_std_EQ)) {
4071 LangStd = LangStandard::getLangKind(A->getValue());
4072 if (LangStd == LangStandard::lang_unspecified) {
4073 Diags.Report(diag::err_drv_invalid_value)
4074 << A->getAsString(Args) << A->getValue();
4075 // Report supported standards with short description.
4076 for (unsigned KindValue = 0;
4077 KindValue != LangStandard::lang_unspecified;
4078 ++KindValue) {
4079 const LangStandard &Std = LangStandard::getLangStandardForKind(
4080 static_cast<LangStandard::Kind>(KindValue));
4081 if (IsInputCompatibleWithStandard(IK, Std)) {
4082 auto Diag = Diags.Report(diag::note_drv_use_standard);
4083 Diag << Std.getName() << Std.getDescription();
4084 unsigned NumAliases = 0;
4085#define LANGSTANDARD(id, name, lang, desc, features, version)
4086#define LANGSTANDARD_ALIAS(id, alias) \
4087 if (KindValue == LangStandard::lang_##id) ++NumAliases;
4088#define LANGSTANDARD_ALIAS_DEPR(id, alias)
4089#include "clang/Basic/LangStandards.def"
4090 Diag << NumAliases;
4091#define LANGSTANDARD(id, name, lang, desc, features, version)
4092#define LANGSTANDARD_ALIAS(id, alias) \
4093 if (KindValue == LangStandard::lang_##id) Diag << alias;
4094#define LANGSTANDARD_ALIAS_DEPR(id, alias)
4095#include "clang/Basic/LangStandards.def"
4096 }
4097 }
4098 } else {
4099 // Valid standard, check to make sure language and standard are
4100 // compatible.
4101 const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
4102 if (!IsInputCompatibleWithStandard(IK, Std)) {
4103 Diags.Report(diag::err_drv_argument_not_allowed_with)
4104 << A->getAsString(Args) << GetInputKindName(IK);
4105 }
4106 }
4107 }
4108
4109 // -cl-std only applies for OpenCL language standards.
4110 // Override the -std option in this case.
4111 if (const Arg *A = Args.getLastArg(OPT_cl_std_EQ)) {
4112 LangStandard::Kind OpenCLLangStd =
4113 llvm::StringSwitch<LangStandard::Kind>(A->getValue())
4114 .Cases({"cl", "CL"}, LangStandard::lang_opencl10)
4115 .Cases({"cl1.0", "CL1.0"}, LangStandard::lang_opencl10)
4116 .Cases({"cl1.1", "CL1.1"}, LangStandard::lang_opencl11)
4117 .Cases({"cl1.2", "CL1.2"}, LangStandard::lang_opencl12)
4118 .Cases({"cl2.0", "CL2.0"}, LangStandard::lang_opencl20)
4119 .Cases({"cl3.0", "CL3.0"}, LangStandard::lang_opencl30)
4120 .Cases({"cl3.1", "CL3.1"}, LangStandard::lang_opencl31)
4121 .Cases({"clc++", "CLC++"}, LangStandard::lang_openclcpp10)
4122 .Cases({"clc++1.0", "CLC++1.0"}, LangStandard::lang_openclcpp10)
4123 .Cases({"clc++2021", "CLC++2021"}, LangStandard::lang_openclcpp2021)
4125
4126 if (OpenCLLangStd == LangStandard::lang_unspecified) {
4127 Diags.Report(diag::err_drv_invalid_value)
4128 << A->getAsString(Args) << A->getValue();
4129 }
4130 else
4131 LangStd = OpenCLLangStd;
4132 }
4133
4134 // These need to be parsed now. They are used to set OpenCL defaults.
4135 Opts.IncludeDefaultHeader = Args.hasArg(OPT_finclude_default_header);
4136 Opts.DeclareOpenCLBuiltins = Args.hasArg(OPT_fdeclare_opencl_builtins);
4137
4138 LangOptions::setLangDefaults(Opts, IK.getLanguage(), T, Includes, LangStd);
4139
4140 // The key paths of codegen options defined in Options.td start with
4141 // "LangOpts->". Let's provide the expected variable name and type.
4142 LangOptions *LangOpts = &Opts;
4143
4144#define LANG_OPTION_WITH_MARSHALLING(...) \
4145 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
4146#include "clang/Options/Options.inc"
4147#undef LANG_OPTION_WITH_MARSHALLING
4148
4149 // "Modules semantics" (e.g. cross-translation-unit declaration merging) are
4150 // needed for both Clang (header) modules and C++20 modules, so enable them
4151 // for either.
4152 Opts.Modules = Opts.ClangModules || Opts.CPlusPlusModules;
4153
4154 if (const Arg *A = Args.getLastArg(OPT_fcf_protection_EQ)) {
4155 StringRef Name = A->getValue();
4156 if (Name == "full") {
4157 Opts.CFProtectionBranch = 1;
4158 Opts.CFProtectionReturn = 1;
4159 } else if (Name == "branch") {
4160 Opts.CFProtectionBranch = 1;
4161 } else if (Name == "return") {
4162 Opts.CFProtectionReturn = 1;
4163 }
4164 }
4165
4166 if (Opts.CFProtectionBranch) {
4167 if (const Arg *A = Args.getLastArg(OPT_mcf_branch_label_scheme_EQ)) {
4168 const auto Scheme =
4169 llvm::StringSwitch<CFBranchLabelSchemeKind>(A->getValue())
4170#define CF_BRANCH_LABEL_SCHEME(Kind, FlagVal) \
4171 .Case(#FlagVal, CFBranchLabelSchemeKind::Kind)
4172#include "clang/Basic/CFProtectionOptions.def"
4174 Opts.setCFBranchLabelScheme(Scheme);
4175 }
4176 }
4177
4178 if ((Args.hasArg(OPT_fsycl_is_device) || Args.hasArg(OPT_fsycl_is_host)) &&
4179 !Args.hasArg(OPT_sycl_std_EQ)) {
4180 // If the user supplied -fsycl-is-device or -fsycl-is-host, but failed to
4181 // provide -sycl-std=, we want to default it to whatever the default SYCL
4182 // version is. I could not find a way to express this with the options
4183 // tablegen because we still want this value to be SYCL_None when the user
4184 // is not in device or host mode.
4185 Opts.setSYCLVersion(LangOptions::SYCL_Default);
4186 }
4187
4188 if (Opts.ObjC) {
4189 if (Arg *arg = Args.getLastArg(OPT_fobjc_runtime_EQ)) {
4190 StringRef value = arg->getValue();
4191 if (Opts.ObjCRuntime.tryParse(value))
4192 Diags.Report(diag::err_drv_unknown_objc_runtime) << value;
4193 }
4194
4195 if (Args.hasArg(OPT_fobjc_gc_only))
4196 Opts.setGC(LangOptions::GCOnly);
4197 else if (Args.hasArg(OPT_fobjc_gc))
4198 Opts.setGC(LangOptions::HybridGC);
4199 else if (Args.hasArg(OPT_fobjc_arc)) {
4200 Opts.ObjCAutoRefCount = 1;
4201 if (!Opts.ObjCRuntime.allowsARC())
4202 Diags.Report(diag::err_arc_unsupported_on_runtime);
4203 }
4204
4205 // ObjCWeakRuntime tracks whether the runtime supports __weak, not
4206 // whether the feature is actually enabled. This is predominantly
4207 // determined by -fobjc-runtime, but we allow it to be overridden
4208 // from the command line for testing purposes.
4209 if (Args.hasArg(OPT_fobjc_runtime_has_weak))
4210 Opts.ObjCWeakRuntime = 1;
4211 else
4212 Opts.ObjCWeakRuntime = Opts.ObjCRuntime.allowsWeak();
4213
4214 // ObjCWeak determines whether __weak is actually enabled.
4215 // Note that we allow -fno-objc-weak to disable this even in ARC mode.
4216 if (auto weakArg = Args.getLastArg(OPT_fobjc_weak, OPT_fno_objc_weak)) {
4217 if (!weakArg->getOption().matches(OPT_fobjc_weak)) {
4218 assert(!Opts.ObjCWeak);
4219 } else if (Opts.getGC() != LangOptions::NonGC) {
4220 Diags.Report(diag::err_objc_weak_with_gc);
4221 } else if (!Opts.ObjCWeakRuntime) {
4222 Diags.Report(diag::err_objc_weak_unsupported);
4223 } else {
4224 Opts.ObjCWeak = 1;
4225 }
4226 } else if (Opts.ObjCAutoRefCount) {
4227 Opts.ObjCWeak = Opts.ObjCWeakRuntime;
4228 }
4229
4230 if (Args.hasArg(OPT_fobjc_subscripting_legacy_runtime))
4231 Opts.ObjCSubscriptingLegacyRuntime =
4233 }
4234
4235 if (Arg *A = Args.getLastArg(options::OPT_fgnuc_version_EQ)) {
4236 // Check that the version has 1 to 3 components and the minor and patch
4237 // versions fit in two decimal digits.
4238 VersionTuple GNUCVer;
4239 bool Invalid = GNUCVer.tryParse(A->getValue());
4240 unsigned Major = GNUCVer.getMajor();
4241 unsigned Minor = GNUCVer.getMinor().value_or(0);
4242 unsigned Patch = GNUCVer.getSubminor().value_or(0);
4243 if (Invalid || GNUCVer.getBuild() || Minor >= 100 || Patch >= 100) {
4244 Diags.Report(diag::err_drv_invalid_value)
4245 << A->getAsString(Args) << A->getValue();
4246 }
4247 Opts.GNUCVersion = Major * 100 * 100 + Minor * 100 + Patch;
4248 }
4249
4250 if (T.isOSAIX() && (Args.hasArg(OPT_mignore_xcoff_visibility)))
4251 Opts.IgnoreXCOFFVisibility = 1;
4252
4253 if (Args.hasArg(OPT_ftrapv)) {
4254 Opts.setSignedOverflowBehavior(LangOptions::SOB_Trapping);
4255 // Set the handler, if one is specified.
4256 Opts.OverflowHandler =
4257 std::string(Args.getLastArgValue(OPT_ftrapv_handler));
4258 } else if (Args.hasFlag(OPT_fwrapv, OPT_fno_wrapv, Opts.MSVCCompat)) {
4259 Opts.setSignedOverflowBehavior(LangOptions::SOB_Defined);
4260 }
4261 if (Args.hasArg(OPT_fwrapv_pointer))
4262 Opts.PointerOverflowDefined = true;
4263
4264 Opts.MSCompatibilityVersion = 0;
4265 if (const Arg *A = Args.getLastArg(OPT_fms_compatibility_version)) {
4266 VersionTuple VT;
4267 if (VT.tryParse(A->getValue()))
4268 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args)
4269 << A->getValue();
4270 Opts.MSCompatibilityVersion = VT.getMajor() * 10000000 +
4271 VT.getMinor().value_or(0) * 100000 +
4272 VT.getSubminor().value_or(0);
4273 }
4274
4275 // Mimicking gcc's behavior, trigraphs are only enabled if -trigraphs
4276 // is specified, or -std is set to a conforming mode.
4277 // Trigraphs are disabled by default in C++17 and C23 onwards.
4278 // For z/OS, trigraphs are enabled by default (without regard to the above).
4279 Opts.Trigraphs =
4280 (!Opts.GNUMode && !Opts.MSVCCompat && !Opts.CPlusPlus17 && !Opts.C23) ||
4281 T.isOSzOS();
4282 Opts.Trigraphs =
4283 Args.hasFlag(OPT_ftrigraphs, OPT_fno_trigraphs, Opts.Trigraphs);
4284
4285 Opts.ZOSExt =
4286 Args.hasFlag(OPT_fzos_extensions, OPT_fno_zos_extensions, T.isOSzOS());
4287
4288 Opts.Blocks = Args.hasArg(OPT_fblocks) || (Opts.OpenCL
4289 && Opts.OpenCLVersion == 200);
4290
4291 bool HasConvergentOperations = Opts.isTargetDevice() || Opts.OpenCL ||
4292 Opts.HLSL || T.isAMDGPU() || T.isNVPTX();
4293 Opts.ConvergentFunctions =
4294 Args.hasFlag(OPT_fconvergent_functions, OPT_fno_convergent_functions,
4295 HasConvergentOperations);
4296
4297 Opts.NoBuiltin = Args.hasArg(OPT_fno_builtin) || Opts.Freestanding;
4298 if (!Opts.NoBuiltin)
4300 if (Arg *A = Args.getLastArg(options::OPT_LongDouble_Group)) {
4301 if (A->getOption().matches(options::OPT_mlong_double_64))
4302 Opts.LongDoubleSize = 64;
4303 else if (A->getOption().matches(options::OPT_mlong_double_80))
4304 Opts.LongDoubleSize = 80;
4305 else if (A->getOption().matches(options::OPT_mlong_double_128))
4306 Opts.LongDoubleSize = 128;
4307 else
4308 Opts.LongDoubleSize = 0;
4309 }
4310 if (Opts.FastRelaxedMath || Opts.CLUnsafeMath)
4311 Opts.setDefaultFPContractMode(LangOptions::FPM_Fast);
4312
4313 llvm::sort(Opts.ModuleFeatures);
4314
4315 // -mrtd option
4316 if (Arg *A = Args.getLastArg(OPT_mrtd)) {
4317 if (Opts.getDefaultCallingConv() != LangOptions::DCC_None)
4318 Diags.Report(diag::err_drv_argument_not_allowed_with)
4319 << A->getSpelling() << "-fdefault-calling-conv";
4320 else {
4321 switch (T.getArch()) {
4322 case llvm::Triple::x86:
4323 Opts.setDefaultCallingConv(LangOptions::DCC_StdCall);
4324 break;
4325 case llvm::Triple::m68k:
4326 Opts.setDefaultCallingConv(LangOptions::DCC_RtdCall);
4327 break;
4328 default:
4329 Diags.Report(diag::err_drv_argument_not_allowed_with)
4330 << A->getSpelling() << T.getTriple();
4331 }
4332 }
4333 }
4334
4335 // Check if -fopenmp is specified and set default version to 5.1.
4336 Opts.OpenMP = Args.hasArg(OPT_fopenmp) ? 51 : 0;
4337 // Check if -fopenmp-simd is specified.
4338 bool IsSimdSpecified =
4339 Args.hasFlag(options::OPT_fopenmp_simd, options::OPT_fno_openmp_simd,
4340 /*Default=*/false);
4341 Opts.OpenMPSimd = !Opts.OpenMP && IsSimdSpecified;
4342 Opts.OpenMPUseTLS =
4343 Opts.OpenMP && !Args.hasArg(options::OPT_fnoopenmp_use_tls);
4344 Opts.OpenMPIsTargetDevice =
4345 Opts.OpenMP && Args.hasArg(options::OPT_fopenmp_is_target_device);
4346 Opts.OpenMPIRBuilder =
4347 Opts.OpenMP && Args.hasArg(options::OPT_fopenmp_enable_irbuilder);
4348 bool IsTargetSpecified =
4349 Opts.OpenMPIsTargetDevice || Args.hasArg(options::OPT_offload_targets_EQ);
4350
4351 if (Opts.OpenMP || Opts.OpenMPSimd) {
4352 if (int Version = getLastArgIntValue(
4353 Args, OPT_fopenmp_version_EQ,
4354 (IsSimdSpecified || IsTargetSpecified) ? 51 : Opts.OpenMP, Diags))
4355 Opts.OpenMP = Version;
4356 // Provide diagnostic when a given target is not expected to be an OpenMP
4357 // device or host.
4358 if (!Opts.OpenMPIsTargetDevice) {
4359 switch (T.getArch()) {
4360 default:
4361 break;
4362 // Add unsupported host targets here:
4363 case llvm::Triple::nvptx:
4364 case llvm::Triple::nvptx64:
4365 Diags.Report(diag::err_drv_omp_host_target_not_supported) << T.str();
4366 break;
4367 }
4368 }
4369 }
4370
4371 // Set the flag to prevent the implementation from emitting device exception
4372 // handling code for those requiring so.
4373 if ((Opts.OpenMPIsTargetDevice && T.isGPU()) || Opts.OpenCLCPlusPlus) {
4374
4375 Opts.Exceptions = 0;
4376 Opts.CXXExceptions = 0;
4377 }
4378 if (Opts.OpenMPIsTargetDevice && T.isNVPTX()) {
4379 Opts.OpenMPCUDANumSMs =
4380 getLastArgIntValue(Args, options::OPT_fopenmp_cuda_number_of_sm_EQ,
4381 Opts.OpenMPCUDANumSMs, Diags);
4382 Opts.OpenMPCUDABlocksPerSM =
4383 getLastArgIntValue(Args, options::OPT_fopenmp_cuda_blocks_per_sm_EQ,
4384 Opts.OpenMPCUDABlocksPerSM, Diags);
4385 }
4386
4387 // Set the value of the debugging flag used in the new offloading device RTL.
4388 // Set either by a specific value or to a default if not specified.
4389 if (Opts.OpenMPIsTargetDevice && (Args.hasArg(OPT_fopenmp_target_debug) ||
4390 Args.hasArg(OPT_fopenmp_target_debug_EQ))) {
4391 Opts.OpenMPTargetDebug = getLastArgIntValue(
4392 Args, OPT_fopenmp_target_debug_EQ, Opts.OpenMPTargetDebug, Diags);
4393 if (!Opts.OpenMPTargetDebug && Args.hasArg(OPT_fopenmp_target_debug))
4394 Opts.OpenMPTargetDebug = 1;
4395 }
4396
4397 if (Opts.OpenMPIsTargetDevice) {
4398 if (Args.hasArg(OPT_fopenmp_assume_teams_oversubscription))
4399 Opts.OpenMPTeamSubscription = true;
4400 if (Args.hasArg(OPT_fopenmp_assume_threads_oversubscription))
4401 Opts.OpenMPThreadSubscription = true;
4402 }
4403
4404 // Get the OpenMP target triples if any.
4405 if (Arg *A = Args.getLastArg(options::OPT_offload_targets_EQ)) {
4406 enum ArchPtrSize { Arch16Bit, Arch32Bit, Arch64Bit };
4407 auto getArchPtrSize = [](const llvm::Triple &T) {
4408 if (T.isArch16Bit())
4409 return Arch16Bit;
4410 if (T.isArch32Bit())
4411 return Arch32Bit;
4412 assert(T.isArch64Bit() && "Expected 64-bit architecture");
4413 return Arch64Bit;
4414 };
4415
4416 for (unsigned i = 0; i < A->getNumValues(); ++i) {
4417 llvm::Triple TT(A->getValue(i));
4418
4419 if (TT.getArch() == llvm::Triple::UnknownArch ||
4420 !(TT.getArch() == llvm::Triple::aarch64 || TT.isPPC() ||
4421 TT.getArch() == llvm::Triple::spirv64 ||
4422 TT.getArch() == llvm::Triple::systemz ||
4423 TT.getArch() == llvm::Triple::loongarch64 ||
4424 TT.getArch() == llvm::Triple::nvptx ||
4425 TT.getArch() == llvm::Triple::nvptx64 || TT.isAMDGCN() ||
4426 TT.getArch() == llvm::Triple::x86 ||
4427 TT.getArch() == llvm::Triple::x86_64))
4428 Diags.Report(diag::err_drv_invalid_omp_target) << A->getValue(i);
4429 else if (getArchPtrSize(T) != getArchPtrSize(TT))
4430 Diags.Report(diag::err_drv_incompatible_omp_arch)
4431 << A->getValue(i) << T.str();
4432 else
4433 Opts.OMPTargetTriples.push_back(TT);
4434 }
4435 }
4436
4437 // Set CUDA mode for OpenMP target NVPTX/AMDGCN if specified in options
4438 Opts.OpenMPCUDAMode = Opts.OpenMPIsTargetDevice &&
4439 (T.isNVPTX() || T.isAMDGCN()) &&
4440 Args.hasArg(options::OPT_fopenmp_cuda_mode);
4441
4442 // OpenACC Configuration.
4443 if (Args.hasArg(options::OPT_fopenacc))
4444 Opts.OpenACC = true;
4445
4446 if (Arg *A = Args.getLastArg(OPT_ffp_contract)) {
4447 StringRef Val = A->getValue();
4448 if (Val == "fast")
4449 Opts.setDefaultFPContractMode(LangOptions::FPM_Fast);
4450 else if (Val == "on")
4451 Opts.setDefaultFPContractMode(LangOptions::FPM_On);
4452 else if (Val == "off")
4453 Opts.setDefaultFPContractMode(LangOptions::FPM_Off);
4454 else if (Val == "fast-honor-pragmas")
4455 Opts.setDefaultFPContractMode(LangOptions::FPM_FastHonorPragmas);
4456 else
4457 Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << Val;
4458 }
4459
4460 if (auto *A =
4461 Args.getLastArg(OPT_fsanitize_undefined_ignore_overflow_pattern_EQ)) {
4462 for (int i = 0, n = A->getNumValues(); i != n; ++i) {
4464 llvm::StringSwitch<unsigned>(A->getValue(i))
4465 .Case("none", LangOptionsBase::None)
4466 .Case("all", LangOptionsBase::All)
4467 .Case("add-unsigned-overflow-test",
4469 .Case("add-signed-overflow-test",
4471 .Case("negated-unsigned-const", LangOptionsBase::NegUnsignedConst)
4472 .Case("unsigned-post-decr-while",
4474 .Default(0);
4475 }
4476 }
4477
4478 // Parse -fsanitize= arguments.
4479 parseSanitizerKinds("-fsanitize=", Args.getAllArgValues(OPT_fsanitize_EQ),
4480 Diags, Opts.Sanitize);
4482 "-fsanitize-ignore-for-ubsan-feature=",
4483 Args.getAllArgValues(OPT_fsanitize_ignore_for_ubsan_feature_EQ), Diags,
4485 Opts.NoSanitizeFiles = Args.getAllArgValues(OPT_fsanitize_ignorelist_EQ);
4486 std::vector<std::string> systemIgnorelists =
4487 Args.getAllArgValues(OPT_fsanitize_system_ignorelist_EQ);
4488 Opts.NoSanitizeFiles.insert(Opts.NoSanitizeFiles.end(),
4489 systemIgnorelists.begin(),
4490 systemIgnorelists.end());
4491
4492 if (Arg *A = Args.getLastArg(OPT_fclang_abi_compat_EQ)) {
4493 Opts.setClangABICompat(LangOptions::ClangABI::Latest);
4494
4495 StringRef Ver = A->getValue();
4496 std::pair<StringRef, StringRef> VerParts = Ver.split('.');
4497 int Major, Minor = 0;
4498
4499 // Check the version number is valid: either 3.x (0 <= x <= 9) or
4500 // y or y.0 (4 <= y <= current version).
4501 if (!VerParts.first.starts_with("0") &&
4502 !VerParts.first.getAsInteger(10, Major) && 3 <= Major &&
4503 Major <= MAX_CLANG_ABI_COMPAT_VERSION &&
4504 (Major == 3
4505 ? VerParts.second.size() == 1 &&
4506 !VerParts.second.getAsInteger(10, Minor)
4507 : VerParts.first.size() == Ver.size() || VerParts.second == "0")) {
4508 // Got a valid version number.
4509#define ABI_VER_MAJOR_MINOR(Major_, Minor_) \
4510 if (std::tuple(Major, Minor) <= std::tuple(Major_, Minor_)) \
4511 Opts.setClangABICompat(LangOptions::ClangABI::Ver##Major_##_##Minor_); \
4512 else
4513#define ABI_VER_MAJOR(Major_) \
4514 if (Major <= Major_) \
4515 Opts.setClangABICompat(LangOptions::ClangABI::Ver##Major_); \
4516 else
4517#define ABI_VER_LATEST(Latest) \
4518 { /* Equivalent to latest version - do nothing */ \
4519 }
4520#include "clang/Basic/ABIVersions.def"
4521 } else if (Ver != "latest") {
4522 Diags.Report(diag::err_drv_invalid_value)
4523 << A->getAsString(Args) << A->getValue();
4524 }
4525 }
4526
4527 if (Arg *A = Args.getLastArg(OPT_msign_return_address_EQ)) {
4528 StringRef SignScope = A->getValue();
4529
4530 if (SignScope.equals_insensitive("none"))
4531 Opts.setSignReturnAddressScope(
4533 else if (SignScope.equals_insensitive("all"))
4534 Opts.setSignReturnAddressScope(
4536 else if (SignScope.equals_insensitive("non-leaf"))
4537 Opts.setSignReturnAddressScope(
4539 else
4540 Diags.Report(diag::err_drv_invalid_value)
4541 << A->getAsString(Args) << SignScope;
4542
4543 if (Arg *A = Args.getLastArg(OPT_msign_return_address_key_EQ)) {
4544 StringRef SignKey = A->getValue();
4545 if (!SignScope.empty() && !SignKey.empty()) {
4546 if (SignKey == "a_key")
4547 Opts.setSignReturnAddressKey(
4549 else if (SignKey == "b_key")
4550 Opts.setSignReturnAddressKey(
4552 else
4553 Diags.Report(diag::err_drv_invalid_value)
4554 << A->getAsString(Args) << SignKey;
4555 }
4556 }
4557 }
4558
4559 // The value can be empty, which indicates the system default should be used.
4560 StringRef CXXABI = Args.getLastArgValue(OPT_fcxx_abi_EQ);
4561 if (!CXXABI.empty()) {
4563 Diags.Report(diag::err_invalid_cxx_abi) << CXXABI;
4564 } else {
4567 Diags.Report(diag::err_unsupported_cxx_abi) << CXXABI << T.str();
4568 else
4569 Opts.CXXABI = Kind;
4570 }
4571 }
4572
4573 Opts.RelativeCXXABIVTables =
4574 Args.hasFlag(options::OPT_fexperimental_relative_cxx_abi_vtables,
4575 options::OPT_fno_experimental_relative_cxx_abi_vtables,
4577
4578 // RTTI is on by default.
4579 bool HasRTTI = !Args.hasArg(options::OPT_fno_rtti);
4580 Opts.OmitVTableRTTI =
4581 Args.hasFlag(options::OPT_fexperimental_omit_vtable_rtti,
4582 options::OPT_fno_experimental_omit_vtable_rtti, false);
4583 if (Opts.OmitVTableRTTI && HasRTTI)
4584 Diags.Report(diag::err_drv_using_omit_rtti_component_without_no_rtti);
4585
4586 for (const auto &A : Args.getAllArgValues(OPT_fmacro_prefix_map_EQ)) {
4587 auto Split = StringRef(A).split('=');
4588 Opts.MacroPrefixMap.insert(
4589 {std::string(Split.first), std::string(Split.second)});
4590 }
4591
4593 !Args.getLastArg(OPT_fno_file_reproducible) &&
4594 (Args.getLastArg(OPT_ffile_compilation_dir_EQ) ||
4595 Args.getLastArg(OPT_fmacro_prefix_map_EQ) ||
4596 Args.getLastArg(OPT_ffile_reproducible));
4597
4598 // Error if -mvscale-min is unbounded.
4599 if (Arg *A = Args.getLastArg(options::OPT_mvscale_min_EQ)) {
4600 unsigned VScaleMin;
4601 if (StringRef(A->getValue()).getAsInteger(10, VScaleMin) || VScaleMin == 0)
4602 Diags.Report(diag::err_cc1_unbounded_vscale_min);
4603 }
4604 if (Arg *A = Args.getLastArg(options::OPT_mvscale_streaming_min_EQ)) {
4605 unsigned VScaleMin;
4606 if (StringRef(A->getValue()).getAsInteger(10, VScaleMin) || VScaleMin == 0)
4607 Diags.Report(diag::err_cc1_unbounded_vscale_min);
4608 }
4609
4610 if (const Arg *A = Args.getLastArg(OPT_frandomize_layout_seed_file_EQ)) {
4611 std::ifstream SeedFile(A->getValue(0));
4612
4613 if (!SeedFile.is_open())
4614 Diags.Report(diag::err_drv_cannot_open_randomize_layout_seed_file)
4615 << A->getValue(0);
4616
4617 std::getline(SeedFile, Opts.RandstructSeed);
4618 }
4619
4620 if (const Arg *A = Args.getLastArg(OPT_frandomize_layout_seed_EQ))
4621 Opts.RandstructSeed = A->getValue(0);
4622
4623 if (const auto *Arg = Args.getLastArg(options::OPT_falloc_token_max_EQ)) {
4624 StringRef S = Arg->getValue();
4625 uint64_t Value = 0;
4626 if (S.getAsInteger(0, Value))
4627 Diags.Report(diag::err_drv_invalid_value) << Arg->getAsString(Args) << S;
4628 else
4629 Opts.AllocTokenMax = Value;
4630 }
4631
4632 if (const auto *Arg = Args.getLastArg(options::OPT_falloc_token_mode_EQ)) {
4633 StringRef S = Arg->getValue();
4634 if (auto Mode = getAllocTokenModeFromString(S))
4635 Opts.AllocTokenMode = Mode;
4636 else
4637 Diags.Report(diag::err_drv_invalid_value) << Arg->getAsString(Args) << S;
4638 }
4639
4640 // Enable options for matrix types.
4641 if (Opts.MatrixTypes) {
4642 if (const Arg *A = Args.getLastArg(OPT_fmatrix_memory_layout_EQ)) {
4643 StringRef ClangValue = A->getValue();
4644 if (ClangValue == "row-major")
4645 Opts.setDefaultMatrixMemoryLayout(
4647 else
4648 Opts.setDefaultMatrixMemoryLayout(
4650
4651 for (Arg *A : Args.filtered(options::OPT_mllvm)) {
4652 StringRef OptValue = A->getValue();
4653 if (OptValue.consume_front("-matrix-default-layout=") &&
4654 ClangValue != OptValue)
4655 Diags.Report(diag::err_conflicting_matrix_layout_flags)
4656 << ClangValue << OptValue;
4657 }
4658 }
4659 }
4660
4661 // Validate options for HLSL
4662 if (Opts.HLSL) {
4663 // TODO: Revisit restricting SPIR-V to logical once we've figured out how to
4664 // handle PhysicalStorageBuffer64 memory model
4665 if (T.isDXIL() || T.isSPIRVLogical()) {
4666 enum { ShaderModel, VulkanEnv, ShaderStage };
4667 enum { OS, Environment };
4668
4669 int ExpectedOS = T.isSPIRVLogical() ? VulkanEnv : ShaderModel;
4670
4671 if (T.getOSName().empty()) {
4672 Diags.Report(diag::err_drv_hlsl_bad_shader_required_in_target)
4673 << ExpectedOS << OS << T.str();
4674 } else if (T.getEnvironmentName().empty()) {
4675 Diags.Report(diag::err_drv_hlsl_bad_shader_required_in_target)
4676 << ShaderStage << Environment << T.str();
4677 } else if (!T.isShaderStageEnvironment()) {
4678 Diags.Report(diag::err_drv_hlsl_bad_shader_unsupported)
4679 << ShaderStage << T.getEnvironmentName() << T.str();
4680 }
4681
4682 if (T.isDXIL()) {
4683 if (!T.isShaderModelOS() || T.getOSVersion() == VersionTuple(0)) {
4684 Diags.Report(diag::err_drv_hlsl_bad_shader_unsupported)
4685 << ShaderModel << T.getOSName() << T.str();
4686 }
4687 // Validate that if fnative-half-type is given, that
4688 // the language standard is at least hlsl2018, and that
4689 // the target shader model is at least 6.2.
4690 if (Args.getLastArg(OPT_fnative_half_type) ||
4691 Args.getLastArg(OPT_fnative_int16_type)) {
4692 const LangStandard &Std =
4694 if (!(Opts.LangStd >= LangStandard::lang_hlsl2018 &&
4695 T.getOSVersion() >= VersionTuple(6, 2)))
4696 Diags.Report(diag::err_drv_hlsl_16bit_types_unsupported)
4697 << "-enable-16bit-types" << true << Std.getName()
4698 << T.getOSVersion().getAsString();
4699 }
4700 } else if (T.isSPIRVLogical()) {
4701 if (!T.isVulkanOS() || T.getVulkanVersion() == VersionTuple(0)) {
4702 Diags.Report(diag::err_drv_hlsl_bad_shader_unsupported)
4703 << VulkanEnv << T.getOSName() << T.str();
4704 }
4705 if (Args.getLastArg(OPT_fnative_half_type) ||
4706 Args.getLastArg(OPT_fnative_int16_type)) {
4707 const char *Str = Args.getLastArg(OPT_fnative_half_type)
4708 ? "-fnative-half-type"
4709 : "-fnative-int16-type";
4710 const LangStandard &Std =
4712 if (!(Opts.LangStd >= LangStandard::lang_hlsl2018))
4713 Diags.Report(diag::err_drv_hlsl_16bit_types_unsupported)
4714 << Str << false << Std.getName();
4715 }
4716 } else {
4717 llvm_unreachable("expected DXIL or SPIR-V target");
4718 }
4719 } else
4720 Diags.Report(diag::err_drv_hlsl_unsupported_target) << T.str();
4721
4722 if (Opts.LangStd < LangStandard::lang_hlsl202x) {
4723 const LangStandard &Requested =
4725 const LangStandard &Recommended =
4726 LangStandard::getLangStandardForKind(LangStandard::lang_hlsl202x);
4727 Diags.Report(diag::warn_hlsl_langstd_minimal)
4728 << Requested.getName() << Recommended.getName();
4729 }
4730 }
4731
4732 return Diags.getNumErrors() == NumErrorsBefore;
4733}
4734
4779
4823
4825 ArgumentConsumer Consumer,
4826 const LangOptions &LangOpts,
4827 const FrontendOptions &FrontendOpts,
4828 const CodeGenOptions &CodeGenOpts) {
4829 const PreprocessorOptions *PreprocessorOpts = &Opts;
4830
4831#define PREPROCESSOR_OPTION_WITH_MARSHALLING(...) \
4832 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
4833#include "clang/Options/Options.inc"
4834#undef PREPROCESSOR_OPTION_WITH_MARSHALLING
4835
4836 if (Opts.PCHWithHdrStop && !Opts.PCHWithHdrStopCreate)
4837 GenerateArg(Consumer, OPT_pch_through_hdrstop_use);
4838
4839 for (const auto &D : Opts.DeserializedPCHDeclsToErrorOn)
4840 GenerateArg(Consumer, OPT_error_on_deserialized_pch_decl, D);
4841
4842 if (Opts.PrecompiledPreambleBytes != std::make_pair(0u, false))
4843 GenerateArg(Consumer, OPT_preamble_bytes_EQ,
4844 Twine(Opts.PrecompiledPreambleBytes.first) + "," +
4845 (Opts.PrecompiledPreambleBytes.second ? "1" : "0"));
4846
4847 for (const auto &M : Opts.Macros) {
4848 // Don't generate __CET__ macro definitions. They are implied by the
4849 // -fcf-protection option that is generated elsewhere.
4850 if (M.first == "__CET__=1" && !M.second &&
4851 !CodeGenOpts.CFProtectionReturn && CodeGenOpts.CFProtectionBranch)
4852 continue;
4853 if (M.first == "__CET__=2" && !M.second && CodeGenOpts.CFProtectionReturn &&
4854 !CodeGenOpts.CFProtectionBranch)
4855 continue;
4856 if (M.first == "__CET__=3" && !M.second && CodeGenOpts.CFProtectionReturn &&
4857 CodeGenOpts.CFProtectionBranch)
4858 continue;
4859
4860 GenerateArg(Consumer, M.second ? OPT_U : OPT_D, M.first);
4861 }
4862
4863 for (const auto &I : Opts.Includes) {
4864 // Don't generate OpenCL includes. They are implied by other flags that are
4865 // generated elsewhere.
4866 if (LangOpts.OpenCL && LangOpts.IncludeDefaultHeader &&
4867 ((LangOpts.DeclareOpenCLBuiltins && I == "opencl-c-base.h") ||
4868 I == "opencl-c.h"))
4869 continue;
4870 // Don't generate HLSL includes. They are implied by other flags that are
4871 // generated elsewhere.
4872 if (LangOpts.HLSL && I == "hlsl.h")
4873 continue;
4874
4875 GenerateArg(Consumer, OPT_include, I);
4876 }
4877
4878 for (const auto &CI : Opts.ChainedIncludes)
4879 GenerateArg(Consumer, OPT_chain_include, CI);
4880
4881 for (const auto &RF : Opts.RemappedFiles)
4882 GenerateArg(Consumer, OPT_remap_file, RF.first + ";" + RF.second);
4883
4884 if (Opts.SourceDateEpoch)
4885 GenerateArg(Consumer, OPT_source_date_epoch, Twine(*Opts.SourceDateEpoch));
4886
4887 if (Opts.DefineTargetOSMacros)
4888 GenerateArg(Consumer, OPT_fdefine_target_os_macros);
4889
4890 for (const auto &EmbedEntry : Opts.EmbedEntries)
4891 GenerateArg(Consumer, OPT_embed_dir_EQ, EmbedEntry);
4892
4893 // Don't handle LexEditorPlaceholders. It is implied by the action that is
4894 // generated elsewhere.
4895}
4896
4897static bool ParsePreprocessorArgs(PreprocessorOptions &Opts, ArgList &Args,
4898 DiagnosticsEngine &Diags,
4899 frontend::ActionKind Action,
4900 const FrontendOptions &FrontendOpts) {
4901 unsigned NumErrorsBefore = Diags.getNumErrors();
4902
4903 PreprocessorOptions *PreprocessorOpts = &Opts;
4904
4905#define PREPROCESSOR_OPTION_WITH_MARSHALLING(...) \
4906 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
4907#include "clang/Options/Options.inc"
4908#undef PREPROCESSOR_OPTION_WITH_MARSHALLING
4909
4910 Opts.PCHWithHdrStop = Args.hasArg(OPT_pch_through_hdrstop_create) ||
4911 Args.hasArg(OPT_pch_through_hdrstop_use);
4912
4913 for (const auto *A : Args.filtered(OPT_error_on_deserialized_pch_decl))
4914 Opts.DeserializedPCHDeclsToErrorOn.insert(A->getValue());
4915
4916 if (const Arg *A = Args.getLastArg(OPT_preamble_bytes_EQ)) {
4917 StringRef Value(A->getValue());
4918 size_t Comma = Value.find(',');
4919 unsigned Bytes = 0;
4920 unsigned EndOfLine = 0;
4921
4922 if (Comma == StringRef::npos ||
4923 Value.substr(0, Comma).getAsInteger(10, Bytes) ||
4924 Value.substr(Comma + 1).getAsInteger(10, EndOfLine))
4925 Diags.Report(diag::err_drv_preamble_format);
4926 else {
4927 Opts.PrecompiledPreambleBytes.first = Bytes;
4928 Opts.PrecompiledPreambleBytes.second = (EndOfLine != 0);
4929 }
4930 }
4931
4932 // Add macros from the command line.
4933 for (const auto *A : Args.filtered(OPT_D, OPT_U)) {
4934 if (A->getOption().matches(OPT_D))
4935 Opts.addMacroDef(A->getValue());
4936 else
4937 Opts.addMacroUndef(A->getValue());
4938 }
4939
4940 // Add the ordered list of -includes.
4941 for (const auto *A : Args.filtered(OPT_include))
4942 Opts.Includes.emplace_back(A->getValue());
4943
4944 for (const auto *A : Args.filtered(OPT_chain_include))
4945 Opts.ChainedIncludes.emplace_back(A->getValue());
4946
4947 for (const auto *A : Args.filtered(OPT_remap_file)) {
4948 std::pair<StringRef, StringRef> Split = StringRef(A->getValue()).split(';');
4949
4950 if (Split.second.empty()) {
4951 Diags.Report(diag::err_drv_invalid_remap_file) << A->getAsString(Args);
4952 continue;
4953 }
4954
4955 Opts.addRemappedFile(Split.first, Split.second);
4956 }
4957
4958 if (const Arg *A = Args.getLastArg(OPT_source_date_epoch)) {
4959 StringRef Epoch = A->getValue();
4960 // SOURCE_DATE_EPOCH, if specified, must be a non-negative decimal integer.
4961 // On time64 systems, pick 253402300799 (the UNIX timestamp of
4962 // 9999-12-31T23:59:59Z) as the upper bound.
4963 const uint64_t MaxTimestamp =
4964 std::min<uint64_t>(std::numeric_limits<time_t>::max(), 253402300799);
4965 uint64_t V;
4966 if (Epoch.getAsInteger(10, V) || V > MaxTimestamp) {
4967 Diags.Report(diag::err_fe_invalid_source_date_epoch)
4968 << Epoch << MaxTimestamp;
4969 } else {
4970 Opts.SourceDateEpoch = V;
4971 }
4972 }
4973
4974 for (const auto *A : Args.filtered(OPT_embed_dir_EQ)) {
4975 StringRef Val = A->getValue();
4976 Opts.EmbedEntries.push_back(std::string(Val));
4977 }
4978
4979 // Always avoid lexing editor placeholders when we're just running the
4980 // preprocessor as we never want to emit the
4981 // "editor placeholder in source file" error in PP only mode.
4982 if (isStrictlyPreprocessorAction(Action))
4983 Opts.LexEditorPlaceholders = false;
4984
4986 Args.hasFlag(OPT_fdefine_target_os_macros,
4987 OPT_fno_define_target_os_macros, Opts.DefineTargetOSMacros);
4988
4989 return Diags.getNumErrors() == NumErrorsBefore;
4990}
4991
4992static void
4994 ArgumentConsumer Consumer,
4995 frontend::ActionKind Action) {
4996 const PreprocessorOutputOptions &PreprocessorOutputOpts = Opts;
4997
4998#define PREPROCESSOR_OUTPUT_OPTION_WITH_MARSHALLING(...) \
4999 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
5000#include "clang/Options/Options.inc"
5001#undef PREPROCESSOR_OUTPUT_OPTION_WITH_MARSHALLING
5002
5003 bool Generate_dM = isStrictlyPreprocessorAction(Action) && !Opts.ShowCPP;
5004 if (Generate_dM)
5005 GenerateArg(Consumer, OPT_dM);
5006 if (!Generate_dM && Opts.ShowMacros)
5007 GenerateArg(Consumer, OPT_dD);
5008 if (Opts.DirectivesOnly)
5009 GenerateArg(Consumer, OPT_fdirectives_only);
5010}
5011
5013 ArgList &Args, DiagnosticsEngine &Diags,
5014 frontend::ActionKind Action) {
5015 unsigned NumErrorsBefore = Diags.getNumErrors();
5016
5017 PreprocessorOutputOptions &PreprocessorOutputOpts = Opts;
5018
5019#define PREPROCESSOR_OUTPUT_OPTION_WITH_MARSHALLING(...) \
5020 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
5021#include "clang/Options/Options.inc"
5022#undef PREPROCESSOR_OUTPUT_OPTION_WITH_MARSHALLING
5023
5024 Opts.ShowCPP = isStrictlyPreprocessorAction(Action) && !Args.hasArg(OPT_dM);
5025 Opts.ShowMacros = Args.hasArg(OPT_dM) || Args.hasArg(OPT_dD);
5026 Opts.DirectivesOnly = Args.hasArg(OPT_fdirectives_only);
5027
5028 return Diags.getNumErrors() == NumErrorsBefore;
5029}
5030
5031static void GenerateTargetArgs(const TargetOptions &Opts,
5032 ArgumentConsumer Consumer) {
5033 const TargetOptions *TargetOpts = &Opts;
5034#define TARGET_OPTION_WITH_MARSHALLING(...) \
5035 GENERATE_OPTION_WITH_MARSHALLING(Consumer, __VA_ARGS__)
5036#include "clang/Options/Options.inc"
5037#undef TARGET_OPTION_WITH_MARSHALLING
5038
5039 if (!Opts.SDKVersion.empty())
5040 GenerateArg(Consumer, OPT_target_sdk_version_EQ,
5041 Opts.SDKVersion.getAsString());
5042 if (!Opts.DarwinTargetVariantSDKVersion.empty())
5043 GenerateArg(Consumer, OPT_darwin_target_variant_sdk_version_EQ,
5044 Opts.DarwinTargetVariantSDKVersion.getAsString());
5045
5046 // Generate AMDGPU xnack and sramecc flags.
5048 GenerateArg(Consumer, OPT_mxnack);
5050 GenerateArg(Consumer, OPT_mno_xnack);
5051
5053 GenerateArg(Consumer, OPT_msramecc);
5054 else if (Opts.AMDGPUSramEccState ==
5056 GenerateArg(Consumer, OPT_mno_sramecc);
5057}
5058
5059static bool ParseTargetArgs(TargetOptions &Opts, ArgList &Args,
5060 DiagnosticsEngine &Diags) {
5061 unsigned NumErrorsBefore = Diags.getNumErrors();
5062
5063 TargetOptions *TargetOpts = &Opts;
5064
5065#define TARGET_OPTION_WITH_MARSHALLING(...) \
5066 PARSE_OPTION_WITH_MARSHALLING(Args, Diags, __VA_ARGS__)
5067#include "clang/Options/Options.inc"
5068#undef TARGET_OPTION_WITH_MARSHALLING
5069
5070 if (Arg *A = Args.getLastArg(options::OPT_target_sdk_version_EQ)) {
5071 llvm::VersionTuple Version;
5072 if (Version.tryParse(A->getValue()))
5073 Diags.Report(diag::err_drv_invalid_value)
5074 << A->getAsString(Args) << A->getValue();
5075 else
5076 Opts.SDKVersion = Version;
5077 }
5078 if (Arg *A =
5079 Args.getLastArg(options::OPT_darwin_target_variant_sdk_version_EQ)) {
5080 llvm::VersionTuple Version;
5081 if (Version.tryParse(A->getValue()))
5082 Diags.Report(diag::err_drv_invalid_value)
5083 << A->getAsString(Args) << A->getValue();
5084 else
5085 Opts.DarwinTargetVariantSDKVersion = Version;
5086 }
5087
5088 if (Arg *A = Args.getLastArg(options::OPT_mxnack, options::OPT_mno_xnack)) {
5089 bool IsEnabled = A->getOption().matches(options::OPT_mxnack);
5090 Opts.AMDGPUXnackState = IsEnabled
5093 }
5094
5095 if (Arg *A =
5096 Args.getLastArg(options::OPT_msramecc, options::OPT_mno_sramecc)) {
5097 bool IsEnabled = A->getOption().matches(options::OPT_msramecc);
5098 Opts.AMDGPUSramEccState = IsEnabled
5101 }
5102
5103 return Diags.getNumErrors() == NumErrorsBefore;
5104}
5105
5106bool CompilerInvocation::CreateFromArgsImpl(
5107 CompilerInvocation &Res, ArrayRef<const char *> CommandLineArgs,
5108 DiagnosticsEngine &Diags, const char *Argv0) {
5109 unsigned NumErrorsBefore = Diags.getNumErrors();
5110
5111 // Parse the arguments.
5112 const OptTable &Opts = getDriverOptTable();
5113 llvm::opt::Visibility VisibilityMask(options::CC1Option);
5114 unsigned MissingArgIndex, MissingArgCount;
5115 InputArgList Args = Opts.ParseArgs(CommandLineArgs, MissingArgIndex,
5116 MissingArgCount, VisibilityMask);
5117 LangOptions &LangOpts = Res.getLangOpts();
5118
5119 // Check for missing argument error.
5120 if (MissingArgCount)
5121 Diags.Report(diag::err_drv_missing_argument)
5122 << Args.getArgString(MissingArgIndex) << MissingArgCount;
5123
5124 // Issue errors on unknown arguments.
5125 for (const auto *A : Args.filtered(OPT_UNKNOWN)) {
5126 auto ArgString = A->getAsString(Args);
5127 std::string Nearest;
5128 if (Opts.findNearest(ArgString, Nearest, VisibilityMask) > 1)
5129 Diags.Report(diag::err_drv_unknown_argument) << ArgString;
5130 else
5131 Diags.Report(diag::err_drv_unknown_argument_with_suggestion)
5132 << ArgString << Nearest;
5133 }
5134
5135 ParseFileSystemArgs(Res.getFileSystemOpts(), Args, Diags);
5136 ParseMigratorArgs(Res.getMigratorOpts(), Args, Diags);
5137 ParseAnalyzerArgs(Res.getAnalyzerOpts(), Args, Diags);
5138 ParseSSAFArgs(Res.getSSAFOpts(), Args, Diags);
5139 ParseDiagnosticArgs(Res.getDiagnosticOpts(), Args, &Diags);
5140 ParseFrontendArgs(Res.getFrontendOpts(), Args, Diags, LangOpts.IsHeaderFile);
5141 // FIXME: We shouldn't have to pass the DashX option around here
5142 InputKind DashX = Res.getFrontendOpts().DashX;
5143 ParseTargetArgs(Res.getTargetOpts(), Args, Diags);
5144 llvm::Triple T(Res.getTargetOpts().Triple);
5145 ParseHeaderSearchArgs(Res.getHeaderSearchOpts(), Args, Diags);
5146 if (Res.getFrontendOpts().GenReducedBMI ||
5153 }
5154 ParseAPINotesArgs(Res.getAPINotesOpts(), Args, Diags);
5155
5156 ParsePointerAuthArgs(LangOpts, Args, Diags);
5157
5158 ParseLangArgs(LangOpts, Args, DashX, T, Res.getPreprocessorOpts().Includes,
5159 Diags);
5161 LangOpts.ObjCExceptions = 1;
5162
5163 for (auto Warning : Res.getDiagnosticOpts().Warnings) {
5164 if (Warning == "misexpect" &&
5165 !Diags.isIgnored(diag::warn_profile_data_misexpect, SourceLocation())) {
5166 Res.getCodeGenOpts().MisExpect = true;
5167 }
5168 }
5169
5170 if (LangOpts.CUDA) {
5171 // During CUDA device-side compilation, the aux triple is the
5172 // triple used for host compilation.
5173 if (LangOpts.CUDAIsDevice)
5175 }
5176
5177 if (LangOpts.OpenACC && !Res.getFrontendOpts().UseClangIRPipeline &&
5179 Diags.Report(diag::warn_drv_openacc_without_cir);
5180
5181 // Set the triple of the host for OpenMP device compile.
5182 if (LangOpts.OpenMPIsTargetDevice)
5184
5185 // Set the default and host triples for SYCL device compilation.
5186 if (LangOpts.SYCLIsDevice) {
5187 if (!Args.hasArg(options::OPT_triple))
5188 Res.getTargetOpts().Triple = "spirv64-unknown-unknown";
5190 }
5191
5192 ParseCodeGenArgs(Res.getCodeGenOpts(), Args, DashX, Diags, T,
5194
5195 // FIXME: Override value name discarding when asan or msan is used because the
5196 // backend passes depend on the name of the alloca in order to print out
5197 // names.
5198 Res.getCodeGenOpts().DiscardValueNames &=
5199 !LangOpts.Sanitize.has(SanitizerKind::Address) &&
5200 !LangOpts.Sanitize.has(SanitizerKind::KernelAddress) &&
5201 !LangOpts.Sanitize.has(SanitizerKind::Memory) &&
5202 !LangOpts.Sanitize.has(SanitizerKind::KernelMemory);
5203
5204 ParsePreprocessorArgs(Res.getPreprocessorOpts(), Args, Diags,
5206 Res.getFrontendOpts());
5209
5213 if (!Res.getDependencyOutputOpts().OutputFile.empty() &&
5214 Res.getDependencyOutputOpts().Targets.empty())
5215 Diags.Report(diag::err_fe_dependency_file_requires_MT);
5216
5217 // If sanitizer is enabled, disable OPT_ffine_grained_bitfield_accesses.
5218 if (Res.getCodeGenOpts().FineGrainedBitfieldAccesses &&
5219 !Res.getLangOpts().Sanitize.empty()) {
5220 Res.getCodeGenOpts().FineGrainedBitfieldAccesses = false;
5221 Diags.Report(diag::warn_drv_fine_grained_bitfield_accesses_ignored);
5222 }
5223
5224 // Store the command-line for using in the CodeView backend.
5225 if (Res.getCodeGenOpts().CodeViewCommandLine) {
5226 Res.getCodeGenOpts().Argv0 = Argv0;
5227 append_range(Res.getCodeGenOpts().CommandLineArgs, CommandLineArgs);
5228 }
5229
5230 if (!Res.getCodeGenOpts().ProfileInstrumentUsePath.empty() &&
5231 Res.getCodeGenOpts().getProfileUse() ==
5232 llvm::driver::ProfileInstrKind::ProfileNone)
5233 Diags.Report(diag::err_drv_profile_instrument_use_path_with_no_kind);
5234
5235 FixupInvocation(Res, Diags, Args, DashX);
5236
5237 return Diags.getNumErrors() == NumErrorsBefore;
5238}
5239
5241 ArrayRef<const char *> CommandLineArgs,
5242 DiagnosticsEngine &Diags,
5243 const char *Argv0) {
5244 CompilerInvocation DummyInvocation;
5245
5246 return RoundTrip(
5247 [](CompilerInvocation &Invocation, ArrayRef<const char *> CommandLineArgs,
5248 DiagnosticsEngine &Diags, const char *Argv0) {
5249 return CreateFromArgsImpl(Invocation, CommandLineArgs, Diags, Argv0);
5250 },
5252 StringAllocator SA) {
5253 Args.push_back("-cc1");
5254 Invocation.generateCC1CommandLine(Args, SA);
5255 },
5256 Invocation, DummyInvocation, CommandLineArgs, Diags, Argv0);
5257}
5258
5260 // FIXME: Consider using SHA1 instead of MD5.
5261 llvm::HashBuilder<llvm::MD5, llvm::endianness::native> HBuilder;
5262
5263 // Note: For QoI reasons, the things we use as a hash here should all be
5264 // dumped via the -module-info flag.
5265
5266 // Start the signature with the compiler version.
5267 HBuilder.add(getClangFullRepositoryVersion());
5268
5269 // Also include the serialization version, in case LLVM_APPEND_VC_REV is off
5270 // and getClangFullRepositoryVersion() doesn't include git revision.
5272
5273 // Extend the signature with the language options
5274 const unsigned LanguageOptionValues[] = {
5275#define HASH_LANGOPT_Benign(Value)
5276#define HASH_LANGOPT_Compatible(Value) Value,
5277#define HASH_LANGOPT_NotCompatible(Value) Value,
5278#define LANGOPT(Name, Bits, Default, Compatibility, Description) \
5279 HASH_LANGOPT_##Compatibility(LangOpts->Name)
5280#define ENUM_LANGOPT(Name, Type, Bits, Default, Compatibility, Description) \
5281 HASH_LANGOPT_##Compatibility(static_cast<unsigned>(LangOpts->get##Name()))
5282#include "clang/Basic/LangOptions.def"
5283 };
5284#undef HASH_LANGOPT_Benign
5285#undef HASH_LANGOPT_Compatible
5286#undef HASH_LANGOPT_NotCompatible
5287 // addRangeElements preserves the HBuilder.add sequence and excludes the
5288 // LanguageOptionValues element count.
5289 HBuilder.addRangeElements(LanguageOptionValues);
5290
5291 HBuilder.addRange(getLangOpts().ModuleFeatures);
5292
5293 HBuilder.add(getLangOpts().ObjCRuntime);
5294 HBuilder.addRange(getLangOpts().CommentOpts.BlockCommandNames);
5295
5296 // Extend the signature with the target options.
5297 HBuilder.add(getTargetOpts().Triple, getTargetOpts().CPU,
5298 getTargetOpts().TuneCPU, getTargetOpts().ABI);
5299 HBuilder.addRange(getTargetOpts().FeaturesAsWritten);
5300
5301 // Extend the signature with preprocessor options.
5302 const PreprocessorOptions &ppOpts = getPreprocessorOpts();
5303 HBuilder.add(ppOpts.UsePredefines, ppOpts.DetailedRecord);
5304
5305 const HeaderSearchOptions &hsOpts = getHeaderSearchOpts();
5306 for (const auto &Macro : getPreprocessorOpts().Macros) {
5307 // If we're supposed to ignore this macro for the purposes of modules,
5308 // don't put it into the hash.
5309 if (!hsOpts.ModulesIgnoreMacros.empty()) {
5310 // Check whether we're ignoring this macro.
5311 StringRef MacroDef = Macro.first;
5312 if (hsOpts.ModulesIgnoreMacros.count(
5313 llvm::CachedHashString(MacroDef.split('=').first)))
5314 continue;
5315 }
5316
5317 HBuilder.add(Macro);
5318 }
5319
5320 // Extend the signature with the sysroot and other header search options.
5321 HBuilder.add(hsOpts.Sysroot, hsOpts.ModuleFormat, hsOpts.UseDebugInfo,
5323 hsOpts.UseStandardCXXIncludes, hsOpts.UseLibcxx,
5325 HBuilder.add(hsOpts.ResourceDir);
5326
5327 if (hsOpts.ModulesStrictContextHash) {
5328 HBuilder.addRange(hsOpts.SystemHeaderPrefixes);
5329
5330 for (const auto &UserEntry : hsOpts.UserEntries) {
5331 // If we're supposed to ignore this search path for the purposes of
5332 // modules, don't put it into the hash.
5333 if (!hsOpts.ModulesIgnoreSearchPaths.empty()) {
5334 // Check whether we're ignoring this search path.
5335 StringRef Path = UserEntry.Path;
5336 if (hsOpts.ModulesIgnoreSearchPaths.count(llvm::CachedHashString(Path)))
5337 continue;
5338 }
5339
5340 HBuilder.add(UserEntry);
5341 }
5342
5343 HBuilder.addRange(hsOpts.VFSOverlayFiles);
5344
5345 const DiagnosticOptions &diagOpts = getDiagnosticOpts();
5346#define DIAGOPT(Name, Bits, Default) HBuilder.add(diagOpts.Name);
5347#define ENUM_DIAGOPT(Name, Type, Bits, Default) \
5348 HBuilder.add(diagOpts.get##Name());
5349#include "clang/Basic/DiagnosticOptions.def"
5350#undef DIAGOPT
5351#undef ENUM_DIAGOPT
5352 }
5353
5354 // Extend the signature with the user build path.
5355 HBuilder.add(hsOpts.ModuleUserBuildPath);
5356
5357 // Extend the signature with the module file extensions.
5358 for (const auto &ext : getFrontendOpts().ModuleFileExtensions)
5359 ext->hashExtension(HBuilder);
5360
5361 // Extend the signature with the Swift version for API notes.
5363 if (!APINotesOpts.SwiftVersion.empty()) {
5364 HBuilder.add(APINotesOpts.SwiftVersion.getMajor());
5365 if (auto Minor = APINotesOpts.SwiftVersion.getMinor())
5366 HBuilder.add(*Minor);
5367 if (auto Subminor = APINotesOpts.SwiftVersion.getSubminor())
5368 HBuilder.add(*Subminor);
5369 if (auto Build = APINotesOpts.SwiftVersion.getBuild())
5370 HBuilder.add(*Build);
5371 }
5372
5373 // Extend the signature with affecting codegen options.
5374 {
5376#define CODEGENOPT(Name, Bits, Default, Compatibility) \
5377 if constexpr (CK::Compatibility != CK::Benign) \
5378 HBuilder.add(CodeGenOpts->Name);
5379#define ENUM_CODEGENOPT(Name, Type, Bits, Default, Compatibility) \
5380 if constexpr (CK::Compatibility != CK::Benign) \
5381 HBuilder.add(static_cast<unsigned>(CodeGenOpts->get##Name()));
5382#define DEBUGOPT(Name, Bits, Default, Compatibility)
5383#define VALUE_DEBUGOPT(Name, Bits, Default, Compatibility)
5384#define ENUM_DEBUGOPT(Name, Type, Bits, Default, Compatibility)
5385#include "clang/Basic/CodeGenOptions.def"
5386 }
5387
5388 // When compiling with -gmodules, also hash -fdebug-prefix-map as it
5389 // affects the debug info in the PCM.
5390 if (getCodeGenOpts().DebugTypeExtRefs)
5391 HBuilder.addRange(getCodeGenOpts().DebugPrefixMap);
5392
5393 // Extend the signature with the affecting debug options.
5394 if (getHeaderSearchOpts().ModuleFormat == "obj") {
5395 // FIXME: Replace with C++20 `using enum CodeGenOptions::CompatibilityKind`.
5397#define DEBUGOPT(Name, Bits, Default, Compatibility) \
5398 if constexpr (CK::Compatibility != CK::Benign) \
5399 HBuilder.add(CodeGenOpts->Name);
5400#define VALUE_DEBUGOPT(Name, Bits, Default, Compatibility) \
5401 if constexpr (CK::Compatibility != CK::Benign) \
5402 HBuilder.add(CodeGenOpts->Name);
5403#define ENUM_DEBUGOPT(Name, Type, Bits, Default, Compatibility) \
5404 if constexpr (CK::Compatibility != CK::Benign) \
5405 HBuilder.add(static_cast<unsigned>(CodeGenOpts->get##Name()));
5406#include "clang/Basic/DebugOptions.def"
5407 }
5408
5409 // Extend the signature with the enabled sanitizers, if at least one is
5410 // enabled. Sanitizers which cannot affect AST generation aren't hashed.
5411 SanitizerSet SanHash = getLangOpts().Sanitize;
5413 if (!SanHash.empty())
5414 HBuilder.add(SanHash.Mask);
5415
5416 llvm::MD5::MD5Result Result;
5417 HBuilder.getHasher().final(Result);
5418 uint64_t Hash = Result.high() ^ Result.low();
5419 return toString(llvm::APInt(64, Hash), 36, /*Signed=*/false);
5420}
5421
5423 llvm::function_ref<VisitMutResult(StringRef, std::string &)> Cb) {
5424 std::string NewValue;
5425
5426#define RETURN_IF(OPTS, PATH) \
5427 do { \
5428 VisitMutResult Res = Cb(PATH, NewValue); \
5429 if (Res.Replace) { \
5430 (void)ensureOwned(OPTS); \
5431 PATH.clear(); \
5432 std::swap(PATH, NewValue); \
5433 } \
5434 if (Res.Terminate) \
5435 return; \
5436 } while (0)
5437
5438#define RETURN_IF_MANY(OPTS, PATHS) \
5439 do { \
5440 for (unsigned I = 0, E = PATHS.size(); I != E; ++I) \
5441 RETURN_IF(OPTS, PATHS[I]); \
5442 } while (0)
5443
5444 // Header search paths.
5445 RETURN_IF(HSOpts, HSOpts->Sysroot);
5446 for (auto &Entry : HSOpts->UserEntries)
5447 if (Entry.IgnoreSysRoot)
5448 RETURN_IF(HSOpts, Entry.Path);
5449 RETURN_IF(HSOpts, HSOpts->ResourceDir);
5450 RETURN_IF(HSOpts, HSOpts->ModuleCachePath);
5451 RETURN_IF(HSOpts, HSOpts->ModuleUserBuildPath);
5452 for (auto &[Name, File] : HSOpts->PrebuiltModuleFiles)
5454 RETURN_IF_MANY(HSOpts, HSOpts->PrebuiltModulePaths);
5455 RETURN_IF_MANY(HSOpts, HSOpts->VFSOverlayFiles);
5456
5457 // Preprocessor options.
5458 RETURN_IF_MANY(PPOpts, PPOpts->MacroIncludes);
5459 RETURN_IF_MANY(PPOpts, PPOpts->Includes);
5460 RETURN_IF(PPOpts, PPOpts->ImplicitPCHInclude);
5461
5462 // Frontend options.
5463 for (auto &Input : FrontendOpts->Inputs) {
5464 if (Input.isBuffer())
5465 continue;
5466
5467 RETURN_IF(FrontendOpts, Input.File);
5468 }
5469 // TODO: Also report output files such as FrontendOpts->OutputFile;
5470 RETURN_IF(FrontendOpts, FrontendOpts->CodeCompletionAt.FileName);
5471 RETURN_IF_MANY(FrontendOpts, FrontendOpts->ModuleMapFiles);
5473 RETURN_IF_MANY(FrontendOpts, FrontendOpts->ModulesEmbedFiles);
5474 RETURN_IF_MANY(FrontendOpts, FrontendOpts->ASTMergeFiles);
5475 RETURN_IF(FrontendOpts, FrontendOpts->OverrideRecordLayoutsFile);
5476 RETURN_IF(FrontendOpts, FrontendOpts->StatsFile);
5477
5478 // Filesystem options.
5479 RETURN_IF(FSOpts, FSOpts->WorkingDir);
5480
5481 // Codegen options.
5482 RETURN_IF(CodeGenOpts, CodeGenOpts->DebugCompilationDir);
5483 RETURN_IF(CodeGenOpts, CodeGenOpts->CoverageCompilationDir);
5484
5485 // Sanitizer options.
5486 RETURN_IF_MANY(LangOpts, LangOpts->NoSanitizeFiles);
5487
5488 // Coverage mappings.
5489 RETURN_IF(CodeGenOpts, CodeGenOpts->ProfileInstrumentUsePath);
5490 RETURN_IF(CodeGenOpts, CodeGenOpts->SampleProfileFile);
5491 RETURN_IF(CodeGenOpts, CodeGenOpts->ProfileRemappingFile);
5492
5493 // Dependency output options.
5494 for (auto &ExtraDep : DependencyOutputOpts->ExtraDeps)
5495 RETURN_IF(DependencyOutputOpts, ExtraDep.first);
5496}
5497
5499 llvm::function_ref<VisitConstResult(StringRef)> Cb) const {
5500 // The const_cast here is OK, because our callback never tries to modify.
5501 return const_cast<CowCompilerInvocation *>(this)->visitMutPaths(
5502 [&Cb](StringRef Path, std::string &) { return Cb(Path); });
5503}
5504
5506 ArgumentConsumer Consumer) const {
5507 llvm::Triple T(getTargetOpts().Triple);
5508
5512 GenerateSSAFArgs(getSSAFOpts(), Consumer);
5513 GenerateDiagnosticArgs(getDiagnosticOpts(), Consumer,
5514 /*DefaultDiagColor=*/false);
5515 GenerateFrontendArgs(getFrontendOpts(), Consumer, getLangOpts().IsHeaderFile);
5516 GenerateTargetArgs(getTargetOpts(), Consumer);
5520 GenerateLangArgs(getLangOpts(), Consumer, T, getFrontendOpts().DashX);
5521 GenerateCodeGenArgs(getCodeGenOpts(), Consumer, T,
5522 getFrontendOpts().OutputFile, &getLangOpts());
5526 getFrontendOpts().ProgramAction);
5528}
5529
5530std::vector<std::string> CompilerInvocationBase::getCC1CommandLine() const {
5531 std::vector<std::string> Args{"-cc1"};
5533 [&Args](const Twine &Arg) { Args.push_back(Arg.str()); });
5534 return Args;
5535}
5536
5542
5544 getLangOpts().ImplicitModules = false;
5549 // The specific values we canonicalize to for pruning don't affect behaviour,
5550 /// so use the default values so they may be dropped from the command-line.
5551 getHeaderSearchOpts().ModuleCachePruneInterval = 7 * 24 * 60 * 60;
5552 getHeaderSearchOpts().ModuleCachePruneAfter = 31 * 24 * 60 * 60;
5553}
5554
5557 DiagnosticsEngine &Diags) {
5558 return createVFSFromCompilerInvocation(CI, Diags,
5559 llvm::vfs::getRealFileSystem());
5560}
5561
5569
5571 ArrayRef<std::string> VFSOverlayFiles, DiagnosticsEngine &Diags,
5573 if (VFSOverlayFiles.empty())
5574 return BaseFS;
5575
5577 // earlier vfs files are on the bottom
5578 for (const auto &File : VFSOverlayFiles) {
5579 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> Buffer =
5580 Result->getBufferForFile(File);
5581 if (!Buffer) {
5582 Diags.Report(diag::err_missing_vfs_overlay_file) << File;
5583 continue;
5584 }
5585
5586 IntrusiveRefCntPtr<llvm::vfs::FileSystem> FS = llvm::vfs::getVFSFromYAML(
5587 std::move(Buffer.get()), /*DiagHandler*/ nullptr, File,
5588 /*DiagContext*/ nullptr, Result);
5589 if (!FS) {
5590 Diags.Report(diag::err_invalid_vfs_overlay) << File;
5591 continue;
5592 }
5593
5594 Result = FS;
5595 }
5596 return Result;
5597}
#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.
std::string SaveDynDbgTempsFilePrefix
Prefix to use for -save-dynamic-debugging-temps output.
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:907
bool isIgnored(unsigned DiagID, SourceLocation Loc) const
Determine whether the diagnostic is known to be ignored.
Definition Diagnostic.h:972
unsigned getNumWarnings() const
Definition Diagnostic.h:908
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 by implicitly-built modules.
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)
llvm::SmallSetVector< llvm::CachedHashString, 16 > ModulesIgnoreSearchPaths
The set of header search paths that should be ignored by implicitly-built modules.
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.
AMDGPUFeatureState AMDGPUSramEccState
AMDGPU sramecc setting from -msramecc/-mno-sramecc.
llvm::VersionTuple DarwinTargetVariantSDKVersion
The version of the darwin target variant SDK which was used during the compilation.
AMDGPUFeatureState AMDGPUXnackState
AMDGPU xnack setting from -mxnack/-mno-xnack.
std::string HostTriple
When compiling for the device side, contains the triple used to compile for the host.
@ Enabled
Feature explicitly enabled.
@ Disabled
Feature explicitly disabled.
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.
@ 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:1485
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
Top level wrappers for InstallAPI frontend operations.
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)
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:906
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
const FunctionProtoType * T
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:45
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