analyzer: convert conditionals-2.c to a torture test

gcc/testsuite/ChangeLog:
	* gcc.dg/analyzer/conditionals-2.c: Move to...
	* gcc.dg/analyzer/torture/conditionals-2.c: ...here, converting
	to a torture test.  Remove redundant include.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 621d428..77dcc01 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,11 @@
 2020-01-30  David Malcolm  <dmalcolm@redhat.com>
 
+       * gcc.dg/analyzer/conditionals-2.c: Move to...
+       * gcc.dg/analyzer/torture/conditionals-2.c: ...here, converting
+       to a torture test.  Remove redundant include.
+
+2020-01-30  David Malcolm  <dmalcolm@redhat.com>
+
        PR analyzer/93356
        * gcc.dg/analyzer/conditionals-notrans.c (test_float_selfcmp):
        Add.

diff --git a/gcc/testsuite/gcc.dg/analyzer/conditionals-2.c b/gcc/testsuite/gcc.dg/analyzer/torture/conditionals-2.c
similarity index 87%
rename from gcc/testsuite/gcc.dg/analyzer/conditionals-2.c
rename to gcc/testsuite/gcc.dg/analyzer/torture/conditionals-2.c
index 6f291f4..5580d22 100644 (file)
--- a/gcc/testsuite/gcc.dg/analyzer/conditionals-2.c
+++ b/gcc/testsuite/gcc.dg/analyzer/torture/conditionals-2.c
@@ -1,8 +1,6 @@
-// TODO: run this test case at every optimization level
-/* { dg-additional-options "-O2" } */
+/* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */
 
-#include <stddef.h>
-#include "analyzer-decls.h"
+#include "../analyzer-decls.h"
 
 #define Z_NULL 0