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: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sat, 6 Aug 2011 16:08:20 +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 #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-08-06 16:08:16 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?
Yes, I think so, only index types of arrays have non-canonical bounds now.