Semantics of a built-in that hold no matter which processor handles the call. The remaining facts already
have a home: the exit behavior in cfg, whether flowR can fold the call in the evalHandler of the
definition, and the fallback for everything unmodelled in hasUnknownSideEffects.
Semantics of a built-in that hold no matter which processor handles the call. The remaining facts already have a home: the exit behavior in
cfg, whether flowR can fold the call in theevalHandlerof the definition, and the fallback for everything unmodelled inhasUnknownSideEffects.