163a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl//===--- Warnings.cpp - C-Language Front-end ------------------------------===// 263a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// 363a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// The LLVM Compiler Infrastructure 463a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// 563a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// This file is distributed under the University of Illinois Open Source 663a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// License. See LICENSE.TXT for details. 763a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// 863a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl//===----------------------------------------------------------------------===// 963a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// 1063a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// Command line warning options handler. 1163a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// 1263a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl//===----------------------------------------------------------------------===// 1363a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// 1463a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// This file is responsible for handling all warning options. This includes 1563a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// a number of -Wfoo options and their variants, which are driven by TableGen- 16a3b089e062133bdc0e5c39ea03f8b78230953f6cChris Lattner// generated data, and the special cases -pedantic, -pedantic-errors, -w, 17a3b089e062133bdc0e5c39ea03f8b78230953f6cChris Lattner// -Werror and -Wfatal-errors. 1863a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// 19c5613db921c87067660b262af379b38a2791e412Sebastian Redl// Each warning option controls any number of actual warnings. 2063a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// Given a warning option 'foo', the following are valid: 21a3b089e062133bdc0e5c39ea03f8b78230953f6cChris Lattner// -Wfoo, -Wno-foo, -Werror=foo, -Wfatal-errors=foo 2263a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl// 23b09f6e15c59b89d5820db8ef40598eb1d1323c1fEli Friedman#include "clang/Frontend/Utils.h" 2463a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl#include "clang/Basic/Diagnostic.h" 2563a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl#include "clang/Sema/SemaDiagnostic.h" 2663a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl#include "clang/Lex/LexDiagnostic.h" 276907943901e0aae5be7618c36c0f8275634e6ab5Daniel Dunbar#include "clang/Frontend/DiagnosticOptions.h" 288ea841b1152308ae11c23a7836dead36e47d96e3Chris Lattner#include "clang/Frontend/FrontendDiagnostic.h" 29ac8d6298a8ae9276412d8c054957dfa65a69eb14Eli Friedman#include <cstring> 3063a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl#include <utility> 3163a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl#include <algorithm> 3263a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redlusing namespace clang; 3363a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl 34588e83bf3e998d79d3acc7c7179ca466787f72ccChad Rosier// EmitUnknownDiagWarning - Emit a warning and typo hint for unknown warning 35588e83bf3e998d79d3acc7c7179ca466787f72ccChad Rosier// opts 3699643d951e56359c1bead5ce70be3883a06b520aChad Rosierstatic void EmitUnknownDiagWarning(DiagnosticsEngine &Diags, 37dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer StringRef Prefix, StringRef Opt, 38dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer bool isPositive) { 39dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer StringRef Suggestion = DiagnosticIDs::getNearestWarningOption(Opt); 40dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer if (!Suggestion.empty()) 41dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer Diags.Report(isPositive? diag::warn_unknown_warning_option_suggest : 42dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer diag::warn_unknown_negative_warning_option_suggest) 43dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer << (Prefix.str() += Opt) << (Prefix.str() += Suggestion); 44dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer else 45dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer Diags.Report(isPositive? diag::warn_unknown_warning_option : 46dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer diag::warn_unknown_negative_warning_option) 47dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer << (Prefix.str() += Opt); 48dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer} 49dce6327160a6e333137b34cce77e2dfc2cd5aab6Benjamin Kramer 50d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikievoid clang::ProcessWarningOptions(DiagnosticsEngine &Diags, 516907943901e0aae5be7618c36c0f8275634e6ab5Daniel Dunbar const DiagnosticOptions &Opts) { 5227ceb9d77d929f02a8a811d189a96885629c7c0cChris Lattner Diags.setSuppressSystemWarnings(true); // Default to -Wno-system-headers 536907943901e0aae5be7618c36c0f8275634e6ab5Daniel Dunbar Diags.setIgnoreAllWarnings(Opts.IgnoreWarnings); 545edbdcc62098e305cd55654814dcf783a3f3c477Jeffrey Yasskin Diags.setShowOverloads( 55d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie static_cast<DiagnosticsEngine::OverloadsShown>(Opts.ShowOverloads)); 56c100214fdc41a7ea215f75d433eb1cb829fd4330Chris Lattner 57c100214fdc41a7ea215f75d433eb1cb829fd4330Chris Lattner // Handle -ferror-limit 58c100214fdc41a7ea215f75d433eb1cb829fd4330Chris Lattner if (Opts.ErrorLimit) 59c100214fdc41a7ea215f75d433eb1cb829fd4330Chris Lattner Diags.setErrorLimit(Opts.ErrorLimit); 60575cf3791216c33770ba950430493cdd43099f8fDouglas Gregor if (Opts.TemplateBacktraceLimit) 61575cf3791216c33770ba950430493cdd43099f8fDouglas Gregor Diags.setTemplateBacktraceLimit(Opts.TemplateBacktraceLimit); 6208d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith if (Opts.ConstexprBacktraceLimit) 6308d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith Diags.setConstexprBacktraceLimit(Opts.ConstexprBacktraceLimit); 6463a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl 65b54b276a920246c595a0498da281821eb9d22996Chris Lattner // If -pedantic or -pedantic-errors was specified, then we want to map all 66b54b276a920246c595a0498da281821eb9d22996Chris Lattner // extension diagnostics onto WARNING or ERROR unless the user has futz'd 67b54b276a920246c595a0498da281821eb9d22996Chris Lattner // around with them explicitly. 686907943901e0aae5be7618c36c0f8275634e6ab5Daniel Dunbar if (Opts.PedanticErrors) 69d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie Diags.setExtensionHandlingBehavior(DiagnosticsEngine::Ext_Error); 706907943901e0aae5be7618c36c0f8275634e6ab5Daniel Dunbar else if (Opts.Pedantic) 71d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie Diags.setExtensionHandlingBehavior(DiagnosticsEngine::Ext_Warn); 72b54b276a920246c595a0498da281821eb9d22996Chris Lattner else 73d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikie Diags.setExtensionHandlingBehavior(DiagnosticsEngine::Ext_Ignore); 741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier llvm::SmallVector<diag::kind, 10> _Diags; 76c93dc7889644293e318e19d82830ea2acc45b678Dylan Noblesmith const IntrusiveRefCntPtr< DiagnosticIDs > DiagIDs = 7705272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Diags.getDiagnosticIDs(); 7805272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // We parse the warning options twice. The first pass sets diagnostic state, 7905272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // while the second pass reports warnings/errors. This has the effect that 8005272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // we follow the more canonical "last option wins" paradigm when there are 8105272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // conflicting options. 8205272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier for (unsigned Report = 0, ReportEnd = 2; Report != ReportEnd; ++Report) { 8305272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier bool SetDiagnostic = (Report == 0); 8405272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier for (unsigned i = 0, e = Opts.Warnings.size(); i != e; ++i) { 8505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier StringRef Opt = Opts.Warnings[i]; 861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 87c8769460f1c03bc321b00f5611f9965e8385e64dHans Wennborg // Treat -Wformat=0 as an alias for -Wno-format. 88c8769460f1c03bc321b00f5611f9965e8385e64dHans Wennborg if (Opt == "format=0") 89c8769460f1c03bc321b00f5611f9965e8385e64dHans Wennborg Opt = "no-format"; 90c8769460f1c03bc321b00f5611f9965e8385e64dHans Wennborg 9105272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // Check to see if this warning starts with "no-", if so, this is a 9205272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // negative form of the option. 9305272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier bool isPositive = true; 9405272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Opt.startswith("no-")) { 9505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier isPositive = false; 9605272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Opt = Opt.substr(3); 975147e8e0186ec7d4c2c2aeb348c0354c1c3302f9Chris Lattner } 981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9905272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // Figure out how this option affects the warning. If -Wfoo, map the 10005272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // diagnostic to a warning, if -Wno-foo, map it to ignore. 10105272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier diag::Mapping Mapping = isPositive ? diag::MAP_WARNING : diag::MAP_IGNORE; 10205272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier 10305272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // -Wsystem-headers is a special case, not driven by the option table. It 10405272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // cannot be controlled with -Werror. 10505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Opt == "system-headers") { 10605272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (SetDiagnostic) 10705272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Diags.setSuppressSystemWarnings(!isPositive); 1085147e8e0186ec7d4c2c2aeb348c0354c1c3302f9Chris Lattner continue; 10963a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl } 11005272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier 11105272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // -Weverything is a special case as well. It implicitly enables all 11205272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // warnings, including ones not explicitly in a warning group. 11305272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Opt == "everything") { 11411583c757bac6ce5c342f2eb572055dd2619a657Argyrios Kyrtzidis if (SetDiagnostic) { 11511583c757bac6ce5c342f2eb572055dd2619a657Argyrios Kyrtzidis if (isPositive) { 11611583c757bac6ce5c342f2eb572055dd2619a657Argyrios Kyrtzidis Diags.setEnableAllWarnings(true); 11711583c757bac6ce5c342f2eb572055dd2619a657Argyrios Kyrtzidis } else { 11811583c757bac6ce5c342f2eb572055dd2619a657Argyrios Kyrtzidis Diags.setEnableAllWarnings(false); 11911583c757bac6ce5c342f2eb572055dd2619a657Argyrios Kyrtzidis Diags.setMappingToAllDiagnostics(diag::MAP_IGNORE); 12011583c757bac6ce5c342f2eb572055dd2619a657Argyrios Kyrtzidis } 12111583c757bac6ce5c342f2eb572055dd2619a657Argyrios Kyrtzidis } 12205272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier continue; 1234aa8f2bce0f498152d624f748712a991adc23fddDaniel Dunbar } 12405272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier 12505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // -Werror/-Wno-error is a special case, not controlled by the option 12605272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // table. It also has the "specifier" form of -Werror=foo and -Werror-foo. 12705272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Opt.startswith("error")) { 12805272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier StringRef Specifier; 12905272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Opt.size() > 5) { // Specifier must be present. 13005272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if ((Opt[5] != '=' && Opt[5] != '-') || Opt.size() == 6) { 13105272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Report) 13205272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Diags.Report(diag::warn_unknown_warning_specifier) 13305272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier << "-Werror" << ("-W" + Opt.str()); 13405272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier continue; 13505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } 13605272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Specifier = Opt.substr(6); 13705272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } 13805272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier 13905272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Specifier.empty()) { 14005272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (SetDiagnostic) 14105272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Diags.setWarningsAsErrors(isPositive); 142e663c720063fc9ff9f75bcbe38cd070c73c78b0eChris Lattner continue; 143e663c720063fc9ff9f75bcbe38cd070c73c78b0eChris Lattner } 14405272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier 14505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (SetDiagnostic) { 14605272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // Set the warning as error flag for this specifier. 14705272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Diags.setDiagnosticGroupWarningAsError(Specifier, isPositive); 14805272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } else if (DiagIDs->getDiagnosticsInGroup(Specifier, _Diags)) { 1494e969445d3ae80f8c6283bd94323223bf26701dcBenjamin Kramer EmitUnknownDiagWarning(Diags, "-Werror=", Specifier, isPositive); 15005272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } 15105272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier continue; 152e663c720063fc9ff9f75bcbe38cd070c73c78b0eChris Lattner } 15305272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier 15405272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // -Wfatal-errors is yet another special case. 15505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Opt.startswith("fatal-errors")) { 15605272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier StringRef Specifier; 15705272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Opt.size() != 12) { 15805272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if ((Opt[12] != '=' && Opt[12] != '-') || Opt.size() == 13) { 15905272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Report) 16005272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Diags.Report(diag::warn_unknown_warning_specifier) 16105272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier << "-Wfatal-errors" << ("-W" + Opt.str()); 16205272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier continue; 16305272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } 16405272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Specifier = Opt.substr(13); 16505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } 166e663c720063fc9ff9f75bcbe38cd070c73c78b0eChris Lattner 16705272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (Specifier.empty()) { 16805272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (SetDiagnostic) 16905272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Diags.setErrorsAsFatal(isPositive); 17005272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier continue; 17105272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } 17205272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier 17305272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier if (SetDiagnostic) { 17405272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier // Set the error as fatal flag for this specifier. 17505272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Diags.setDiagnosticGroupErrorAsFatal(Specifier, isPositive); 17605272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } else if (DiagIDs->getDiagnosticsInGroup(Specifier, _Diags)) { 1774e969445d3ae80f8c6283bd94323223bf26701dcBenjamin Kramer EmitUnknownDiagWarning(Diags, "-Wfatal-errors=", Specifier, 1784e969445d3ae80f8c6283bd94323223bf26701dcBenjamin Kramer isPositive); 17905272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } 180e663c720063fc9ff9f75bcbe38cd070c73c78b0eChris Lattner continue; 181e663c720063fc9ff9f75bcbe38cd070c73c78b0eChris Lattner } 18205272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier 183496cc8eae2c69b8fd36a2b3e815dd0e8207ec493Chad Rosier if (Report) { 184496cc8eae2c69b8fd36a2b3e815dd0e8207ec493Chad Rosier if (DiagIDs->getDiagnosticsInGroup(Opt, _Diags)) 18599643d951e56359c1bead5ce70be3883a06b520aChad Rosier EmitUnknownDiagWarning(Diags, "-W", Opt, isPositive); 18605272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier } else { 18705272a659437fc6ec7fa5a7c3f3fc6eb220a6fa2Chad Rosier Diags.setDiagnosticGroupMapping(Opt, Mapping); 1884aa8f2bce0f498152d624f748712a991adc23fddDaniel Dunbar } 1894aa8f2bce0f498152d624f748712a991adc23fddDaniel Dunbar } 19063a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl } 19163a9e0ff79f01a542afaf9b912e3dee3d395ebc5Sebastian Redl} 192