fcf and may allocate

[sophiajt]

We need to confirm that memory allocated in an fcf and called via:

• A variable
• A field path

Both correctly mark the "may allocate" on the block.