forked from OSchip/llvm-project
[analyzer] Fix test for previous commit.
llvm-svn: 176202
This commit is contained in:
parent
f7f32d5202
commit
2c377feacb
|
@ -73,429 +73,6 @@ static void CreateRefUndef(SCDynamicStoreRef *storeRef, unsigned x) {
|
|||
*storeRef = ref;
|
||||
}
|
||||
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>files</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>diagnostics</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>path</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>event</string>
|
||||
//CHECK: <key>location</key>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>33</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <key>ranges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>33</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>33</integer>
|
||||
//CHECK: <key>col</key><integer>30</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>depth</key><integer>0</integer>
|
||||
//CHECK: <key>extended_message</key>
|
||||
//CHECK: <string>'storeRef' initialized to nil</string>
|
||||
//CHECK: <key>message</key>
|
||||
//CHECK: <string>'storeRef' initialized to nil</string>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>control</string>
|
||||
//CHECK: <key>edges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>start</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>33</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>33</integer>
|
||||
//CHECK: <key>col</key><integer>21</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>end</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>13</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>event</string>
|
||||
//CHECK: <key>location</key>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <key>ranges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>27</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>depth</key><integer>0</integer>
|
||||
//CHECK: <key>extended_message</key>
|
||||
//CHECK: <string>Calling 'CreateRef'</string>
|
||||
//CHECK: <key>message</key>
|
||||
//CHECK: <string>Calling 'CreateRef'</string>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>event</string>
|
||||
//CHECK: <key>location</key>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>42</integer>
|
||||
//CHECK: <key>col</key><integer>1</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <key>depth</key><integer>1</integer>
|
||||
//CHECK: <key>extended_message</key>
|
||||
//CHECK: <string>Entered call from 'test'</string>
|
||||
//CHECK: <key>message</key>
|
||||
//CHECK: <string>Entered call from 'test'</string>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>control</string>
|
||||
//CHECK: <key>edges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>start</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>42</integer>
|
||||
//CHECK: <key>col</key><integer>1</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>42</integer>
|
||||
//CHECK: <key>col</key><integer>6</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>end</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>43</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>43</integer>
|
||||
//CHECK: <key>col</key><integer>12</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>control</string>
|
||||
//CHECK: <key>edges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>start</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>43</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>43</integer>
|
||||
//CHECK: <key>col</key><integer>12</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>end</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>6</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>control</string>
|
||||
//CHECK: <key>edges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>start</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>6</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>end</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>9</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>11</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>event</string>
|
||||
//CHECK: <key>location</key>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>9</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <key>ranges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>9</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>11</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>depth</key><integer>1</integer>
|
||||
//CHECK: <key>extended_message</key>
|
||||
//CHECK: <string>Assuming 'err' is not equal to 0</string>
|
||||
//CHECK: <key>message</key>
|
||||
//CHECK: <string>Assuming 'err' is not equal to 0</string>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>control</string>
|
||||
//CHECK: <key>edges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>start</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>9</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>45</integer>
|
||||
//CHECK: <key>col</key><integer>11</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>end</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>48</integer>
|
||||
//CHECK: <key>col</key><integer>9</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>48</integer>
|
||||
//CHECK: <key>col</key><integer>17</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>control</string>
|
||||
//CHECK: <key>edges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>start</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>48</integer>
|
||||
//CHECK: <key>col</key><integer>9</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>48</integer>
|
||||
//CHECK: <key>col</key><integer>17</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>end</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>51</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>51</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>event</string>
|
||||
//CHECK: <key>location</key>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <key>ranges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>27</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>depth</key><integer>1</integer>
|
||||
//CHECK: <key>extended_message</key>
|
||||
//CHECK: <string>Returning from 'CreateRef'</string>
|
||||
//CHECK: <key>message</key>
|
||||
//CHECK: <string>Returning from 'CreateRef'</string>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>control</string>
|
||||
//CHECK: <key>edges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>start</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>34</integer>
|
||||
//CHECK: <key>col</key><integer>13</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>end</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>37</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>37</integer>
|
||||
//CHECK: <key>col</key><integer>13</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>kind</key><string>event</string>
|
||||
//CHECK: <key>location</key>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>37</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <key>ranges</key>
|
||||
//CHECK: <array>
|
||||
//CHECK: <array>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>37</integer>
|
||||
//CHECK: <key>col</key><integer>15</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>37</integer>
|
||||
//CHECK: <key>col</key><integer>22</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>depth</key><integer>0</integer>
|
||||
//CHECK: <key>extended_message</key>
|
||||
//CHECK: <string>Null pointer argument in call to CFRelease</string>
|
||||
//CHECK: <key>message</key>
|
||||
//CHECK: <string>Null pointer argument in call to CFRelease</string>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: <key>description</key><string>Null pointer argument in call to CFRelease</string>
|
||||
//CHECK: <key>category</key><string>API Misuse (Apple)</string>
|
||||
//CHECK: <key>type</key><string>null passed to CFRetain/CFRelease/CFMakeCollectable</string>
|
||||
//CHECK: <key>issue_context_kind</key><string>Objective-C method</string>
|
||||
//CHECK: <key>issue_context</key><string>test</string>
|
||||
//CHECK: <key>issue_hash</key><string>5</string>
|
||||
//CHECK: <key>location</key>
|
||||
//CHECK: <dict>
|
||||
//CHECK: <key>line</key><integer>37</integer>
|
||||
//CHECK: <key>col</key><integer>5</integer>
|
||||
//CHECK: <key>file</key><integer>0</integer>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </array>
|
||||
//CHECK: </dict>
|
||||
//CHECK: </plist>
|
||||
// CHECK: <key>diagnostics</key>
|
||||
// CHECK-NEXT: <array>
|
||||
// CHECK-NEXT: <dict>
|
||||
|
|
Loading…
Reference in New Issue