1  /* { dg-additional-options "-fanalyzer-verbose-state-changes" } */
       2  
       3  #include <stdlib.h>
       4  
       5  void test_1 (void)
       6  {
       7    void *ptr = malloc (1024); /* { dg-message "meaning: \\{verb: 'acquire', noun: 'memory'\\}" } */
       8    free (ptr); /* { dg-message "meaning: \\{verb: 'release', noun: 'memory'\\}" } */
       9    free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */
      10  }