| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> |
| <plist version="1.0"> |
| <dict> |
| <key>clang_version</key> |
| <string>clang version 3.9.0 (trunk 258573)</string> |
| <key>diagnostics</key> |
| <array> |
| <dict> |
| <key>HTMLDiagnostics_files</key> |
| <array> |
| <string>report-eb9dbd.html</string> |
| </array> |
| <key>category</key> |
| <string>Dead store</string> |
| <key>check_name</key> |
| <string>deadcode.DeadStores</string> |
| <key>description</key> |
| <string>Value stored to 'q' is never read</string> |
| <key>issue_context</key> |
| <string>ASN1_item_ex_d2i</string> |
| <key>issue_context_kind</key> |
| <string>function</string> |
| <key>issue_hash_content_of_line_in_context</key> |
| <string>7fb13e98a8c61a0471a61bdabb4ac6be</string> |
| <key>issue_hash_function_offset</key> |
| <string>260</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>434</integer> |
| </dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Value stored to 'q' is never read</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>434</integer> |
| </dict> |
| <key>message</key> |
| <string>Value stored to 'q' is never read</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>434</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>434</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| </array> |
| <key>type</key> |
| <string>Dead assignment</string> |
| </dict> |
| <dict> |
| <key>HTMLDiagnostics_files</key> |
| <array> |
| <string>report-b2e330.html</string> |
| </array> |
| <key>category</key> |
| <string>Dead store</string> |
| <key>check_name</key> |
| <string>deadcode.DeadStores</string> |
| <key>description</key> |
| <string>Value stored to 'q' is never read</string> |
| <key>issue_context</key> |
| <string>asn1_template_noexp_d2i</string> |
| <key>issue_context_kind</key> |
| <string>function</string> |
| <key>issue_hash_content_of_line_in_context</key> |
| <string>d16650966c86659a0b7f92393ce96488</string> |
| <key>issue_hash_function_offset</key> |
| <string>10</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>612</integer> |
| </dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Value stored to 'q' is never read</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>612</integer> |
| </dict> |
| <key>message</key> |
| <string>Value stored to 'q' is never read</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>612</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>612</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| </array> |
| <key>type</key> |
| <string>Dead assignment</string> |
| </dict> |
| <dict> |
| <key>HTMLDiagnostics_files</key> |
| <array> |
| <string>report-ee659d.html</string> |
| </array> |
| <key>category</key> |
| <string>Logic error</string> |
| <key>check_name</key> |
| <string>core.uninitialized.Branch</string> |
| <key>description</key> |
| <string>Branch condition evaluates to a garbage value</string> |
| <key>issue_context</key> |
| <string>asn1_d2i_ex_primitive</string> |
| <key>issue_context_kind</key> |
| <string>function</string> |
| <key>issue_hash_content_of_line_in_context</key> |
| <string>3136e06e76423f3b3c6b2afcb933dd0a</string> |
| <key>issue_hash_function_offset</key> |
| <string>125</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>22</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>722</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>722</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'pval' is non-null</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'pval' is non-null</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>734</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>734</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>729</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>738</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>738</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>734</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>734</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>740</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>740</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>738</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>738</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>762</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>762</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>740</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>740</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>766</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>766</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>762</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>762</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>766</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>766</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'ret' is not equal to 0</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'ret' is not equal to 0</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>773</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>773</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>770</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>775</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>775</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>773</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>773</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>775</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>775</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'utype' is not equal to 16</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'utype' is not equal to 16</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>33</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>778</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>778</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>14</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>777</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'utype' is not equal to 17</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>778</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'utype' is not equal to 17</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>778</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>31</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>778</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>778</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>778</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>16</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>18</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'cst' is 0</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>16</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'cst' is 0</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>16</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>18</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>834</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>834</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>16</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>18</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>804</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>836</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>836</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>834</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>834</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>840</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>840</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>836</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>836</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>841</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>841</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>840</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>840</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>841</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>841</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>22</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>24</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Branch condition evaluates to a garbage value</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>22</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| <key>message</key> |
| <string>Branch condition evaluates to a garbage value</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>22</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>29</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>846</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| </array> |
| <key>type</key> |
| <string>Branch condition evaluates to a garbage value</string> |
| </dict> |
| </array> |
| <key>files</key> |
| <array> |
| <string>tasn_dec.c</string> |
| </array> |
| </dict> |
| </plist> |
