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>
The volatile doesn't Change anything. I guess the combination of if and Else-while confuses him
Duplicated *** This bug has been marked as a duplicate of bug 18501 ***