CBMC
|
Address Taken. More...
Go to the source code of this file.
Functions | |
static void | find_objects_rec (const exprt &src, std::unordered_set< symbol_exprt, irep_hash > &result) |
std::unordered_set< symbol_exprt, irep_hash > | address_taken (const std::vector< exprt > &src) |
Address Taken.
Definition in file address_taken.cpp.
std::unordered_set<symbol_exprt, irep_hash> address_taken | ( | const std::vector< exprt > & | src | ) |
Definition at line 51 of file address_taken.cpp.
|
static |
Definition at line 23 of file address_taken.cpp.