CBMC
|
Local variables whose address is taken. More...
Go to the source code of this file.
Classes | |
class | localst |
Functions | |
std::ostream & | operator<< (std::ostream &out, const localst &locals) |
Local variables whose address is taken.
Definition in file locals.h.