View source code
Display the source code in dmd/escape.d from which this page was generated on github.
Report a bug
If you spot a problem with this page, click here to create a Bugzilla issue.
Improve this page
Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using local clone.

Function dmd.escape.checkParamArgumentEscape

Function parameter par is being initialized to arg, and par may escape. Detect if scoped values can escape this way. Print error messages when these are detected.

bool checkParamArgumentEscape (
  dmd.dscope.Scope* sc,
  FuncDeclaration fdc,
  Parameter par,
  VarDeclaration vPar,
  dmd.astenums.STC parStc,
  Expression arg,
  bool assertmsg,
  bool gag
);

Parameters

NameDescription
sc used to determine current function and module
fdc function being called, null if called indirectly
par function parameter (this if null)
vPar VarDeclaration corresponding to par
parStc storage classes of function parameter (may have added scope from pure)
arg initializer for param
assertmsg true if the parameter is the msg argument to assert(bool, msg).
gag do not print error messages

Returns

true if pointers to the stack can escape via assignment

Authors

Walter Bright

License

Boost License 1.0