Clear all the data structures contained in the loop analysis. This will leave the analysis in a similar state to a context returned by `new()` except that allocated memory be retained.
(&mut self)
| 185 | /// analysis in a similar state to a context returned by `new()` except that allocated |
| 186 | /// memory be retained. |
| 187 | pub fn clear(&mut self) { |
| 188 | self.loops.clear(); |
| 189 | self.block_loop_map.clear(); |
| 190 | self.valid = false; |
| 191 | } |
| 192 | |
| 193 | // Determines if a block dominates any predecessor |
| 194 | // and thus is a loop header. |