analyze: add test based on lighttpd buffer (#1182)

Adds a test case based on lighttpd's `buffer` module. This includes FileCheck assertions on several of the functions to make sure we're getting the expected type and expression rewrites.
immunant · Dec 9, 2024 · 5979113 · 5979113
2 parents bcc772e + 4c13406
commit 5979113
Show file tree

Hide file tree

Showing 2 changed files with 2,873 additions and 0 deletions.
diff --git a/c2rust-analyze/tests/filecheck.rs b/c2rust-analyze/tests/filecheck.rs
@@ -55,6 +55,7 @@ define_tests! {
     insertion_sort_driver,
     insertion_sort_rewrites,
     known_fn,
+    lighttpd_buffer,
     move_mut,
     non_null,
     non_null_force,