| 122 | } |
| 123 | |
| 124 | void |
| 125 | Bookkeeper::doFinalization() |
| 126 | { |
| 127 | Bookkeeper::struct_depth_cnts.clear(); |
| 128 | Bookkeeper::expr_depth_cnts.clear(); |
| 129 | Bookkeeper::dereference_level_cnts.clear(); |
| 130 | Bookkeeper::address_taken_cnt = 0; |
| 131 | Bookkeeper::write_dereference_cnts.clear(); |
| 132 | Bookkeeper::read_dereference_cnts.clear(); |
| 133 | Bookkeeper::cmp_ptr_to_null = 0; |
| 134 | Bookkeeper::cmp_ptr_to_ptr = 0; |
| 135 | Bookkeeper::cmp_ptr_to_addr = 0; |
| 136 | |
| 137 | } |
| 138 | |
| 139 | int |
| 140 | Bookkeeper::stat_blk_depths_for_stmt(const Statement* s) |