We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8d54be1 commit b7aaad0Copy full SHA for b7aaad0
src/java_bytecode/java_local_variable_table.cpp
@@ -769,19 +769,8 @@ void java_bytecode_convert_methodt::setup_local_variables(
769
<< v.var.descriptor << "' holes " << v.holes.size() << eom;
770
#endif
771
typet t;
772
- if(v.var.signature.has_value())
773
- {
774
- try
775
776
- t=java_type_from_string(v.var.signature.value());
777
- }
778
- catch(unsupported_java_class_signature_exceptiont &e)
779
780
- t=java_type_from_string(v.var.descriptor);
781
782
783
- else
784
+ // TODO: might need changing once descriptor/signature issue is resolved
+ t=java_type_from_string(v.var.descriptor);
785
786
std::ostringstream id_oss;
787
id_oss << method_id << "::" << v.var.start_pc << "::" << v.var.name;
0 commit comments