From: Jordan Rose Date: Mon, 3 Jun 2013 22:59:53 +0000 (+0000) Subject: [analyzer; new edges] Improve enclosing contexts for logical expressions. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=9d9b494aa36ceeb823c48acf04d2d7677174be88;p=clang [analyzer; new edges] Improve enclosing contexts for logical expressions. The old edge builder didn't have a notion of nested statement contexts, so there was no special treatment of a logical operator inside an if (or inside another logical operator). The new edge builder always tries to establish the full context up to the top-level statement, so it's important to know how much context has been established already rather than just checking the innermost context. This restores some of the old behavior for the old edge generation: the context of a logical operator's non-controlling expression is the subexpression in the old edge algorithm, but the entire operator expression in the new algorithm. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@183160 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp index 2c6c657ba3..a0a4791ffd 100644 --- a/lib/StaticAnalyzer/Core/BugReporter.cpp +++ b/lib/StaticAnalyzer/Core/BugReporter.cpp @@ -373,7 +373,7 @@ static const Stmt *getEnclosingParent(const Stmt *S, const ParentMap &PM) { static PathDiagnosticLocation getEnclosingStmtLocation(const Stmt *S, SourceManager &SMgr, const ParentMap &P, - const LocationContext *LC) { + const LocationContext *LC, bool allowNestedContexts) { if (!S) return PathDiagnosticLocation(); @@ -382,7 +382,7 @@ getEnclosingStmtLocation(const Stmt *S, SourceManager &SMgr, const ParentMap &P, case Stmt::BinaryOperatorClass: { const BinaryOperator *B = cast(Parent); if (B->isLogicalOp()) - return PathDiagnosticLocation(Parent, SMgr, LC); + return PathDiagnosticLocation(allowNestedContexts ? B : S, SMgr, LC); break; } case Stmt::CompoundStmtClass: @@ -391,7 +391,7 @@ getEnclosingStmtLocation(const Stmt *S, SourceManager &SMgr, const ParentMap &P, case Stmt::ChooseExprClass: // Similar to '?' if we are referring to condition, just have the edge // point to the entire choose expression. - if (cast(Parent)->getCond() == S) + if (allowNestedContexts || cast(Parent)->getCond() == S) return PathDiagnosticLocation(Parent, SMgr, LC); else return PathDiagnosticLocation(S, SMgr, LC); @@ -399,7 +399,8 @@ getEnclosingStmtLocation(const Stmt *S, SourceManager &SMgr, const ParentMap &P, case Stmt::ConditionalOperatorClass: // For '?', if we are referring to condition, just have the edge point // to the entire '?' expression. - if (cast(Parent)->getCond() == S) + if (allowNestedContexts || + cast(Parent)->getCond() == S) return PathDiagnosticLocation(Parent, SMgr, LC); else return PathDiagnosticLocation(S, SMgr, LC); @@ -436,7 +437,8 @@ getEnclosingStmtLocation(const Stmt *S, SourceManager &SMgr, const ParentMap &P, PathDiagnosticLocation PathDiagnosticBuilder::getEnclosingStmtLocation(const Stmt *S) { assert(S && "Null Stmt passed to getEnclosingStmtLocation"); - return ::getEnclosingStmtLocation(S, getSourceManager(), getParentMap(), LC); + return ::getEnclosingStmtLocation(S, getSourceManager(), getParentMap(), LC, + /*allowNestedContexts=*/false); } //===----------------------------------------------------------------------===// @@ -1956,8 +1958,16 @@ static void addContextEdges(PathPieces &pieces, SourceManager &SM, PathDiagnosticLocation SrcLoc = Piece->getStartLocation(); const Stmt *Src = getLocStmt(SrcLoc); - PathDiagnosticLocation SrcContext = - getEnclosingStmtLocation(Src, SM, PM, LCtx); + SmallVector SrcContexts; + + PathDiagnosticLocation NextSrcContext = + getEnclosingStmtLocation(Src, SM, PM, LCtx, /*allowNested=*/true); + const Stmt *InnerStmt = Src; + while (NextSrcContext.isValid() && NextSrcContext.asStmt() != InnerStmt) { + SrcContexts.push_back(NextSrcContext); + InnerStmt = NextSrcContext.asStmt(); + NextSrcContext = getEnclosingStmtLocation(InnerStmt, SM, PM, LCtx, true); + } // Repeatedly split the edge as necessary. // This is important for nested logical expressions (||, &&, ?:) where we @@ -1968,12 +1978,13 @@ static void addContextEdges(PathPieces &pieces, SourceManager &SM, // We are looking at an edge. Is the destination within a larger // expression? PathDiagnosticLocation DstContext = - getEnclosingStmtLocation(Dst, SM, PM, LCtx); + getEnclosingStmtLocation(Dst, SM, PM, LCtx, /*allowNested=*/true); if (!DstContext.isValid() || DstContext.asStmt() == Dst) break; // If the source is in the same context, we're already good. - if (SrcContext == DstContext) + if (std::find(SrcContexts.begin(), SrcContexts.end(), DstContext) != + SrcContexts.end()) break; // Update the subexpression node to point to the context edge. diff --git a/test/Analysis/edges-new.mm b/test/Analysis/edges-new.mm index 36ecf8e42d..ac3237ab4d 100644 --- a/test/Analysis/edges-new.mm +++ b/test/Analysis/edges-new.mm @@ -247,6 +247,28 @@ void test_logical_or() { } } +void test_nested_logicals(int coin) { + int *p = 0; + + if ((0 || 0) || coin) { + *p = 0xDEADBEEF; + } + + if (0 || (0 || !coin)) { + *p = 0xDEADBEEF; + } +} + +void test_deeply_nested_logicals() { + extern int call(int); + int *p = 0; + + if ((0 || (5 && 0)) ? 0 : ((0 || 4) ? call(1 && 5) : 0)) { + + *p = 0xDEADBEEF; + } +} + void test_ternary(int x, int *y) { int z = x ? 0 : 1; @@ -7090,45 +7112,11 @@ void variousLoops(id input) { // CHECK-NEXT: path // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: kindcontrol -// CHECK-NEXT: edges -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: start -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col3 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col5 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: end -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col11 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col11 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: // CHECK-NEXT: line251 -// CHECK-NEXT: col11 +// CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: ranges @@ -7136,21 +7124,21 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line251 -// CHECK-NEXT: col11 +// CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line251 -// CHECK-NEXT: col11 +// CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: depth0 // CHECK-NEXT: extended_message -// CHECK-NEXT: Assuming 'x' is not equal to 0 +// CHECK-NEXT: 'p' initialized to a null pointer value // CHECK-NEXT: message -// CHECK-NEXT: Assuming 'x' is not equal to 0 +// CHECK-NEXT: 'p' initialized to a null pointer value // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: kindcontrol @@ -7161,25 +7149,25 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line251 -// CHECK-NEXT: col11 +// CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line251 -// CHECK-NEXT: col11 +// CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col15 +// CHECK-NEXT: line253 +// CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col15 +// CHECK-NEXT: line253 +// CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7194,26 +7182,26 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col15 +// CHECK-NEXT: line253 +// CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col15 +// CHECK-NEXT: line253 +// CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col3 +// CHECK-NEXT: line253 +// CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col5 +// CHECK-NEXT: line253 +// CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7228,13 +7216,13 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col3 +// CHECK-NEXT: line253 +// CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line251 -// CHECK-NEXT: col5 +// CHECK-NEXT: line253 +// CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7242,12 +7230,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line253 -// CHECK-NEXT: col3 +// CHECK-NEXT: col13 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line253 -// CHECK-NEXT: col5 +// CHECK-NEXT: col13 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7263,12 +7251,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line253 -// CHECK-NEXT: col3 +// CHECK-NEXT: col13 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line253 -// CHECK-NEXT: col5 +// CHECK-NEXT: col13 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7276,12 +7264,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line253 -// CHECK-NEXT: col12 +// CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line253 -// CHECK-NEXT: col12 +// CHECK-NEXT: col22 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7297,25 +7285,25 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line253 -// CHECK-NEXT: col12 +// CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: line253 -// CHECK-NEXT: col12 +// CHECK-NEXT: col22 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 -// CHECK-NEXT: col20 +// CHECK-NEXT: line254 +// CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 -// CHECK-NEXT: col20 +// CHECK-NEXT: line254 +// CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7330,26 +7318,26 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 -// CHECK-NEXT: col20 +// CHECK-NEXT: line254 +// CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 -// CHECK-NEXT: col20 +// CHECK-NEXT: line254 +// CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 -// CHECK-NEXT: col3 +// CHECK-NEXT: line254 +// CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 -// CHECK-NEXT: col5 +// CHECK-NEXT: line254 +// CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7360,7 +7348,53 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line253 +// CHECK-NEXT: line254 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: ranges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line254 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line254 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: depth0 +// CHECK-NEXT: extended_message +// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: message +// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: descriptionDereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: categoryLogic error +// CHECK-NEXT: typeDereference of null pointer +// CHECK-NEXT: issue_context_kindfunction +// CHECK-NEXT: issue_contexttest_nested_logicals +// CHECK-NEXT: issue_hash4 +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line254 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: path +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindevent +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line251 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7368,12 +7402,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 +// CHECK-NEXT: line251 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 +// CHECK-NEXT: line251 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7393,12 +7427,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 +// CHECK-NEXT: line251 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line253 +// CHECK-NEXT: line251 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7406,13 +7440,13 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line255 +// CHECK-NEXT: line253 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line255 -// CHECK-NEXT: col3 +// CHECK-NEXT: line253 +// CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7427,26 +7461,26 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line255 +// CHECK-NEXT: line253 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line255 -// CHECK-NEXT: col3 +// CHECK-NEXT: line253 +// CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line255 -// CHECK-NEXT: col6 +// CHECK-NEXT: line253 +// CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line255 -// CHECK-NEXT: col6 +// CHECK-NEXT: line253 +// CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7454,52 +7488,6 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: kindevent -// CHECK-NEXT: location -// CHECK-NEXT: -// CHECK-NEXT: line255 -// CHECK-NEXT: col6 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: ranges -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line255 -// CHECK-NEXT: col4 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line255 -// CHECK-NEXT: col4 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: depth0 -// CHECK-NEXT: extended_message -// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') -// CHECK-NEXT: message -// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: descriptionDereference of null pointer (loaded from variable 'p') -// CHECK-NEXT: categoryLogic error -// CHECK-NEXT: typeDereference of null pointer -// CHECK-NEXT: issue_context_kindfunction -// CHECK-NEXT: issue_contexttest_ternary -// CHECK-NEXT: issue_hash5 -// CHECK-NEXT: location -// CHECK-NEXT: -// CHECK-NEXT: line255 -// CHECK-NEXT: col6 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: path -// CHECK-NEXT: -// CHECK-NEXT: // CHECK-NEXT: kindcontrol // CHECK-NEXT: edges // CHECK-NEXT: @@ -7507,26 +7495,26 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line259 -// CHECK-NEXT: col3 +// CHECK-NEXT: line253 +// CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line259 -// CHECK-NEXT: col4 +// CHECK-NEXT: line253 +// CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line259 -// CHECK-NEXT: col7 +// CHECK-NEXT: line253 +// CHECK-NEXT: col13 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line259 -// CHECK-NEXT: col7 +// CHECK-NEXT: line253 +// CHECK-NEXT: col13 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: @@ -7534,23 +7522,1234 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: kindevent -// CHECK-NEXT: location -// CHECK-NEXT: -// CHECK-NEXT: line259 -// CHECK-NEXT: col7 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: ranges -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line259 +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line253 +// CHECK-NEXT: col13 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line253 +// CHECK-NEXT: col13 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line253 +// CHECK-NEXT: col19 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line253 +// CHECK-NEXT: col22 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line253 +// CHECK-NEXT: col19 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line253 +// CHECK-NEXT: col22 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col4 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col4 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col13 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col13 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col13 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col13 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col18 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col18 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col18 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line257 +// CHECK-NEXT: col18 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindevent +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: ranges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: depth0 +// CHECK-NEXT: extended_message +// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: message +// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: descriptionDereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: categoryLogic error +// CHECK-NEXT: typeDereference of null pointer +// CHECK-NEXT: issue_context_kindfunction +// CHECK-NEXT: issue_contexttest_nested_logicals +// CHECK-NEXT: issue_hash8 +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line258 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: path +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindevent +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line264 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: ranges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line264 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line264 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: depth0 +// CHECK-NEXT: extended_message +// CHECK-NEXT: 'p' initialized to a null pointer value +// CHECK-NEXT: message +// CHECK-NEXT: 'p' initialized to a null pointer value +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line264 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line264 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col4 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col4 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col14 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col14 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col14 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col14 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col19 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col19 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col19 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col19 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col30 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col30 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col31 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col31 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col36 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col36 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col36 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col36 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col46 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col46 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col46 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col46 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col51 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col51 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col51 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col51 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col41 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col44 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col41 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col44 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line266 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindevent +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: ranges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: depth0 +// CHECK-NEXT: extended_message +// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: message +// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: descriptionDereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: categoryLogic error +// CHECK-NEXT: typeDereference of null pointer +// CHECK-NEXT: issue_context_kindfunction +// CHECK-NEXT: issue_contexttest_deeply_nested_logicals +// CHECK-NEXT: issue_hash6 +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line268 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: path +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col11 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col11 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindevent +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col11 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: ranges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col11 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col11 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: depth0 +// CHECK-NEXT: extended_message +// CHECK-NEXT: Assuming 'x' is not equal to 0 +// CHECK-NEXT: message +// CHECK-NEXT: Assuming 'x' is not equal to 0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col11 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col11 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col15 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col15 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col15 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col15 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line273 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col12 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col12 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col12 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col12 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col20 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col20 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col20 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col20 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindevent +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: ranges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col8 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: depth0 +// CHECK-NEXT: extended_message +// CHECK-NEXT: 'p' initialized to a null pointer value +// CHECK-NEXT: message +// CHECK-NEXT: 'p' initialized to a null pointer value +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line275 +// CHECK-NEXT: col5 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindevent +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: ranges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col4 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col4 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: depth0 +// CHECK-NEXT: extended_message +// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: message +// CHECK-NEXT: Dereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: descriptionDereference of null pointer (loaded from variable 'p') +// CHECK-NEXT: categoryLogic error +// CHECK-NEXT: typeDereference of null pointer +// CHECK-NEXT: issue_context_kindfunction +// CHECK-NEXT: issue_contexttest_ternary +// CHECK-NEXT: issue_hash5 +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line277 +// CHECK-NEXT: col6 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: path +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindcontrol +// CHECK-NEXT: edges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: start +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line281 +// CHECK-NEXT: col3 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line281 +// CHECK-NEXT: col4 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: end +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line281 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line281 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: kindevent +// CHECK-NEXT: location +// CHECK-NEXT: +// CHECK-NEXT: line281 +// CHECK-NEXT: col7 +// CHECK-NEXT: file0 +// CHECK-NEXT: +// CHECK-NEXT: ranges +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: +// CHECK-NEXT: line281 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line259 +// CHECK-NEXT: line281 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7570,12 +8769,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line259 +// CHECK-NEXT: line281 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line259 +// CHECK-NEXT: line281 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7583,12 +8782,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line262 +// CHECK-NEXT: line284 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line262 +// CHECK-NEXT: line284 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7604,12 +8803,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line262 +// CHECK-NEXT: line284 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line262 +// CHECK-NEXT: line284 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7617,12 +8816,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line265 +// CHECK-NEXT: line287 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line265 +// CHECK-NEXT: line287 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7634,7 +8833,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line265 +// CHECK-NEXT: line287 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7642,12 +8841,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line265 +// CHECK-NEXT: line287 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line265 +// CHECK-NEXT: line287 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7667,12 +8866,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line265 +// CHECK-NEXT: line287 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line265 +// CHECK-NEXT: line287 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7680,12 +8879,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7701,12 +8900,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7714,12 +8913,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7731,7 +8930,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7739,12 +8938,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7765,7 +8964,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash8 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line266 +// CHECK-NEXT: line288 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7781,12 +8980,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line278 +// CHECK-NEXT: line300 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line278 +// CHECK-NEXT: line300 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7794,12 +8993,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line278 +// CHECK-NEXT: line300 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line278 +// CHECK-NEXT: line300 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7811,7 +9010,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line278 +// CHECK-NEXT: line300 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7819,12 +9018,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line278 +// CHECK-NEXT: line300 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line278 +// CHECK-NEXT: line300 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7844,12 +9043,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line278 +// CHECK-NEXT: line300 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line278 +// CHECK-NEXT: line300 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7857,12 +9056,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7878,12 +9077,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7891,12 +9090,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7908,7 +9107,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7916,12 +9115,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7937,7 +9136,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7945,12 +9144,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col28 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7971,7 +9170,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash3 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line280 +// CHECK-NEXT: line302 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7983,7 +9182,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line288 +// CHECK-NEXT: line310 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -7991,12 +9190,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line288 +// CHECK-NEXT: line310 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line288 +// CHECK-NEXT: line310 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8016,12 +9215,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line288 +// CHECK-NEXT: line310 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line288 +// CHECK-NEXT: line310 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8029,12 +9228,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8046,7 +9245,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8054,12 +9253,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8079,12 +9278,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8092,12 +9291,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8109,7 +9308,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8117,12 +9316,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col21 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8143,7 +9342,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash2 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line289 +// CHECK-NEXT: line311 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8159,12 +9358,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line305 +// CHECK-NEXT: line327 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line305 +// CHECK-NEXT: line327 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8172,12 +9371,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line305 +// CHECK-NEXT: line327 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line305 +// CHECK-NEXT: line327 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8189,7 +9388,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line305 +// CHECK-NEXT: line327 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8197,12 +9396,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line305 +// CHECK-NEXT: line327 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line305 +// CHECK-NEXT: line327 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8222,12 +9421,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line305 +// CHECK-NEXT: line327 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line305 +// CHECK-NEXT: line327 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8235,12 +9434,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8256,12 +9455,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8269,12 +9468,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8286,7 +9485,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8294,12 +9493,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8315,7 +9514,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col15 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8323,12 +9522,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col15 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col24 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8348,12 +9547,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col15 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col15 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8361,12 +9560,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8378,7 +9577,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8386,12 +9585,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8411,12 +9610,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line308 +// CHECK-NEXT: line330 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8424,12 +9623,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8441,7 +9640,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8449,12 +9648,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8474,12 +9673,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8487,12 +9686,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8504,7 +9703,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8512,12 +9711,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col21 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8538,7 +9737,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash5 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line309 +// CHECK-NEXT: line331 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8554,12 +9753,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line320 +// CHECK-NEXT: line342 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line320 +// CHECK-NEXT: line342 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8567,12 +9766,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line322 +// CHECK-NEXT: line344 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line322 +// CHECK-NEXT: line344 // CHECK-NEXT: col22 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8584,7 +9783,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line322 +// CHECK-NEXT: line344 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8592,12 +9791,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line322 +// CHECK-NEXT: line344 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line322 +// CHECK-NEXT: line344 // CHECK-NEXT: col25 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8613,7 +9812,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line313 +// CHECK-NEXT: line335 // CHECK-NEXT: col1 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8631,12 +9830,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line313 +// CHECK-NEXT: line335 // CHECK-NEXT: col1 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line313 +// CHECK-NEXT: line335 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8644,12 +9843,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line314 +// CHECK-NEXT: line336 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line314 +// CHECK-NEXT: line336 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8661,7 +9860,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line314 +// CHECK-NEXT: line336 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8669,12 +9868,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line314 +// CHECK-NEXT: line336 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line314 +// CHECK-NEXT: line336 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8694,12 +9893,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line314 +// CHECK-NEXT: line336 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line314 +// CHECK-NEXT: line336 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8707,12 +9906,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line315 +// CHECK-NEXT: line337 // CHECK-NEXT: col9 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line315 +// CHECK-NEXT: line337 // CHECK-NEXT: col9 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8724,7 +9923,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line315 +// CHECK-NEXT: line337 // CHECK-NEXT: col9 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8732,12 +9931,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line315 +// CHECK-NEXT: line337 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line315 +// CHECK-NEXT: line337 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8758,7 +9957,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash2 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line315 +// CHECK-NEXT: line337 // CHECK-NEXT: col9 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8770,7 +9969,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line351 +// CHECK-NEXT: line373 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8778,12 +9977,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line351 +// CHECK-NEXT: line373 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line351 +// CHECK-NEXT: line373 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8803,12 +10002,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line351 +// CHECK-NEXT: line373 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line351 +// CHECK-NEXT: line373 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8816,12 +10015,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8837,12 +10036,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8850,12 +10049,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8867,7 +10066,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8875,12 +10074,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8901,7 +10100,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash2 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line352 +// CHECK-NEXT: line374 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8913,7 +10112,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line360 +// CHECK-NEXT: line382 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8921,12 +10120,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line360 +// CHECK-NEXT: line382 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line360 +// CHECK-NEXT: line382 // CHECK-NEXT: col25 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8946,12 +10145,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line360 +// CHECK-NEXT: line382 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line360 +// CHECK-NEXT: line382 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8959,12 +10158,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line362 +// CHECK-NEXT: line384 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line362 +// CHECK-NEXT: line384 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8976,7 +10175,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line362 +// CHECK-NEXT: line384 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -8984,12 +10183,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line362 +// CHECK-NEXT: line384 // CHECK-NEXT: col18 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line362 +// CHECK-NEXT: line384 // CHECK-NEXT: col22 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9010,7 +10209,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash3 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line362 +// CHECK-NEXT: line384 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9026,12 +10225,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line368 +// CHECK-NEXT: line390 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line368 +// CHECK-NEXT: line390 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9039,12 +10238,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line368 +// CHECK-NEXT: line390 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line368 +// CHECK-NEXT: line390 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9056,7 +10255,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line368 +// CHECK-NEXT: line390 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9064,12 +10263,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line368 +// CHECK-NEXT: line390 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line368 +// CHECK-NEXT: line390 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9089,12 +10288,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line368 +// CHECK-NEXT: line390 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line368 +// CHECK-NEXT: line390 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9102,12 +10301,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line369 +// CHECK-NEXT: line391 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line369 +// CHECK-NEXT: line391 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9123,12 +10322,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line369 +// CHECK-NEXT: line391 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line369 +// CHECK-NEXT: line391 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9136,12 +10335,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9157,12 +10356,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9170,12 +10369,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col24 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col24 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9187,7 +10386,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col24 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9195,12 +10394,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col26 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9221,7 +10420,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash5 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line372 +// CHECK-NEXT: line394 // CHECK-NEXT: col24 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9237,12 +10436,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line388 +// CHECK-NEXT: line410 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line388 +// CHECK-NEXT: line410 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9250,12 +10449,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line389 +// CHECK-NEXT: line411 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line389 +// CHECK-NEXT: line411 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9267,7 +10466,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line389 +// CHECK-NEXT: line411 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9275,12 +10474,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line389 +// CHECK-NEXT: line411 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line389 +// CHECK-NEXT: line411 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9300,12 +10499,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line389 +// CHECK-NEXT: line411 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line389 +// CHECK-NEXT: line411 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9313,12 +10512,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9334,12 +10533,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9347,12 +10546,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9364,7 +10563,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9372,12 +10571,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9398,7 +10597,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash3 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line390 +// CHECK-NEXT: line412 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9410,7 +10609,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9418,24 +10617,24 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col40 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9456,7 +10655,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash2 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9472,12 +10671,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line398 +// CHECK-NEXT: line420 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line398 +// CHECK-NEXT: line420 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9485,12 +10684,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9506,12 +10705,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9519,12 +10718,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9536,7 +10735,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9544,12 +10743,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col40 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9569,12 +10768,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9582,12 +10781,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9603,12 +10802,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line399 +// CHECK-NEXT: line421 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9616,12 +10815,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line401 +// CHECK-NEXT: line423 // CHECK-NEXT: col9 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line401 +// CHECK-NEXT: line423 // CHECK-NEXT: col9 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9633,7 +10832,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line401 +// CHECK-NEXT: line423 // CHECK-NEXT: col9 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9652,7 +10851,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash2 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line401 +// CHECK-NEXT: line423 // CHECK-NEXT: col9 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9664,7 +10863,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line413 +// CHECK-NEXT: line435 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9672,12 +10871,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line413 +// CHECK-NEXT: line435 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line413 +// CHECK-NEXT: line435 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9697,12 +10896,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line413 +// CHECK-NEXT: line435 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line413 +// CHECK-NEXT: line435 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9710,12 +10909,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line419 +// CHECK-NEXT: line441 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line419 +// CHECK-NEXT: line441 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9727,7 +10926,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line419 +// CHECK-NEXT: line441 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9735,12 +10934,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line419 +// CHECK-NEXT: line441 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line419 +// CHECK-NEXT: line441 // CHECK-NEXT: col26 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9760,12 +10959,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line419 +// CHECK-NEXT: line441 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line419 +// CHECK-NEXT: line441 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9773,12 +10972,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line423 +// CHECK-NEXT: line445 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line423 +// CHECK-NEXT: line445 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9790,7 +10989,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line423 +// CHECK-NEXT: line445 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9798,12 +10997,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line423 +// CHECK-NEXT: line445 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line423 +// CHECK-NEXT: line445 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9823,12 +11022,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line423 +// CHECK-NEXT: line445 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line423 +// CHECK-NEXT: line445 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9836,12 +11035,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line430 +// CHECK-NEXT: line452 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line430 +// CHECK-NEXT: line452 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9857,12 +11056,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line430 +// CHECK-NEXT: line452 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line430 +// CHECK-NEXT: line452 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9870,12 +11069,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9887,7 +11086,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9895,12 +11094,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line436 +// CHECK-NEXT: line458 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9920,12 +11119,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9933,12 +11132,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9954,12 +11153,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9967,12 +11166,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9984,7 +11183,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -9992,12 +11191,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line436 +// CHECK-NEXT: line458 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10017,12 +11216,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10030,12 +11229,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10051,12 +11250,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10064,12 +11263,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10081,7 +11280,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10089,12 +11288,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line436 +// CHECK-NEXT: line458 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10114,12 +11313,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10127,12 +11326,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10148,12 +11347,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line431 +// CHECK-NEXT: line453 // CHECK-NEXT: col14 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10161,12 +11360,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line438 +// CHECK-NEXT: line460 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line438 +// CHECK-NEXT: line460 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10178,7 +11377,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line438 +// CHECK-NEXT: line460 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10186,12 +11385,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line438 +// CHECK-NEXT: line460 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line438 +// CHECK-NEXT: line460 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10211,12 +11410,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line438 +// CHECK-NEXT: line460 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line438 +// CHECK-NEXT: line460 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10224,12 +11423,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line439 +// CHECK-NEXT: line461 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line439 +// CHECK-NEXT: line461 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10245,12 +11444,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line439 +// CHECK-NEXT: line461 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line439 +// CHECK-NEXT: line461 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10258,12 +11457,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line440 +// CHECK-NEXT: line462 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line440 +// CHECK-NEXT: line462 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10279,12 +11478,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line440 +// CHECK-NEXT: line462 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line440 +// CHECK-NEXT: line462 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10292,12 +11491,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line441 +// CHECK-NEXT: line463 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line441 +// CHECK-NEXT: line463 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10313,12 +11512,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line441 +// CHECK-NEXT: line463 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line441 +// CHECK-NEXT: line463 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10326,12 +11525,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line444 +// CHECK-NEXT: line466 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line444 +// CHECK-NEXT: line466 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10347,12 +11546,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line444 +// CHECK-NEXT: line466 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line444 +// CHECK-NEXT: line466 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10360,12 +11559,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line445 +// CHECK-NEXT: line467 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line445 +// CHECK-NEXT: line467 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10377,7 +11576,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line445 +// CHECK-NEXT: line467 // CHECK-NEXT: col15 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10385,12 +11584,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line445 +// CHECK-NEXT: line467 // CHECK-NEXT: col15 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line445 +// CHECK-NEXT: line467 // CHECK-NEXT: col22 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10410,12 +11609,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line445 +// CHECK-NEXT: line467 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line445 +// CHECK-NEXT: line467 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10423,12 +11622,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line449 +// CHECK-NEXT: line471 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line449 +// CHECK-NEXT: line471 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10440,7 +11639,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line449 +// CHECK-NEXT: line471 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10448,12 +11647,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line449 +// CHECK-NEXT: line471 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line449 +// CHECK-NEXT: line471 // CHECK-NEXT: col17 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10473,12 +11672,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line449 +// CHECK-NEXT: line471 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line449 +// CHECK-NEXT: line471 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10486,12 +11685,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line453 +// CHECK-NEXT: line475 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line453 +// CHECK-NEXT: line475 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10503,7 +11702,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line453 +// CHECK-NEXT: line475 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10511,12 +11710,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line453 +// CHECK-NEXT: line475 // CHECK-NEXT: col10 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line453 +// CHECK-NEXT: line475 // CHECK-NEXT: col17 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10536,12 +11735,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line453 +// CHECK-NEXT: line475 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line453 +// CHECK-NEXT: line475 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10549,12 +11748,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line459 +// CHECK-NEXT: line481 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line459 +// CHECK-NEXT: line481 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10566,7 +11765,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line459 +// CHECK-NEXT: line481 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10574,12 +11773,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line459 +// CHECK-NEXT: line481 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line459 +// CHECK-NEXT: line481 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10599,12 +11798,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line459 +// CHECK-NEXT: line481 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line459 +// CHECK-NEXT: line481 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10612,12 +11811,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line460 +// CHECK-NEXT: line482 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line460 +// CHECK-NEXT: line482 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10633,12 +11832,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line460 +// CHECK-NEXT: line482 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line460 +// CHECK-NEXT: line482 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10646,12 +11845,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line461 +// CHECK-NEXT: line483 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line461 +// CHECK-NEXT: line483 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10667,12 +11866,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line461 +// CHECK-NEXT: line483 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line461 +// CHECK-NEXT: line483 // CHECK-NEXT: col6 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10680,12 +11879,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line462 +// CHECK-NEXT: line484 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line462 +// CHECK-NEXT: line484 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10701,12 +11900,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line462 +// CHECK-NEXT: line484 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line462 +// CHECK-NEXT: line484 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10714,12 +11913,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10735,12 +11934,12 @@ void variousLoops(id input) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10748,12 +11947,12 @@ void variousLoops(id input) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col22 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col22 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10765,7 +11964,7 @@ void variousLoops(id input) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col22 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10773,12 +11972,12 @@ void variousLoops(id input) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col24 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -10799,7 +11998,7 @@ void variousLoops(id input) { // CHECK-NEXT: issue_hash59 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line465 +// CHECK-NEXT: line487 // CHECK-NEXT: col22 // CHECK-NEXT: file0 // CHECK-NEXT: