3.4.8.2 Pass By Reference For Non Mandatory Arguments

Non mandatory arguments are passed by reference if the X1f4_E4_LINK_PASS bit is included in the flags list of the function definition.

See Function Flags.

See struct x1f4_function_type.

The arguments should qualify to pass by reference, i.e. they should be (non read only) variables. Those that do not qualify are passed by value.

See Variables.

The X1f4_E4_POST_TYPE bit needs not be included in the flags list (it should be if there are mandatory arguments that should be passed by reference). The bit will be present in the flags list of the instant, non variadic function definition delivered as part of the extended execution context.

See Extended Execution Context.