ddc ~master (2020-05-01T11:40:35Z)
Dub
Repo
checkObErrors
dmd
ob
Check for Ownership/Borrowing errors.
void
checkObErrors
(
ref
ObState
obstate
)
Meta
Source
See Implementation
dmd
ob
enums
PtrState
functions
allocDeps
allocStates
checkObErrors
collectVars
computePreds
doDataFlowAnalysis
genKill
hasMutableFields
hasPointersToMutableFields
insertFinallyBlockCalls
insertFinallyBlockGotos
isBorrowedPtr
isMutableRef
isReadonlyPtr
isTrackableVar
isTrackableVarExp
makeChildrenUndefined
makeUndefined
numberNodes
oblive
readVar
removeUnreachable
setLabelStatementExtraFields
toChars
toObNodes
toPtrState
structs
ObNode
ObState
PtrVarState
Check for Ownership/Borrowing errors.