checkMutableArguments

Checks memory objects passed to a function. Checks that if a memory object is passed by ref or by pointer, all of the refs or pointers are const, or there is only one mutable ref or pointer to it. References: DIP 1021

Parameters

sc Scope*

used to determine current function and module

fd FuncDeclaration

function being called

tf TypeFunction

fd's type

ethis Expression

if not null, the this pointer

arguments Expressions*

actual arguments to function

gag bool

do not print error messages

Return Value

Type: bool

true if error

Meta