Fix error of untracked in-eachs at top-level

Signed-off-by: Jonatan Waern <jonatan.waern@intel.com>

Author: JonatanWaern

CHANGELOG.md

@@ -13,6 +13,7 @@
   see [USAGE.md](USAGE.md) for instructions on how to use it
 - Disabled the invariant check for the parameter 'size' to be set on register
   objects. Will be re-enabled when constant-folding is added to the DLS.
+- Fixed issue where statements under top-level in-eachs were not correctly tracked.
 
 ## 0.9.12
 - Added 'simics\_util\_vect' as a known provisional (with no DLS semantics)

src/analysis/structure/toplevel.rs

@@ -659,8 +659,20 @@ impl TopLevel {
             |stmnt|ObjectDecl::always(stmnt)).collect();
         let mut errors = statements.errors.iter().map(
             |stmnt|ObjectDecl::always(stmnt)).collect();
-        let mut ineachs = statements.ineachs.iter().map(
-            |stmnt|ObjectDecl::always(stmnt)).collect();
+        let mut ineachs = vec![];
+
+        for ineach in &statements.ineachs {
+            let spec = flatten_hashif_branch(StatementContext::Object,
+                                             &ineach.statements,
+                                             vec![], report);
+            ineachs.push(
+                ObjectDecl {
+                    cond: ExistCondition::Always,
+                    obj: ineach.clone(),
+                    spec,
+                });
+        }
+
         let mut templates = vec![];
         let mut loggroups = vec![];
         let mut constants = vec![];