|     5 |   |   void *ptr = __builtin_malloc (1024); // { dg-message "allocated here" } | 
                            |       |   |               ~~~~~~~~~~~~~~~~~^~~~~~ | 
                            |       |   |                                | | 
                            |       |   |                                (1) allocated here
  | 
                            |     6 |   |  | 
                            |     7 |   |   throw 42; // { dg-warning "leak of 'ptr'" } | 
                            |       |   |         ~~                       | 
                            |       |   |         | | 
                            |       |   |         (2) throwing exception of type ‘int’ here... | 
                            |       |   |         (3) ⚠️  ‘ptr’ leaks here; was allocated at (1)
  |