|
|
|
|
|
|
by gpderetta
1306 days ago
|
|
|
The first check might be in a completely different function in another module (for example a postcondition check before a return). Removing dead code is completely normal and desirable, warning every time it happens would be completely pointless and wrong. |
|
|