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