Bug path

krb5_recvauth_version
‘krb5_recvauth_version’: events 1-2
25void krb5_recvauth_version(krb5_data inbuf)
^~~~~~~~~~~~~~~~~~~~~
|
(1) entry to ‘krb5_recvauth_version’
26{
27 recvauth_common(inbuf);
~~~~~~~~~~~~~~~~~~~~~~
|
(2) calling ‘recvauth_common’ from ‘krb5_recvauth_version’
recvauth_common
‘recvauth_common’: events 3-5
13recvauth_common(krb5_data inbuf)
^~~~~~~~~~~~~~~
|
(3) entry to ‘recvauth_common’
14{
15 free(inbuf.data);
~~~~~~~~~~~~~~~~
|
(4) first ‘free’ here
16 free(inbuf.data); /* { dg-warning "double-'free'" "warning" } */
~~~~~~~~~~~~~~~~
|
(5) second ‘free’ here; first ‘free’ was at (4)