cprover
|
#include <locs.h>
Public Attributes | |
loc_reft | first_loc |
code_typet | type |
loc_reft locst::function_entryt::first_loc |
Definition at line 49 of file locs.h.
Referenced by locst::build(), and path_symext::function_call_rec().
code_typet locst::function_entryt::type |
Definition at line 50 of file locs.h.
Referenced by locst::build(), and path_symext::function_call_rec().