[PATCH 7/9] nvptx: Re-enable 'gcc.dg/torture/c99-contract-1.c'

[Thomas Schwinge <thomas@codesourcery.com>]

Generally PASSes with:

    $ ptxas --version
    ptxas: NVIDIA (R) Ptx optimizing assembler
    Copyright (c) 2005-2018 NVIDIA Corporation
    Built on Sun_Sep__9_21:06:46_CDT_2018
    Cuda compilation tools, release 10.0, V10.0.145

..., and execution with 'Driver Version: 361.93.02', at least for the '-O0'
execution test.  Optimized execution tests XFAILed, to be analyzed later.

        gcc/testsuite/
        * gcc.dg/torture/c99-contract-1.c: Re-enable for nvptx.
---
 gcc/testsuite/gcc.dg/torture/c99-contract-1.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/testsuite/gcc.dg/torture/c99-contract-1.c b/gcc/testsuite/gcc.dg/torture/c99-contract-1.c
index 392666f3dd58..749005e797c5 100644
--- a/gcc/testsuite/gcc.dg/torture/c99-contract-1.c
+++ b/gcc/testsuite/gcc.dg/torture/c99-contract-1.c
@@ -2,7 +2,7 @@
    expressions.  */
 /* { dg-do run } */
 /* { dg-options "-std=c99 -pedantic-errors" } */
-/* { dg-skip-if "ptx only loosely follows IEEE" { "nvptx-*-*" } } */
+/* { dg-xfail-run-if {only loosely follows IEEE} { nvptx-*-* && __OPTIMIZE__ } } */

 extern void abort (void);
 extern void exit (int);
--
2.35.1

-----------------
Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955