Skip to content

Commit

Permalink
When the compiler crashes, the compiler driver now produces diagnosti…
Browse files Browse the repository at this point in the history
…c information

including the fully preprocessed source file(s) and command line arguments.  The 
developer is asked to attach this diagnostic information to a bug report.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@135614 91177308-0d34-0410-b5e6-96231b3b80d8
  • Loading branch information
Chad Rosier committed Jul 20, 2011
1 parent 66488ed commit 2da13b1
Show file tree
Hide file tree
Showing 11 changed files with 170 additions and 18 deletions.
3 changes: 3 additions & 0 deletions include/clang/Basic/DiagnosticDriverKinds.td
Original file line number Diff line number Diff line change
Expand Up @@ -123,4 +123,7 @@ def warn_drv_objc_gc_unsupported : Warning<
def warn_drv_pch_not_first_include : Warning<
"precompiled header '%0' was ignored because '%1' is not first '-include'">;

def note_drv_command_failed_diag_msg : Note<
"diagnostic msg: %0">;

}
11 changes: 11 additions & 0 deletions include/clang/Driver/ArgList.h
Original file line number Diff line number Diff line change
Expand Up @@ -149,6 +149,13 @@ namespace driver {
return arg_iterator(Args.end(), *this);
}

/// @}
/// @name Arg Removal
/// @{

/// eraseArg - Remove any option matching \arg Id.
void eraseArg(OptSpecifier Id);

/// @}
/// @name Arg Access
/// @{
Expand Down Expand Up @@ -242,6 +249,10 @@ namespace driver {
/// option id.
void ClaimAllArgs(OptSpecifier Id0) const;

/// ClaimAllArgs - Claim all arguments.
///
void ClaimAllArgs() const;

/// @}
/// @name Arg Synthesis
/// @{
Expand Down
9 changes: 9 additions & 0 deletions include/clang/Driver/Compilation.h
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@
#include "clang/Driver/Job.h"
#include "clang/Driver/Util.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/Support/Path.h"

namespace clang {
namespace driver {
Expand Down Expand Up @@ -55,6 +56,9 @@ class Compilation {
/// Result files which should be removed on failure.
ArgStringList ResultFiles;

/// Redirection for stdout, stderr, etc.
const llvm::sys::Path **Redirects;

public:
Compilation(const Driver &D, const ToolChain &DefaultToolChain,
InputArgList *Args, DerivedArgList *TranslatedArgs);
Expand Down Expand Up @@ -131,6 +135,11 @@ class Compilation {
/// Command which failed.
/// \return The accumulated result code of the job.
int ExecuteJob(const Job &J, const Command *&FailingCommand) const;

/// initCompilationForDiagnostics - Remove stale state and suppress output
/// so compilation can be reexecuted to generate additional diagnostic
/// information (e.g., preprocessed source(s)).
void initCompilationForDiagnostics();
};

} // end namespace driver
Expand Down
13 changes: 12 additions & 1 deletion include/clang/Driver/Driver.h
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,7 @@ namespace clang {
namespace driver {
class Action;
class ArgList;
class Command;
class Compilation;
class DerivedArgList;
class HostInfo;
Expand Down Expand Up @@ -133,6 +134,9 @@ class Driver {
/// format.
unsigned CCLogDiagnostics : 1;

/// Whether the driver is generating diagnostics for debugging purposes.
unsigned CCGenDiagnostics : 1;

private:
/// Name to use when invoking gcc/g++.
std::string CCCGenericGCCName;
Expand Down Expand Up @@ -262,7 +266,14 @@ class Driver {
/// This routine handles additional processing that must be done in addition
/// to just running the subprocesses, for example reporting errors, removing
/// temporary files, etc.
int ExecuteCompilation(const Compilation &C) const;
int ExecuteCompilation(const Compilation &C,
const Command *&FailingCommand) const;

/// generateCompilationDiagnostics - Generate diagnostics information
/// including preprocessed source file(s).
///
void generateCompilationDiagnostics(Compilation &C,
const Command *FailingCommand);

/// @}
/// @name Helper Methods
Expand Down
3 changes: 3 additions & 0 deletions include/clang/Driver/Job.h
Original file line number Diff line number Diff line change
Expand Up @@ -97,6 +97,9 @@ class JobList : public Job {
/// Add a job to the list (taking ownership).
void addJob(Job *J) { Jobs.push_back(J); }

/// Clear the job list.
void clear();

const list_type &getJobs() const { return Jobs; }

size_type size() const { return Jobs.size(); }
Expand Down
16 changes: 16 additions & 0 deletions lib/Driver/ArgList.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,16 @@ void ArgList::append(Arg *A) {
Args.push_back(A);
}

void ArgList::eraseArg(OptSpecifier Id) {
for (iterator it = begin(), ie = end(); it != ie; ++it) {
if ((*it)->getOption().matches(Id)) {
Args.erase(it);
it = begin();
ie = end();
}
}
}

Arg *ArgList::getLastArgNoClaim(OptSpecifier Id) const {
// FIXME: Make search efficient?
for (const_reverse_iterator it = rbegin(), ie = rend(); it != ie; ++it)
Expand Down Expand Up @@ -192,6 +202,12 @@ void ArgList::ClaimAllArgs(OptSpecifier Id0) const {
(*it)->claim();
}

void ArgList::ClaimAllArgs() const {
for (const_iterator it = begin(), ie = end(); it != ie; ++it)
if (!(*it)->isClaimed())
(*it)->claim();
}

const char *ArgList::MakeArgString(const llvm::Twine &T) const {
llvm::SmallString<256> Str;
T.toVector(Str);
Expand Down
39 changes: 35 additions & 4 deletions lib/Driver/Compilation.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ using namespace clang::driver;
Compilation::Compilation(const Driver &D, const ToolChain &_DefaultToolChain,
InputArgList *_Args, DerivedArgList *_TranslatedArgs)
: TheDriver(D), DefaultToolChain(_DefaultToolChain), Args(_Args),
TranslatedArgs(_TranslatedArgs) {
TranslatedArgs(_TranslatedArgs), Redirects(0) {
}

Compilation::~Compilation() {
Expand All @@ -43,6 +43,13 @@ Compilation::~Compilation() {
for (ActionList::iterator it = Actions.begin(), ie = Actions.end();
it != ie; ++it)
delete *it;

// Free redirections of stdout/stderr.
if (Redirects) {
delete Redirects[1];
delete Redirects[2];
delete Redirects;
}
}

const DerivedArgList &Compilation::getArgsForToolChain(const ToolChain *TC,
Expand Down Expand Up @@ -135,8 +142,8 @@ int Compilation::ExecuteCommand(const Command &C,
std::copy(C.getArguments().begin(), C.getArguments().end(), Argv+1);
Argv[C.getArguments().size() + 1] = 0;

if (getDriver().CCCEcho || getDriver().CCPrintOptions ||
getArgs().hasArg(options::OPT_v)) {
if ((getDriver().CCCEcho || getDriver().CCPrintOptions ||
getArgs().hasArg(options::OPT_v)) && !getDriver().CCGenDiagnostics) {
llvm::raw_ostream *OS = &llvm::errs();

// Follow gcc implementation of CC_PRINT_OPTIONS; we could also cache the
Expand Down Expand Up @@ -167,7 +174,7 @@ int Compilation::ExecuteCommand(const Command &C,
std::string Error;
int Res =
llvm::sys::Program::ExecuteAndWait(Prog, Argv,
/*env*/0, /*redirects*/0,
/*env*/0, Redirects,
/*secondsToWait*/0, /*memoryLimit*/0,
&Error);
if (!Error.empty()) {
Expand Down Expand Up @@ -195,3 +202,27 @@ int Compilation::ExecuteJob(const Job &J,
return 0;
}
}

void Compilation::initCompilationForDiagnostics(void) {
// Free actions and jobs, if built.
for (ActionList::iterator it = Actions.begin(), ie = Actions.end();
it != ie; ++it)
delete *it;
Actions.clear();
Jobs.clear();

// Clear temporary and results file lists.
TempFiles.clear();
ResultFiles.clear();

// Remove any user specified output. Claim any unclaimed arguments, so as
// to avoid emitting warnings about unused args.
if (TranslatedArgs->hasArg(options::OPT_o))
TranslatedArgs->eraseArg(options::OPT_o);
TranslatedArgs->ClaimAllArgs();

// Redirect stdout/stderr to /dev/null.
Redirects = new const llvm::sys::Path*[3]();
Redirects[1] = new const llvm::sys::Path();
Redirects[2] = new const llvm::sys::Path();
}
74 changes: 65 additions & 9 deletions lib/Driver/Driver.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -60,9 +60,9 @@ Driver::Driver(llvm::StringRef ClangExecutable,
CCLogDiagnosticsFilename(0), CCCIsCXX(false),
CCCIsCPP(false),CCCEcho(false), CCCPrintBindings(false),
CCPrintOptions(false), CCPrintHeaders(false), CCLogDiagnostics(false),
CCCGenericGCCName(""), CheckInputsExist(true), CCCUseClang(true),
CCCUseClangCXX(true), CCCUseClangCPP(true), CCCUsePCH(true),
SuppressMissingInputWarning(false) {
CCGenDiagnostics(false), CCCGenericGCCName(""), CheckInputsExist(true),
CCCUseClang(true), CCCUseClangCXX(true), CCCUseClangCPP(true),
CCCUsePCH(true), SuppressMissingInputWarning(false) {
if (IsProduction) {
// In a "production" build, only use clang on architectures we expect to
// work, and don't use clang C++.
Expand Down Expand Up @@ -313,18 +313,73 @@ Compilation *Driver::BuildCompilation(llvm::ArrayRef<const char *> ArgList) {
return C;
}

int Driver::ExecuteCompilation(const Compilation &C) const {
// When clang crashes, produce diagnostic information including the fully
// preprocessed source file(s). Request that the developer attach the
// diagnostic information to a bug report.
void Driver::generateCompilationDiagnostics(Compilation &C,
const Command *FailingCommand) {
Diag(clang::diag::note_drv_command_failed_diag_msg)
<< "Please submit a bug report to " BUG_REPORT_URL " and include command"
" line arguments and all diagnostic information.";

// Suppress driver output and emit preprocessor output to temp file.
CCCIsCPP = true;
CCGenDiagnostics = true;

// Clear stale state and suppress tool output.
C.initCompilationForDiagnostics();

// Construct the list of abstract actions to perform for this compilation.
Diags.Reset();
if (Host->useDriverDriver())
BuildUniversalActions(C.getDefaultToolChain(), C.getArgs(),
C.getActions());
else
BuildActions(C.getDefaultToolChain(), C.getArgs(), C.getActions());

BuildJobs(C);

// If there were errors building the compilation, quit now.
if (Diags.hasErrorOccurred()) {
Diag(clang::diag::note_drv_command_failed_diag_msg)
<< "Error generating preprocessed source(s).";
return;
}

// Generate preprocessed output.
FailingCommand = 0;
int Res = C.ExecuteJob(C.getJobs(), FailingCommand);

// If the command succeeded, we are done.
if (Res == 0) {
Diag(clang::diag::note_drv_command_failed_diag_msg)
<< "Preprocessed source(s) are located at:";
ArgStringList Files = C.getTempFiles();
for (ArgStringList::const_iterator it = Files.begin(), ie = Files.end();
it != ie; ++it)
Diag(clang::diag::note_drv_command_failed_diag_msg) << *it;
} else {
// Failure, remove preprocessed files.
if (!C.getArgs().hasArg(options::OPT_save_temps))
C.CleanupFileList(C.getTempFiles(), true);

Diag(clang::diag::note_drv_command_failed_diag_msg)
<< "Error generating preprocessed source(s).";
}
}

int Driver::ExecuteCompilation(const Compilation &C,
const Command *&FailingCommand) const {
// Just print if -### was present.
if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
C.PrintJob(llvm::errs(), C.getJobs(), "\n", true);
return 0;
}

// If there were errors building the compilation, quit now.
if (getDiags().hasErrorOccurred())
if (Diags.hasErrorOccurred())
return 1;

const Command *FailingCommand = 0;
int Res = C.ExecuteJob(C.getJobs(), FailingCommand);

// Remove temp files.
Expand Down Expand Up @@ -1198,7 +1253,7 @@ void Driver::BuildJobsForAction(Compilation &C,
A->getType(), BaseInput);
}

if (CCCPrintBindings) {
if (CCCPrintBindings && !CCGenDiagnostics) {
llvm::errs() << "# \"" << T.getToolChain().getTripleString() << '"'
<< " - \"" << T.getName() << "\", inputs: [";
for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
Expand All @@ -1225,11 +1280,12 @@ const char *Driver::GetNamedOutputPath(Compilation &C,
}

// Default to writing to stdout?
if (AtTopLevel && isa<PreprocessJobAction>(JA))
if (AtTopLevel && isa<PreprocessJobAction>(JA) && !CCGenDiagnostics)
return "-";

// Output to a temporary file?
if (!AtTopLevel && !C.getArgs().hasArg(options::OPT_save_temps)) {
if ((!AtTopLevel && !C.getArgs().hasArg(options::OPT_save_temps)) ||
CCGenDiagnostics) {
std::string TmpName =
GetTemporaryPath(types::getTypeTempSuffix(JA.getType()));
return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
Expand Down
6 changes: 6 additions & 0 deletions lib/Driver/Job.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,12 @@ JobList::~JobList() {
delete *it;
}

void JobList::clear() {
for (iterator it = begin(), ie = end(); it != ie; ++it)
delete *it;
Jobs.clear();
}

void Job::addCommand(Command *C) {
cast<JobList>(this)->addJob(C);
}
Expand Down
4 changes: 2 additions & 2 deletions lib/Driver/Tools.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -1376,15 +1376,15 @@ void Clang::ConstructJob(Compilation &C, const JobAction &JA,

Args.AddAllArgs(CmdArgs, options::OPT_v);
Args.AddLastArg(CmdArgs, options::OPT_H);
if (D.CCPrintHeaders) {
if (D.CCPrintHeaders && !D.CCGenDiagnostics) {
CmdArgs.push_back("-header-include-file");
CmdArgs.push_back(D.CCPrintHeadersFilename ?
D.CCPrintHeadersFilename : "-");
}
Args.AddLastArg(CmdArgs, options::OPT_P);
Args.AddLastArg(CmdArgs, options::OPT_print_ivar_layout);

if (D.CCLogDiagnostics) {
if (D.CCLogDiagnostics && !D.CCGenDiagnostics) {
CmdArgs.push_back("-diagnostic-log-file");
CmdArgs.push_back(D.CCLogDiagnosticsFilename ?
D.CCLogDiagnosticsFilename : "-");
Expand Down
10 changes: 8 additions & 2 deletions tools/driver/driver.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -458,9 +458,15 @@ int main(int argc_, const char **argv_) {

llvm::OwningPtr<Compilation> C(TheDriver.BuildCompilation(argv));
int Res = 0;
const Command *FailingCommand = 0;
if (C.get())
Res = TheDriver.ExecuteCompilation(*C);

Res = TheDriver.ExecuteCompilation(*C, FailingCommand);

// If result status is < 0, then the driver command signalled an error.
// In this case, generate additional diagnostic information if possible.
if (Res < 0)
TheDriver.generateCompilationDiagnostics(*C, FailingCommand);

// If any timers were active but haven't been destroyed yet, print their
// results now. This happens in -disable-free mode.
llvm::TimerGroup::printAll(llvm::errs());
Expand Down

0 comments on commit 2da13b1

Please sign in to comment.