2020-06-30 12:47:33 +02:00
|
|
|
If a label is declared but not used in the program, it can be considered as dead code and should therefore be removed.
|
2021-02-02 15:02:10 +01:00
|
|
|
|
2020-06-30 12:47:33 +02:00
|
|
|
This will improve maintainability as developers will not wonder what this label is used for.
|
