1  /* Verify that we emit sane paths for state machine errors.  */
       2  
       3  #include <stdlib.h>
       4  
       5  int *test_3 (void)
       6  {
       7    int *ptr = (int *)malloc (sizeof (int)); /* { dg-line malloc } */
       8    *ptr = 42; /* { dg-line unchecked_deref } */
       9    return ptr;
      10  
      11    /* { dg-warning "dereference of possibly-NULL 'ptr'" "warning" { target *-*-* } unchecked_deref } */
      12    /* { dg-message "\\(1\\) this call could return NULL" "event 1" { target *-*-* } malloc } */
      13    /* { dg-message "\\(2\\) 'ptr' could be NULL" "event 2" { target *-*-* } unchecked_deref } */
      14  }