variable coverage

crates/pyrometer/tests/no_killed_ctxs.rs

@@ -222,3 +222,11 @@ fn test_repros() {
         assert_no_parse_errors(path_str);
     }
 }
+
+#[test]
+fn test_variable() {
+    let manifest_dir = env::var("CARGO_MANIFEST_DIR").unwrap();
+    let path_str = format!("{manifest_dir}/tests/test_data/variable.sol");
+    let sol = include_str!("./test_data/variable.sol");
+    assert_no_ctx_killed(path_str, sol);
+}

crates/pyrometer/tests/test_data/variable.sol

@@ -0,0 +1,44 @@
+contract Variable {
+    aUserType a_user_type;
+
+    struct aUserType {
+        uint aUserType;
+    }
+
+    function a_user_type_memory(aUserType memory a_user_type) public returns (uint) {
+        return a_user_type.aUserType;
+    }
+
+    function a_user_type_calldata(aUserType calldata a_user_type) public returns (uint) {
+        return a_user_type.aUserType;
+    }
+
+    function a_user_type_storage() public returns (uint) {
+        aUserType storage a_user_type = a_user_type;
+        return a_user_type.aUserType;
+    }
+}
+
+contract B {
+    struct A {
+        address a;
+    }
+}
+contract A is B {
+    A a; // contract A
+
+    function return_struct() external returns (A memory) {
+        // a is of type B.A, *not* Contract::A
+        a = A(address(this));
+        return a;
+    }
+}
+
+contract C {
+    C c;
+    function return_contract() external returns (C) {
+        // c is of type Contract::C
+        c = C(address(this));
+        return c;
+    }
+}