[Bug c/78370] New: Missing uninitialzed warning

["scott.d.phillips at intel dot com" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78370

            Bug ID: 78370
           Summary: Missing uninitialzed warning
           Product: gcc
           Version: 6.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: scott.d.phillips at intel dot com
  Target Milestone: ---

This C source does not give an uninitialized warning:

void func1(void);
void func2(int *);

void test (void)
{
  int a;
  func1();
  if (a == 1)
    func1();
  func2(&a);
}

$ gcc -Wall -Werror tmp.c -c -o tmp.o
$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/dsphilli/p/opt/gcc-6.2.0/libexec/gcc/x86_64-pc-linux-gnu/6.2.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/dsphilli/p/opt/gcc-6.2.0
Thread model: posix
gcc version 6.2.0 (GCC)