Add support for "pure" function attribute

GuillaumeGomez · GuillaumeGomez · commit c04a631ea651 · 2023-07-13T21:43:12.000+02:00
diff --git a/src/attributes.rs b/src/attributes.rs
@@ -121,6 +121,9 @@ pub fn from_fn_attrs<'gcc, 'tcx>(
         if codegen_fn_attrs.flags.contains(CodegenFnAttrFlags::FFI_RETURNS_TWICE) {
             func.add_attribute(FnAttribute::ReturnsTwice);
         }
+        if codegen_fn_attrs.flags.contains(CodegenFnAttrFlags::FFI_PURE) {
+            func.add_attribute(FnAttribute::Pure);
+        }
     }
 
     let function_features =

Original file line number	Diff line number	Diff line change
`@@ -121,6 +121,9 @@ pub fn from_fn_attrs<'gcc, 'tcx>(`
`121`	`121`	`if codegen_fn_attrs.flags.contains(CodegenFnAttrFlags::FFI_RETURNS_TWICE) {`
`122`	`122`	`func.add_attribute(FnAttribute::ReturnsTwice);`
`123`	`123`	`}`
	`124`	`+ if codegen_fn_attrs.flags.contains(CodegenFnAttrFlags::FFI_PURE) {`
	`125`	`+ func.add_attribute(FnAttribute::Pure);`
	`126`	`+ }`
`124`	`127`	`}`
`125`	`128`
`126`	`129`	`let function_features =`