On Fri, 2014-12-12 at 10:47 +0000, Pedro Alves wrote:
> There are some tests for "return" in the testsuite -- return.exp or
> return2.exp -- and at least one for "finish" -- finish.exp.  I'd suggest
> using these as inspiration.

I added a test for answering no to the return query and and finish
queries if they and the warning are there. They PASS with (GCC5) and
without (older compilers) the new attribute. Also rebased the code to
current master as attached.

OK to commit?

Thanks,

Mark