| <?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-49b62c.html</string> |
| </array> |
| <key>category</key> |
| <string>Logic error</string> |
| <key>check_name</key> |
| <string>core.UndefinedBinaryOperatorResult</string> |
| <key>description</key> |
| <string>The left operand of '&' is a garbage value</string> |
| <key>issue_context</key> |
| <string>BN_mod_inverse_no_branch</string> |
| <key>issue_context_kind</key> |
| <string>function</string> |
| <key>issue_hash_content_of_line_in_context</key> |
| <string>e72f14f4f669d7d04582668f4bfbfbac</string> |
| <key>issue_hash_function_offset</key> |
| <string>42</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>585</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>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>544</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>544</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>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</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 'T' is not equal to 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>561</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'T' is not equal to null</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</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>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</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>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</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 'in' is not equal to 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>564</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'in' is not equal to null</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>18</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</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>567</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>567</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</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>568</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>568</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>567</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>567</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>571</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>571</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>568</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>568</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>573</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>573</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>571</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>571</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>575</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>575</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>573</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>573</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>577</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>577</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>575</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>575</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>579</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>577</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>577</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>579</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</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>584</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>584</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</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>585</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>585</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>584</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>584</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>585</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>585</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>585</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>585</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>The left operand of '&' is a garbage value</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>585</integer> |
| </dict> |
| <key>message</key> |
| <string>The left operand of '&' is a garbage value</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>585</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>46</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>585</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| </array> |
| <key>type</key> |
| <string>Result of operation is garbage or undefined</string> |
| </dict> |
| <dict> |
| <key>HTMLDiagnostics_files</key> |
| <array> |
| <string>report-8524a6.html</string> |
| </array> |
| <key>category</key> |
| <string>Logic error</string> |
| <key>check_name</key> |
| <string>core.UndefinedBinaryOperatorResult</string> |
| <key>description</key> |
| <string>The left operand of '&' is a garbage value</string> |
| <key>issue_context</key> |
| <string>BN_mod_inverse_no_branch</string> |
| <key>issue_context_kind</key> |
| <string>function</string> |
| <key>issue_hash_content_of_line_in_context</key> |
| <string>30a63bed4e75fe898087508da9d6eb92</string> |
| <key>issue_hash_function_offset</key> |
| <string>69</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>612</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>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>544</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>544</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>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</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 'T' is not equal to 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>561</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'T' is not equal to null</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</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>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>561</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>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</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 'in' is not equal to 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>564</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'in' is not equal to null</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>18</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</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>567</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>567</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>564</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>568</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>568</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>567</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>567</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>571</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>571</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>568</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>568</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>573</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>573</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>571</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>571</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>575</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>575</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>573</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>573</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>577</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>577</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>575</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>575</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>579</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>577</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>577</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>579</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</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>589</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>8</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>589</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>579</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>598</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>598</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>589</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>8</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>589</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Entering loop body</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>598</integer> |
| </dict> |
| <key>message</key> |
| <string>Entering loop body</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>598</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>598</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>599</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>14</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>599</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>598</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>598</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>611</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>611</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>599</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>14</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>599</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>612</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>612</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>611</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>611</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>612</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>612</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <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>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>612</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>The left operand of '&' is a garbage value</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>612</integer> |
| </dict> |
| <key>message</key> |
| <string>The left operand of '&' is a garbage value</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>46</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>612</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| </array> |
| <key>type</key> |
| <string>Result of operation is garbage or undefined</string> |
| </dict> |
| </array> |
| <key>files</key> |
| <array> |
| <string>bn_gcd.c</string> |
| </array> |
| </dict> |
| </plist> |