LlvmRequiredInlineHelperCheck

data class LlvmRequiredInlineHelperCheck(val helper: LlvmRequiredInlineHelper, val remainingCalls: List<LlvmFunctionContractViolation>, val addressUses: List<LlvmFunctionContractViolation> = emptyList())

Constructors

Link copied to clipboard
constructor(helper: LlvmRequiredInlineHelper, remainingCalls: List<LlvmFunctionContractViolation>, addressUses: List<LlvmFunctionContractViolation> = emptyList())

Properties

Link copied to clipboard
Generated with STIG