Bug path

krb5_recvauth

‘krb5_recvauth’: events 1-2

20	void krb5_recvauth(krb5_data inbuf)
	^~~~~~~~~~~~~
	\|
	(1) entry to ‘krb5_recvauth’
21	{
22	recvauth_common(inbuf);
	~~~~~~~~~~~~~~~~~~~~~~
	\|
	(2) calling ‘recvauth_common’ from ‘krb5_recvauth’

recvauth_common

‘recvauth_common’: events 3-5

13	recvauth_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)