[gcc(refs/users/mikael/heads/refactor_descriptor_v05)] gimple-simulate: correction assertion évaluation RSHIFT_EXPR

[Mikael Morin via Gcc-cvs]

https://gcc.gnu.org/g:7330f9674a970cddb8141041afcc70fa6b3eeb7e

commit 7330f9674a970cddb8141041afcc70fa6b3eeb7e
Author: Mikael Morin <mik...@gcc.gnu.org>
Date:   Sun Aug 24 19:59:09 2025 +0200

    gimple-simulate: correction assertion évaluation RSHIFT_EXPR

Diff:
---
 gcc/gimple-simulate.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gcc/gimple-simulate.cc b/gcc/gimple-simulate.cc
index 3e173b5ab76b..d36d2654e882 100644
--- a/gcc/gimple-simulate.cc
+++ b/gcc/gimple-simulate.cc
@@ -2083,7 +2083,8 @@ simul_scope::evaluate_binary (enum tree_code code, tree 
type, tree lhs,
                      && TYPE_PRECISION (TREE_TYPE (lhs))
                         == TYPE_PRECISION (TREE_TYPE (rhs))
                      && TYPE_UNSIGNED (TREE_TYPE (lhs))
-                        == TYPE_UNSIGNED (TREE_TYPE (rhs))));
+                        == TYPE_UNSIGNED (TREE_TYPE (rhs)))
+                 || code == RSHIFT_EXPR);
       tree lval = val_lhs.to_tree (TREE_TYPE (lhs));
       tree rval = val_rhs.to_tree (TREE_TYPE (rhs));
       tree t = fold_binary (code, type, lval, rval);