/* { dg-additional-options "-fanalyzer-show-duplicate-count" } */

#include <stdlib.h>

typedef struct _krb5_data {
  char *data;
} krb5_data;

/* Ensure that we de-duplicate the various paths to reach here,
   and only emit one diagnostic.  */

void
recvauth_common(krb5_data common)
{
  free(common.data);
  free(common.data); /* { dg-warning "double-'free' of 'common.data'" "inner warning" } */
  /* { dg-warning "double-'free' of 'inbuf_a.data' " "inbuf_a warning" { target *-*-* } .-1 } */
  /* { dg-warning "double-'free' of 'inbuf_b.data' " "inbuf_b warning" { target *-*-* } .-2 } */
  /* { dg-message "2 duplicates" "duplicates notification" { xfail *-*-* } .-3 } */
}

void krb5_recvauth(krb5_data inbuf_a)
{
  recvauth_common(inbuf_a);
}

void krb5_recvauth_version(krb5_data inbuf_b)
{
  recvauth_common(inbuf_b);
}