github/circomspect
1
1
Fork 0
mirror of https://github.com/trailofbits/circomspect.git synced 2026-05-12 03:00:28 -04:00
Code Issues Packages Projects Releases Wiki Activity

Bug fix in VariableMeta for IR statements

Browse Source
This commit is contained in:
Fredrik Dahlgren
2022-09-01 13:49:10 +02:00
parent 1a805b0a56
commit 8a137ee69c
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
program_structure/src/intermediate_representation/statement_impl.rs
View File

@@ -214,7 +214,7 @@ impl VariableMeta for Statement {
components_read.extend(size.components_read().clone());
}
}
Substitution { meta, var, rhe, .. } => {
Substitution { meta, var, op, rhe } => {
rhe.cache_variable_use();
locals_read.extend(rhe.locals_read().clone());
signals_read.extend(rhe.signals_read().clone());
@@ -227,6 +227,12 @@ impl VariableMeta for Statement {
Some(VariableType::Signal(_)) => {
trace!("adding `{var}` to signals written");
signals_written.insert(VariableUse::new(meta, var, &Vec::new()));
if matches!(op, AssignOp::AssignConstraintSignal) {
// If this is a signal constraint assignment, we
// consider the assigned signal to be read as well.
trace!("adding `{var:?}` to signals read");
signals_read.insert(VariableUse::new(meta, var, &Vec::new()));
}
}
Some(VariableType::Component) => {
trace!("adding `{var}` to components written");