1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.MismatchedDeallocator -analyzer-output=text -verify %s 2*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.MismatchedDeallocator -analyzer-output=plist -analyzer-config path-diagnostics-alternate=false %s -o %t.plist 3*67e74705SXin Li // RUN: FileCheck --input-file=%t.plist %s 4*67e74705SXin Li 5*67e74705SXin Li void changePointee(int *p); allocIntArray(unsigned c)6*67e74705SXin Liint *allocIntArray(unsigned c) { 7*67e74705SXin Li return new int[c]; // expected-note {{Memory is allocated}} 8*67e74705SXin Li } test()9*67e74705SXin Livoid test() { 10*67e74705SXin Li int *p = allocIntArray(1); // expected-note {{Calling 'allocIntArray'}} 11*67e74705SXin Li // expected-note@-1 {{Returned allocated memory}} 12*67e74705SXin Li changePointee(p); 13*67e74705SXin Li delete p; // expected-warning {{Memory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete'}} 14*67e74705SXin Li // expected-note@-1 {{Memory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete'}} 15*67e74705SXin Li } 16*67e74705SXin Li 17*67e74705SXin Li // CHECK: <key>diagnostics</key> 18*67e74705SXin Li // CHECK-NEXT: <array> 19*67e74705SXin Li // CHECK-NEXT: <dict> 20*67e74705SXin Li // CHECK-NEXT: <key>path</key> 21*67e74705SXin Li // CHECK-NEXT: <array> 22*67e74705SXin Li // CHECK-NEXT: <dict> 23*67e74705SXin Li // CHECK-NEXT: <key>kind</key><string>control</string> 24*67e74705SXin Li // CHECK-NEXT: <key>edges</key> 25*67e74705SXin Li // CHECK-NEXT: <array> 26*67e74705SXin Li // CHECK-NEXT: <dict> 27*67e74705SXin Li // CHECK-NEXT: <key>start</key> 28*67e74705SXin Li // CHECK-NEXT: <array> 29*67e74705SXin Li // CHECK-NEXT: <dict> 30*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 31*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>3</integer> 32*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 33*67e74705SXin Li // CHECK-NEXT: </dict> 34*67e74705SXin Li // CHECK-NEXT: <dict> 35*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 36*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>5</integer> 37*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 38*67e74705SXin Li // CHECK-NEXT: </dict> 39*67e74705SXin Li // CHECK-NEXT: </array> 40*67e74705SXin Li // CHECK-NEXT: <key>end</key> 41*67e74705SXin Li // CHECK-NEXT: <array> 42*67e74705SXin Li // CHECK-NEXT: <dict> 43*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 44*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>12</integer> 45*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 46*67e74705SXin Li // CHECK-NEXT: </dict> 47*67e74705SXin Li // CHECK-NEXT: <dict> 48*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 49*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>24</integer> 50*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 51*67e74705SXin Li // CHECK-NEXT: </dict> 52*67e74705SXin Li // CHECK-NEXT: </array> 53*67e74705SXin Li // CHECK-NEXT: </dict> 54*67e74705SXin Li // CHECK-NEXT: </array> 55*67e74705SXin Li // CHECK-NEXT: </dict> 56*67e74705SXin Li // CHECK-NEXT: <dict> 57*67e74705SXin Li // CHECK-NEXT: <key>kind</key><string>event</string> 58*67e74705SXin Li // CHECK-NEXT: <key>location</key> 59*67e74705SXin Li // CHECK-NEXT: <dict> 60*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 61*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>12</integer> 62*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 63*67e74705SXin Li // CHECK-NEXT: </dict> 64*67e74705SXin Li // CHECK-NEXT: <key>ranges</key> 65*67e74705SXin Li // CHECK-NEXT: <array> 66*67e74705SXin Li // CHECK-NEXT: <array> 67*67e74705SXin Li // CHECK-NEXT: <dict> 68*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 69*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>12</integer> 70*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 71*67e74705SXin Li // CHECK-NEXT: </dict> 72*67e74705SXin Li // CHECK-NEXT: <dict> 73*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 74*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>27</integer> 75*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 76*67e74705SXin Li // CHECK-NEXT: </dict> 77*67e74705SXin Li // CHECK-NEXT: </array> 78*67e74705SXin Li // CHECK-NEXT: </array> 79*67e74705SXin Li // CHECK-NEXT: <key>depth</key><integer>0</integer> 80*67e74705SXin Li // CHECK-NEXT: <key>extended_message</key> 81*67e74705SXin Li // CHECK-NEXT: <string>Calling 'allocIntArray'</string> 82*67e74705SXin Li // CHECK-NEXT: <key>message</key> 83*67e74705SXin Li // CHECK-NEXT: <string>Calling 'allocIntArray'</string> 84*67e74705SXin Li // CHECK-NEXT: </dict> 85*67e74705SXin Li // CHECK-NEXT: <dict> 86*67e74705SXin Li // CHECK-NEXT: <key>kind</key><string>event</string> 87*67e74705SXin Li // CHECK-NEXT: <key>location</key> 88*67e74705SXin Li // CHECK-NEXT: <dict> 89*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>6</integer> 90*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>1</integer> 91*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 92*67e74705SXin Li // CHECK-NEXT: </dict> 93*67e74705SXin Li // CHECK-NEXT: <key>depth</key><integer>1</integer> 94*67e74705SXin Li // CHECK-NEXT: <key>extended_message</key> 95*67e74705SXin Li // CHECK-NEXT: <string>Entered call from 'test'</string> 96*67e74705SXin Li // CHECK-NEXT: <key>message</key> 97*67e74705SXin Li // CHECK-NEXT: <string>Entered call from 'test'</string> 98*67e74705SXin Li // CHECK-NEXT: </dict> 99*67e74705SXin Li // CHECK-NEXT: <dict> 100*67e74705SXin Li // CHECK-NEXT: <key>kind</key><string>control</string> 101*67e74705SXin Li // CHECK-NEXT: <key>edges</key> 102*67e74705SXin Li // CHECK-NEXT: <array> 103*67e74705SXin Li // CHECK-NEXT: <dict> 104*67e74705SXin Li // CHECK-NEXT: <key>start</key> 105*67e74705SXin Li // CHECK-NEXT: <array> 106*67e74705SXin Li // CHECK-NEXT: <dict> 107*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>6</integer> 108*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>1</integer> 109*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 110*67e74705SXin Li // CHECK-NEXT: </dict> 111*67e74705SXin Li // CHECK-NEXT: <dict> 112*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>6</integer> 113*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>3</integer> 114*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 115*67e74705SXin Li // CHECK-NEXT: </dict> 116*67e74705SXin Li // CHECK-NEXT: </array> 117*67e74705SXin Li // CHECK-NEXT: <key>end</key> 118*67e74705SXin Li // CHECK-NEXT: <array> 119*67e74705SXin Li // CHECK-NEXT: <dict> 120*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>7</integer> 121*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>3</integer> 122*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 123*67e74705SXin Li // CHECK-NEXT: </dict> 124*67e74705SXin Li // CHECK-NEXT: <dict> 125*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>7</integer> 126*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>8</integer> 127*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 128*67e74705SXin Li // CHECK-NEXT: </dict> 129*67e74705SXin Li // CHECK-NEXT: </array> 130*67e74705SXin Li // CHECK-NEXT: </dict> 131*67e74705SXin Li // CHECK-NEXT: </array> 132*67e74705SXin Li // CHECK-NEXT: </dict> 133*67e74705SXin Li // CHECK-NEXT: <dict> 134*67e74705SXin Li // CHECK-NEXT: <key>kind</key><string>control</string> 135*67e74705SXin Li // CHECK-NEXT: <key>edges</key> 136*67e74705SXin Li // CHECK-NEXT: <array> 137*67e74705SXin Li // CHECK-NEXT: <dict> 138*67e74705SXin Li // CHECK-NEXT: <key>start</key> 139*67e74705SXin Li // CHECK-NEXT: <array> 140*67e74705SXin Li // CHECK-NEXT: <dict> 141*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>7</integer> 142*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>3</integer> 143*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 144*67e74705SXin Li // CHECK-NEXT: </dict> 145*67e74705SXin Li // CHECK-NEXT: <dict> 146*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>7</integer> 147*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>8</integer> 148*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 149*67e74705SXin Li // CHECK-NEXT: </dict> 150*67e74705SXin Li // CHECK-NEXT: </array> 151*67e74705SXin Li // CHECK-NEXT: <key>end</key> 152*67e74705SXin Li // CHECK-NEXT: <array> 153*67e74705SXin Li // CHECK-NEXT: <dict> 154*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>7</integer> 155*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>10</integer> 156*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 157*67e74705SXin Li // CHECK-NEXT: </dict> 158*67e74705SXin Li // CHECK-NEXT: <dict> 159*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>7</integer> 160*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>12</integer> 161*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 162*67e74705SXin Li // CHECK-NEXT: </dict> 163*67e74705SXin Li // CHECK-NEXT: </array> 164*67e74705SXin Li // CHECK-NEXT: </dict> 165*67e74705SXin Li // CHECK-NEXT: </array> 166*67e74705SXin Li // CHECK-NEXT: </dict> 167*67e74705SXin Li // CHECK-NEXT: <dict> 168*67e74705SXin Li // CHECK-NEXT: <key>kind</key><string>event</string> 169*67e74705SXin Li // CHECK-NEXT: <key>location</key> 170*67e74705SXin Li // CHECK-NEXT: <dict> 171*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>7</integer> 172*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>10</integer> 173*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 174*67e74705SXin Li // CHECK-NEXT: </dict> 175*67e74705SXin Li // CHECK-NEXT: <key>ranges</key> 176*67e74705SXin Li // CHECK-NEXT: <array> 177*67e74705SXin Li // CHECK-NEXT: <array> 178*67e74705SXin Li // CHECK-NEXT: <dict> 179*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>7</integer> 180*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>10</integer> 181*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 182*67e74705SXin Li // CHECK-NEXT: </dict> 183*67e74705SXin Li // CHECK-NEXT: <dict> 184*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>7</integer> 185*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>19</integer> 186*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 187*67e74705SXin Li // CHECK-NEXT: </dict> 188*67e74705SXin Li // CHECK-NEXT: </array> 189*67e74705SXin Li // CHECK-NEXT: </array> 190*67e74705SXin Li // CHECK-NEXT: <key>depth</key><integer>1</integer> 191*67e74705SXin Li // CHECK-NEXT: <key>extended_message</key> 192*67e74705SXin Li // CHECK-NEXT: <string>Memory is allocated</string> 193*67e74705SXin Li // CHECK-NEXT: <key>message</key> 194*67e74705SXin Li // CHECK-NEXT: <string>Memory is allocated</string> 195*67e74705SXin Li // CHECK-NEXT: </dict> 196*67e74705SXin Li // CHECK-NEXT: <dict> 197*67e74705SXin Li // CHECK-NEXT: <key>kind</key><string>event</string> 198*67e74705SXin Li // CHECK-NEXT: <key>location</key> 199*67e74705SXin Li // CHECK-NEXT: <dict> 200*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 201*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>12</integer> 202*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 203*67e74705SXin Li // CHECK-NEXT: </dict> 204*67e74705SXin Li // CHECK-NEXT: <key>ranges</key> 205*67e74705SXin Li // CHECK-NEXT: <array> 206*67e74705SXin Li // CHECK-NEXT: <array> 207*67e74705SXin Li // CHECK-NEXT: <dict> 208*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 209*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>12</integer> 210*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 211*67e74705SXin Li // CHECK-NEXT: </dict> 212*67e74705SXin Li // CHECK-NEXT: <dict> 213*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 214*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>27</integer> 215*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 216*67e74705SXin Li // CHECK-NEXT: </dict> 217*67e74705SXin Li // CHECK-NEXT: </array> 218*67e74705SXin Li // CHECK-NEXT: </array> 219*67e74705SXin Li // CHECK-NEXT: <key>depth</key><integer>0</integer> 220*67e74705SXin Li // CHECK-NEXT: <key>extended_message</key> 221*67e74705SXin Li // CHECK-NEXT: <string>Returned allocated memory</string> 222*67e74705SXin Li // CHECK-NEXT: <key>message</key> 223*67e74705SXin Li // CHECK-NEXT: <string>Returned allocated memory</string> 224*67e74705SXin Li // CHECK-NEXT: </dict> 225*67e74705SXin Li // CHECK-NEXT: <dict> 226*67e74705SXin Li // CHECK-NEXT: <key>kind</key><string>control</string> 227*67e74705SXin Li // CHECK-NEXT: <key>edges</key> 228*67e74705SXin Li // CHECK-NEXT: <array> 229*67e74705SXin Li // CHECK-NEXT: <dict> 230*67e74705SXin Li // CHECK-NEXT: <key>start</key> 231*67e74705SXin Li // CHECK-NEXT: <array> 232*67e74705SXin Li // CHECK-NEXT: <dict> 233*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 234*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>12</integer> 235*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 236*67e74705SXin Li // CHECK-NEXT: </dict> 237*67e74705SXin Li // CHECK-NEXT: <dict> 238*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>10</integer> 239*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>24</integer> 240*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 241*67e74705SXin Li // CHECK-NEXT: </dict> 242*67e74705SXin Li // CHECK-NEXT: </array> 243*67e74705SXin Li // CHECK-NEXT: <key>end</key> 244*67e74705SXin Li // CHECK-NEXT: <array> 245*67e74705SXin Li // CHECK-NEXT: <dict> 246*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>13</integer> 247*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>3</integer> 248*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 249*67e74705SXin Li // CHECK-NEXT: </dict> 250*67e74705SXin Li // CHECK-NEXT: <dict> 251*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>13</integer> 252*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>8</integer> 253*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 254*67e74705SXin Li // CHECK-NEXT: </dict> 255*67e74705SXin Li // CHECK-NEXT: </array> 256*67e74705SXin Li // CHECK-NEXT: </dict> 257*67e74705SXin Li // CHECK-NEXT: </array> 258*67e74705SXin Li // CHECK-NEXT: </dict> 259*67e74705SXin Li // CHECK-NEXT: <dict> 260*67e74705SXin Li // CHECK-NEXT: <key>kind</key><string>event</string> 261*67e74705SXin Li // CHECK-NEXT: <key>location</key> 262*67e74705SXin Li // CHECK-NEXT: <dict> 263*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>13</integer> 264*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>3</integer> 265*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 266*67e74705SXin Li // CHECK-NEXT: </dict> 267*67e74705SXin Li // CHECK-NEXT: <key>ranges</key> 268*67e74705SXin Li // CHECK-NEXT: <array> 269*67e74705SXin Li // CHECK-NEXT: <array> 270*67e74705SXin Li // CHECK-NEXT: <dict> 271*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>13</integer> 272*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>10</integer> 273*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 274*67e74705SXin Li // CHECK-NEXT: </dict> 275*67e74705SXin Li // CHECK-NEXT: <dict> 276*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>13</integer> 277*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>10</integer> 278*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 279*67e74705SXin Li // CHECK-NEXT: </dict> 280*67e74705SXin Li // CHECK-NEXT: </array> 281*67e74705SXin Li // CHECK-NEXT: </array> 282*67e74705SXin Li // CHECK-NEXT: <key>depth</key><integer>0</integer> 283*67e74705SXin Li // CHECK-NEXT: <key>extended_message</key> 284*67e74705SXin Li // CHECK-NEXT: <string>Memory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete'</string> 285*67e74705SXin Li // CHECK-NEXT: <key>message</key> 286*67e74705SXin Li // CHECK-NEXT: <string>Memory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete'</string> 287*67e74705SXin Li // CHECK-NEXT: </dict> 288*67e74705SXin Li // CHECK-NEXT: </array> 289*67e74705SXin Li // CHECK-NEXT: <key>description</key><string>Memory allocated by 'new[]' should be deallocated by 'delete[]', not 'delete'</string> 290*67e74705SXin Li // CHECK-NEXT: <key>category</key><string>Memory Error</string> 291*67e74705SXin Li // CHECK-NEXT: <key>type</key><string>Bad deallocator</string> 292*67e74705SXin Li // CHECK-NEXT: <key>check_name</key><string>unix.MismatchedDeallocator</string> 293*67e74705SXin Li // CHECK-NEXT: <!-- This hash is experimental and going to change! --> 294*67e74705SXin Li // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>2009ca1da75217064b6052ba7465dff9</string> 295*67e74705SXin Li // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 296*67e74705SXin Li // CHECK-NEXT: <key>issue_context</key><string>test</string> 297*67e74705SXin Li // CHECK-NEXT: <key>issue_hash_function_offset</key><string>4</string> 298*67e74705SXin Li // CHECK-NEXT: <key>location</key> 299*67e74705SXin Li // CHECK-NEXT: <dict> 300*67e74705SXin Li // CHECK-NEXT: <key>line</key><integer>13</integer> 301*67e74705SXin Li // CHECK-NEXT: <key>col</key><integer>3</integer> 302*67e74705SXin Li // CHECK-NEXT: <key>file</key><integer>0</integer> 303*67e74705SXin Li // CHECK-NEXT: </dict> 304*67e74705SXin Li // CHECK-NEXT: </dict> 305*67e74705SXin Li // CHECK-NEXT: </array> 306