[Bug middle-end/55873] New: Missed trivial uninitialized use warning

[steven at gcc dot gnu.org]

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



             Bug #: 55873

           Summary: Missed trivial uninitialized use warning

    Classification: Unclassified

           Product: gcc

           Version: 4.8.0

            Status: UNCONFIRMED

          Severity: normal

          Priority: P3

         Component: middle-end

        AssignedTo: unassig...@gcc.gnu.org

        ReportedBy: ste...@gcc.gnu.org





extern int foo (int);

int foo (int c)

{

  int res;

  if (c)

    res = 0;

  return res;

}



res may be used uninitialized if c==0, but the function is "optimized" to

"return 0" before the uninit1 warning pass runs.