aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2020-12-01 17:25:36 +0100
committerMartin Liska <mliska@suse.cz>2020-12-02 08:17:25 +0100
commite4c02ce4ab6fce1148f4025360096f18764deadf (patch)
tree835ea2fc283426b901512f46ac22dc83738c3649 /gcc
parent7da97411b048cdd4e7941b311514f46ea53fe3a2 (diff)
downloadgcc-e4c02ce4ab6fce1148f4025360096f18764deadf.zip
gcc-e4c02ce4ab6fce1148f4025360096f18764deadf.tar.gz
gcc-e4c02ce4ab6fce1148f4025360096f18764deadf.tar.bz2
if-to-switch: consider only integral types
gcc/ChangeLog: PR tree-optimization/98084 * gimple-if-to-switch.cc (find_conditions): Consider only integral types. gcc/testsuite/ChangeLog: PR tree-optimization/98084 * gcc.dg/tree-ssa/pr98084.c: New test.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/gimple-if-to-switch.cc1
-rw-r--r--gcc/testsuite/gcc.dg/tree-ssa/pr98084.c26
2 files changed, 27 insertions, 0 deletions
diff --git a/gcc/gimple-if-to-switch.cc b/gcc/gimple-if-to-switch.cc
index d132064..0aa1b0e 100644
--- a/gcc/gimple-if-to-switch.cc
+++ b/gcc/gimple-if-to-switch.cc
@@ -429,6 +429,7 @@ find_conditions (basic_block bb,
for (unsigned i = 0; i < info.m_ranges.length (); ++i)
if (info.m_ranges[i].exp == NULL_TREE
+ || !INTEGRAL_TYPE_P (TREE_TYPE (info.m_ranges[i].exp))
|| info.m_ranges[i].low == NULL_TREE
|| info.m_ranges[i].high == NULL_TREE)
return;
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr98084.c b/gcc/testsuite/gcc.dg/tree-ssa/pr98084.c
new file mode 100644
index 0000000..6379624
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr98084.c
@@ -0,0 +1,26 @@
+/* PR tree-optimization/98084 */
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+enum {
+ JSON_VARIANT_STRING,
+ JSON_VARIANT_UNSIGNED,
+ JSON_VARIANT_REAL,
+ JSON_VARIANT_ARRAY,
+ _JSON_VARIANT_TYPE_INVALID,
+ _JSON_VARIANT_MAGIC_ZERO_UNSIGNED,
+ _JSON_VARIANT_MAGIC_ZERO_REAL,
+ _JSON_VARIANT_MAGIC_EMPTY_STRING,
+ _JSON_VARIANT_MAGIC_EMPTY_ARRAY
+} json_variant_type(int *v) {
+ if (!v)
+ return _JSON_VARIANT_TYPE_INVALID;
+ if (v == (int *)_JSON_VARIANT_MAGIC_ZERO_UNSIGNED)
+ return JSON_VARIANT_UNSIGNED;
+ if (v == (int *)_JSON_VARIANT_MAGIC_ZERO_REAL)
+ return JSON_VARIANT_REAL;
+ if (v == (int *)_JSON_VARIANT_MAGIC_EMPTY_STRING)
+ return JSON_VARIANT_STRING;
+ if (v == (int *)_JSON_VARIANT_MAGIC_EMPTY_ARRAY)
+ return JSON_VARIANT_ARRAY;
+}