Skip to content

Commit 10caab2

Browse files
author
Lukasz A.J. Wrona
committed
Get rid of the block scope and cmb variable
1 parent 81bbbec commit 10caab2

File tree

1 file changed

+4
-13
lines changed

1 file changed

+4
-13
lines changed

jbmc/src/java_bytecode/java_bytecode_language.cpp

Lines changed: 4 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -723,20 +723,11 @@ bool java_bytecode_languaget::typecheck(
723723
// Now add synthetic classes for every invokedynamic instruction found (it
724724
// makes this easier that all interface types and their methods have been
725725
// created above):
726+
for(const auto &id_and_symbol : symbol_table)
726727
{
727-
std::vector<irep_idt> function_symbols;
728-
729-
for(const auto &id_and_symbol : symbol_table)
730-
{
731-
if(id_and_symbol.second.type.id() != ID_code)
732-
continue;
733-
auto cmb = method_bytecode.get(id_and_symbol.first);
734-
if(!cmb)
735-
continue;
736-
function_symbols.push_back(id_and_symbol.first);
737-
}
738-
739-
for(const auto &id : function_symbols)
728+
const auto &id = id_and_symbol.first;
729+
const auto &symbol = id_and_symbol.second;
730+
if(symbol.type.id() == ID_code && method_bytecode.get(id))
740731
{
741732
create_invokedynamic_synthetic_classes(
742733
id,

0 commit comments

Comments
 (0)