Verify function attributes.