<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Jordy,<div><br></div><div>I do not think the hack of adding Condition Visitor inside the Malloc Checker is the right way to go. </div><div><br></div><div>One possibility is to add the symbol when the BugReport is created, before the visitor is called (that's where the other interesting symbol is added). Finding the symbol can be similar to '<span class="Apple-style-span" style="font-family: Monaco; font-size: 11px; ">getAllocationSite()</span>'.</div><div><br></div><div>Another possibility is to experiment with reordering the visitors so that the condition visitor would be called after the custom ones. That might be prohibitive due to other issues, I am not sure... If this does work, it would provide a nice general solution - checker visitors will be able to add interesting symbols, which would get picked up by the general purpose visitors.</div><div><br></div><div>Anna.</div><div><div><div>On Mar 18, 2012, at 12:43 AM, Jordy Rose wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Author: jrose<br>Date: Sun Mar 18 02:43:35 2012<br>New Revision: 153010<br><br>URL: <a href="http://llvm.org/viewvc/llvm-project?rev=153010&view=rev">http://llvm.org/viewvc/llvm-project?rev=153010&view=rev</a><br>Log:<br>[analyzer] Mark a failed-realloc's result as an interesting symbol between the realloc call and the null check, so we get nicer path notes. Fixes a regression introduced by the diagnostic pruning added in r152361.<br><br>This is accomplished by calling markInteresting /during/ path diagnostic generation, and as such relies on deterministic ordering of BugReporterVisitors -- namely, that BugReporterVisitors are run in /reverse/ order from how they are added. (Right now that's a consequence of storing visitors in an ImmutableList, where new items are added to the front.) It's a little hacky, but it works for now.<br><br>I think this is the best we can do without storing the relation between the old and new symbols, and that would be a hit whether or not there ends up being an error.<br><br>Modified:<br>    cfe/trunk/lib/StaticAnalyzer/Checkers/MallocChecker.cpp<br>    cfe/trunk/test/Analysis/malloc-plist.c<br><br>Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/MallocChecker.cpp<br>URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/MallocChecker.cpp?rev=153010&r1=153009&r2=153010&view=diff">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/MallocChecker.cpp?rev=153010&r1=153009&r2=153010&view=diff</a><br>==============================================================================<br>--- cfe/trunk/lib/StaticAnalyzer/Checkers/MallocChecker.cpp (original)<br>+++ cfe/trunk/lib/StaticAnalyzer/Checkers/MallocChecker.cpp Sun Mar 18 02:43:35 2012<br>@@ -846,6 +846,10 @@<br>   BugReport *R = new BugReport(*BT_Leak,<br>     "Memory is never released; potential memory leak", N, LocUsedForUniqueing);<br>   R->markInteresting(Sym);<br>+  // FIXME: This is a hack to make sure the MallocBugVisitor gets to look at<br>+  // the ExplodedNode chain first, in order to mark any failed realloc symbols<br>+  // as interesting for ConditionBRVisitor.<br>+  R->addVisitor(new ConditionBRVisitor());<br>   R->addVisitor(new MallocBugVisitor(Sym));<br>   C.EmitReport(R);<br> }<br>@@ -1260,13 +1264,31 @@<br>   return State;<br> }<br><br>+static SymbolRef findFailedReallocSymbol(ProgramStateRef currState,<br>+                                         ProgramStateRef prevState) {<br>+  ReallocMap currMap = currState->get<ReallocPairs>();<br>+  ReallocMap prevMap = prevState->get<ReallocPairs>();<br>+<br>+  for (ReallocMap::iterator I = prevMap.begin(), E = prevMap.end();<br>+       I != E; ++I) {<br>+    SymbolRef sym = I.getKey();<br>+    if (!currMap.lookup(sym))<br>+      return sym;<br>+  }<br>+<br>+  return NULL;<br>+}<br>+<br> PathDiagnosticPiece *<br> MallocChecker::MallocBugVisitor::VisitNode(const ExplodedNode *N,<br>                                            const ExplodedNode *PrevN,<br>                                            BugReporterContext &BRC,<br>                                            BugReport &BR) {<br>-  const RefState *RS = N->getState()->get<RegionState>(Sym);<br>-  const RefState *RSPrev = PrevN->getState()->get<RegionState>(Sym);<br>+  ProgramStateRef state = N->getState();<br>+  ProgramStateRef statePrev = PrevN->getState();<br>+<br>+  const RefState *RS = state->get<RegionState>(Sym);<br>+  const RefState *RSPrev = statePrev->get<RegionState>(Sym);<br>   if (!RS && !RSPrev)<br>     return 0;<br><br>@@ -1288,7 +1310,6 @@<br>     return 0;<br><br>   // Find out if this is an interesting point and what is the kind.<br>-  // TODO: Replace 'callee' by the function name.<br>   if (Mode == Normal) {<br>     if (isAllocated(RS, RSPrev, S)) {<br>       Msg = "Memory is allocated";<br>@@ -1303,6 +1324,9 @@<br>       Msg = "Reallocation failed";<br>       StackHint = new StackHintGeneratorForReallocationFailed(Sym,<br>                                                        "Reallocation failed");<br>+<br>+      if (SymbolRef sym = findFailedReallocSymbol(state, statePrev))<br>+        BR.markInteresting(sym);<br>     }<br><br>   // We are in a special mode if a reallocation failed later in the path.<br><br>Modified: cfe/trunk/test/Analysis/malloc-plist.c<br>URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/malloc-plist.c?rev=153010&r1=153009&r2=153010&view=diff">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/malloc-plist.c?rev=153010&r1=153009&r2=153010&view=diff</a><br>==============================================================================<br>--- cfe/trunk/test/Analysis/malloc-plist.c (original)<br>+++ cfe/trunk/test/Analysis/malloc-plist.c Sun Mar 18 02:43:35 2012<br>@@ -24,8 +24,6 @@<br>     char * buf = malloc(100);<br>     char * tmp;<br>     tmp = (char*)realloc(buf, 0x1000000);<br>-    // FIXME: we need a diagnostic for the null check.<br>-    // This requires propagating "interesting" for 'tmp'.<br>     if (!tmp) {<br>         return;// expected-warning {{leak}}<br>     }<br>@@ -647,13 +645,47 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>29</integer><br>+// CHECK:            <key>line</key><integer>27</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>29</integer><br>-// CHECK:            <key>col</key><integer>6</integer><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br>+// CHECK:            <key>file</key><integer>0</integer><br>+// CHECK:           </dict><br>+// CHECK:          </array><br>+// CHECK:        </dict><br>+// CHECK:       </array><br>+// CHECK:     </dict><br>+// CHECK:     <dict><br>+// CHECK:      <key>kind</key><string>control</string><br>+// CHECK:      <key>edges</key><br>+// CHECK:       <array><br>+// CHECK:        <dict><br>+// CHECK:         <key>start</key><br>+// CHECK:          <array><br>+// CHECK:           <dict><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br>+// CHECK:            <key>file</key><integer>0</integer><br>+// CHECK:           </dict><br>+// CHECK:           <dict><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br>+// CHECK:            <key>file</key><integer>0</integer><br>+// CHECK:           </dict><br>+// CHECK:          </array><br>+// CHECK:         <key>end</key><br>+// CHECK:          <array><br>+// CHECK:           <dict><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>9</integer><br>+// CHECK:            <key>file</key><integer>0</integer><br>+// CHECK:           </dict><br>+// CHECK:           <dict><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>12</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:          </array><br>@@ -664,30 +696,30 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>29</integer><br>-// CHECK:       <key>col</key><integer>5</integer><br>+// CHECK:       <key>line</key><integer>27</integer><br>+// CHECK:       <key>col</key><integer>9</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br> // CHECK:      <key>ranges</key><br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>29</integer><br>-// CHECK:          <key>col</key><integer>5</integer><br>+// CHECK:          <key>line</key><integer>27</integer><br>+// CHECK:          <key>col</key><integer>9</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>29</integer><br>-// CHECK:          <key>col</key><integer>6</integer><br>+// CHECK:          <key>line</key><integer>27</integer><br>+// CHECK:          <key>col</key><integer>12</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:        </array><br> // CHECK:      </array><br> // CHECK:      <key>depth</key><integer>0</integer><br> // CHECK:      <key>extended_message</key><br>-// CHECK:      <string>Reallocation failed</string><br>+// CHECK:      <string>Assuming &apos;tmp&apos; is null</string><br> // CHECK:      <key>message</key><br>-// CHECK: <string>Reallocation failed</string><br>+// CHECK: <string>Assuming &apos;tmp&apos; is null</string><br> // CHECK:     </dict><br> // CHECK:     <dict><br> // CHECK:      <key>kind</key><string>control</string><br>@@ -697,26 +729,26 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>29</integer><br>-// CHECK:            <key>col</key><integer>5</integer><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>9</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>29</integer><br>-// CHECK:            <key>col</key><integer>6</integer><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>12</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:          </array><br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>29</integer><br>-// CHECK:            <key>col</key><integer>9</integer><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>29</integer><br>-// CHECK:            <key>col</key><integer>12</integer><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>6</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:          </array><br>@@ -724,6 +756,35 @@<br> // CHECK:       </array><br> // CHECK:     </dict><br> // CHECK:     <dict><br>+// CHECK:      <key>kind</key><string>event</string><br>+// CHECK:      <key>location</key><br>+// CHECK:      <dict><br>+// CHECK:       <key>line</key><integer>27</integer><br>+// CHECK:       <key>col</key><integer>5</integer><br>+// CHECK:       <key>file</key><integer>0</integer><br>+// CHECK:      </dict><br>+// CHECK:      <key>ranges</key><br>+// CHECK:      <array><br>+// CHECK:        <array><br>+// CHECK:         <dict><br>+// CHECK:          <key>line</key><integer>27</integer><br>+// CHECK:          <key>col</key><integer>5</integer><br>+// CHECK:          <key>file</key><integer>0</integer><br>+// CHECK:         </dict><br>+// CHECK:         <dict><br>+// CHECK:          <key>line</key><integer>27</integer><br>+// CHECK:          <key>col</key><integer>6</integer><br>+// CHECK:          <key>file</key><integer>0</integer><br>+// CHECK:         </dict><br>+// CHECK:        </array><br>+// CHECK:      </array><br>+// CHECK:      <key>depth</key><integer>0</integer><br>+// CHECK:      <key>extended_message</key><br>+// CHECK:      <string>Reallocation failed</string><br>+// CHECK:      <key>message</key><br>+// CHECK: <string>Reallocation failed</string><br>+// CHECK:     </dict><br>+// CHECK:     <dict><br> // CHECK:      <key>kind</key><string>control</string><br> // CHECK:      <key>edges</key><br> // CHECK:       <array><br>@@ -731,25 +792,25 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>29</integer><br>-// CHECK:            <key>col</key><integer>9</integer><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>29</integer><br>-// CHECK:            <key>col</key><integer>12</integer><br>+// CHECK:            <key>line</key><integer>27</integer><br>+// CHECK:            <key>col</key><integer>6</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:          </array><br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>30</integer><br>+// CHECK:            <key>line</key><integer>28</integer><br> // CHECK:            <key>col</key><integer>9</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>30</integer><br>+// CHECK:            <key>line</key><integer>28</integer><br> // CHECK:            <key>col</key><integer>14</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -761,7 +822,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>30</integer><br>+// CHECK:       <key>line</key><integer>28</integer><br> // CHECK:       <key>col</key><integer>9</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -769,12 +830,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>30</integer><br>+// CHECK:          <key>line</key><integer>28</integer><br> // CHECK:          <key>col</key><integer>9</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>30</integer><br>+// CHECK:          <key>line</key><integer>28</integer><br> // CHECK:          <key>col</key><integer>14</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -792,7 +853,7 @@<br> // CHECK:    <key>type</key><string>Memory leak</string><br> // CHECK:   <key>location</key><br> // CHECK:   <dict><br>-// CHECK:    <key>line</key><integer>30</integer><br>+// CHECK:    <key>line</key><integer>28</integer><br> // CHECK:    <key>col</key><integer>9</integer><br> // CHECK:    <key>file</key><integer>0</integer><br> // CHECK:   </dict><br>@@ -808,12 +869,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>45</integer><br>+// CHECK:            <key>line</key><integer>43</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>45</integer><br>+// CHECK:            <key>line</key><integer>43</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -821,12 +882,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>45</integer><br>+// CHECK:            <key>line</key><integer>43</integer><br> // CHECK:            <key>col</key><integer>15</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>45</integer><br>+// CHECK:            <key>line</key><integer>43</integer><br> // CHECK:            <key>col</key><integer>15</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -838,7 +899,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>45</integer><br>+// CHECK:       <key>line</key><integer>43</integer><br> // CHECK:       <key>col</key><integer>15</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -846,12 +907,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>45</integer><br>+// CHECK:          <key>line</key><integer>43</integer><br> // CHECK:          <key>col</key><integer>15</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>45</integer><br>+// CHECK:          <key>line</key><integer>43</integer><br> // CHECK:          <key>col</key><integer>23</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -867,7 +928,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>36</integer><br>+// CHECK:       <key>line</key><integer>34</integer><br> // CHECK:       <key>col</key><integer>1</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -885,12 +946,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>36</integer><br>+// CHECK:            <key>line</key><integer>34</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>36</integer><br>+// CHECK:            <key>line</key><integer>34</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -898,12 +959,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>37</integer><br>+// CHECK:            <key>line</key><integer>35</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>37</integer><br>+// CHECK:            <key>line</key><integer>35</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -919,12 +980,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>37</integer><br>+// CHECK:            <key>line</key><integer>35</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>37</integer><br>+// CHECK:            <key>line</key><integer>35</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -932,12 +993,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>37</integer><br>+// CHECK:            <key>line</key><integer>35</integer><br> // CHECK:            <key>col</key><integer>13</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>37</integer><br>+// CHECK:            <key>line</key><integer>35</integer><br> // CHECK:            <key>col</key><integer>23</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -949,7 +1010,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>37</integer><br>+// CHECK:       <key>line</key><integer>35</integer><br> // CHECK:       <key>col</key><integer>13</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -957,12 +1018,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>37</integer><br>+// CHECK:          <key>line</key><integer>35</integer><br> // CHECK:          <key>col</key><integer>13</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>37</integer><br>+// CHECK:          <key>line</key><integer>35</integer><br> // CHECK:          <key>col</key><integer>23</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -982,12 +1043,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>37</integer><br>+// CHECK:            <key>line</key><integer>35</integer><br> // CHECK:            <key>col</key><integer>13</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>37</integer><br>+// CHECK:            <key>line</key><integer>35</integer><br> // CHECK:            <key>col</key><integer>23</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -995,12 +1056,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>39</integer><br>+// CHECK:            <key>line</key><integer>37</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>39</integer><br>+// CHECK:            <key>line</key><integer>37</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1016,12 +1077,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>39</integer><br>+// CHECK:            <key>line</key><integer>37</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>39</integer><br>+// CHECK:            <key>line</key><integer>37</integer><br> // CHECK:            <key>col</key><integer>3</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1029,12 +1090,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>39</integer><br>+// CHECK:            <key>line</key><integer>37</integer><br> // CHECK:            <key>col</key><integer>7</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>39</integer><br>+// CHECK:            <key>line</key><integer>37</integer><br> // CHECK:            <key>col</key><integer>7</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1046,7 +1107,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>39</integer><br>+// CHECK:       <key>line</key><integer>37</integer><br> // CHECK:       <key>col</key><integer>7</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1054,12 +1115,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>39</integer><br>+// CHECK:          <key>line</key><integer>37</integer><br> // CHECK:          <key>col</key><integer>7</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>39</integer><br>+// CHECK:          <key>line</key><integer>37</integer><br> // CHECK:          <key>col</key><integer>7</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1079,12 +1140,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>39</integer><br>+// CHECK:            <key>line</key><integer>37</integer><br> // CHECK:            <key>col</key><integer>7</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>39</integer><br>+// CHECK:            <key>line</key><integer>37</integer><br> // CHECK:            <key>col</key><integer>7</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1092,12 +1153,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>40</integer><br>+// CHECK:            <key>line</key><integer>38</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>40</integer><br>+// CHECK:            <key>line</key><integer>38</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1109,7 +1170,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>45</integer><br>+// CHECK:       <key>line</key><integer>43</integer><br> // CHECK:       <key>col</key><integer>15</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1117,12 +1178,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>45</integer><br>+// CHECK:          <key>line</key><integer>43</integer><br> // CHECK:          <key>col</key><integer>15</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>45</integer><br>+// CHECK:          <key>line</key><integer>43</integer><br> // CHECK:          <key>col</key><integer>23</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1142,12 +1203,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>45</integer><br>+// CHECK:            <key>line</key><integer>43</integer><br> // CHECK:            <key>col</key><integer>15</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>45</integer><br>+// CHECK:            <key>line</key><integer>43</integer><br> // CHECK:            <key>col</key><integer>23</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1155,12 +1216,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>47</integer><br>+// CHECK:            <key>line</key><integer>45</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>47</integer><br>+// CHECK:            <key>line</key><integer>45</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1172,7 +1233,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>47</integer><br>+// CHECK:       <key>line</key><integer>45</integer><br> // CHECK:       <key>col</key><integer>1</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1188,7 +1249,7 @@<br> // CHECK:    <key>type</key><string>Memory leak</string><br> // CHECK:   <key>location</key><br> // CHECK:   <dict><br>-// CHECK:    <key>line</key><integer>47</integer><br>+// CHECK:    <key>line</key><integer>45</integer><br> // CHECK:    <key>col</key><integer>1</integer><br> // CHECK:    <key>file</key><integer>0</integer><br> // CHECK:   </dict><br>@@ -1204,12 +1265,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>61</integer><br>+// CHECK:            <key>line</key><integer>59</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>61</integer><br>+// CHECK:            <key>line</key><integer>59</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1217,12 +1278,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>62</integer><br>+// CHECK:            <key>line</key><integer>60</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>62</integer><br>+// CHECK:            <key>line</key><integer>60</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1234,7 +1295,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>62</integer><br>+// CHECK:       <key>line</key><integer>60</integer><br> // CHECK:       <key>col</key><integer>5</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1242,12 +1303,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>62</integer><br>+// CHECK:          <key>line</key><integer>60</integer><br> // CHECK:          <key>col</key><integer>5</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>62</integer><br>+// CHECK:          <key>line</key><integer>60</integer><br> // CHECK:          <key>col</key><integer>28</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1263,7 +1324,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>54</integer><br>+// CHECK:       <key>line</key><integer>52</integer><br> // CHECK:       <key>col</key><integer>1</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1281,12 +1342,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>54</integer><br>+// CHECK:            <key>line</key><integer>52</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>54</integer><br>+// CHECK:            <key>line</key><integer>52</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1294,12 +1355,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>55</integer><br>+// CHECK:            <key>line</key><integer>53</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>55</integer><br>+// CHECK:            <key>line</key><integer>53</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1315,12 +1376,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>55</integer><br>+// CHECK:            <key>line</key><integer>53</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>55</integer><br>+// CHECK:            <key>line</key><integer>53</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1328,12 +1389,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>55</integer><br>+// CHECK:            <key>line</key><integer>53</integer><br> // CHECK:            <key>col</key><integer>10</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>55</integer><br>+// CHECK:            <key>line</key><integer>53</integer><br> // CHECK:            <key>col</key><integer>20</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1345,7 +1406,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>55</integer><br>+// CHECK:       <key>line</key><integer>53</integer><br> // CHECK:       <key>col</key><integer>10</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1353,12 +1414,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>55</integer><br>+// CHECK:          <key>line</key><integer>53</integer><br> // CHECK:          <key>col</key><integer>10</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>55</integer><br>+// CHECK:          <key>line</key><integer>53</integer><br> // CHECK:          <key>col</key><integer>20</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1378,12 +1439,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>55</integer><br>+// CHECK:            <key>line</key><integer>53</integer><br> // CHECK:            <key>col</key><integer>10</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>55</integer><br>+// CHECK:            <key>line</key><integer>53</integer><br> // CHECK:            <key>col</key><integer>20</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1391,12 +1452,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>56</integer><br>+// CHECK:            <key>line</key><integer>54</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>56</integer><br>+// CHECK:            <key>line</key><integer>54</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1412,12 +1473,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>56</integer><br>+// CHECK:            <key>line</key><integer>54</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>56</integer><br>+// CHECK:            <key>line</key><integer>54</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1425,12 +1486,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>57</integer><br>+// CHECK:            <key>line</key><integer>55</integer><br> // CHECK:            <key>col</key><integer>7</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>57</integer><br>+// CHECK:            <key>line</key><integer>55</integer><br> // CHECK:            <key>col</key><integer>7</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1442,7 +1503,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>57</integer><br>+// CHECK:       <key>line</key><integer>55</integer><br> // CHECK:       <key>col</key><integer>7</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1450,12 +1511,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>57</integer><br>+// CHECK:          <key>line</key><integer>55</integer><br> // CHECK:          <key>col</key><integer>7</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>57</integer><br>+// CHECK:          <key>line</key><integer>55</integer><br> // CHECK:          <key>col</key><integer>17</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1471,7 +1532,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>51</integer><br>+// CHECK:       <key>line</key><integer>49</integer><br> // CHECK:       <key>col</key><integer>1</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1489,12 +1550,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>51</integer><br>+// CHECK:            <key>line</key><integer>49</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>51</integer><br>+// CHECK:            <key>line</key><integer>49</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1502,12 +1563,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>52</integer><br>+// CHECK:            <key>line</key><integer>50</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>52</integer><br>+// CHECK:            <key>line</key><integer>50</integer><br> // CHECK:            <key>col</key><integer>11</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1519,7 +1580,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>52</integer><br>+// CHECK:       <key>line</key><integer>50</integer><br> // CHECK:       <key>col</key><integer>5</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1527,12 +1588,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>52</integer><br>+// CHECK:          <key>line</key><integer>50</integer><br> // CHECK:          <key>col</key><integer>5</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>52</integer><br>+// CHECK:          <key>line</key><integer>50</integer><br> // CHECK:          <key>col</key><integer>11</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1548,7 +1609,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>57</integer><br>+// CHECK:       <key>line</key><integer>55</integer><br> // CHECK:       <key>col</key><integer>7</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1556,12 +1617,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>57</integer><br>+// CHECK:          <key>line</key><integer>55</integer><br> // CHECK:          <key>col</key><integer>7</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>57</integer><br>+// CHECK:          <key>line</key><integer>55</integer><br> // CHECK:          <key>col</key><integer>17</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1581,12 +1642,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>57</integer><br>+// CHECK:            <key>line</key><integer>55</integer><br> // CHECK:            <key>col</key><integer>7</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>57</integer><br>+// CHECK:            <key>line</key><integer>55</integer><br> // CHECK:            <key>col</key><integer>17</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1594,12 +1655,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>58</integer><br>+// CHECK:            <key>line</key><integer>56</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>58</integer><br>+// CHECK:            <key>line</key><integer>56</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1611,7 +1672,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>62</integer><br>+// CHECK:       <key>line</key><integer>60</integer><br> // CHECK:       <key>col</key><integer>5</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1619,12 +1680,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>62</integer><br>+// CHECK:          <key>line</key><integer>60</integer><br> // CHECK:          <key>col</key><integer>5</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>62</integer><br>+// CHECK:          <key>line</key><integer>60</integer><br> // CHECK:          <key>col</key><integer>28</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1644,12 +1705,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>62</integer><br>+// CHECK:            <key>line</key><integer>60</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>62</integer><br>+// CHECK:            <key>line</key><integer>60</integer><br> // CHECK:            <key>col</key><integer>28</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1657,12 +1718,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>63</integer><br>+// CHECK:            <key>line</key><integer>61</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>63</integer><br>+// CHECK:            <key>line</key><integer>61</integer><br> // CHECK:            <key>col</key><integer>14</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1674,7 +1735,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>63</integer><br>+// CHECK:       <key>line</key><integer>61</integer><br> // CHECK:       <key>col</key><integer>5</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1682,12 +1743,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>63</integer><br>+// CHECK:          <key>line</key><integer>61</integer><br> // CHECK:          <key>col</key><integer>12</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>63</integer><br>+// CHECK:          <key>line</key><integer>61</integer><br> // CHECK:          <key>col</key><integer>14</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1705,7 +1766,7 @@<br> // CHECK:    <key>type</key><string>Use-after-free</string><br> // CHECK:   <key>location</key><br> // CHECK:   <dict><br>-// CHECK:    <key>line</key><integer>63</integer><br>+// CHECK:    <key>line</key><integer>61</integer><br> // CHECK:    <key>col</key><integer>5</integer><br> // CHECK:    <key>file</key><integer>0</integer><br> // CHECK:   </dict><br>@@ -1721,12 +1782,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>76</integer><br>+// CHECK:            <key>line</key><integer>74</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>76</integer><br>+// CHECK:            <key>line</key><integer>74</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1734,12 +1795,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>76</integer><br>+// CHECK:            <key>line</key><integer>74</integer><br> // CHECK:            <key>col</key><integer>25</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>76</integer><br>+// CHECK:            <key>line</key><integer>74</integer><br> // CHECK:            <key>col</key><integer>35</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1751,7 +1812,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>76</integer><br>+// CHECK:       <key>line</key><integer>74</integer><br> // CHECK:       <key>col</key><integer>25</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1759,12 +1820,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>76</integer><br>+// CHECK:          <key>line</key><integer>74</integer><br> // CHECK:          <key>col</key><integer>25</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>76</integer><br>+// CHECK:          <key>line</key><integer>74</integer><br> // CHECK:          <key>col</key><integer>35</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1784,12 +1845,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>76</integer><br>+// CHECK:            <key>line</key><integer>74</integer><br> // CHECK:            <key>col</key><integer>25</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>76</integer><br>+// CHECK:            <key>line</key><integer>74</integer><br> // CHECK:            <key>col</key><integer>35</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1797,12 +1858,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>77</integer><br>+// CHECK:            <key>line</key><integer>75</integer><br> // CHECK:            <key>col</key><integer>11</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>77</integer><br>+// CHECK:            <key>line</key><integer>75</integer><br> // CHECK:            <key>col</key><integer>11</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1814,7 +1875,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>77</integer><br>+// CHECK:       <key>line</key><integer>75</integer><br> // CHECK:       <key>col</key><integer>11</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1822,12 +1883,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>77</integer><br>+// CHECK:          <key>line</key><integer>75</integer><br> // CHECK:          <key>col</key><integer>11</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>77</integer><br>+// CHECK:          <key>line</key><integer>75</integer><br> // CHECK:          <key>col</key><integer>25</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1843,7 +1904,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>67</integer><br>+// CHECK:       <key>line</key><integer>65</integer><br> // CHECK:       <key>col</key><integer>1</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1861,12 +1922,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>67</integer><br>+// CHECK:            <key>line</key><integer>65</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>67</integer><br>+// CHECK:            <key>line</key><integer>65</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1874,12 +1935,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>line</key><integer>66</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>line</key><integer>66</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1895,12 +1956,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>line</key><integer>66</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>line</key><integer>66</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1908,12 +1969,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>69</integer><br>+// CHECK:            <key>line</key><integer>67</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>69</integer><br>+// CHECK:            <key>line</key><integer>67</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1929,12 +1990,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>69</integer><br>+// CHECK:            <key>line</key><integer>67</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>69</integer><br>+// CHECK:            <key>line</key><integer>67</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1942,12 +2003,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>69</integer><br>+// CHECK:            <key>line</key><integer>67</integer><br> // CHECK:            <key>col</key><integer>18</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>69</integer><br>+// CHECK:            <key>line</key><integer>67</integer><br> // CHECK:            <key>col</key><integer>40</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -1959,7 +2020,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>69</integer><br>+// CHECK:       <key>line</key><integer>67</integer><br> // CHECK:       <key>col</key><integer>18</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -1967,12 +2028,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>69</integer><br>+// CHECK:          <key>line</key><integer>67</integer><br> // CHECK:          <key>col</key><integer>18</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>69</integer><br>+// CHECK:          <key>line</key><integer>67</integer><br> // CHECK:          <key>col</key><integer>40</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -1992,12 +2053,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>69</integer><br>+// CHECK:            <key>line</key><integer>67</integer><br> // CHECK:            <key>col</key><integer>18</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>69</integer><br>+// CHECK:            <key>line</key><integer>67</integer><br> // CHECK:            <key>col</key><integer>40</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2005,13 +2066,47 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>70</integer><br>+// CHECK:            <key>line</key><integer>68</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>70</integer><br>-// CHECK:            <key>col</key><integer>6</integer><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br>+// CHECK:            <key>file</key><integer>0</integer><br>+// CHECK:           </dict><br>+// CHECK:          </array><br>+// CHECK:        </dict><br>+// CHECK:       </array><br>+// CHECK:     </dict><br>+// CHECK:     <dict><br>+// CHECK:      <key>kind</key><string>control</string><br>+// CHECK:      <key>edges</key><br>+// CHECK:       <array><br>+// CHECK:        <dict><br>+// CHECK:         <key>start</key><br>+// CHECK:          <array><br>+// CHECK:           <dict><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br>+// CHECK:            <key>file</key><integer>0</integer><br>+// CHECK:           </dict><br>+// CHECK:           <dict><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br>+// CHECK:            <key>file</key><integer>0</integer><br>+// CHECK:           </dict><br>+// CHECK:          </array><br>+// CHECK:         <key>end</key><br>+// CHECK:          <array><br>+// CHECK:           <dict><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>9</integer><br>+// CHECK:            <key>file</key><integer>0</integer><br>+// CHECK:           </dict><br>+// CHECK:           <dict><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>12</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:          </array><br>@@ -2022,30 +2117,30 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>70</integer><br>-// CHECK:       <key>col</key><integer>5</integer><br>+// CHECK:       <key>line</key><integer>68</integer><br>+// CHECK:       <key>col</key><integer>9</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br> // CHECK:      <key>ranges</key><br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>70</integer><br>-// CHECK:          <key>col</key><integer>5</integer><br>+// CHECK:          <key>line</key><integer>68</integer><br>+// CHECK:          <key>col</key><integer>9</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>70</integer><br>-// CHECK:          <key>col</key><integer>6</integer><br>+// CHECK:          <key>line</key><integer>68</integer><br>+// CHECK:          <key>col</key><integer>12</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:        </array><br> // CHECK:      </array><br> // CHECK:      <key>depth</key><integer>1</integer><br> // CHECK:      <key>extended_message</key><br>-// CHECK:      <string>Reallocation failed</string><br>+// CHECK:      <string>Assuming &apos;tmp&apos; is null</string><br> // CHECK:      <key>message</key><br>-// CHECK: <string>Reallocation failed</string><br>+// CHECK: <string>Assuming &apos;tmp&apos; is null</string><br> // CHECK:     </dict><br> // CHECK:     <dict><br> // CHECK:      <key>kind</key><string>control</string><br>@@ -2055,26 +2150,26 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>70</integer><br>-// CHECK:            <key>col</key><integer>5</integer><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>9</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>70</integer><br>-// CHECK:            <key>col</key><integer>6</integer><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>12</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:          </array><br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>70</integer><br>-// CHECK:            <key>col</key><integer>9</integer><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>70</integer><br>-// CHECK:            <key>col</key><integer>12</integer><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>6</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:          </array><br>@@ -2082,6 +2177,35 @@<br> // CHECK:       </array><br> // CHECK:     </dict><br> // CHECK:     <dict><br>+// CHECK:      <key>kind</key><string>event</string><br>+// CHECK:      <key>location</key><br>+// CHECK:      <dict><br>+// CHECK:       <key>line</key><integer>68</integer><br>+// CHECK:       <key>col</key><integer>5</integer><br>+// CHECK:       <key>file</key><integer>0</integer><br>+// CHECK:      </dict><br>+// CHECK:      <key>ranges</key><br>+// CHECK:      <array><br>+// CHECK:        <array><br>+// CHECK:         <dict><br>+// CHECK:          <key>line</key><integer>68</integer><br>+// CHECK:          <key>col</key><integer>5</integer><br>+// CHECK:          <key>file</key><integer>0</integer><br>+// CHECK:         </dict><br>+// CHECK:         <dict><br>+// CHECK:          <key>line</key><integer>68</integer><br>+// CHECK:          <key>col</key><integer>6</integer><br>+// CHECK:          <key>file</key><integer>0</integer><br>+// CHECK:         </dict><br>+// CHECK:        </array><br>+// CHECK:      </array><br>+// CHECK:      <key>depth</key><integer>1</integer><br>+// CHECK:      <key>extended_message</key><br>+// CHECK:      <string>Reallocation failed</string><br>+// CHECK:      <key>message</key><br>+// CHECK: <string>Reallocation failed</string><br>+// CHECK:     </dict><br>+// CHECK:     <dict><br> // CHECK:      <key>kind</key><string>control</string><br> // CHECK:      <key>edges</key><br> // CHECK:       <array><br>@@ -2089,25 +2213,25 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>70</integer><br>-// CHECK:            <key>col</key><integer>9</integer><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>70</integer><br>-// CHECK:            <key>col</key><integer>12</integer><br>+// CHECK:            <key>line</key><integer>68</integer><br>+// CHECK:            <key>col</key><integer>6</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:          </array><br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>71</integer><br>+// CHECK:            <key>line</key><integer>69</integer><br> // CHECK:            <key>col</key><integer>9</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>71</integer><br>+// CHECK:            <key>line</key><integer>69</integer><br> // CHECK:            <key>col</key><integer>9</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2119,7 +2243,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>77</integer><br>+// CHECK:       <key>line</key><integer>75</integer><br> // CHECK:       <key>col</key><integer>11</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -2127,12 +2251,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>77</integer><br>+// CHECK:          <key>line</key><integer>75</integer><br> // CHECK:          <key>col</key><integer>11</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>77</integer><br>+// CHECK:          <key>line</key><integer>75</integer><br> // CHECK:          <key>col</key><integer>25</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -2152,12 +2276,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>77</integer><br>+// CHECK:            <key>line</key><integer>75</integer><br> // CHECK:            <key>col</key><integer>11</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>77</integer><br>+// CHECK:            <key>line</key><integer>75</integer><br> // CHECK:            <key>col</key><integer>25</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2165,12 +2289,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>78</integer><br>+// CHECK:            <key>line</key><integer>76</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>78</integer><br>+// CHECK:            <key>line</key><integer>76</integer><br> // CHECK:            <key>col</key><integer>13</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2182,7 +2306,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>78</integer><br>+// CHECK:       <key>line</key><integer>76</integer><br> // CHECK:       <key>col</key><integer>5</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -2190,12 +2314,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>78</integer><br>+// CHECK:          <key>line</key><integer>76</integer><br> // CHECK:          <key>col</key><integer>5</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>78</integer><br>+// CHECK:          <key>line</key><integer>76</integer><br> // CHECK:          <key>col</key><integer>13</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -2213,7 +2337,7 @@<br> // CHECK:    <key>type</key><string>Memory leak</string><br> // CHECK:   <key>location</key><br> // CHECK:   <dict><br>-// CHECK:    <key>line</key><integer>78</integer><br>+// CHECK:    <key>line</key><integer>76</integer><br> // CHECK:    <key>col</key><integer>5</integer><br> // CHECK:    <key>file</key><integer>0</integer><br> // CHECK:   </dict><br>@@ -2229,12 +2353,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>86</integer><br>+// CHECK:            <key>line</key><integer>84</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>86</integer><br>+// CHECK:            <key>line</key><integer>84</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2242,12 +2366,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>87</integer><br>+// CHECK:            <key>line</key><integer>85</integer><br> // CHECK:            <key>col</key><integer>9</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>87</integer><br>+// CHECK:            <key>line</key><integer>85</integer><br> // CHECK:            <key>col</key><integer>9</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2259,7 +2383,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>87</integer><br>+// CHECK:       <key>line</key><integer>85</integer><br> // CHECK:       <key>col</key><integer>9</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -2267,12 +2391,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>87</integer><br>+// CHECK:          <key>line</key><integer>85</integer><br> // CHECK:          <key>col</key><integer>9</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>87</integer><br>+// CHECK:          <key>line</key><integer>85</integer><br> // CHECK:          <key>col</key><integer>28</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -2288,7 +2412,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>82</integer><br>+// CHECK:       <key>line</key><integer>80</integer><br> // CHECK:       <key>col</key><integer>1</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -2306,12 +2430,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>82</integer><br>+// CHECK:            <key>line</key><integer>80</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>82</integer><br>+// CHECK:            <key>line</key><integer>80</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2319,12 +2443,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>83</integer><br>+// CHECK:            <key>line</key><integer>81</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>83</integer><br>+// CHECK:            <key>line</key><integer>81</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2340,12 +2464,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>83</integer><br>+// CHECK:            <key>line</key><integer>81</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>83</integer><br>+// CHECK:            <key>line</key><integer>81</integer><br> // CHECK:            <key>col</key><integer>5</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2353,12 +2477,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>83</integer><br>+// CHECK:            <key>line</key><integer>81</integer><br> // CHECK:            <key>col</key><integer>19</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>83</integer><br>+// CHECK:            <key>line</key><integer>81</integer><br> // CHECK:            <key>col</key><integer>28</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2370,7 +2494,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>83</integer><br>+// CHECK:       <key>line</key><integer>81</integer><br> // CHECK:       <key>col</key><integer>19</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -2378,12 +2502,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>83</integer><br>+// CHECK:          <key>line</key><integer>81</integer><br> // CHECK:          <key>col</key><integer>19</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>83</integer><br>+// CHECK:          <key>line</key><integer>81</integer><br> // CHECK:          <key>col</key><integer>28</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -2399,7 +2523,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>87</integer><br>+// CHECK:       <key>line</key><integer>85</integer><br> // CHECK:       <key>col</key><integer>9</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -2407,12 +2531,12 @@<br> // CHECK:      <array><br> // CHECK:        <array><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>87</integer><br>+// CHECK:          <key>line</key><integer>85</integer><br> // CHECK:          <key>col</key><integer>9</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br> // CHECK:         <dict><br>-// CHECK:          <key>line</key><integer>87</integer><br>+// CHECK:          <key>line</key><integer>85</integer><br> // CHECK:          <key>col</key><integer>28</integer><br> // CHECK:          <key>file</key><integer>0</integer><br> // CHECK:         </dict><br>@@ -2432,12 +2556,12 @@<br> // CHECK:         <key>start</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>87</integer><br>+// CHECK:            <key>line</key><integer>85</integer><br> // CHECK:            <key>col</key><integer>9</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>87</integer><br>+// CHECK:            <key>line</key><integer>85</integer><br> // CHECK:            <key>col</key><integer>28</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2445,12 +2569,12 @@<br> // CHECK:         <key>end</key><br> // CHECK:          <array><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>88</integer><br>+// CHECK:            <key>line</key><integer>86</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br> // CHECK:           <dict><br>-// CHECK:            <key>line</key><integer>88</integer><br>+// CHECK:            <key>line</key><integer>86</integer><br> // CHECK:            <key>col</key><integer>1</integer><br> // CHECK:            <key>file</key><integer>0</integer><br> // CHECK:           </dict><br>@@ -2462,7 +2586,7 @@<br> // CHECK:      <key>kind</key><string>event</string><br> // CHECK:      <key>location</key><br> // CHECK:      <dict><br>-// CHECK:       <key>line</key><integer>88</integer><br>+// CHECK:       <key>line</key><integer>86</integer><br> // CHECK:       <key>col</key><integer>1</integer><br> // CHECK:       <key>file</key><integer>0</integer><br> // CHECK:      </dict><br>@@ -2478,7 +2602,7 @@<br> // CHECK:    <key>type</key><string>Memory leak</string><br> // CHECK:   <key>location</key><br> // CHECK:   <dict><br>-// CHECK:    <key>line</key><integer>88</integer><br>+// CHECK:    <key>line</key><integer>86</integer><br> // CHECK:    <key>col</key><integer>1</integer><br> // CHECK:    <key>file</key><integer>0</integer><br> // CHECK:   </dict><br><br><br>_______________________________________________<br>cfe-commits mailing list<br><a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits<br></div></blockquote></div><br></div></body></html>