This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/47679] [4.9/5/6 Regression] Strange uninitialized warning after SRA
- From: "law at redhat dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sun, 20 Sep 2015 06:15:20 +0000
- Subject: [Bug tree-optimization/47679] [4.9/5/6 Regression] Strange uninitialized warning after SRA
- Auto-submitted: auto-generated
- References: <bug-47679-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47679
--- Comment #30 from Jeffrey A. Law <law at redhat dot com> ---
AFACT the testcase in c#16 is bogus. If i is never equal to k, then opt is
never assigned any value. It's then used in the conditional outside the loop.
That's how it looks at the source level and that's also what it looks like in
the dom2 dump.