Index: lib/CodeGen/CodeGenAction.cpp =================================================================== --- lib/CodeGen/CodeGenAction.cpp +++ lib/CodeGen/CodeGenAction.cpp @@ -434,13 +434,16 @@ FileManager &FileMgr = SourceMgr.getFileManager(); StringRef Filename; unsigned Line, Column; - D.getLocation(&Filename, &Line, &Column); SourceLocation DILoc; - const FileEntry *FE = FileMgr.getFile(Filename); - if (FE && Line > 0) { - // If -gcolumn-info was not used, Column will be 0. This upsets the - // source manager, so pass 1 if Column is not set. - DILoc = SourceMgr.translateFileLineCol(FE, Line, Column ? Column : 1); + + if (D.isLocationAvailable()) { + D.getLocation(&Filename, &Line, &Column); + const FileEntry *FE = FileMgr.getFile(Filename); + if (FE && Line > 0) { + // If -gcolumn-info was not used, Column will be 0. This upsets the + // source manager, so pass 1 if Column is not set. + DILoc = SourceMgr.translateFileLineCol(FE, Line, Column ? Column : 1); + } } // If a location isn't available, try to approximate it using the associated @@ -455,7 +458,7 @@ << AddFlagValue(D.getPassName() ? D.getPassName() : "") << D.getMsg().str(); - if (DILoc.isInvalid()) + if (DILoc.isInvalid() && D.isLocationAvailable()) // If we were not able to translate the file:line:col information // back to a SourceLocation, at least emit a note stating that // we could not translate this location. This can happen in the Index: test/Misc/backend-optimization-failure-nodbg.cpp =================================================================== --- /dev/null +++ test/Misc/backend-optimization-failure-nodbg.cpp @@ -0,0 +1,21 @@ +// RUN: %clang_cc1 -triple x86_64-unknown-unknown %s -O3 -emit-llvm -S -verify -o /dev/null +// REQUIRES: x86-registered-target + +// Test verifies optimization failures generated by the backend are handled +// correctly by clang. LLVM tests verify all of the failure conditions. + +void test_switch(int *A, int *B, int Length) { +#pragma clang loop vectorize(enable) unroll(disable) + for (int i = 0; i < Length; i++) { + switch (A[i]) { + case 0: + B[i] = 1; + break; + case 1: + B[i] = 2; + break; + default: + B[i] = 3; + } + } +/* expected-warning {{loop not vectorized: failed explicitly specified loop vectorization}} */ }