| // RUN: %clang_cc1 -analyze -analyzer-checker=experimental.unix.Malloc -analyzer-output=plist -o - %s | FileCheck %s |
| |
| typedef __typeof(sizeof(int)) size_t; |
| void *malloc(size_t); |
| |
| void diagnosticTest(int in) { |
| if (in > 5) { |
| int *p = malloc(12); |
| (*p)++; |
| } |
| in++; // expected-warning {{leak}} |
| } |
| |
| void myArrayAllocation() { |
| int **A; |
| A = malloc(2*sizeof(int*)); |
| A[0] = 0;// expected-warning {{leak}} |
| } |
| |
| // CHECK: <?xml version="1.0" encoding="UTF-8"?> |
| // CHECK: <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> |
| // CHECK: <plist version="1.0"> |
| // CHECK: <dict> |
| // CHECK: <key>files</key> |
| // CHECK: <array> |
| // CHECK: </array> |
| // CHECK: <key>diagnostics</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>path</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>control</string> |
| // CHECK: <key>edges</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>start</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>7</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>7</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>end</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>7</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>7</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>event</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>7</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <key>ranges</key> |
| // CHECK: <array> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>7</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>7</integer> |
| // CHECK: <key>col</key><integer>14</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </array> |
| // CHECK: <key>extended_message</key> |
| // CHECK: <string>Assuming 'in' is > 5</string> |
| // CHECK: <key>message</key> |
| // CHECK: <string>Assuming 'in' is > 5</string> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>control</string> |
| // CHECK: <key>edges</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>start</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>7</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>7</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>end</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>control</string> |
| // CHECK: <key>edges</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>start</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>end</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>18</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>27</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>event</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>18</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <key>ranges</key> |
| // CHECK: <array> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>18</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>27</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </array> |
| // CHECK: <key>extended_message</key> |
| // CHECK: <string>Memory is allocated here</string> |
| // CHECK: <key>message</key> |
| // CHECK: <string>Memory is allocated here</string> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>control</string> |
| // CHECK: <key>edges</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>start</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>18</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>8</integer> |
| // CHECK: <key>col</key><integer>27</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>end</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>11</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>11</integer> |
| // CHECK: <key>col</key><integer>6</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>event</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>11</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <key>ranges</key> |
| // CHECK: <array> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>11</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>11</integer> |
| // CHECK: <key>col</key><integer>6</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </array> |
| // CHECK: <key>extended_message</key> |
| // CHECK: <string>Allocated memory never released. Potential memory leak</string> |
| // CHECK: <key>message</key> |
| // CHECK: <string>Allocated memory never released. Potential memory leak</string> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>description</key><string>Allocated memory never released. Potential memory leak</string> |
| // CHECK: <key>category</key><string>Logic error</string> |
| // CHECK: <key>type</key><string>Memory leak</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>11</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>path</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>control</string> |
| // CHECK: <key>edges</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>start</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>15</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>15</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>end</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>control</string> |
| // CHECK: <key>edges</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>start</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>5</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>end</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>30</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>event</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <key>ranges</key> |
| // CHECK: <array> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>30</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </array> |
| // CHECK: <key>extended_message</key> |
| // CHECK: <string>Memory is allocated here</string> |
| // CHECK: <key>message</key> |
| // CHECK: <string>Memory is allocated here</string> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>control</string> |
| // CHECK: <key>edges</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>start</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>9</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>16</integer> |
| // CHECK: <key>col</key><integer>30</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>end</key> |
| // CHECK: <array> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>18</integer> |
| // CHECK: <key>col</key><integer>1</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>18</integer> |
| // CHECK: <key>col</key><integer>1</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: <dict> |
| // CHECK: <key>kind</key><string>event</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>18</integer> |
| // CHECK: <key>col</key><integer>1</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: <key>extended_message</key> |
| // CHECK: <string>Allocated memory never released. Potential memory leak</string> |
| // CHECK: <key>message</key> |
| // CHECK: <string>Allocated memory never released. Potential memory leak</string> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: <key>description</key><string>Allocated memory never released. Potential memory leak</string> |
| // CHECK: <key>category</key><string>Logic error</string> |
| // CHECK: <key>type</key><string>Memory leak</string> |
| // CHECK: <key>location</key> |
| // CHECK: <dict> |
| // CHECK: <key>line</key><integer>18</integer> |
| // CHECK: <key>col</key><integer>1</integer> |
| // CHECK: <key>file</key><integer>0</integer> |
| // CHECK: </dict> |
| // CHECK: </dict> |
| // CHECK: </array> |
| // CHECK: </dict> |
| // CHECK: </plist> |