https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125738
Kael Franco <kaelfandrew at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #64804|0 |1
is obsolete| |
--- Comment #4 from Kael Franco <kaelfandrew at gmail dot com> ---
Created attachment 64953
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64953&action=edit
New patch
I didn't send to gcc-patches because gcc.dg/tree-ssa/pr64130.c fails with this
patch due to this failing:
/* { dg-final { scan-tree-dump "int \\\[2, 8589934591\\\]" "evrp" } } */
Do I remove funsigned () and this dg-final test?
-O2 -fdump-tree-evrp-details:
diff --git a/test-pure.tree b/test.tree
index a77ea1c..bd40f2e 100644
--- a/test-pure.tree
+++ b/test.tree
@@ -13,23 +13,8 @@ PHI ANALYZER : Finished processing PHIS.
Substituting values and folding statements
-Folding statement: _1 = (long int) a_4(D);
- Registering value_relation (_1 pe32 a_4(D)) (bb2) at _1 = (long int) a_4(D);
+Folding statement: return 0;
Not folded
-Folding statement: _2 = 8589934591 / _1;
-Global Exported: _2 = [irange] long int [2, 8589934591]
-Not folded
-Folding statement: _3 = _2 == 0;
-Queued stmt for removal. Folds to: 0
-Folding statement: _5 = (int) _3;
-Queued stmt for removal. Folds to: 0
-Folding statement: return _5;
-Folded into: return 0;
-
-Removing dead stmt:_5 = (int) _3;
-Removing dead stmt:_3 = _2 == 0;
-Removing dead stmt:_2 = 8589934591 / _1;
-Removing dead stmt:_1 = (long int) a_4(D);
=========== BB 2 ============
<bb 2> :
