mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-24 10:41:57 +03:00
add reduce_statement_alloc comment
This commit is contained in:
parent
d120e90d6e
commit
d410d84153
@ -25,7 +25,9 @@ impl<'a> ReconstructingReducerExpression<'a> for DeadCodeElimination {}
|
||||
impl<'a> ReconstructingReducerProgram<'a> for DeadCodeElimination {}
|
||||
|
||||
impl<'a> ReconstructingReducerStatement<'a> for DeadCodeElimination {
|
||||
// clobbers asg!!
|
||||
///
|
||||
/// Removes dead code inside a false conditional statement block.
|
||||
///
|
||||
fn reduce_statement_alloc(
|
||||
&mut self,
|
||||
context: AsgContext<'a>,
|
||||
|
Loading…
Reference in New Issue
Block a user