analyze: add tests/filecheck/test_attrs.rs

Author: spernsteiner

c2rust-analyze/tests/filecheck.rs

@@ -54,6 +54,7 @@ define_tests! {
     offset2,
     ptrptr1,
     statics,
+    test_attrs,
     trivial,
     type_annotation_rewrite,
 }

c2rust-analyze/tests/filecheck/test_attrs.rs

@@ -0,0 +1,24 @@
+#![feature(register_tool)]
+#![register_tool(c2rust_analyze_test)]
+
+// CHECK-LABEL: type assignment for "f":
+// CHECK: _0 ({{.*}}: *mut i32): *mut i32
+// CHECK: _1 ({{.*}}: x): *mut i32
+#[c2rust_analyze_test::fixed_signature]
+fn f(x: *mut i32) -> *mut i32 {
+    x
+}
+
+// CHECK-LABEL: type assignment for "g":
+// CHECK: _0 ({{.*}}: *mut i32): &i32
+// CHECK: _1 ({{.*}}: x): &i32
+#[c2rust_analyze_test::skip_rewrite]
+fn g(x: *mut i32) -> *mut i32 {
+    x
+}
+
+// CHECK: analysis of DefId({{.*}} ~ test_attrs[{{.*}}]::h) failed: [unknown]: explicit fail_analysis for testing
+#[c2rust_analyze_test::fail_analysis]
+fn h(x: *mut i32) -> *mut i32 {
+    x
+}