HomeIsabelle/Phabricator

Add a "containers" argument to FunctionCall to ensure that containers are not…

Description

Add a "containers" argument to FunctionCall to ensure that containers are not discarded before the call because the
last reference is when the container address is loaded into a register. This fixes a crash in Socket.connect which
calls Socket.select but ignores the result.

Details

Provenance
dcjmAuthored on Dec 21 2021, 9:11 PM
Parents
rPOLYML327d9688321e: Fixed a couple of mistakes in the last commit.
Branches
Unknown
Tags
Unknown