parent
4cef8c2d58
commit
4a3f1efd25
|
@ -12,6 +12,6 @@ void f4() {
|
|||
int a;
|
||||
if (global.data == 0)
|
||||
a = 3;
|
||||
if (global.data == 0) // The true branch is infeasible.
|
||||
if (global.data == 0) // When the true branch is feasible 'a = 3'.
|
||||
g(a); // no-warning
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue