Rewrite contracts as statements.
Declare result variable lazily.
Decide if attributes for this function can be inferred from examining the function body.
Check that the function contains any closure. If it's @nogc, report suitable errors. This is mostly consistent with FuncDeclaration::needsClosure().
Check that this function type is properly resolved. If not, report "forward reference error" and return true.
Check all return statements for a function to verify that returning using NRVO is possible.
In the current function, we are calling 'this' function. 1. Check to see if the current function can call 'this' function, issue error if not. 2. If the current function is not the parent of 'this' function, then add the current function to the list of siblings of 'this' function. 3. If the current function is a literal, and it's accessing an uplevel scope, then mark it as a delegate. Returns true if error occurs.
Creates and returns the hidden parameters for this function declaration.
find function template root in overload list
Find index of function in vtbl[0..length] that this function overrides. Prefer an exact match to a covariant one.
Resolve forward reference of function signature - parameter types, return type, and attributes.
Resolve forward reference of function body. Returns false if any errors exist in the body.
Determine lexical level difference from this to nested function fd.
Determine lexical level difference from this to nested function fd. Issue error if this cannot call fd.
Determine if function's variables are referenced by a function nested within it.
Returns true if function was declared directly or indirectly in a unittest block
Initialize for inferring the attributes of this function.
Override so it can work even if semantic() hasn't yet been run.
Determine if function needs a static frame pointer.
See if pointers from function parameters, mutable globals, or uplevel functions could leak into return value.
Determine if function is a non-static member function that has an implicit 'this' expression.
See if pointers from function parameters, mutable globals, or uplevel functions could leak into type t.
Determine partial specialization order of 'this' vs g. This is very similar to TemplateDeclaration::leastAsSpecialized().
Merge into this function the 'out' contracts of all it overrides. 'out's are AND'd together, i.e. all of them need to pass.
Merge into this function the 'in' contracts of all it overrides. 'in's are OR'd together, i.e. only one of them needs to pass.
Merge into this function the 'in' contracts of all it overrides.
Look at all the variables in this function that are referenced by nested functions, and determine if a closure needs to be created for them.
Find function in overload list that exactly matches t.
Overload this FuncDeclaration with the new one f. Return true if successful; i.e. no conflict.
Find function in overload list that matches to the 'this' modifier. There's four result types.
If function a function in a base class, return that base class.
Determine if 'this' overrides fd. Return !=0 if it does.
Searches for a label with the given identifier. This function will insert a new LabelDsymbol into labtab if it does not contain a mapping for ident.
The function is doing something that may allocate with the GC, so mark it as not nogc (not no-how).
The function calls non-@nogc function f, mark it as not nogc.
The function is doing something impure, so mark it as impure.
The function is doing something that may throw an exception, register that in case nothrow is being inferred
The function calls non-nothrow function f, register that in case nothrow is being inferred
The function is doing something unsafe, so mark it as unsafe.
The function is calling @system function f, so mark it as unsafe.
for diagnostics, e.g. 'int foo(int x, int y) pure'
Generate a FuncDeclaration for a runtime library function.
Determine whether an 'out' contract is declared inside the given function or any of its overrides.
local variables with alignment needs larger than stackAlign
set if this is a known, builtin function we can evaluate at compile time
local variables in this function which are referenced by nested functions (They'll get put into the "closure" for this function.)
location of closing curly bracket
function body
function that does the out contract
argument list for __ensure
function that does the in contract
argument list for __require
lowered out contract
out contracts
if foreach body, this is the foreach
functions this function overrides
lowered in contract
in contracts
Gotos with forward references
1 if there's a return exp; statement 2 if there's a throw statement 4 if there's an assert(0) 8 if there's inline asm 16 if there are multiple return statements
!=0 if nested inline
if virtual, but only appears in base interface vtbl[]
cache for the potentially very expensive isTypeIsolated check
statement label symbol table
mangled symbol created from mangleExact()
variable to replace with shidden
Data for a function declaration that is needed for the Objective-C integration.
Outer variables which are referenced by this nested function (the inverse of closureVars)
next in overload list
next in overload list (only used during IFTI)
Array of VarDeclaration's for parameters
where the return goes
In case of failed @safe inference, store the error that made the function @system for better diagnostics
pointer to aligned section, if any
hidden pointer passed to function
Sibling nested functions which called this one
storage class for template onemember's
if !=NULL, then this is the type of the 'introducing' function this one is overriding
set if someone took the address of this function
'_argptr' variable
'_arguments' parameter
result variable for out contracts
for member functions, index into vtbl[]
'this' parameter (member and nested)
Issue an error if an attempt to call a disabled method is made
Check to see if declaration can be modified in this context (sc). Issue error if not.
Returns the linkage, resolving the target-specific System one.