This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/23331] FIXME from tree-ssa-ccp: dealing with "a"[3]
- 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: Wed, 01 Apr 2015 12:07:39 +0000
- Subject: [Bug tree-optimization/23331] FIXME from tree-ssa-ccp: dealing with "a"[3]
- Auto-submitted: auto-generated
- References: <bug-23331-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23331
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
The FIXME is gone and we transform this to
f ()
{
int a;
char _2;
int _3;
<bb 2>:
_2 = "a"[13];
_3 = (int) _2;
return _3;
}
which is good enough (we could make CCP more optimistic, treating _2 as
UNDEFINED and finally replacing remaining UNDEFINED uses with
__builtin_unreachable ()).
But that's a different bug.