14 - (void)dealloc;  method
22 //  Check that 'self' is not referenced after calling '[super dealloc]'.
37 - (void)dealloc {  method
38   [super dealloc]; // expected-note {{[super dealloc] called here}}
57 - (void)dealloc {  method
58   [super dealloc]; // expected-note {{[super dealloc] called here}}
75 - (void)dealloc {  method
76   [super dealloc]; // expected-note {{[super dealloc] called here}}
94 - (void)dealloc {  method
95   [super dealloc]; // expected-note {{[super dealloc] called here}}
107 - (void)dealloc {  method
108   [super dealloc]; // expected-note {{[super dealloc] called here}}
126 - (void)dealloc {  method
127   [super dealloc]; // expected-note {{[super dealloc] called here}}
145 - (void)dealloc {  method
146   [super dealloc]; // expected-note {{[super dealloc] called here}}
159 - (void)dealloc {  method
160   [super dealloc]; // expected-note {{[super dealloc] called here}}
174 - (void)dealloc {  method
175   [super dealloc]; // expected-note {{[super dealloc] called here}}
188 - (void)dealloc {  method
189   [super dealloc]; // expected-note {{[super dealloc] called here}}
204 - (void)dealloc {  method
207     [super dealloc];
210   [super dealloc];    // expected-note {{[super dealloc] called here}}
217 // Warn about calling [super dealloc] twice due to missing return statement.
225 - (void)dealloc {  method
228     [super dealloc]; // expected-note {{[super dealloc] called here}}
231   [super dealloc]; // expected-warning{{[super dealloc] should not be called multiple times}}
232   // expected-note@-1{{[super dealloc] should not be called multiple times}}
237 // Warn about calling [super dealloc] twice in two different methods.
248   [super dealloc]; // expected-note {{[super dealloc] called here}}
250 - (void)dealloc {  method
253   [super dealloc]; // expected-warning {{[super dealloc] should not be called multiple times}}
254   // expected-note@-1 {{[super dealloc] should not be called multiple times}}
259 // Do not warn about calling [super dealloc] recursively for different objects
264 // a false positive that [super dealloc] is called twice if each object instance
283     [self dealloc];
285 - (void)dealloc {  method
287   [super dealloc]; // no warning: different instances of same class
292 // Do not warn about calling [super dealloc] twice if +dealloc is a class
296 + (void)dealloc;  class
300 + (void)dealloc { }  class
304 + (void)dealloc;  class
308 + (void)dealloc {  class
309   [super dealloc];
310   [super dealloc]; // no warning: class method
315 // Do not warn about calling [super dealloc] twice if when the analyzer has
324 - (void)dealloc; {  method
327   [super dealloc];
335 - (void)dealloc; {  method
336   [super dealloc];
341 // Treat calling [super dealloc] twice as as a sink.
347 - (void)dealloc; {  method
348   [super dealloc]; // expected-note {{[super dealloc] called here}}
349   [super dealloc]; // expected-warning {{[super dealloc] should not be called multiple times}}
350   // expected-note@-1 {{[super dealloc] should not be called multiple times}}
367 - (void)dealloc; {  method
368   [super dealloc]; // expected-note {{[super dealloc] called here}}
371   [super dealloc];