Java


JAVA.CLASS.CAST.USELESS : Useless Class Cast (Java)

Summary

A classcast is useless and can be removed from the code.

Java checks explicit type downcasts at runtime. If they do not hold, a runtime exception is thrown. This checker verifies that casts will be satisfied at runtime, so that they will never throw an exception.

Properties

Class Name Useless Class Cast (Java)
Significance reliability
Mnemonic JAVA.CLASS.CAST.USELESS
Categories
CWE CWE:1164 Irrelevant Code
Availability Available for Java only.
Enabling Checks for this warning class are enabled by default. To disable them, add the following WARNING_FILTER rule to the project configuration file.
WARNING_FILTER += discard class="Useless Class Cast (Java)"

Resolution

For each classcast warning, verify that all types that will ever reach that program point are assignable to the type used for the cast.

Relevant Configuration File Parameters

The following configuration file parameters affect checks for this warning class.