It can help both optimizations and static analysis. For example in the switch case in principle the compiler can avoid doing bound checks on the switch jump tab

It can help both optimizations and static analysis. For example in the switch case in principle the compiler can avoid doing bound checks on the switch jump table. For static analysis it can help flags paths that can actually happen as erroneous.