This is an archive of the discontinued LLVM Phabricator instance.

Differential D61060

[analyzer] ConditionBRVisitor: Test 'add-pop-up-notes=false'
ClosedPublic

Authored by Charusso on Apr 24 2019, 4:54 AM.

Details

Reviewers
NoQ
alexfh
Commits
rG8193ea60f6a0: [analyzer] ConditionBRVisitor: Test 'add-pop-up-notes=false'
rC362023: [analyzer] ConditionBRVisitor: Test 'add-pop-up-notes=false'
rL362023: [analyzer] ConditionBRVisitor: Test 'add-pop-up-notes=false'
Summary

-

Diff Detail

Repository
rL LLVM

Revision Contents

PathSize
cfe/
trunk/
test/
Analysis/
Inputs/
expected-plists/
224 lines
22 lines

Diff 202037

cfe/trunk/test/Analysis/Inputs/expected-plists/NewDelete-path-notes.cpp.plist

<?xml version="1.0" encoding="UTF-8"?> <?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"> <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0"> <plist version="1.0">
<dict> <dict>
<key>clang_version</key> <key>clang_version</key>
<string>clang version 8.0.0 </string> <string>clang version 8.0.0 </string>
<key>diagnostics</key> <key>diagnostics</key>
<array> <array>
<dict> <dict>
<key>path</key> <key>path</key>
<array> <array>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>7</integer> <key>line</key><integer>24</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>7</integer> <key>line</key><integer>24</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>7</integer> <key>line</key><integer>24</integer>
<key>col</key><integer>18</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Memory is allocated</string> <string>Attempt to free released memory</string>
<key>message</key> <key>message</key>
<string>Memory is allocated</string> <string>Attempt to free released memory</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>7</integer> <key>line</key><integer>17</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>1</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>7</integer> <key>line</key><integer>17</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>9</integer> <key>line</key><integer>18</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>9</integer> <key>line</key><integer>18</integer>
<key>col</key><integer>4</integer> <key>col</key><integer>5</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>event</string>
<key>edges</key> <key>location</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>9</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict> <dict>
<key>line</key><integer>9</integer> <key>line</key><integer>18</integer>
<key>col</key><integer>4</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> <key>ranges</key>
<key>end</key> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>9</integer> <key>line</key><integer>18</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>9</integer> <key>line</key><integer>18</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>18</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict>
</array> </array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Memory is allocated</string>
<key>message</key>
<string>Memory is allocated</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>control</string>
<key>location</key> <key>edges</key>
<array>
<dict> <dict>
<key>line</key><integer>9</integer> <key>start</key>
<key>col</key><integer>7</integer> <array>
<dict>
<key>line</key><integer>18</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <dict>
<array> <key>line</key><integer>18</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>9</integer> <key>line</key><integer>20</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>9</integer> <key>line</key><integer>20</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict>
</array> </array>
<key>extended_message</key>
<string>&apos;p&apos; is non-null</string>
<key>message</key>
<string>&apos;p&apos; is non-null</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>9</integer> <key>line</key><integer>20</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>9</integer> <key>line</key><integer>20</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>21</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>21</integer>
<key>col</key><integer>10</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>21</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>21</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>21</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Memory is released</string> <string>Memory is released</string>
<key>message</key> <key>message</key>
<string>Memory is released</string> <string>Memory is released</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>21</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>21</integer>
<key>col</key><integer>10</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>14</integer> <key>line</key><integer>24</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>14</integer> <key>line</key><integer>24</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>14</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>14</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>14</integer>
<key>col</key><integer>10</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Attempt to free released memory</string>
<key>message</key>
<string>Attempt to free released memory</string>
</dict>
</array> </array>
<key>description</key><string>Attempt to free released memory</string> <key>description</key><string>Attempt to free released memory</string>
<key>category</key><string>Memory error</string> <key>category</key><string>Memory error</string>
<key>type</key><string>Double free</string> <key>type</key><string>Double free</string>
<key>check_name</key><string>cplusplus.NewDelete</string> <key>check_name</key><string>cplusplus.NewDelete</string>
<!-- This hash is experimental and going to change! --> <!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>bd8e324d09c70b9e2be6f824a4942e5a</string> <key>issue_hash_content_of_line_in_context</key><string>bd8e324d09c70b9e2be6f824a4942e5a</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>test</string> <key>issue_context</key><string>test</string>
<key>issue_hash_function_offset</key><string>8</string> <key>issue_hash_function_offset</key><string>7</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>14</integer> <key>line</key><integer>24</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ExecutedLines</key> <key>ExecutedLines</key>
<dict> <dict>
<key>0</key> <key>0</key>
<array> <array>
<integer>6</integer> <integer>17</integer>
<integer>7</integer> <integer>18</integer>
<integer>9</integer> <integer>20</integer>
<integer>11</integer> <integer>21</integer>
<integer>14</integer> <integer>24</integer>
</array> </array>
</dict> </dict>
</dict> </dict>
<dict> <dict>
<key>path</key> <key>path</key>
<array> <array>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>25</integer> <key>line</key><integer>35</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>25</integer> <key>line</key><integer>35</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>25</integer> <key>line</key><integer>35</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Calling &apos;Odd::kill&apos;</string> <string>Calling &apos;Odd::kill&apos;</string>
<key>message</key> <key>message</key>
<string>Calling &apos;Odd::kill&apos;</string> <string>Calling &apos;Odd::kill&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>19</integer> <key>line</key><integer>29</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Entered call from &apos;test&apos;</string> <string>Entered call from &apos;test&apos;</string>
<key>message</key> <key>message</key>
<string>Entered call from &apos;test&apos;</string> <string>Entered call from &apos;test&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>19</integer> <key>line</key><integer>29</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>19</integer> <key>line</key><integer>29</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>20</integer> <key>line</key><integer>30</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>20</integer> <key>line</key><integer>30</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>20</integer> <key>line</key><integer>30</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>20</integer> <key>line</key><integer>30</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>20</integer> <key>line</key><integer>30</integer>
<key>col</key><integer>13</integer> <key>col</key><integer>13</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Memory is released</string> <string>Memory is released</string>
<key>message</key> <key>message</key>
<string>Memory is released</string> <string>Memory is released</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>25</integer> <key>line</key><integer>35</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>25</integer> <key>line</key><integer>35</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>25</integer> <key>line</key><integer>35</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Returning; memory was released</string> <string>Returning; memory was released</string>
<key>message</key> <key>message</key>
<string>Returning; memory was released</string> <string>Returning; memory was released</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>25</integer> <key>line</key><integer>35</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>25</integer> <key>line</key><integer>35</integer>
<key>col</key><integer>4</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>27</integer> <key>line</key><integer>37</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>27</integer> <key>line</key><integer>37</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>7</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>27</integer> <key>line</key><integer>37</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>27</integer> <key>line</key><integer>37</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>27</integer> <key>line</key><integer>37</integer>
<key>col</key><integer>11</integer> <key>col</key><integer>11</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Attempt to free released memory</string> <string>Attempt to free released memory</string>
<key>message</key> <key>message</key>
<string>Attempt to free released memory</string> <string>Attempt to free released memory</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Attempt to free released memory</string> <key>description</key><string>Attempt to free released memory</string>
<key>category</key><string>Memory error</string> <key>category</key><string>Memory error</string>
<key>type</key><string>Double free</string> <key>type</key><string>Double free</string>
<key>check_name</key><string>cplusplus.NewDelete</string> <key>check_name</key><string>cplusplus.NewDelete</string>
<!-- This hash is experimental and going to change! --> <!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>8bf1a5b9fdae9d86780aa6c4cdce2605</string> <key>issue_hash_content_of_line_in_context</key><string>8bf1a5b9fdae9d86780aa6c4cdce2605</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>test</string> <key>issue_context</key><string>test</string>
<key>issue_hash_function_offset</key><string>3</string> <key>issue_hash_function_offset</key><string>3</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>27</integer> <key>line</key><integer>37</integer>
<key>col</key><integer>2</integer> <key>col</key><integer>2</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ExecutedLines</key> <key>ExecutedLines</key>
<dict> <dict>
<key>0</key> <key>0</key>
<array> <array>
<integer>19</integer> <integer>29</integer>
<integer>20</integer> <integer>30</integer>
<integer>24</integer> <integer>34</integer>
<integer>25</integer> <integer>35</integer>
<integer>27</integer> <integer>37</integer>
</array> </array>
</dict> </dict>
</dict> </dict>
</array> </array>
<key>files</key> <key>files</key>
<array> <array>
<string>/clang/test/Analysis/NewDelete-path-notes.cpp</string> <string>/clang/test/Analysis/NewDelete-path-notes.cpp</string>
</array> </array>
</dict> </dict>
</plist> </plist>

cfe/trunk/test/Analysis/NewDelete-path-notes.cpp

// RUN: %clang_analyze_cc1 -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=text -verify %s // RUN: %clang_analyze_cc1 \
// RUN: %clang_analyze_cc1 -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=text -analyzer-config c++-allocator-inlining=true -verify %s // RUN: -analyzer-checker=cplusplus.NewDelete,unix.Malloc \
// RUN: %clang_analyze_cc1 -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=plist %s -o %t.plist // RUN: -analyzer-config add-pop-up-notes=false \
// RUN: cat %t.plist | %diff_plist %S/Inputs/expected-plists/NewDelete-path-notes.cpp.plist - // RUN: -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 \
// RUN: -analyzer-checker=cplusplus.NewDelete,unix.Malloc \
// RUN: -analyzer-config c++-allocator-inlining=true \
// RUN: -analyzer-config add-pop-up-notes=false \
// RUN: -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 \
// RUN: -analyzer-checker=cplusplus.NewDelete,unix.Malloc \
// RUN: -analyzer-config add-pop-up-notes=false \
// RUN: -analyzer-output=plist %s -o %t.plist
// RUN: cat %t.plist | %diff_plist \
// RUN: %S/Inputs/expected-plists/NewDelete-path-notes.cpp.plist -
void test() { void test() {
int *p = new int; int *p = new int;
// expected-note@-1 {{Memory is allocated}} // expected-note@-1 {{Memory is allocated}}
if (p) // expected-note {{'p' is non-null}} if (p) // expected-note {{Taking true branch}}
// expected-note@-1 {{Taking true branch}}
delete p; delete p;
// expected-note@-1 {{Memory is released}} // expected-note@-1 {{Memory is released}}
delete p; // expected-warning {{Attempt to free released memory}} delete p; // expected-warning {{Attempt to free released memory}}
// expected-note@-1 {{Attempt to free released memory}} // expected-note@-1 {{Attempt to free released memory}}
} }
struct Odd { struct Odd {
Show All 12 Lines