1  /* { dg-do link } */
       2  /* { dg-require-effective-target lto } */
       3  /* { dg-additional-options "-flto" } */
       4  /* { dg-additional-sources double-free-lto-1-b.c } */
       5  
       6  #include <stdlib.h>
       7  #include "double-free-lto-1.h"
       8  
       9  void test (void *ptr)
      10  {
      11    calls_free (ptr); /* { dg-message "calling 'calls_free' from 'test'" } */
      12    free (ptr); /* { dg-warning "double-'free' of 'ptr_.+'" } */
      13    // TODO: report "ptr", rather than an SSA name
      14  }
      15  
      16  int main() { return 0; }