CBMC
|
#include <local_may_alias.h>
Public Member Functions | |
bool | merge (const loc_infot &src) |
Public Attributes | |
alias_sett | aliases |
Definition at line 67 of file local_may_alias.h.
bool local_may_aliast::loc_infot::merge | ( | const loc_infot & | src | ) |
Definition at line 25 of file local_may_alias.cpp.
alias_sett local_may_aliast::loc_infot::aliases |
Definition at line 70 of file local_may_alias.h.