analyze: add function attrs for testing

immunant / c2rust

Migrate C code to Rust

https://c2rust.com/

Other

3.91k stars 229 forks source link

Closed spernsteiner closed 1 year ago

spernsteiner commented 1 year ago

Adds support for some function attributes that are useful for testing:

#[c2rust_analyze_test::fixed_signature]: Marks all pointers in the function signature as FIXED
#[c2rust_analyze_test::fail_analysis]: Forces an analysis failure for the function
#[c2rust_analyze_test::skip_rewrite]: Skips generating rewrites for the function

spernsteiner commented 1 year ago

Can you add a simple example/test for this, too?

Added a basic test case in 2244cbe14828895ce7aa9f4da0725c9ee5ee5d59