[Bug middle-end/31878] Spurious warnings with -Wreturn-type due to not performing CCP/VRP in the front-end

[manu at gcc dot gnu dot org]

------- Comment #7 from manu at gcc dot gnu dot org  2009-02-12 14:59 -------
Updating the description. Although anyone would agree that not warning is the
right thing to do, there doesn't seem to be any practical solution for this
problem, so I leave it as unconfirmed.

I wonder if clang/llvm gets this right.


-- 

manu at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |manu at gcc dot gnu dot org
            Summary|Spurious warnings generated |Spurious warnings with -
                   |due to not optimizing first |Wreturn-type due to not
                   |                            |performing CCP/VRP in the
                   |                            |front-end


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31878