This is beneficial because the gc_sync_ffs has a Xilinx "keep" attribute, which prevents the tools from trimming out unused logic, even when the user has set the relevant generics to "FALSE".