[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 Richard Biener changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #12 from Richard Biener --- Author: rguenth Date: Mon Jun 19 15:01:13 2017 New Revision: 249373 URL: https://gcc.gnu.org/viewcvs?rev=249373=gcc=rev Log: 2017-06-19 Richard Biener PR

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #11 from Marc Glisse --- I haven't thought of anything significantly better than adding a counter to bound the recursion depth of calls to gimple_simplify or gimple_resimplify2. We could try to explicitly detect loops, storing in

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #10 from Marc Glisse --- Before FRE, we have the following. I marked with comments the SSA_NAMEs that are value numbered as something other than themselves. f () { unsigned int t2; unsigned int t1; int a; unsigned int u;

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #9 from Marc Glisse --- C testcase that ICEs (when the patch is installed): int pos; void f(){ ++pos; unsigned u=(unsigned)pos-1; int a = pos; unsigned t1=a-1; unsigned t2=(unsigned)a-2; } where again, during FRE1,

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #8 from Marc Glisse --- Created attachment 41431 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41431=edit Updated version of the reverted patch Here is an updated version of the reverted patch, which fixes the vector issues

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #7 from Jakub Jelinek --- Author: jakub Date: Sat May 27 07:46:12 2017 New Revision: 248533 URL: https://gcc.gnu.org/viewcvs?rev=248533=gcc=rev Log: PR bootstrap/80887 2017-05-25 Marc Glisse

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #5 from Marc Glisse --- (I am adding -gnatwA -gnatyN to the command line to let the reduced version compile, and -m32 is fundamental) Maybe simplifying (sizetype)_26 to _3 is fine, but it isn't fine to keep valueizing _3 and redoing

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #4 from Marc Glisse --- Created attachment 41427 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41427=edit Reduced version of s-regpat.ad[bs]

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #3 from Marc Glisse --- Seems to me that it is FRE valueization doing something strange. We have (not in a loop) _26 = CHAIN.23_25(D)->parse_pos; _28 = _26 + 1; CHAIN.23_25(D)->parse_pos = _28; _30 =

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 --- Comment #2 from Jakub Jelinek --- Trying to print captures in the frame that calls gimple_simplify_135 I see it oscillating between: parse_pos.474_23 4294967295 4294967295 and _78 1 4294967294 (captures[0..2]). _76 =

[Bug bootstrap/80887] gnat bootstrap fails at s-regpat.o: raised STORAGE_ERROR : stack overflow or erroneous memory access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80887 Jakub Jelinek changed: What|Removed |Added CC||glisse at gcc dot gnu.org,