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

bool

(

Scope* sc

FuncDeclaration fd

TypeFunction tf

Expression ethis

Expressions* arguments

bool gag

)

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