| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> |
| <plist version="1.0"> |
| <dict> |
| <key>clang_version</key> |
| <key>diagnostics</key> |
| <array> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>22</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>22</integer> |
| <key>col</key><integer>17</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>'p' initialized to 0</string> |
| <key>message</key> |
| <string>'p' initialized to 0</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>25</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>25</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>25</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>25</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>27</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming the condition is true</string> |
| <key>message</key> |
| <string>Assuming the condition is true</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>35</integer> |
| <key>col</key><integer>15</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>35</integer> |
| <key>col</key><integer>15</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>35</integer> |
| <key>col</key><integer>15</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>35</integer> |
| <key>col</key><integer>13</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>35</integer> |
| <key>col</key><integer>17</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Division by zero</string> |
| <key>message</key> |
| <string>Division by zero</string> |
| </dict> |
| </array> |
| <key>description</key><string>Division by zero</string> |
| <key>category</key><string>Logic error</string> |
| <key>type</key><string>Division by zero</string> |
| <key>check_name</key><string>core.DivideZero</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>86cb845e4f1e6abde1c5b319d5b08eca</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>main</string> |
| <key>issue_hash_function_offset</key><string>15</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>35</integer> |
| <key>col</key><integer>15</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>20</integer> |
| <integer>22</integer> |
| <integer>24</integer> |
| <integer>25</integer> |
| <integer>31</integer> |
| <integer>35</integer> |
| </array> |
| <key>1</key> |
| <array> |
| <integer>1</integer> |
| </array> |
| </dict> |
| </dict> |
| </array> |
| <key>files</key> |
| <array> |
| </array> |
| </dict> |
| </plist> |
