normalizeObjectStates(in:diagnostics:) Instance Method Reference


                    
                    
                    successor(of:)

Returns the successor of i, if any.

Declaration

Swift

func successor(of i: InstructionID) -> PC?

Show on GitHub


                    
                    
                    interpret(access:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(access i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(addressToPointer:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(addressToPointer i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(allocStack:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(allocStack i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(advancedByBytes:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(advancedByBytes i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(advancedByStrides:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(advancedByStrides i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(call:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(call i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(callFFI:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(callFFI i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(captureIn:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(captureIn i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(closeCapture:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(closeCapture i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(closeUnion:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(closeUnion i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(condBranch:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(condBranch i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(constantString:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(constantString i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(deallocStack:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(deallocStack i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(endProject:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(endProject i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(genericParameter:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(genericParameter i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(globalAddr:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(globalAddr i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(callBuiltin:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(callBuiltin i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(load:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(load i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(markState:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(markState i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(memoryCopy:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(memoryCopy i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(move:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(move i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(openCapture:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(openCapture i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(openUnion:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(openUnion i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(pointerToAddress:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(pointerToAddress i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(project:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(project i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(return:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(return i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(store:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(store i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(subfieldView:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(subfieldView i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(unionDiscriminator:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(unionDiscriminator i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(wrapExistentialAddr:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(wrapExistentialAddr i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    interpret(yield:in:)

Interprets i in context, reporting violations into diagnostics.

Declaration

Swift

func interpret(yield i: InstructionID, in context: inout Context) -> PC?

Show on GitHub


                    
                    
                    initialize(_:in:)

Updates context to mark all objects at source, which is an access .set, as having been fully initialized.

Declaration

Swift

func initialize(_ source: Operand, in context: inout Context)

Show on GitHub


                    
                    
                    sink(_:with:in:)

Updates context to mark all objects at source, which is an access .sink, as having been consumed by consumer.

Declaration

Swift

func sink(_ source: Operand, with consumer: InstructionID, in context: inout Context)

Show on GitHub


                    
                    
                    consume(_:with:at:in:)

Updates the state of the o in context to mark it has been consumed by consumer at site or reports a diagnostic explaining why o can’t be consumed.

Declaration

Swift

func consume(
  _ o: Operand, with consumer: InstructionID, at site: SourceRange, in context: inout Context
)

Show on GitHub


                    
                    
                    ensureInitializedOnExit(_:passed:in:reportingDiagnosticsAt:)

Checks that entry parameter p, passed with capability k, is initialized in context, reporting diagnostics at site if it isn’t.

Declaration

Swift

func ensureInitializedOnExit(
  _ p: Operand, passed k: AccessEffect, in context: inout Context,
  reportingDiagnosticsAt site: SourceRange
)

Show on GitHub


                    
                    
                    ensureUninitializedOnExit(_:in:insertingDeinitializationBefore:reportingDiagnosticsAt:)

Checks that entry parameter p is deinitialized in context, inserting definitialization before instruction i if it isn’t, reporting diagnostics at site.

Declaration

Swift

func ensureUninitializedOnExit(
  _ p: Operand, in context: inout Context,
  insertingDeinitializationBefore i: InstructionID,
  reportingDiagnosticsAt site: SourceRange
)

Show on GitHub


                    
                    
                    ensureReturnValueIsInitialized(in:at:)

Checks that the return value is initialized in context.

Declaration

Swift

func ensureReturnValueIsInitialized(
  in context: inout Context, at site: SourceRange
)

Show on GitHub


                    
                    
                    finalize(region:projecting:from:exitedWith:in:)

Checks that the state of the projection of sources in the region defined at start and exited with exit is consistent with access, updating context accordingly.

start is the definition of projection (e.g., the result of project) dominating i, which is a corresponding exit. context.locals[start] is the unique address of the object o being projected in that region. sources are the addresses of the objects notionally containing o.

If access is .let, .inout, or .set, o must be fully initialized. If access is sink, o must be fully deinitialized. implicit deinitialization is inserted to maintain the latter requirement.

Declaration

Swift

func finalize(
  region start: Operand, projecting access: AccessEffect, from sources: Set<AbstractLocation>,
  exitedWith exit: InstructionID,
  in context: inout Context
)

Show on GitHub