From e34ad101a4338eab41e38e624f2c7178d0b83d24 Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Thu, 30 Jan 2020 14:57:34 -0500
Subject: 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.
---
 gcc/testsuite/ChangeLog                            |  6 +++
 gcc/testsuite/gcc.dg/analyzer/conditionals-2.c     | 45 ----------------------
 .../gcc.dg/analyzer/torture/conditionals-2.c       | 43 +++++++++++++++++++++
 3 files changed, 49 insertions(+), 45 deletions(-)
 delete mode 100644 gcc/testsuite/gcc.dg/analyzer/conditionals-2.c
 create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/conditionals-2.c

(limited to 'gcc')

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 621d428..77dcc01 100644
--- 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/conditionals-2.c
deleted file mode 100644
index 6f291f4..0000000
--- a/gcc/testsuite/gcc.dg/analyzer/conditionals-2.c
+++ /dev/null
@@ -1,45 +0,0 @@
-// TODO: run this test case at every optimization level
-/* { dg-additional-options "-O2" } */
-
-#include <stddef.h>
-#include "analyzer-decls.h"
-
-#define Z_NULL 0
-
-static void __attribute__((noinline))
-test_1_callee (void *p, void *q)
-{
-  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 exploded node" } */
-
-  __analyzer_eval (p == Z_NULL); /* { dg-warning "FALSE" } */
-  __analyzer_eval (p != Z_NULL); /* { dg-warning "TRUE" } */
-
-  __analyzer_eval (q == Z_NULL); /* { dg-warning "FALSE" } */ 
-  __analyzer_eval (q != Z_NULL); /* { dg-warning "TRUE" } */ 
-}
-
-void test_1 (void *p, void *q)
-{
-  if (p == Z_NULL || q == Z_NULL)
-    return;
-
-  test_1_callee (p, q);
-}
-
-static void __attribute__((noinline))
-test_2_callee (void *p, void *q)
-{
-  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 exploded node" } */
-
-  __analyzer_eval (p == Z_NULL); /* { dg-warning "FALSE" } */
-  __analyzer_eval (p != Z_NULL); /* { dg-warning "TRUE" } */
-
-  __analyzer_eval (q == Z_NULL); /* { dg-warning "FALSE" } */ 
-  __analyzer_eval (q != Z_NULL); /* { dg-warning "TRUE" } */ 
-}
-
-void test_2 (void *p, void *q)
-{
-  if (p != Z_NULL && q != Z_NULL)
-    test_2_callee (p, q);
-}
diff --git a/gcc/testsuite/gcc.dg/analyzer/torture/conditionals-2.c b/gcc/testsuite/gcc.dg/analyzer/torture/conditionals-2.c
new file mode 100644
index 0000000..5580d22
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/analyzer/torture/conditionals-2.c
@@ -0,0 +1,43 @@
+/* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */
+
+#include "../analyzer-decls.h"
+
+#define Z_NULL 0
+
+static void __attribute__((noinline))
+test_1_callee (void *p, void *q)
+{
+  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 exploded node" } */
+
+  __analyzer_eval (p == Z_NULL); /* { dg-warning "FALSE" } */
+  __analyzer_eval (p != Z_NULL); /* { dg-warning "TRUE" } */
+
+  __analyzer_eval (q == Z_NULL); /* { dg-warning "FALSE" } */ 
+  __analyzer_eval (q != Z_NULL); /* { dg-warning "TRUE" } */ 
+}
+
+void test_1 (void *p, void *q)
+{
+  if (p == Z_NULL || q == Z_NULL)
+    return;
+
+  test_1_callee (p, q);
+}
+
+static void __attribute__((noinline))
+test_2_callee (void *p, void *q)
+{
+  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 exploded node" } */
+
+  __analyzer_eval (p == Z_NULL); /* { dg-warning "FALSE" } */
+  __analyzer_eval (p != Z_NULL); /* { dg-warning "TRUE" } */
+
+  __analyzer_eval (q == Z_NULL); /* { dg-warning "FALSE" } */ 
+  __analyzer_eval (q != Z_NULL); /* { dg-warning "TRUE" } */ 
+}
+
+void test_2 (void *p, void *q)
+{
+  if (p != Z_NULL && q != Z_NULL)
+    test_2_callee (p, q);
+}
-- 
cgit v1.1