We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3f31ca5 commit 1de544eCopy full SHA for 1de544e
src/java_bytecode/ci_lazy_methods.cpp
@@ -391,10 +391,10 @@ void ci_lazy_methodst::gather_virtual_callsites(
391
/// should be determined.
392
/// \param instantiated_classes: set of classes that can be instantiated. Any
393
/// potential callee not in this set will be ignored.
394
-/// \param symbol_table: global symbol table
395
/// \param [out] callable_methods: Populated with all possible `c` callees,
396
/// taking `instantiated_classes` into account (virtual function overrides
397
/// defined on classes that are not 'needed' are ignored)
+/// \param symbol_table: global symbol table
398
void ci_lazy_methodst::get_virtual_method_targets(
399
const exprt &called_function,
400
const std::unordered_set<irep_idt> &instantiated_classes,
0 commit comments