http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42145
Jeffrey A. Law <law at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |law at redhat dot com --- Comment #5 from Jeffrey A. Law <law at redhat dot com> --- -Os disables jump threading except for very specific circumstances because the block duplication generally increases code size. As a result of restricting the optimizer, certain paths through the CFG which are unexecutable have to be left in the CFG which leads to the false positive.