diff --git a/lib/CodeGen/CGStmt.cpp b/lib/CodeGen/CGStmt.cpp index 573973a9821bceb277214314b7b90bd29c353adb..534c16deeeaa057f2c25a174e07b272b92dd3e6d 100644 --- a/lib/CodeGen/CGStmt.cpp +++ b/lib/CodeGen/CGStmt.cpp @@ -436,7 +436,7 @@ void CodeGenFunction::EmitIndirectGotoStmt(const IndirectGotoStmt &S) { void CodeGenFunction::EmitIfStmt(const IfStmt &S) { // C99 6.8.4.1: The first substatement is executed if the expression compares // unequal to 0. The condition must be a scalar type. - LexicalScope ConditionScope(*this, S.getSourceRange()); + LexicalScope ConditionScope(*this, S.getCond()->getSourceRange()); RegionCounter Cnt = getPGORegionCounter(&S); if (S.getConditionVariable()) diff --git a/test/CodeGenCXX/debug-info-line-if.cpp b/test/CodeGenCXX/debug-info-line-if.cpp new file mode 100644 index 0000000000000000000000000000000000000000..0d4d22345a6de743d2929f01a0e62d3844bad65d --- /dev/null +++ b/test/CodeGenCXX/debug-info-line-if.cpp @@ -0,0 +1,20 @@ +// RUN: %clang -g -std=c++11 -S -emit-llvm %s -o - | FileCheck %s +// PR19864 +int main() { + int v[] = {13, 21, 8, 3, 34, 1, 5, 2}; + int a = 0, b = 0; + for (int x : v) + if (x >= 3) + ++b; // CHECK: add nsw{{.*}}, 1 + else if (x >= 0) + ++a; // CHECK: add nsw{{.*}}, 1 + // The continuation block if the if statement should not share the + // location of the ++a statement. Having it point to the end of + // the condition is not ideal either, but it's less missleading. + + // CHECK: br label + // CHECK: br label + // CHECK: br label {{.*}}, !dbg ![[DBG:.*]] + // CHECK: ![[DBG]] = metadata !{i32 [[@LINE-11]], i32 0, metadata !{{.*}}, null} + +}