It will depend on how the firewall does its failover.
When it uses a virtual address between the physical devices (like hsrp) this setup should work.
As long as the link between the FW's is not a transparent layer2, there will be no loop.
Things become more tricky when the fw's are also doing L2.
In that case you need to break the loop with STP.
regards,
Leo