...
When the preceding example is executed on GCC 4.8.1, the variable i is instantiated with automatic storage duration within the block, but it is not initialized. Consequently, if the controlling expression expr has a nonzero value, the call to printf() will access an indeterminate value of i. Similarly, the call to f() is not executed.
the value Value of |
|
|---|---|
0 | 17 |
Nonzero | Indeterminate |
...
Tool | Version | Checker | Description | ||||||
| Clang |
| -Wsometimes-uninitialized | |||||||
| LDRA tool suite |
| 385 S | Fully Implementedimplemented | ||||||
| 3234 | Partially implemented |
...