Re: [PATCH] testsuite/gdb.base: Make skip test not rely on undefined behaviour.

[Andrew Pinski <pinskia@gmail.com>]

On Fri, Jun 7, 2013 at 11:41 AM, Will Newton <will.newton@linaro.org> wrote:
>
> The skip test currently relies on the order of evaluation of
> arguments which is not defined. Use an arithmetic expression
> where order is defined instead.


No the order is not defined there either.  The left side or the right
side of the addition can be evaluated first as there is no sequence
point.  Maybe it is better to do:
baz((foo(), bar()));

The order with that is defined as the comma operator is a sequence point.

Thanks,
Andrew Pinski

>
> gdb/testsuite/ChangeLog:
>
> 2013-06-07  Will Newton  <will.newton@linaro.org>
>
>         * gdb.base/skip.c: Add results of foo() and bar() before
>         passing to baz().
>         * gdb.base/skip.c: baz() now takes one argument instead of
>         two.
> ---
>  gdb/testsuite/gdb.base/skip.c  | 4 ++--
>  gdb/testsuite/gdb.base/skip1.c | 4 ++--
>  2 files changed, 4 insertions(+), 4 deletions(-)
>
> diff --git a/gdb/testsuite/gdb.base/skip.c b/gdb/testsuite/gdb.base/skip.c
> index 565ba93..1281d17 100644
> --- a/gdb/testsuite/gdb.base/skip.c
> +++ b/gdb/testsuite/gdb.base/skip.c
> @@ -1,10 +1,10 @@
>  int foo();
>  int bar();
> -int baz(int, int);
> +int baz(int);
>
>  int main()
>  {
> -  return baz(foo(), bar());
> +  return baz(bar() + foo());
>  }
>
>  int foo()
> diff --git a/gdb/testsuite/gdb.base/skip1.c b/gdb/testsuite/gdb.base/skip1.c
> index 2dab5c3..fe63cd6 100644
> --- a/gdb/testsuite/gdb.base/skip1.c
> +++ b/gdb/testsuite/gdb.base/skip1.c
> @@ -3,7 +3,7 @@ int bar()
>    return 1;
>  }
>
> -int baz(int a, int b)
> +int baz(int a)
>  {
> -  return a + b;
> +  return a + 1;
>  }
> --
> 1.8.1.4
>