This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/49911] SRA + DOM + VRP + -fstrict-enums incorrectly remove predicate
- From: "rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 1 Aug 2011 08:49:31 +0000
- Subject: [Bug tree-optimization/49911] SRA + DOM + VRP + -fstrict-enums incorrectly remove predicate
- Auto-submitted: auto-generated
- References: <bug-49911-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49911
--- Comment #8 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-08-01 08:49:30 UTC ---
So the issue here is that enum types with non-canonical TYPE_MIN/MAX_VALUE
leak from storage representation (union StateRemat) via SRA as register
variables into the IL. Is that something that cannot happen for Ada because
it is also careful to not use such types in storage representations?