- edited description
False positive in case of exhaustive switches
Issue #76
new
try
{
int inputInt = Integer.decode(input);
if (((inputInt >= NONE_ENTRY) && (inputInt <= BOTH_ENTRY)))
{
switch (inputInt)
{
case NONE_ENTRY: {
return KeyType.NONE;
}
case RSA_ENTRY: {
return KeyType.RSA;
}
case DSA_ENTRY: {
return KeyType.DSA;
}
case BOTH_ENTRY: {
466 return KeyType.BOTH;
}
}
}
else
{
System.out.println("Invalid option...");
}
}
summary
dead code found; the successor instruction is dead: pc=228 (line=466)
location
public final [SUPER] gui.local.commandline.views. GFTSNodeSecurityConfigOption { private GFTSSSHConfig$KeyType inputKeyType () [ pc=181 line=454 ] }
The evaluation of the instruction never leads to the evaluation of the specified instruction.
switch int ∈ [1,4] (case values: 1, 2, 3, 4 )
Local Variable State
Index Name Value
0 this gui.local.commandline.views.GFTSNodeSecurityConfigOption[@-1;t=101]
1 NONE_ENTRY int = 1
2 RSA_ENTRY int = 2
3 DSA_ENTRY int = 3
4 BOTH_ENTRY int = 4
5 br java.io.BufferedReader[@131;t=147]
6 input {_ <: java.lang.String, null}[@152;t=151]
7 inputInt int ∈ [1,4]
Comments (3)
-
reporter -
reporter - removed milestone
Removing milestone: 0.9.0-M1 (automated comment)
-
reporter - removed version
Removing version: 0.9.0 (automated comment)
- Log in to comment