[Bug c/87365] New: Uninitiliazed variable detection

[gcc at cookiesoft dot de]

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

            Bug ID: 87365
           Summary: Uninitiliazed variable detection
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gcc at cookiesoft dot de
  Target Milestone: ---

The following snippet does not detect the unitilialized variable

<pre>
int foo(volatile int cond) {
    int a;
    if (cond){
        a = 0;
    } else {
        while (cond) {
            a++;
        }
    }
    return a;
}
</pre>