Thanks for implementing the FENV support. The patch generally looks good to me.
My one concern is a detail in the implementation of "update". I do not have enough experience with GENERIC to verify the details and it seems like it is missing building an outer COMPOUND_EXPR containing update_mffs and the CALL_EXPR for update mtfsf. I would like someone to double check. Thanks, David