[doc patch] gdbint: XFAIL vs. KFAIL [Re: [patch] gcc KFAILs to XFAILs]

[Eli Zaretskii]

> Date: Wed, 14 Dec 2011 20:42:20 +0100
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: Joel Brobecker <brobecker@adacore.com>, Tom Tromey <tromey@redhat.com>,        gdb-patches@sourceware.org
> 
> On Wed, 14 Dec 2011 20:28:15 +0100, Doug Evans wrote:
> > Can someone check into gdbint.texi definitions of xfail and kfail?
> > There's a section "Writing Tests", seems like an appropriate place.
> 
> FYI I wanted to add it to
> 	http://sourceware.org/gdb/wiki/GDBTestcaseCookbook
> but it already states:
> 	Known failing new testcases must produce KFAIL (GDB problem) or XFAIL
> 	(environment problem). 
> 
> Not going to check it in without the doc review.

This is okay, but I have one suggestion:

> +Known problem of @value{GDBN} itself.  You must specify the @value{GDBN} bug
> +report number.

Regarding the "must specify the bug report number": would it make
sense to show how to do that, e.g. with an example?

Thanks.