dmd.dfa.utils

ParametersDFAInfo* ensureDFAParameters(FuncDeclaration fd);

Ensure that a function declaration is properly attributed for the fast DFA engine.

void ensureDFAParameter(int id, FuncDeclaration fd, TypeFunction tf, ref ParameterDFAInfo* paramDFAInfo);

Ensure we have access to a description of a given function call, regardless of having a function declaration. paramDFAInfo should have a buffer in init state passed in

bool isTypeNullable(Type type);

Checks if a type is capable of being null at runtime.

The DFA uses this to determine if a null-check is required for a specific variable.

Returns:

true if the type is a pointer, array, class, delegate, etc.

bool isTypeTruthy(Type type);

Checks if a type can be evaluated as a boolean (truthy/falsey).

Used by the DFA to determine if control flow (like if statements) depends on this variable.

Returns:

false for types like void (noreturn) or struct (unless they define opCast), true for integers, pointers, bools, etc.

EqualityArgType equalityArgTypes(Type lhs, Type rhs);

Classifies how two types are compared for equality at runtime.

This mirrors the logic in the compiler backend/glue layer. The DFA needs this to accurately predict if an equality check (==) involves simple integer comparison, array comparison, or struct comparison.

See Also:

EqualityArgType