Bug path

krb5_recvauth_version

‘krb5_recvauth_version’: events 1-2

27	void krb5_recvauth_version(krb5_data inbuf_b)
	^~~~~~~~~~~~~~~~~~~~~
	\|
	(1) entry to ‘krb5_recvauth_version’
28	{
29	recvauth_common(inbuf_b);
	~~~~~~~~~~~~~~~~~~~~~~~~
	\|
	(2) calling ‘recvauth_common’ from ‘krb5_recvauth_version’

recvauth_common

‘recvauth_common’: events 3-5

13	recvauth_common(krb5_data common)
	^~~~~~~~~~~~~~~
	\|
	(3) entry to ‘recvauth_common’
14	{
15	free(common.data);
	~~~~~~~~~~~~~~~~~
	\|
	(4) first ‘free’ here
16	free(common.data); /* { dg-warning "double-'free' of 'common.data'" "inner warning" } */
	~~~~~~~~~~~~~~~~~
	\|
	(5) second ‘free’ here; first ‘free’ was at (4)