https://gcc.gnu.org/g:ce653fa683643d4e5a7146181954358f1060dfed
commit r11-11526-gce653fa683643d4e5a7146181954358f1060dfed
Author: Richard Biener <rguent...@suse.de>
Date: Fri Oct 20 15:08:49 2023 +0200
tree-optimization/111445 - simple_iv simplification fault
The following fixes a missed check in the simple_iv attempt
to simplify (signed T)((unsigned T) base + step) where it
allows a truncating inner conversion leading to wrong code.
PR tree-optimization/111445
* tree-scalar-evolution.c (simple_iv_with_niters):
Add missing check for a sign-conversion.
* gcc.dg/torture/pr111445.c: New testcase.
(cherry picked from commit 9692309ed6b625f0fb358c0e230404b5603f69a6)
Diff:
---
gcc/testsuite/gcc.dg/torture/pr111445.c | 29 +++++++++++++++++++++++++++++
gcc/tree-scalar-evolution.c | 3 ++-
2 files changed, 31 insertions(+), 1 deletion(-)
diff --git a/gcc/testsuite/gcc.dg/torture/pr111445.c
b/gcc/testsuite/gcc.dg/torture/pr111445.c
new file mode 100644
index 00000000000..320e0b90675
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr111445.c
@@ -0,0 +1,29 @@
+/* { dg-do run } */
+
+extern void abort (void);
+short a, b;
+unsigned char c = 255;
+unsigned cnt;
+void __attribute__((noipa))
+check (int x)
+{
+ if (x != 0)
+ abort ();
+ cnt++;
+}
+int main()
+{
+ int d;
+ unsigned char e;
+ d = 0;
+ for (; a >= 0; a--) {
+ int *f = &d;
+ *f = c;
+ }
+ e = 0;
+ for (; (unsigned char)(d - 255) + e <= 1; e++)
+ check (b);
+ if (cnt != 2)
+ abort ();
+ return 0;
+}
diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c
index ff052be1021..da85647c70d 100644
--- a/gcc/tree-scalar-evolution.c
+++ b/gcc/tree-scalar-evolution.c
@@ -3281,7 +3281,8 @@ simple_iv_with_niters (class loop *wrto_loop, class loop
*use_loop,
type = TREE_TYPE (iv->base);
e = TREE_OPERAND (iv->base, 0);
- if (TREE_CODE (e) != PLUS_EXPR
+ if (!tree_nop_conversion_p (type, TREE_TYPE (e))
+ || TREE_CODE (e) != PLUS_EXPR
|| TREE_CODE (TREE_OPERAND (e, 1)) != INTEGER_CST
|| !tree_int_cst_equal (iv->step,
fold_convert (type, TREE_OPERAND (e, 1))))
