NoReturnProperty (B2R2)

NoReturnProperty Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj
All Interfaces: IEquatable<NoReturnProperty> , IStructuralEquatable , IComparable<NoReturnProperty> , IComparable , IStructuralComparable

NoReturnProperty of a function specifies whether the function will eventually return or not. Some functions, e.g., exit, will never return in any cases, and compilers often remove fall-through edges of callers of such functions.

Union cases

Union case	Description
`ConditionalNoRet int` Full Usage: `ConditionalNoRet int` Parameters: Item : `int`	Conditionally no-return; function does not return only if the n-th argument (starting from one) specified is non-zero. Item : `int`
`NoRet` Full Usage: `NoRet`	This function will never return. For example, the "exit" function should have this property.
`NotNoRet` Full Usage: `NotNoRet`	Regular case: not no-return.
`NotNoRetConfirmed` Full Usage: `NotNoRetConfirmed`	Regular case: this is not no-return, and we have already performed parameter analysis to examine the possibility of being conditional no-ret.
`UnknownNoRet` Full Usage: `UnknownNoRet`	When we are not certain: we need further analyses.